Is p(2) a multiple of 15?
False
Does 2 divide (94/(-8))/(-1) + 4/16?
True
Let r be (-132)/9 - (-2)/(-6). Let i = -14 - r. Let o(v) = 39*v - 2. Is o(i) a multiple of 12?
False
Let w(v) = 2*v**2 - 25*v - 27. Let r be w(21). Let i = r - 112. Is 16 a factor of i?
False
Let f(c) = 2*c**2 - 3*c + 12. Let d be f(8). Let b = -24 + d. Is 22 a factor of b?
False
Let z be 4 + (-5 - (-5 - -1)). Suppose 54 = -z*y - 2*i + 20, 0 = 4*y - i + 38. Let u = 30 + y. Is u a multiple of 4?
True
Suppose 3*f - 3*h - 80 = -f, -81 = -3*f - 3*h. Let q = 24 - f. Does 6 divide (-22)/(3/(q + -4))?
False
Suppose 4*v + 4*k = 60, 3*v + 0*k - 57 = 3*k. Suppose 8 = m - v. Is 12 a factor of m?
False
Suppose 14*g + 5*g - 4712 = 0. Is g a multiple of 16?
False
Suppose 2348 = 21*o - 1432. Is o a multiple of 36?
True
Let l = 15 - 13. Suppose t + c - 14 = l*t, t = -5*c - 38. Is 9 a factor of t/63 + 354/14?
False
Suppose -k = -2*p - 25, 0 = -4*k + 2*p - 3*p + 118. Does 47 divide (k*2)/((-20)/(-90))?
False
Let k = 67 - 65. Suppose -2*n + 390 = 4*p, -93 = -p - 0*p - k*n. Is 11 a factor of p?
True
Suppose 0 = -5*a + 2*b + 3896, a + 4*b = -0*b + 766. Does 37 divide a?
False
Let l = 106 - 130. Let w = 173 - l. Is 23 a factor of w?
False
Let l = 3 - -3. Suppose l*t - 696 = -0*t. Suppose -12 = 4*n - t. Is n a multiple of 26?
True
Suppose 4*c = w + 6*c - 181, -5*c = 10. Does 5 divide w?
True
Let k(a) = a**3 + a**2 - a + 1. Let j be k(0). Let r(s) = 48*s**3 - s**2 + 2*s. Is 49 a factor of r(j)?
True
Suppose 17*r = 379 + 13816. Is 9 a factor of r?
False
Suppose -3*k + 122 = 98. Is 5 a factor of k?
False
Let k(i) = 0*i - 9 - 1 - 11*i. Let m be ((2 - 4) + 1)*7. Is k(m) a multiple of 17?
False
Let d(n) = -n**3 + 2*n**2 + 41. Let i be d(0). Let t = -12 + i. Is t a multiple of 5?
False
Suppose -210 = -4*t - t. Let p = t + -20. Is 10 a factor of p?
False
Let n be (-5 + 3)*46/(-4). Let g = -10 + n. Suppose -7 = -k + g. Does 4 divide k?
True
Let u(q) = 19*q + 12 - 21*q - 31*q. Does 12 divide u(-4)?
True
Let l = -6 + 22. Let z be l + -16 + 2*1. Suppose -2*g + z*c + c + 183 = 0, -3*g + 5*c = -274. Does 12 divide g?
False
Let n(m) be the first derivative of -m**3/3 + 4*m**2 - 9*m - 4. Let h be n(6). Is 4 a factor of 20 + (-3 + 4)*h?
False
Let i(b) = 5*b + 2 + 4*b**2 + 3*b + 8 - 2*b. Is i(-3) a multiple of 28?
True
Suppose 3*q - 2*q = 1. Let y(p) = 19*p**3 - p**2 - p + 2. Let u be y(1). Suppose -f = -u - q. Is f a multiple of 4?
True
Let m(c) be the first derivative of -21*c**2/2 - 6*c + 7. Is m(-3) a multiple of 19?
True
Let g = 356 - -52. Is 24 a factor of g?
True
Let a(y) = -y**3 + 9*y**2 + 8*y + 11. Is 5 a factor of a(7)?
True
Let v(f) = -f - 1. Let o be v(1). Let c be ((-1)/o)/((-8)/128). Let s(a) = -a - 3. Is s(c) a multiple of 5?
True
Let s(h) = h + 2. Let d be s(5). Suppose 3*c = 2*t + d, -5*t = -2*t + 6. Is 15 a factor of 46 + c + 0 + -2?
True
Let g = 58 + 982. Is g a multiple of 16?
True
Suppose 0 = 6*j - 11*j. Let n = 4 + j. Suppose n*d + 10 = 38. Is 7 a factor of d?
True
Let i be (-45)/6*((-2)/(-3))/1. Is ((-31)/i)/((-9)/(-45)) - -1 a multiple of 9?
False
Let a(n) = n**2 + n - 90. Does 7 divide a(-12)?
True
Suppose 3*o = -5*f + 2*o + 3590, 5*f - 4*o = 3615. Is f a multiple of 20?
False
Is 11 a factor of (-539266)/(-637) + 2 + 33/(-21)?
True
Let s = 11 + -6. Suppose -s*o = -5*f - 395, 7*f = 3*f + 3*o - 312. Is ((-8)/10)/(2/f) a multiple of 10?
True
Is 83 a factor of 20*((-830)/20)/(-3 - -2)?
True
Let o(a) = -8*a + 6. Let d be o(1). Is 2 a factor of 315/18 - 3/d?
False
Let m be (3*5)/((-15)/30). Let y = m - -52. Is y a multiple of 3?
False
Let o(c) = -c - 12. Let l be o(-12). Is 23 a factor of -3 + l + 114 + 4?
True
Let q = 35 - 34. Let r(x) = 16*x**3 + 1. Does 17 divide r(q)?
True
Let y = 2523 + -1413. Does 15 divide y?
True
Suppose 0 = -4*h - 20, i + 13 = 2*h - 5*h. Suppose i*f + 0 - 10 = -2*x, 0 = 3*f + 4*x - 10. Does 10 divide f?
True
Suppose 2*h + u - 4*u = 5, 0 = -2*h - u + 9. Suppose 0*f + 192 = h*f. Does 26 divide f?
False
Let n be (-30)/(-7) - 4/14. Let v(l) = -2*l + 6. Let o(d) = -2*d + 7. Let q(s) = 4*o(s) - 5*v(s). Does 4 divide q(n)?
False
Let f(p) = p**3 - 5*p**2 + 26*p + 10. Is 85 a factor of f(13)?
True
Suppose 92 = -8*m + 316. Let d = m + 13. Is d a multiple of 8?
False
Let v = -741 + 1053. Suppose v = -2*s + 6*s. Is 9 a factor of s?
False
Let v(h) = -36 + 21 + 34*h - 5*h - 12. Is v(5) a multiple of 11?
False
Let i(k) = 48*k**2 - 40*k - 14. Does 42 divide i(6)?
False
Suppose 12*r = -20 + 8. Does 8 divide (-2)/r - 1/(-2)*236?
True
Does 13 divide (-7)/(-2)*1456/49?
True
Let h(b) = b**3 - b**2 - 2*b + 36. Does 9 divide h(0)?
True
Let w(g) = 0*g + 0*g - 17 - 3*g + 20. Let x be w(3). Does 3 divide -2*4/(8/x)?
True
Let c = 480 - 390. Is 15 a factor of c?
True
Suppose 524 - 203 = n. Suppose -h - 2*h = -n. Is 26 a factor of h?
False
Suppose -2 = 5*k - 7*k. Is 4 - (58/(-4) + k/2) a multiple of 3?
True
Is 7 - 13 - (-3958 - 19) a multiple of 20?
False
Suppose q = a + 1, 4*q - a - 18 = -2. Suppose 5*o + 16 = 3*o - q*y, 3*y = -12. Suppose 2*r + 2*r - 4*v - 36 = 0, -o*v = r. Does 6 divide r?
True
Let y(m) = -m**2 + 27*m + 6. Suppose 3*l - 11 = 61. Is 12 a factor of y(l)?
False
Suppose -36*t = -32*t - 12960. Does 9 divide t?
True
Let d(z) = 23*z**3 + 5*z**2 - 7*z - 10. Is d(4) a multiple of 88?
False
Suppose -48*f + 50*f - 3828 = 0. Does 38 divide f?
False
Suppose -4*q + 16*x + 160 = 20*x, 3*q + 2*x = 117. Is 19 a factor of q?
False
Suppose 368 = -g + 2*g - f, -356 = -g + 4*f. Is g a multiple of 25?
False
Let m(z) be the third derivative of 7*z**4/24 - 7*z**3/6 - 9*z**2. Is m(7) a multiple of 33?
False
Let m(n) = 6*n + 179. Is m(-20) even?
False
Let o = -198 - -239. Is 3 a factor of o?
False
Suppose 4*x = 0, -2*x - 1 - 8 = 3*a. Let j(f) = 3*f**2 + 3*f - 2. Is 5 a factor of j(a)?
False
Let h = 1 + 1. Suppose 0*f = h*f - 110. Is f a multiple of 11?
True
Let i = 526 + -20. Does 22 divide i?
True
Let l be (3 - 5) + 4/1. Suppose -5*n - 5*t = -925, 5*n = 2*n - l*t + 552. Let m = -121 + n. Is 20 a factor of m?
False
Let w(o) = -4*o**2 + 0 + 1 + 0 + 2*o**3 + 0 - 6*o + 5*o. Suppose 2*a - 4*v = -6, 0 = -0*a + 2*a + 2*v - 12. Is w(a) a multiple of 4?
True
Suppose 5*x - 88 = -2*q, -x = 2*x + 2*q - 52. Let v(d) = x + 9*d + 0*d - 8*d. Is v(-7) a multiple of 3?
False
Let u(i) be the first derivative of -i**3/3 + 11*i**2/2 + 12*i + 4. Let k be u(13). Let f = k + 46. Does 16 divide f?
True
Let o = 551 - 274. Suppose 3*c = -c - 8, -5*k - 4*c = -o. Is k a multiple of 10?
False
Let q be ((-3)/(-1) - 1) + 36. Let f = q - -18. Is f a multiple of 14?
True
Suppose 5 = v + 2. Suppose 5*y + v*l - 395 = -2*l, 0 = -5*y - 4*l + 390. Is 9 a factor of y?
False
Suppose 0 = 3*q + 3*f - 27, q = -2*f - 3*f + 25. Suppose 0 = -h - 2*x - 8, -x + 2 = -2*h + 6. Suppose -2*b + 47 + q = h. Is b a multiple of 13?
True
Let c = 7 - 5. Suppose -23 = b - 27. Suppose c*t = 3*k + 49, -t + b*k = 2*t - 74. Is t a multiple of 13?
True
Is 8 a factor of 140/25 + -5 - 1917/(-5)?
True
Let r = 135 - 76. Let n = 101 - r. Does 9 divide n?
False
Let m(g) = g**2 - 11*g + 9. Let k be m(10). Let r(y) = 46*y**3 + y**2 + 2*y + 2. Let h be r(k). Let o = 93 + h. Is o a multiple of 12?
True
Let m(h) = h**3 - 9*h**2 - 3*h - 11. Let i be m(9). Let y = -8 - i. Suppose y = r - 3*q + 12, -2*r - q = -43. Does 7 divide r?
True
Let z be 5 + -2 + (8 - 3). Let s = -6 + z. Does 20 divide (-3)/(-3 + s) + 23?
False
Is 17 a factor of (-27)/18 + (-5967)/(-18)?
False
Let o(j) = j**3 - 5*j**2 + 2*j - 7. Let v be o(5). Let n(w) = -w - 2*w**v - w - 3 - 6*w**2 - 2*w + 5. Is n(-4) a multiple of 17?
False
Let u be (9/15)/(6/(-90)). Let w(t) = -5*t - 17. Is w(u) a multiple of 7?
True
Suppose -28442 = -35*g + 20278. Is g a multiple of 29?
True
Let m = 2862 + -739. Does 107 divide m?
False
Suppose 5*d + t = 646, 3*t + 2 = 5. Is 43 a factor of d?
True
Suppose -3194*n - 30 = -3197*n. Is 10 a factor of n?
True
Let d = -1157 + 1300. Is 2 a factor of d?
False
Let a(x) = 12*x**2 + 40*x + 71. Is 16 a factor of a(-16)?
False
Suppose -d = j - 962, -4*d - 8*j + 3*j = -3850. Is 32 a factor of d?
True
Let m = -13 - -8. Let o = m - -14. Does 7 divide o?
False
Suppose 0 = -24*g + 13*g + 3124. Does 4 divide g?
True
Let y(p) = -13*p**3 + 2*p**2 + 32*p + 76. Is y(-4) a multiple of 14?
True
Let q be