 multiple of 9?
False
Suppose 7 + 9 = 8*l. Is (-75)/(-7) + ((-48)/(-21) - l) even?
False
Suppose 4*a + 5*g = g + 264, 0 = 5*a - 2*g - 344. Is a a multiple of 4?
True
Let u(a) be the second derivative of 3*a**3/2 - 5*a**2/2 + 14*a. Is 4 a factor of u(3)?
False
Suppose -2*t - 3 = -5*l + 14, t - 4 = 0. Suppose -l*g + 2*g = -57. Suppose g*j = 18*j + 32. Is j a multiple of 16?
True
Let u(i) = 5*i**2 - 2*i + 2. Let r be u(5). Let p = r - 41. Does 12 divide p?
False
Suppose 2*q - 6*q + 3648 = 0. Is 38 a factor of q?
True
Let h = -42 - -45. Suppose -2*d = l + 3, 2*d + h*d + 35 = 3*l. Does 5 divide l?
True
Let w = -242 - -251. Is 2 a factor of w?
False
Let v(b) be the second derivative of b**4/3 - 17*b**3/3 + 12*b**2 + 26*b - 1. Is 13 a factor of v(14)?
False
Suppose -2*c + 5*c = 3*j - 8700, -j = -3*c - 2890. Is j a multiple of 12?
False
Let l(d) = 3*d**2 - 2*d - 6. Is 15 a factor of l(3)?
True
Suppose -4*i + 2*i = -s - 638, -4*s = 4*i - 1300. Is i a multiple of 9?
False
Let s be 2/6 + 88/24. Suppose -s*c + c = -27. Suppose 0 = l - 27 - c. Is 9 a factor of l?
True
Let r be 2/(-7) - (-535)/35. Suppose 5*u - 4*q - 240 = 0, 4*q + r = -5. Is u a multiple of 11?
True
Is 4 a factor of (1*78)/(39/52)?
True
Suppose -738*n + 20728 = -730*n. Is 14 a factor of n?
False
Suppose 18*u - 30*u = -5664. Is 6 a factor of u?
False
Is -10 + 276/27 + 9266/18 a multiple of 23?
False
Suppose 13*k - 12*k = -6. Let u = k - -11. Suppose 2*w - 135 = -2*w - u*i, -5*w - 4*i = -162. Does 12 divide w?
False
Does 57 divide -70*15/((-600)/208)?
False
Suppose -h + 12 = 2*h. Suppose 0 = h*d - 15 + 3. Suppose d*w = 20 + 61. Is w a multiple of 15?
False
Let n(j) = -101*j + 2. Let a be n(3). Does 8 divide -1*666/(-14) - 129/a?
True
Let r be 10/(-25) + (-167)/(-5). Suppose -r = -z + 3. Is z a multiple of 4?
True
Suppose -2*i - i - 11 = -2*v, 0 = i + 2*v + 17. Is 26 a factor of 1/(((-14)/156)/i)?
True
Let n(i) = 2*i**2 - 31*i. Let c(p) = 1. Let y(r) = -5*c(r) + n(r). Is 10 a factor of y(17)?
False
Is 21 a factor of 5/((-175)/(-3665)) - (-10)/35?
True
Let m be 3 + (1 + 2)*-1. Let l(q) = -1 + 36*q + 0 - 5*q + m*q. Is l(1) a multiple of 15?
True
Let y = -113 + 116. Suppose -4*g - 1688 = -4*o, 2*o - o = y*g + 418. Does 51 divide o?
False
Suppose -74*p = -79*p + 1235. Is p a multiple of 4?
False
Let g(u) = -4*u**2 - 7. Let z(c) = -3*c**2 + c - 6. Let x(t) = -4*g(t) + 5*z(t). Is 9 a factor of x(-7)?
False
Let a = 1402 + -596. Is 31 a factor of a?
True
Suppose -14 = 9*o - 7*o. Does 10 divide (20/o)/((-4)/14)?
True
Let i(f) = 2*f - 6. Let s be i(5). Suppose -o - 15 = s. Is (o - 1)/(6 - 8) a multiple of 4?
False
Suppose 39*u = 119*u - 116640. Is 81 a factor of u?
True
Let u = -25 - -14. Let r = u + 31. Is 1 - (3 + -4)*r a multiple of 8?
False
Suppose 5*f - 130 = -5*r, -2*f = -5*r - 12 - 26. Suppose 0 = -t + f. Is 3 a factor of t?
True
Let z(n) be the second derivative of -n**3/3 - 7*n**2/2 - 4*n. Let t be z(-6). Is 10/(8/100*t) a multiple of 5?
True
Suppose 0 = -2*p - 5*t + 599, 2*p + 1180 = 6*p + 4*t. Suppose 4*q - p = -4*b, q + 57 = b + 6*q. Does 30 divide b?
False
Suppose 4636 = 29*g - 3426. Does 6 divide g?
False
Let r be 7/(7/2) - 8. Let w be 14*1*3/r. Let o(n) = n + 12. Is o(w) a multiple of 3?
False
Does 8 divide (1/(-5) - (-574)/(-30))*-12?
True
Let t = 9 + 33. Let x be -2 - (1 - (t - 3)). Suppose z = -2*s + 32, 0 = -5*s - 4*z - x + 113. Is 17 a factor of s?
True
Let a(k) = 105*k + 63. Does 74 divide a(9)?
False
Let x(u) = 22*u. Let y be x(4). Let f = y - 53. Suppose -f - 9 = -2*q. Is 11 a factor of q?
True
Suppose 5*s - b = 550 + 2384, -2*b = -2*s + 1180. Is s a multiple of 20?
False
Let b = -2646 - -4284. Is b a multiple of 21?
True
Let x(r) = 3*r**3 - 2*r**2 - 4*r + 6. Let p be x(2). Suppose -6*k - 232 = -p*k. Is k even?
False
Suppose 24*u = 16*u + 480. Is 10 a factor of u?
True
Suppose 6*b = 5*b + 3. Suppose -3*x - b*x + 60 = 0. Is x a multiple of 3?
False
Let z(f) = -9*f + 12. Let h be z(-7). Suppose -3*s - 5*u - h = -210, 0 = -2*u - 6. Is s a multiple of 10?
True
Let m(n) = 5*n + 7. Let b(u) = -u - 2. Let y(a) = -9*b(a) - 2*m(a). Let w be y(6). Does 7 divide ((-1)/w + -2)*-14?
True
Let v(c) = -c**3 + 2*c**2 + 2*c - 4. Let z be v(-2). Let m(x) = -12 + 7*x + 3*x + 1 - 2*x. Is m(z) a multiple of 37?
False
Let n = 46 - -52. Suppose 47 + 92 = s. Let u = s - n. Is 6 a factor of u?
False
Let c(w) = w**3 - w**2 - 3*w + 2. Let l be c(-4). Let j = 94 + l. Is j a multiple of 14?
True
Suppose 4*l + 6*a - 281 = 11*a, 0 = 2*l - 5*a - 153. Does 4 divide l?
True
Suppose 3*d + d = 1120. Is d a multiple of 35?
True
Suppose 0 = -4*l + 1 + 7. Suppose l*v - 7 = -4*d + 9, 0 = v - 4. Suppose 0 = 3*p + d*p + 2*w - 76, 0 = 2*w - 6. Is 6 a factor of p?
False
Suppose b = -5, 4*b = 2*f - 5*f + 118. Is 6 a factor of f?
False
Let x = 30 - 25. Suppose -x*z + 59 + 271 = 0. Is 23 a factor of z?
False
Suppose -3*s - 17 = -4*w, 3*w + 0 = -2*s + 17. Does 25 divide (159/(-9) - s)*-6 - -3?
False
Suppose 446 + 447 = -5*a - 4*q, 0 = 2*q - 6. Let t = a - -347. Is 24 a factor of t?
False
Suppose -9*n = -10*n - 4*k + 757, -3700 = -5*n - 3*k. Is n a multiple of 17?
False
Suppose -38 = -5*m + h, -3*h - 2 = m - 16. Let y = -6 + m. Suppose -y*z = -3*n + 4*n - 44, 4*n = 4*z - 76. Is z a multiple of 7?
True
Suppose 2*c + 3*c = 5*h + 190, 0 = -c - 4*h + 38. Suppose -2*w + c + 8 = 0. Is w a multiple of 11?
False
Let c be 1/((-4)/(-168))*(-14)/(-3). Suppose -c - 101 = -3*u. Is u a multiple of 38?
False
Let l(r) = 9*r + 0*r**3 + 5 + r**3 - 12*r**2 + 5*r**2. Let o be l(5). Suppose -5*n - 4*t = -5, -3*n + t = -o*n - 20. Is n a multiple of 3?
False
Let d be ((-29)/5 - -1) + (-3)/15. Does 12 divide (1 + 0 - 0)/(d/(-195))?
False
Let w(r) = 3 - 15*r - 4 + 3. Let q be w(-7). Suppose -f - c = -49, 3*f - c - q = f. Is 13 a factor of f?
True
Let h be (4/6)/(4/(-6)) + 250. Let y = h - 141. Is 27 a factor of y?
True
Let i(k) = 6*k**2 + 14*k - 13. Is 33 a factor of i(-11)?
False
Let i = -11 - -12. Let n(b) = i + b - 1 + 0 + 1. Is n(6) even?
False
Let x = -52 + 57. Suppose -x*c + 91 = -234. Is c a multiple of 6?
False
Suppose -40*f = -7*f - 11550. Is f a multiple of 14?
True
Suppose 0 = 4*t - 47 - 293. Suppose -2*s - 17 + t = 0. Is s a multiple of 17?
True
Let m be 6/(-3)*15/(-6). Let w(l) = -5*l + 2 - 7 - 3 - m. Is w(-5) a multiple of 6?
True
Let r be (-53)/(-4) - 6/24. Suppose 0 = -3*m + r - 1. Let w(q) = 3*q**2 + 2*q - 6. Is w(m) a multiple of 25?
True
Let g = 38 - 34. Suppose -g*o - 2*c = -c - 71, -2*o = -c - 31. Is 16 a factor of o?
False
Let k = 311 - 219. Does 6 divide k?
False
Let l(j) be the first derivative of -7*j**3/3 - 6*j**2 + 11*j - 6. Let c(g) = g**2. Let x(q) = 6*c(q) + l(q). Does 11 divide x(-11)?
True
Let o(s) be the third derivative of s**6/120 + s**5/15 + s**4/8 - s**3/3 - 3*s**2. Let r be o(-3). Is 26 a factor of 4/8*r*-53?
False
Suppose 2*d - f + 2 = 0, -4 = 2*d + 3*d - 2*f. Let a be 0 + (3 + 0 - d). Is (32/a)/((-8)/(-36)) a multiple of 24?
True
Let y = 423 + -5. Is 38 a factor of y?
True
Is 4*(2 - 8022/(-24)) a multiple of 6?
False
Let t(x) = -2*x**2 + x - 1. Let r be t(-1). Is 26 a factor of (-1 - r) + (-5 - -113)?
False
Let y(h) = 6*h**2 + 6*h. Let k be y(-3). Suppose -2*t - 5*z + 210 = 0, k + 63 = t + z. Let c = t - 35. Is 15 a factor of c?
True
Let i(r) = r**3 - 1 + 4 + 6*r**2 + 7 + 8*r. Let d be i(-4). Is d/(-5) - 333/(-3) a multiple of 29?
False
Does 18 divide (15520/28 - 5) + (-12)/42?
False
Let x = -25 - -28. Is 3 a factor of (x/5)/(9/180)?
True
Let v be -2*(-2 - 10/(-4)). Let w be (-368)/(-23) - (-1 - -6). Is (-7)/3*(v - w) a multiple of 23?
False
Suppose r + 5 = -v, 5*r + 25 = 4*v - 27. Let o = r + 2. Is 1/o*-76*3 a multiple of 8?
False
Suppose -41 = -4*q + 1247. Does 39 divide q?
False
Let d(n) = 3*n**2 - 2*n + 2. Let p be d(2). Let h(g) = g**3 - 11*g**2 + 13*g + 18. Does 4 divide h(p)?
True
Let v = -91 + 91. Suppose 4*i - 4*p - 32 = 2*i, v = -5*i + 2*p + 48. Is 4 a factor of i?
True
Let s(g) = 2*g**2 + 11*g + 7. Suppose -5*w = 2*m - 16, 2*w - 5*w + 15 = 3*m. Suppose w*h = i + 2 - 1, -2*i = -2*h + 8. Is 15 a factor of s(i)?
False
Let b(h) = -h**2 - 7*h. Let m be b(-5). Suppose m*x - 8*x = -8. Is (4/x)/(3/(-129)) a multiple of 14?
False
Let j(t) = t**2 + t + 8. Let f be j(6). Let n = f - -27. Does 33 divide n?
Fal