(3/3 - 2)*-2. Suppose 5*w = t + 83. Suppose 0 = 4*c - c + 4*y - 35, -c = 4*y - w. Does 4 divide c?
False
Let z = 23 + -23. Suppose z*u + 5*u = 50. Does 5 divide u?
True
Suppose 0*i = -2*i + 2, -5*w - 4*i + 289 = 0. Does 19 divide w?
True
Suppose -4*x + x = d + 61, -4*d = -x - 3. Let b = x - -41. Suppose -2*h + b = -20. Is h a multiple of 21?
True
Let u be (-1)/(-5) - 1443/15. Let g = u + 170. Is 19 a factor of g?
False
Suppose 4*a - 3*k - 18 - 5 = 0, 5*k = -3*a - 19. Suppose -45 = -a*q + 5*t, -3*t + 8*t = -2*q + 35. Let b = -12 + q. Is b a multiple of 4?
True
Is 22 a factor of (0 - -22)*15/9*3?
True
Let a(h) = -h**3 + 16*h**2 + 2*h - 9. Let o be a(16). Let g = o - 5. Is g a multiple of 9?
True
Let z(t) = -t**3 + 11*t**2 + 20*t - 26. Is z(12) a multiple of 7?
True
Let u(a) = -a**2 + 5*a + 2. Let j be u(5). Suppose 93 = 2*o - 5*i + 3, -j*o = 3*i - 106. Is o a multiple of 22?
False
Let v = 10 - -6. Is v a multiple of 10?
False
Let s(c) = c**2 - 2*c + 1. Let q be s(1). Suppose -h - 10 = u, 4 = -2*h - q*u + 2*u. Let y = h - -32. Is 19 a factor of y?
False
Let l be -3*(-16)/18*12. Let v = -19 + l. Suppose 3 = -h + v. Does 10 divide h?
True
Suppose 0 = 5*w + j - 6*j, 20 = 5*w + 5*j. Suppose w*p + 2*a + 12 = 6*a, -13 = -2*p - a. Does 2 divide p?
True
Is 34 a factor of 6786/90 + (-2)/5?
False
Let m(x) = -x**3 + 9*x**2 - 9*x + 9. Does 19 divide m(6)?
False
Let n(k) = -k - 1. Let z be n(2). Let w be 1 - (-1 - (z - -109)). Suppose 0 = 3*f - 2*x - 69, 2*f + 3*f - w = x. Is 12 a factor of f?
False
Let p(l) = l**2. Let c(s) = -7*s**2 + s - 2. Let j(d) = -c(d) - 6*p(d). Does 8 divide j(-2)?
True
Suppose 5*i + 9 = 8*i. Suppose 3*k + 158 = 4*f + 31, -i*f + 104 = -4*k. Is 11 a factor of f?
False
Let j = 139 - 90. Does 7 divide j?
True
Let k be (6 - 4) + (-104 - 2). Let i = -54 - k. Does 25 divide i?
True
Let f = 13 - -38. Suppose 3*q - v = f, q = -3*q - 3*v + 55. Is q a multiple of 8?
True
Let j = -7 - -7. Suppose 3*t - 5*t + 4*c + 38 = j, 4*c = 3*t - 63. Is 16 a factor of t?
False
Suppose y - 4 + 1 = 0. Suppose -3*o + 3 = -3. Suppose y*f - 18 = -5*l + o*l, -4*f = 2*l - 26. Is f a multiple of 6?
False
Let s be 30/(-8) - (-3)/(-12). Does 11 divide (-156)/(-7) + s/14?
True
Let r(l) = 3*l**2 - 6*l. Let c(t) = -t**2 - 10*t - 4. Let v be c(-9). Is 15 a factor of r(v)?
True
Suppose -2*n + 262 = j - 189, 0 = -4*n + j + 917. Is n a multiple of 21?
False
Let r be 2 + 1 + 1 + -3. Does 7 divide (-1)/(r/(-28)*2)?
True
Is 6 a factor of 145 + (-5 - (-2 + 0))?
False
Suppose 3*d = -3*f + 18, 34 - 10 = 4*f + d. Suppose 224 = -2*b + f*b. Is 21 a factor of b?
False
Suppose 0 = 2*v + 4*c - 20, -23 + 8 = v - 3*c. Does 16 divide 2 - ((1 - v) + -16)?
False
Suppose -2*g - g = 6. Is 15 a factor of (-45)/g*(-4)/(-6)?
True
Suppose 0 = 3*x - 0*x - o - 57, 4*x + o = 69. Suppose -2*l + x = -3*a, 3*l - 17 = 5*a + 11. Does 3 divide l?
True
Is 2 a factor of (-27)/3*7/(-21)?
False
Suppose 0 = -0*h - 5*h. Suppose -s + 2 + 3 = h. Suppose -s*b - 5*u = 2 - 157, -2*u = 6. Does 11 divide b?
False
Let f(k) = -k**2 - 2*k**3 + 0*k**2 + 0*k**3 + k + 4*k**3. Is f(2) a multiple of 9?
False
Let j be (-8)/(-20)*1*-5. Let f be 50/8 - j/(-8). Suppose 3*q = -f + 54. Is 8 a factor of q?
True
Let b = 2 + -2. Suppose p - 17 = -b*p. Suppose 0 = -3*d + p + 1. Is d a multiple of 4?
False
Let n(g) be the first derivative of 4*g**3/3 - 3*g**2/2 - g - 3. Does 21 divide n(-2)?
True
Let w = 144 + -78. Is w a multiple of 6?
True
Suppose -k = -b + 1 + 8, 5*b - 53 = 3*k. Suppose -b + 1 = -4*x. Let i = x - -3. Does 3 divide i?
True
Let f = 121 + -212. Let x = -55 - f. Is 6 a factor of x?
True
Let s = 43 - 29. Suppose 5*b - 3*b = -s. Let a = b + 24. Is a a multiple of 9?
False
Let l(r) = -r**3 - r + 17. Let o be l(0). Suppose 0 = 3*g + o - 89. Is 12 a factor of g?
True
Let z = -55 - -67. Does 5 divide z?
False
Let r = 27 - 9. Does 7 divide 0 + 3 - r/(-1)?
True
Let a be 6*1/(2/3). Does 3 divide 6/a*1*12?
False
Let s be 2/(-2)*(-1 - 4). Let y = 8 - s. Suppose 0 = y*x - 6*x + 87. Does 10 divide x?
False
Suppose 102 + 118 = 5*p. Does 20 divide p?
False
Suppose -7*h = -8*h + 2. Is (-6)/18*(-14 + h) a multiple of 2?
True
Is 4 a factor of 0 + -6*(-6 - -4)?
True
Let i be 16/(-4) - (-21)/3. Let b = -1 - -1. Suppose 3*h + i*z + z - 36 = 0, b = -5*h - 3*z + 71. Is h a multiple of 9?
False
Suppose 31 = -5*c + 91. Let v = -13 - -13. Suppose -4*t = c, -2*u + v*u + 3*t = -41. Is u a multiple of 13?
False
Let f(a) = -3*a - 7. Let b(x) = -x - 2. Let h(t) = -11*b(t) + 4*f(t). Let z be h(-6). Suppose z*k - 12 = -4*k, 0 = -4*l + 2*k + 10. Is l a multiple of 2?
True
Let f(d) = -6*d**3 - 2*d**2 - d. Suppose -4*w = -0*w. Suppose a + 4 - 2 = w. Is 16 a factor of f(a)?
False
Let s(w) = w**3 - 7*w**2 - 8*w. Let i be s(8). Suppose q = 5*j - 8, i = -j - 2*j + q + 4. Is j + -4 + 37 + -1 a multiple of 15?
False
Let p be (-5)/3 + (-7)/21. Let k(l) = 27*l**2 - l + 1. Let x be k(p). Is 5 a factor of x/6 - (-1)/(-2)?
False
Suppose -2*l = 3*i - 91, 3*i + 0*l - 86 = -l. Let h be (-1)/4 - (-170)/40. Suppose 3*p + i = 2*v - 0*p, 0 = v + h*p - 30. Does 18 divide v?
True
Let p(t) = 2*t**3 - 4*t**2 + 2*t. Let n be p(2). Suppose -n*c = -8 - 8. Is c a multiple of 3?
False
Let g be -1 + -9*(-4)/6. Let p(z) be the first derivative of z**2 + 6*z - 2. Does 11 divide p(g)?
False
Let t(h) = h + 3. Let w be t(-4). Let o = w + 4. Suppose -s - 4*x = -39, -51 = -o*s + 3*x + 36. Is s a multiple of 19?
False
Let a(p) = -5*p - 2 + 6*p + 4*p. Suppose -d - 5 = 0, 2*j - 5*d = 23 + 10. Is a(j) a multiple of 5?
False
Suppose -2*q + 5 = 3*q. Let p be (-4)/(-10)*(q + 4). Is 21 a factor of 36 + (3 - p/1)?
False
Suppose -5*j + 61 = 2*i, -6*i - 5*j + 97 = -2*i. Is -12*1*i/(-8) a multiple of 18?
False
Let n(r) = 2*r**2 - r + 20. Is n(0) a multiple of 10?
True
Let m(l) = 48*l**2 - l - 1. Let q be m(-1). Suppose -2*a + 3*a - q = 0. Does 12 divide a?
True
Let h be 206/(-8) - 4/16. Let j = -8 - h. Does 15 divide j?
False
Let g = 2 + 0. Let v(t) = -3 + 1 + 4 + t + 3*t**g. Does 10 divide v(-3)?
False
Let r(v) be the first derivative of -v**4/4 - 10*v**3/3 - 6*v**2 - 2*v - 1. Let q be r(-8). Let z = 2 - q. Is z a multiple of 12?
True
Suppose 8*b - 15 = 3*b. Is (16/b)/(2/6) a multiple of 7?
False
Suppose 4*o = 27 + 5. Suppose -5*l + 3*m = -3 + o, -2*l + 2*m = 2. Is 5 a factor of 5/2*(l - -3)?
True
Let s(f) = f - 8. Let m be s(-11). Let v = m + 65. Is 25 a factor of v?
False
Let c = -7 - -27. Suppose -w = 4*w - c. Suppose -5*o = s - 0*s - 1, -3*s + 98 = -w*o. Is s a multiple of 14?
False
Let q be -1*0/(0 + -3). Suppose q = -5*u + 3*o + 227, 0*u - 2*o + 121 = 3*u. Is u a multiple of 15?
False
Let j(w) = -w**3 + 6*w**2 + 7*w. Let v be j(7). Suppose b + v*b - 40 = 0. Suppose -2*l - b = -7*l. Does 4 divide l?
True
Let l(o) = -14*o - 4. Let d be l(-8). Suppose j - d = -2*j. Does 18 divide j?
True
Suppose u = -0*u. Suppose 72 = 3*h - 3*f, u*f = 5*f - 20. Let l = -17 + h. Is 10 a factor of l?
False
Suppose 2*j + 3*l - 21 = 0, 5 = -8*j + 3*j + 4*l. Let s(h) = 11*h**2 - h + 5. Is 27 a factor of s(j)?
False
Let f = -44 + 26. Let n = f + 35. Is 9 a factor of n?
False
Let n = 10 + -6. Suppose 81 + 51 = n*x. Is x a multiple of 14?
False
Suppose -2*g = -3*h + 1023, -h + 101 + 239 = -g. Does 49 divide h?
True
Let b(i) be the second derivative of i**4/12 - 4*i**3/3 + 7*i**2/2 - 4*i. Is b(11) a multiple of 19?
False
Suppose -5*w - 14 + 74 = 0. Is 8 a factor of (4 - 24/9)*w?
True
Let y = -84 + 152. Is y a multiple of 34?
True
Let m(t) = -4*t - 3. Let v be m(-2). Suppose 2*k - 3*k - 3*z = 15, 0 = k - v*z - 17. Does 15 divide 0 - (-1 + -15 + k)?
False
Let k(j) = -j**3 + j**2 - j - 1. Let c(b) = -4*b**3 + 9*b**2 - 9*b - 2. Let l(r) = -c(r) + 3*k(r). Is l(5) a multiple of 4?
True
Let n = -54 + 122. Is 34 a factor of n?
True
Let a(o) = -o**2 + 3. Let g be a(0). Suppose 0 = 5*s + c - 14, -g*s - c + 4 = 4*c. Is s*5/3*5 a multiple of 9?
False
Let p(r) = -r**3 + 13*r**2 - 9*r - 20. Is p(9) a multiple of 13?
False
Suppose -3*f = -29 - 43. Is 24 a factor of f?
True
Let u(t) = t**2 - 6*t + 4. Let n be (-64)/(-10) - 8/20. Let h be u(n). Suppose k = -5*a + 45, -h*k = -7*k + 2*a + 84. Is k a multiple of 13?
False
Let f be 4 + -3 + 1 + 1. Suppose -2*q - 4*w + 26 = 0, -f*w = 3*q - 8*q. Suppose -q*p + 35 + 31 = 0. Is p a multiple of