 Is u(-5) a multiple of 36?
True
Suppose 3*b = 4*b. Is 5 + 1/(-3)*b even?
False
Let v(d) = 6*d - 5. Suppose 3*w - 27 = -8*c + 4*c, -4*w + 35 = 5*c. Let g(q) = -5*q + 5. Let z(h) = c*v(h) + 2*g(h). Is 10 a factor of z(4)?
False
Let k(h) = 11*h - 10. Let s(u) = -u + 3. Let b be s(-6). Let x be k(b). Suppose 3 = -2*j + x. Does 18 divide j?
False
Let z = -12 + 15. Is 135/20*8/z a multiple of 16?
False
Let c(g) = 7*g**2 - g + 2. Suppose -2*r - 3*r = 10. Is 11 a factor of c(r)?
False
Let q = -251 - -92. Let h be q/2*12/(-18). Suppose -5*b = -h + 8. Is b a multiple of 4?
False
Let b = 1 + -2. Let g(v) be the third derivative of -v**6/12 - v**5/60 - v**4/12 - v**3/6 + v**2. Is g(b) a multiple of 5?
True
Let x be (-1 + 6/(-4))*(-13 + 11). Suppose -4*w - 5*r + 35 = 0, -5*w + 10*w - 2*r = 19. Suppose -x*f - w = -6*f. Does 3 divide f?
False
Let v(k) = k**2 - 4*k - 3. Let u be v(5). Does 16 divide -1 + (u - (2 - 19))?
False
Let h be ((-10)/4)/(1/(-2)). Suppose -c + 223 = h*o, o + 3*c - 60 = -7. Is o a multiple of 22?
True
Let c(a) = 2 - 1 + 60*a**2 + 11*a**2. Let n be c(-1). Suppose n = 2*g + g. Is 12 a factor of g?
True
Let t be -1 - (-49 + (-3 - -3)). Let l be (-3)/7 - t/(-14). Suppose -3*x - 2*x - l*z + 35 = 0, 14 = 2*x + z. Is 2 a factor of x?
False
Suppose -4*a + 326 = 26. Is a a multiple of 25?
True
Suppose 5*o + 185 = 50. Let y = 11 - o. Is 19 a factor of y?
True
Suppose -2*b - 75 = -5*b. Let z = b - 15. Is z a multiple of 10?
True
Suppose -7*q + 24 = -4*q. Is 42/q - (-1)/(-4) a multiple of 5?
True
Let z(l) = l - 4. Let n be z(4). Suppose -5*d - 5*k + 570 = n, -2*d + 0*k - 3*k = -233. Is 22 a factor of d?
False
Suppose 2*o + 2 + 2 = 0, 0 = 4*m + 2*o. Let s(n) = n**2 + n - 18. Let t be s(0). Is (t + 0 + m)*-1 a multiple of 16?
False
Let w = -226 - -466. Is w a multiple of 40?
True
Let b be ((-12)/(-24))/(2/564). Let o = -93 + b. Does 21 divide o?
False
Let u be (3 + (-6)/3)*4. Suppose 9*q - u*q = 145. Is 10 a factor of q?
False
Let p = 398 - 101. Is p a multiple of 30?
False
Let f(a) = a**3 + 5*a**2 - 4*a - 6. Let n be f(-5). Let p = n - 5. Suppose 5*o - 6 - p = 0. Is 3 a factor of o?
True
Let i(a) = 23*a**2 - 2*a + 2. Is i(2) a multiple of 25?
False
Suppose 4*l + 8 = -h + 48, -4*h = -2*l - 124. Suppose 0 = b + t - h, -t = -3*t. Is b a multiple of 13?
False
Suppose -v + 2 = -1. Let z = 7 + 13. Suppose -2*k + 8 = v*f, 0 = -4*f - f - z. Does 5 divide k?
True
Suppose -27*q - 292 = -31*q. Is q a multiple of 39?
False
Let c = -47 + 63. Is 16 a factor of c?
True
Suppose -4*f = -7 - 5. Suppose -2*x = f*x - 100. Is x a multiple of 8?
False
Suppose 11 = q + 2. Is q a multiple of 9?
True
Let r be -4*(2 - (-20)/8). Is 2 a factor of r*(-3 - (-20)/8)?
False
Suppose 3*y - 9 = -2*a, -2*a - y = 4*y - 11. Suppose 40 = a*b - 2*b. Is 10 a factor of b?
True
Let l(j) = 14*j + 4. Let v be l(5). Suppose 3*f - 31 = v. Let n = -23 + f. Is 8 a factor of n?
False
Let o = -15 + -8. Suppose 5*l = -0*l - 180. Let z = o - l. Is z a multiple of 13?
True
Suppose 0 = -2*k - 2*k. Suppose -4*s - 4*p = -84, k = s - 5*p - 3 - 42. Does 10 divide 20/s*(-45)/(-2)?
False
Let f be (-8)/(-2) - (1 - -1). Let c = f - -2. Suppose 0*y + c*y = 40. Is y a multiple of 6?
False
Let o(t) = 202*t**3 + 2 + 4 + 3*t**2 + t - 204*t**3. Is 18 a factor of o(-3)?
False
Let l(y) = -y**2 - 9*y - 2. Suppose -2*q - 2*q = 28. Is 12 a factor of l(q)?
True
Let q(r) = -r**2 - 17*r + 17. Does 10 divide q(-15)?
False
Let j be 2/(-6) - (-175)/3. Suppose -j = -5*s - 208. Let k = -14 - s. Is k a multiple of 14?
False
Let z(d) = d - 6*d**2 + 0*d + 16 + 5*d**2. Let w be z(0). Let v = 27 - w. Is 6 a factor of v?
False
Let s be (2/(-4))/(3/(-36)). Let x(n) = n**3 - 5*n**2 - 6*n + 1. Let w be x(s). Is 8 + 6 + (-1 - w) a multiple of 12?
True
Let y be 3*2/((-2)/(-1)). Let u(a) = -4*a + 6. Let n be u(5). Does 5 divide (n/y)/1*-3?
False
Let z(p) = 2*p**2 + 3*p - 3. Suppose h = -5*g + 6, g = 2*h - g + 12. Does 17 divide z(h)?
True
Suppose 0 = 3*w - 24. Is 6 a factor of w?
False
Let y(g) = 7*g - 10. Is y(5) a multiple of 8?
False
Let m(n) = 30*n**2 + n - 1. Suppose 0 = -5*c - 3 - 2. Let i be ((-3)/3)/(c + 0). Is m(i) a multiple of 15?
True
Let w = 51 + -44. Is 2 a factor of w?
False
Let q be (-32)/(-2) - 52/13. Suppose 4*p - q = 3*p. Is p a multiple of 4?
True
Suppose 0 = 4*i - 2*h - 2, h - 6*h + 10 = 5*i. Does 3 divide ((-3)/(-2))/(i/2)?
True
Suppose g = -2*g + 12. Suppose -8 = g*s - 5*s. Does 8 divide s?
True
Suppose 0 = -0*p + p. Suppose p = 3*z - 4*z + 5. Is 10 a factor of (-5)/z - (-1 - 20)?
True
Let d be 0 + -2*1 - 1. Let t be (1 - 0) + d + -1. Let y(b) = -2*b**3 - 4*b**2 - 2*b + 2. Is 13 a factor of y(t)?
True
Suppose -9*y = -11*y + 64. Let j be (-24)/(-9)*45/6. Let q = y - j. Does 6 divide q?
True
Suppose 1900 = 14*t - 4*t. Does 21 divide t?
False
Does 32 divide 3 + (-3 - (-242 + 2))?
False
Let w(q) = 21*q + 84. Does 42 divide w(6)?
True
Let s(l) = 10*l - 30. Is s(12) a multiple of 15?
True
Let n be 10 - 3/6*-2. Let v = -1 + n. Is v a multiple of 7?
False
Let g = 31 + -6. Does 5 divide g?
True
Let r(o) = -o**2 + 8*o + 7. Does 5 divide r(0)?
False
Suppose 3*p = 3*n - 27, 0*p - 3*n = 5*p + 5. Does 18 divide 2*(0 - 110/p)?
False
Let m(w) = -w**3 - 4*w**2 - 5*w + 16. Does 11 divide m(-6)?
False
Let c be (-6)/(-33) + (-238)/(-22). Let p(s) = -3*s**2 - 21*s - 22. Let f(n) = n**2 + 10*n + 11. Let l(h) = -5*f(h) - 2*p(h). Is 13 a factor of l(c)?
False
Suppose 4*u = u. Suppose u*w = 2*a + w - 103, -101 = -2*a + w. Does 20 divide a?
False
Let v(r) = -r - 15. Let m be v(-15). Suppose 4*s = -h + 61, s = -2*h - m*s + 129. Is 13 a factor of h?
True
Let h(c) = -3*c + 4 + 2*c**2 - 3 - 7. Let x(b) = b**2 - 5. Let v be x(0). Is h(v) a multiple of 23?
False
Let i(u) = u + 89. Is 23 a factor of i(-20)?
True
Let n be (22/(-4))/((-6)/(-12)). Let k = -2 - n. Does 4 divide k?
False
Let b be (-10)/6*3/(-1). Let q(a) = 259*a**2 - 2*a + 1. Let u be q(1). Is 17 a factor of 1/b + u/10?
False
Let y(u) be the third derivative of u**4/12 + 2*u**3/3 + 4*u**2. Let j be ((-3)/2)/(4/(-8)). Is y(j) a multiple of 9?
False
Let z be 62 - (-1 - 1)/(-2). Let x = z - 43. Is 13 a factor of x?
False
Let h = -39 - -78. Does 24 divide h?
False
Suppose 7*a - 10*a + 6 = 0. Is (8/a)/((-2)/(-4)) a multiple of 8?
True
Let h(o) = 5*o - 4. Is h(16) a multiple of 17?
False
Let g(u) = -u. Let p(v) = -14*v - 4. Let n(y) = 12*g(y) - p(y). Does 6 divide n(4)?
True
Suppose 133 = -5*m + 433. Is m a multiple of 12?
True
Suppose 2*d + 5*f = 53, 3*f = 3*d - 40 - 29. Is 11 a factor of (d/9)/(6/45)?
False
Let k(y) = y**2 + 12 - 7*y - 2*y**2 + 2*y**2. Is 20 a factor of k(8)?
True
Let p = -26 + 38. Suppose 4*w - 3*w = 5*q + 60, p = -3*q. Does 14 divide w?
False
Let s(m) = 2*m**2 - 2*m + 2. Suppose -4 = -2*x - 0. Let w be s(x). Does 24 divide (56/(-6))/((-2)/w)?
False
Let p = 13 - 10. Suppose 2*t + 5*c + 25 = 6*t, 11 = 2*t - p*c. Is t a multiple of 9?
False
Let z(s) be the first derivative of s**2 - 2*s - 1. Is 10 a factor of z(6)?
True
Let n = -20 + 35. Is 2 a factor of n?
False
Let d = -64 - -144. Is d a multiple of 16?
True
Let d(r) = r**3 + 8*r**2 - r + 6. Does 12 divide d(-6)?
True
Let b(q) = -q**2 + 6*q. Let x be b(6). Suppose 4*m = 2*m. Suppose -5*u + x*u + 110 = m. Is 8 a factor of u?
False
Let t = 0 - -6. Let j be 10/t*(-6)/(-2). Suppose -j*q - 16 = -q, -6 = x + 3*q. Is x a multiple of 6?
True
Is 5 a factor of (2 - 10/(-1)) + -2?
True
Let b = 16 - -2. Is b a multiple of 18?
True
Let i be -6 - (2 + 2/(-2)). Let v = 16 + i. Does 4 divide v?
False
Let h be (-1)/((2/(-50))/(-1)). Suppose -m = -1 + 6. Let t = m - h. Is t a multiple of 15?
False
Let p(o) be the first derivative of -2*o**2 + 2*o + 1. Is p(-2) a multiple of 10?
True
Let o(f) = -7*f + 2. Let w be o(1). Is 14 a factor of (38/(-4))/(w/10)?
False
Let t = -50 + 130. Is t a multiple of 8?
True
Suppose 0 = a - 4*j - 95, -2*a - 2*j - 421 = -7*a. Let l = a - 7. Suppose 0 = -5*s + 4*r + l, -5*s - 3*r + 0*r = -48. Is 6 a factor of s?
True
Let j = -46 + 130. Is 21 a factor of j?
True
Suppose 2*w = w + 319. Is 23 a factor of w/7 + (-12)/21?
False
Let p = 1 - 6. Let h = p - -4. Let t(l) = -30*l. Does 13 divide t(h)?
False
Suppose 4*r = -3*o + 54, -r - r + 36 = -3*o. Let a = r + -5. Is a a multiple of 5?
True
Suppose 3*c + 5*s = 67, 3*