 - q**3 - 57. Is d(-5) a multiple of 25?
True
Is 18 a factor of (21/(-5))/(2/(-20))?
False
Suppose 0*a = a - 1. Let r = 4 - a. Suppose -5*z = -k + 22, r*k = -4*z - 43 + 147. Is 17 a factor of k?
False
Suppose 3*d = -106 + 604. Is d a multiple of 46?
False
Let y = -17 - -29. Is y a multiple of 4?
True
Let q = -3 + 6. Let p(h) = 3*h**q - 4*h**3 + 6 + 0*h**2 + h**2. Is 3 a factor of p(0)?
True
Suppose -w + 2 + 0 = 0. Let m(p) = p**w + 4 - 2*p**2 + 10*p - 3 + 4. Is m(9) a multiple of 13?
False
Let m be (-1 + -31)*1 - -1. Let y = -10 - m. Suppose 0*r = r - y. Is 10 a factor of r?
False
Is (-281)/5*(-13 + 8) a multiple of 12?
False
Suppose 2*t - 949 = -i + 4*i, 5*t - 4*i = 2390. Suppose -3 = l, -3*y = -7*y + 2*l + t. Suppose 0 = -3*n - 3*f - 0*f + 69, f - y = -5*n. Does 8 divide n?
True
Let d be 7 - (2/1 + -1). Suppose b = 3*b - 204. Is 14 a factor of d/(-18)*b/(-2)?
False
Suppose 5*d - 12 = 4*a + 2, -3*a = -d + 16. Let z be (-10)/(-15) - 2/a. Suppose 0 = -3*r - z + 28. Is r a multiple of 8?
False
Is 4 a factor of -5 - -3 - (-34 + 4)?
True
Let z(x) = -3*x**2 - 2*x. Suppose b + b = -8. Let i(p) = 2*p**2 + 2*p - 1. Let l(s) = b*i(s) - 3*z(s). Does 12 divide l(4)?
True
Suppose 53 = -3*h + 2*x, 0 = 4*h - x - x + 70. Let s = -32 - h. Does 16 divide (-2)/10 + (-243)/s?
True
Suppose -83*p - 4032 = -91*p. Is 21 a factor of p?
True
Let w = 112 - 80. Is w a multiple of 13?
False
Suppose -f - z = 3*f - 30, f - z = 10. Does 2 divide f?
True
Suppose -4*d - 6 = -22, i = d + 17. Is 14 a factor of i?
False
Let m(g) = 3*g - 3*g + 3*g - g**2 + 3 + 3*g**2. Suppose 0*w = 3*w + 6. Is m(w) a multiple of 5?
True
Suppose o = -3*c + 35, -4*c = -o - 48 - 8. Suppose 0 = 8*g - 3*g - 225. Let w = g - c. Is 10 a factor of w?
False
Let y be (-2 + 10)*18/8. Let p = -9 + y. Does 9 divide p?
True
Let o(w) = -62*w + 5. Does 32 divide o(-2)?
False
Suppose -l - 2*f = 7 + 3, -10 = 2*f. Suppose 5*d + 15 = l, 0*a - 2*d = 3*a - 21. Does 5 divide a?
False
Let c = 25 + 22. Is c a multiple of 10?
False
Let v(y) = y + 6. Let k be v(-3). Suppose -k*l = -2*l - 20. Suppose 0 = 3*z - z - l. Is 10 a factor of z?
True
Does 8 divide (-302)/(-4) + 4/(-8)*1?
False
Let t(l) = -l**3 - 5*l**2 - l - 6. Let j be t(-5). Does 18 divide (2 + j + -2)*-18?
True
Let h be ((-3)/((-9)/(-24)))/(-2). Suppose 16 - h = 3*j. Does 4 divide j?
True
Suppose -3*m = 2*s + 2*s - 486, -2*m + 484 = 4*s. Suppose -u = u - s. Is u a multiple of 12?
True
Let t = 3 + -1. Suppose 37 = t*i - i. Is 20 a factor of i?
False
Let w(p) = -37*p - 7. Let d be w(-9). Suppose 0 = -k + 4*g - 253, -4*k + 2*g - d = 714. Is 8 a factor of 2/8 + k/(-12)?
False
Let s = -98 + 196. Does 7 divide s?
True
Let v be (-65)/9 - 8/(-36). Let y = 3 + v. Let h(k) = -3*k + 4. Is h(y) a multiple of 8?
True
Is 13 a factor of -2*(-5)/(60/546)?
True
Let p(u) = -10*u**2 - 31*u - 31. Let b(l) = 3*l**2 + 10*l + 10. Let d(k) = -7*b(k) - 2*p(k). Is d(-6) a multiple of 2?
True
Suppose -4 = 4*y - 16. Suppose 0 = -6*p + 3*p + s - 3, 0 = -y*p + 5*s - 15. Let r(n) = n + 7. Is r(p) a multiple of 2?
False
Suppose 4*x = 5*g + 106 - 27, 4 = x + 4*g. Suppose 0*u + x = 4*u. Suppose -u*v = 4*b - 12, -2*b + 4*v + 7 = -5. Does 2 divide b?
True
Suppose 3*u + 21 = 840. Suppose 5*g - u = 77. Does 17 divide g?
False
Let h(v) = 2*v**2 + 6*v - 8. Let p(z) = -5*z + 12 + 4*z + 3*z. Let b be p(-9). Is 14 a factor of h(b)?
True
Let s(i) = 1 + i + 0 + 0. Let u = 0 + 3. Does 4 divide s(u)?
True
Let y be ((-5)/(-4))/(3/12). Suppose -4*q + 20 = 2*j - 10, 89 = y*j + 3*q. Does 4 divide j?
False
Let i = 2 - -16. Let o = i + -9. Does 9 divide o?
True
Let l(o) = o**2 + o - 5. Is 3 a factor of l(3)?
False
Suppose 0 = 4*t - 2*t - 16. Is t even?
True
Let i be (1 + -1)*(-2 + 3). Suppose i = 3*b - q - 15 - 113, 4*b = -4*q + 144. Is b a multiple of 16?
False
Let b(m) = m**3 + 7*m**2 - 2*m - 9. Let w be b(-7). Suppose -3*s = 3*h - 57, -44 + w = -3*s + 3*h. Does 9 divide s?
False
Let u(y) = y**3 + 6*y**2 - y - 2. Let w be u(-5). Let b be (-11)/((-77)/60)*w. Let d = b + -171. Is d a multiple of 25?
False
Let d(u) = u**3 + u**2 - 3*u + 2. Suppose -2*v + h + 6 = -h, 0 = -5*v + h + 11. Is 4 a factor of d(v)?
True
Let s be (1*8)/2 - 0. Let d = s + -20. Is d/(-2) - (1 - 1) a multiple of 8?
True
Suppose 2*p = -2, 0 = -d + 5*p - 2*p + 91. Is 18 a factor of d?
False
Let h = -97 - -249. Is 8 a factor of h?
True
Suppose 7*f = 3*f - 8. Does 19 divide -4*(-18 - (3 + f))?
True
Let o = 137 + -85. Suppose 0 = -4*w - 43 + 3. Is (o/w)/((-1)/5) a multiple of 9?
False
Let j be ((-18)/(-2))/3 - -52. Let n = -35 + j. Is n a multiple of 10?
True
Let d = -121 - -85. Suppose 0*i - 4*i - 200 = 0. Let t = d - i. Is 14 a factor of t?
True
Let z be ((-9)/(-3))/(-3) + 4. Suppose 2*m = -z*m. Is 15 a factor of m/(0 - -1) + 31?
False
Let w(y) = y + 16. Is w(-7) even?
False
Suppose -2*n - 4 = 0, 4*z - 2*z = -5*n + 12. Let g be (0 + z)/((-1)/(-7)). Suppose 4*v - 52 = 4*j, 3*v - j = -2*v + g. Does 8 divide v?
True
Suppose 2*n + 3*l - 239 = 0, 2*l + 3*l - 123 = -n. Let b = n + -73. Is 9 a factor of b?
True
Suppose 0 = -t + 3*t - 162. Is t a multiple of 27?
True
Let r = -6 - -21. Suppose 10 = 5*d - 0*d. Suppose u + 5*a - 5 = 0, 3*u = -d*a - r + 56. Is 6 a factor of u?
False
Let g(o) = 10*o - 1 + 34*o + 17*o - 11*o. Let w = 2 - 1. Is 19 a factor of g(w)?
False
Let i = 112 + -55. Is 22 a factor of i?
False
Let w = -17 - -203. Is 29 a factor of w?
False
Suppose 5*t - 170 = -5*g, -2*t + 2*g = -0*g - 84. Is 5 a factor of t?
False
Suppose -3*i + 35 + 5 = 5*m, -3*i = -15. Let f(w) = 1 + m - w + 2. Is f(0) a multiple of 4?
True
Suppose -93 + 303 = 2*u. Let v = u + -55. Is v a multiple of 25?
True
Is 4/(-24) + (-813)/(-18) a multiple of 15?
True
Suppose 0 = -6*f + 2*f - 48. Let g(h) = -h - 4. Is g(f) even?
True
Let z(m) = -m**3 + 8*m**2 + 13*m + 1. Is 21 a factor of z(9)?
False
Let v be ((-2)/3)/((-4)/258). Let f = 86 - v. Suppose -f + 253 = 5*s. Is s a multiple of 21?
True
Suppose 0 = 3*n + 5*j - 59, 5*n - 150 = -0*n + 2*j. Is 28 a factor of n?
True
Let v(x) = -4*x**2 - 10 + 0*x**2 - 10*x + 3*x**2. Let w be v(-8). Let r(o) = o. Does 6 divide r(w)?
True
Is 15 a factor of (5 - 7)*(222/(-4) - -3)?
True
Let m be (8 - -1)*(-1)/3. Let u be 0 + (124 - m/3). Suppose u - 29 = 4*v. Does 24 divide v?
True
Suppose 13 - 46 = -5*z + 3*f, 5*z - 4*f = 29. Is 3 a factor of z?
True
Let q = 63 + -26. Is q a multiple of 6?
False
Suppose 0 = -t - 1 + 5. Does 17 divide (2/t)/((-5)/(-170))?
True
Suppose 2*r = -2*r + 20. Let t = r - -2. Is t a multiple of 7?
True
Let i(v) = v**2 + 4*v - 7. Let c be i(-6). Is (0 - -8)/(c/15) a multiple of 8?
True
Is ((-1749)/(-44))/(3/12) a multiple of 33?
False
Does 6 divide ((-1)/(-3) - 2)*-6?
False
Let a be 6/18*(-2 + -4). Let h(z) = -z**3 + 6*z**2 - 5*z - 2. Let t be h(5). Is 12 a factor of a*t/(-8)*-32?
False
Suppose 0 = -2*x - 0*x + 142. Is 15 a factor of x?
False
Is (-12)/8 + 196/8 a multiple of 10?
False
Let j(x) = 6*x**2 + 5*x. Let t be j(-4). Let c = t - 109. Is 6/(-9)*(c + 0) a multiple of 11?
True
Is 124/6 - (-15)/45 a multiple of 7?
True
Does 23 divide (-230)/3*(6 + 108/(-15))?
True
Suppose -10 = -5*b, r = 6*r + 5*b - 25. Suppose 5 = -r*f + 47. Is f a multiple of 14?
True
Let r(p) = -p**2 - p + 167. Let h be r(0). Suppose 2*w - 330 = -5*y, -3*y + 3*w = -2*w - h. Does 17 divide y?
False
Suppose -3*c + 9 = 0, -6 = -2*s + 2*c + 4. Is s a multiple of 3?
False
Let d be (1 + -7)/((-2)/38). Suppose -2*j + 4*g = -49 - 27, -3*j + d = g. Does 10 divide j?
False
Suppose 5*n - 2*j = -17, 2*n - 12 = 5*n - 3*j. Does 2 divide (-5)/((-1 - -3) + n)?
False
Let i(j) = -j - 1. Let l be i(-5). Suppose 0*m = -r - 4*m, -l*m = 5*r. Suppose r = -k + 38 + 18. Is 19 a factor of k?
False
Let z be (-8)/20 + (-122)/(-5). Let n = z - 12. Does 9 divide n?
False
Let j = 5 - 5. Suppose j = -u + 4*u + 4*i + 12, -3*u - 12 = -2*i. Is (u/(-6))/(4/18) a multiple of 2?
False
Suppose -2*c + 4 = -2. Suppose 5*i + t = -3*t + 19, 0 = c*t - 3. Does 2 divide i?
False
Suppose 4*u + u = -2*i - 17, -5*u - 65 = 5*i. Suppose 2*m - m = f - 25, 5*m - 55 = -f. Let r = f + i. Is r a multiple of 8?
False
Suppose -2*m + 0*r = -4*r - 44, 5*m = -3*r + 58. Let t(k) = -k**3 + 6*k**2 - 4. Let f be t(4). Let s = f - m. Is s a multiple of 14?
True
Let h(q) = q**3 - 6*q**2 + 2*q - 2. Let g be h