factor of r?
True
Let z(a) = -a**3 - 5*a**2 + 7*a - 2. Let s(w) = -1. Let o(i) = 4*s(i) - z(i). Let v be o(-6). Let b = 11 - v. Is b a multiple of 4?
False
Let q(d) = -d**3 + 21*d**2 - 13*d + 18. Let f be q(18). Suppose 1009 = 4*z + 3*y, 4*z + 2*y - f = z. Is z a multiple of 56?
False
Is 531 + 0 + (-8 - -4) a multiple of 31?
True
Let z(n) = -11*n**3 - 9*n**2 - 2*n + 1. Let i(c) = 5*c**3 + 4*c**2 + c - 1. Let g(b) = 5*i(b) + 2*z(b). Is g(2) a multiple of 10?
False
Suppose 0 = -r - 4*z + 16, -4*r = 2*z - 4*z - 82. Suppose 19*b - r*b = -65. Is 13 a factor of b?
True
Is 406 - 66 - 16/(-2) a multiple of 6?
True
Let g = 3106 + -1035. Is g a multiple of 12?
False
Let v be ((-1 - 0) + 1)/(-1). Suppose 0 = s - 2*i + 28 - 90, i = s - 60. Does 18 divide (3 - s)*(v + -1)?
False
Let m = -72 + 39. Does 65 divide 6/m + -1 + (-5128)/(-11)?
False
Let l = 17 - 8. Let m(w) = w - 7. Let s be m(8). Let r = l + s. Is r a multiple of 3?
False
Let v = -83 + 393. Is v a multiple of 59?
False
Let m = 11 - 25. Let a = 35 - 20. Let b = a - m. Is b a multiple of 11?
False
Let d(s) = -15*s + 92. Is d(2) even?
True
Suppose -244*o = -242*o - 320. Does 15 divide o?
False
Let d(l) = 5*l**2 - 8*l - 62. Does 36 divide d(11)?
False
Suppose -3*j = -2*t + 1302, 0 = 5*t - j - 1490 - 1791. Is 64 a factor of t?
False
Suppose 3*s = s + 406. Let y = s - 131. Suppose -140 = -5*k - 5*d, -4*k + 3*d + y = -k. Is k a multiple of 13?
True
Let r(x) = x**3 - 11*x**2 + x - 10. Let y be r(11). Suppose -l + 4*w = -y + 2, 3*l - 3*w = -3. Does 12 divide 33 + (1 - 3 - l)?
False
Let p = -1033 + 1453. Is p a multiple of 30?
True
Is 52 a factor of ((-10)/(-8))/((-9)/13176*-6)?
False
Suppose -4*n + 65 = -143. Suppose -3*v - n = -7*v. Is 3 a factor of v?
False
Let m = -1007 + 1151. Does 4 divide m?
True
Suppose 12*p + b = 15*p - 1933, 631 = p - 3*b. Is p a multiple of 3?
False
Let f(d) = d**2 + d + 1. Let o(c) = -7*c - 2. Let h(y) = y. Let w(a) = 6*h(a) + o(a). Let v be w(2). Is f(v) a multiple of 5?
False
Let i(y) be the second derivative of y**4/4 - y**3/3 - 6*y**2 - 11*y. Is i(5) a multiple of 14?
False
Let y(v) be the second derivative of 0 - 1/20*v**5 - v + 2/3*v**4 + 0*v**2 + 4/3*v**3. Does 16 divide y(8)?
True
Suppose -6*z = -z - 120. Let c = z + 88. Is c a multiple of 16?
True
Suppose -2*v = 3*l - 251 - 322, -3*l + 564 = -v. Is 34 a factor of l?
False
Let w(h) = 2*h**2 + 4*h + 25. Suppose -d - g = 9, -3*g = 2*d + 14 + 7. Does 13 divide w(d)?
False
Suppose 12*z = 56*z - 25564. Does 5 divide z?
False
Suppose 4*p = -71 - 9. Let b = p + 35. Does 3 divide b?
True
Is 4 a factor of 229*4/6*6/4?
False
Suppose 0 = p + y - 14, -5*p = -2*p - 3*y - 18. Let d = p + -12. Does 17 divide ((-616)/(-70))/(d/(-5))?
False
Suppose -33 = n - 0*n. Let d be -5 + -20 + -1*4. Let s = d - n. Is s a multiple of 3?
False
Let c be ((-42)/4)/(6/(-8)). Let i = c + -19. Is i/(-15) + 20/3 a multiple of 7?
True
Is 3 a factor of (-3631 + -1)/(-8) - (-2 + 2)?
False
Let s(q) = -q + 0*q + 2*q + 2 + 7*q. Suppose 5*t - 20 = 5. Is 14 a factor of s(t)?
True
Suppose 12 = -3*t + 3. Let k(z) = z**3 + 4*z**2 + z - 1. Let h be k(t). Suppose 0 = -h*c + c + 80. Is 6 a factor of c?
False
Let k = 133 - 130. Suppose -3*o + 220 = -2*q - 212, 3*o = -k*q + 447. Is o a multiple of 23?
False
Suppose -4*u + 11*u + 329 = 0. Is 18 a factor of (u/(-1))/(1/3)?
False
Does 42 divide (1 + -2017)/((-27)/72)?
True
Let f(g) = -24 + 11 + 10 - 55*g**2. Let b be f(3). Is (b/8)/((-12)/16) a multiple of 36?
False
Let t(h) = 0*h - 7 - 2*h + 2*h - h. Let b be t(-11). Let x = b + 2. Is 5 a factor of x?
False
Let y(l) = -2*l**3 - 7*l**2 - 13*l - 48. Is 30 a factor of y(-6)?
True
Let f be -275 + ((-20)/12 - 1/3). Let a = f + 407. Is a a multiple of 13?
True
Suppose -20*s + 12082 = -1358. Is 24 a factor of s?
True
Let z(v) = -38*v**2 + v + 2. Let a be z(-1). Let b = a - -49. Does 8 divide b?
False
Suppose 0 = -43*w + 48*w, 0 = -2*f - 4*w + 54. Is 4 a factor of f?
False
Suppose -3*m - 43 + 399 = 4*s, -s - 4*m + 89 = 0. Is 4 a factor of s?
False
Suppose -1573 = -14*n + 3*n. Is 11 a factor of n?
True
Let j(h) = -5*h**2 - 24*h + 6. Let q = 16 + -12. Let f(i) = -9*i**2 - 47*i + 13. Let m(a) = q*f(a) - 7*j(a). Is 20 a factor of m(-14)?
False
Let g = 141 - 40. Let k = 178 - g. Let w = k - -7. Is 28 a factor of w?
True
Let r(t) = -30*t + 6. Let w be r(-6). Suppose -w - 659 = -5*k. Is k a multiple of 32?
False
Suppose 3*h + 0*o + 3 = -3*o, 4*o = 5*h + 5. Let i = h + 6. Suppose -i*k = b + 5 + 4, k + 59 = 5*b. Is 3 a factor of b?
False
Let z be ((-1504)/(-40))/(5/(75/6)). Let a = z - -14. Is 36 a factor of a?
True
Let j = 1301 - -4039. Is 15 a factor of j?
True
Let k be (1/(-3))/((-26)/78). Does 8 divide 4/(-12) - (k - (-292)/(-3))?
True
Let s(g) = 5*g**2 + 23*g - 1. Let w(c) = -2*c**2 - 8*c. Let k(v) = -3*s(v) - 8*w(v). Does 29 divide k(-7)?
True
Let n = -53 + 231. Let k = n + -98. Is k a multiple of 19?
False
Let q(l) = 4*l - 22*l + 0*l - 8 - 1. Does 8 divide q(-6)?
False
Let g = 24 - -5. Suppose 0 = 3*h + 2 - g. Is 3 a factor of h?
True
Let j(m) = 52 - 8*m - 94 - 59*m + 45. Is 12 a factor of j(-1)?
False
Suppose 4*p = u - 6*u, 25 = 5*u - p. Suppose -3*o = -5*w - 30, u*o - 2*w = -5*w + 11. Suppose -18 = o*r - 78. Is r a multiple of 12?
True
Let i(c) be the first derivative of 11*c**2 - 1. Suppose 16*g - 41 = -25. Is 11 a factor of i(g)?
True
Let c(a) = -a**2 + 12*a - 17. Let o be c(9). Suppose 0 = -o*t + 7*t + 396. Is 44 a factor of t?
True
Let b be 4/8 - 34/(-4). Let y(v) = -v + 12. Let m be y(b). Suppose -3*g + 95 = -4*t, -95 = -m*g - g - t. Is g a multiple of 25?
True
Let s(h) = h**3 - 8*h**2 + 5*h - 12. Let k be s(8). Does 12 divide k - 12/6 - 1*2?
True
Suppose -3*p - 2*x + 32 = 0, -4*p + 46 = -p - 5*x. Let v = p + -18. Let u(r) = 2*r**2 + 4*r. Is 21 a factor of u(v)?
False
Let o(l) = 5*l**2 + 1. Let g be o(-3). Let c = -30 + g. Suppose k = -k + c. Is 4 a factor of k?
True
Let v = 18 + 15. Suppose 5*k + 5*z - 45 = 2*z, v = 4*k + 3*z. Does 4 divide k?
True
Let m = 9 - 0. Suppose -m*x = -5*x + 584. Is x/(-8) - 2/8 a multiple of 3?
True
Let g = 1018 - 634. Does 68 divide g?
False
Suppose 5*f - 837 = -4*n + n, -3*n + 4*f = -810. Suppose 14 = 4*k - n. Is 24 a factor of k?
True
Suppose 5*y + 3*y = 80. Suppose 2*r + 0*q + 2*q = y, -3*r - 4*q + 13 = 0. Is r a multiple of 3?
False
Let x(f) = -f**3 - 12*f**2 - 15. Let d be x(-12). Let m(u) = u**3 + 16*u**2 + 13*u + 15. Is m(d) a multiple of 8?
False
Suppose -3*d = -277 + 58. Let p = -54 + d. Does 2 divide p?
False
Suppose -64 = 4*x - 4*m, 4*x + 0*m = m - 52. Let v be (-2)/2 - x/2. Suppose -j - 5*l + 31 = -0*j, v*j + 4*l - 92 = 0. Is 16 a factor of j?
True
Let f(q) = 14*q + 23. Let z be f(-14). Let n = z - -365. Is n a multiple of 28?
False
Let p(m) = 70*m - 6. Let g be p(2). Let d = -93 + g. Does 13 divide d?
False
Let k be (-2)/((-24)/81)*12. Let t = -44 + k. Is t a multiple of 37?
True
Suppose 7*k = 10*k - 2*r - 14177, -4*k - r = -18921. Is 14 a factor of k?
False
Is (-3134)/(-9) + 134/(-603) a multiple of 3?
True
Suppose 2*f = -5*z + 519, 5*z = -0*z + 5*f + 540. Suppose 3*y + z = 2*b, -y = 2*b - 2*y - 107. Does 18 divide b?
True
Let z(l) be the first derivative of -11*l - 5*l**2 - 3 + 1 + 6*l. Is z(-6) a multiple of 11?
True
Let x be -2 - (20 + -3 + 1). Let r = -12 - x. Suppose 3*p - r = 199. Is 21 a factor of p?
False
Let t be (1/(-2))/((-4)/16). Is 10 a factor of -1 + 1 - (-7 + t)*6?
True
Suppose 5*r - 344 + 31 = h, -4*r - h = -245. Let f = -1 + 3. Suppose -r = f*j - 6*j - 5*q, j - 20 = q. Is 9 a factor of j?
True
Suppose -5*w = -3*n - 27, -4*n - n = 2*w - 17. Let c be w/((-9)/3 + 1). Does 10 divide 1*(-60)/c*1?
True
Let y(p) = 3 - p**2 + 3 + 0 + 7*p. Is 18 a factor of y(4)?
True
Let i(p) = 2*p + 971. Is i(-18) a multiple of 17?
True
Suppose -3*n - 1248 = -3*d, 4*n - 1262 = 2*d - 5*d. Is 47 a factor of d?
False
Suppose 3*r + 509 - 110 = 0. Is 10 a factor of 2 - (-3 + 8) - r?
True
Let z(w) = 16*w - 16. Let n be z(-5). Let p = 136 + n. Is ((-24)/(-60))/(2/p) a multiple of 4?
True
Let o(m) = -m**3 + 21*m**2 + 6*m + 57. Is o(12) a multiple of 75?
True
Let m = 22 - 18. Suppose -s + 25 = x, -5*x + 47 = 2*s - m*x. Is s a multiple of 6?
False
Suppose v - 359 = 3*s, 11*s = -2*v + 15*s + 726. Is v a multiple of 27?
False
Is -6 - 37/(-3) - (