 3*t**2 + 0*t**2 - 4*t**2 + 30*t - t**2 - 9. Let j = 13 - 0. Is 9 a factor of b(j)?
False
Let h = 788 + -424. Does 4 divide h?
True
Suppose 27 + 3 = 5*q. Suppose -210*a = -213*a - 12. Is 6 a factor of (a/3)/(q/(-54))?
True
Let t = 3 + -5. Let n be (-152)/t - (2 + -2). Let x = n - 40. Is x a multiple of 20?
False
Let n = -31 + 26. Let c be 4 + (4 + n - 1). Suppose c*j + 4 = 24. Is j a multiple of 2?
True
Suppose -158 - 267 = -5*c. Let s = c + -17. Is 34 a factor of s?
True
Let q = -20 - -12. Let s = q - -8. Is (0 + s)/(-1) + 14 a multiple of 6?
False
Let r(m) = -m**3 - 5*m**2 + 6*m. Let i be r(-6). Suppose 4*q - 63 - 61 = -4*l, 0 = l - 4*q - 56. Suppose 0*d - d + l = i. Is d a multiple of 12?
True
Suppose -3*g + 1289 = 5*t, -4*t - 4*g = -3*t - 268. Suppose 2*i + 4*z - t = -2*i, -319 = -5*i - 4*z. Is 30 a factor of i?
False
Suppose -1 = -6*v + 29. Let w be 1/v + 234/(-45). Is (-249)/w + (-2)/(-10) a multiple of 10?
True
Suppose 0 = 8*c - 802 - 38. Let d = -25 + c. Does 20 divide d?
True
Let z be 1 + (-2)/(1/(-1)). Suppose -5*r - 3*x + 444 = 0, 4*r - 200 - 154 = -z*x. Is r/8 + (-36)/(-48) a multiple of 8?
False
Let c(q) = 37*q + 9. Let d(f) = -18*f - 5. Let r(a) = -4*c(a) - 7*d(a). Is r(-1) a multiple of 4?
False
Let a(r) = r**3 + 8*r**2 + 3*r + 92. Does 4 divide a(-7)?
True
Does 7 divide 0/1 + 5/(-5) - -327?
False
Let s = -166 + 307. Let n = s - 81. Does 17 divide n?
False
Let d be (-1)/(-3) + (2 - 107/(-3)). Let v = 38 + d. Is 24 a factor of v?
False
Let s be (-222)/(-15) - 3/(-15). Does 12 divide (4/10)/(s/1050)?
False
Let d be ((-3 - -24) + 3)/(-1). Let k = 52 - d. Is 19 a factor of k?
True
Suppose 3*m = -3*y + 969, 5*m = -3*y - 94 + 1057. Is y a multiple of 32?
False
Let z(p) = p + 15. Let d(f) = -f**2 - 4*f + 1. Let u be d(-3). Suppose u*q + 8 = 3*q. Is z(q) even?
False
Suppose 2*r + r + 4*g - 877 = 0, 0 = r - 2*g - 289. Is r a multiple of 3?
True
Suppose 5*l - 284 + 1404 = 0. Let h = l - -321. Is h a multiple of 11?
False
Suppose 74*s - 8976 = 8*s. Is s a multiple of 34?
True
Suppose -65 = -5*g - 5*o, -g - 3*o - o + 28 = 0. Suppose -s - 44 = 3*j - g*j, -2 = -2*s. Does 3 divide j?
True
Suppose 22*o - 196174 = -52*o. Is o a multiple of 27?
False
Let y = -2141 - -2399. Does 7 divide y?
False
Suppose 15 = 4*j - 65. Let s be (72/j)/((-10)/(-25)). Let b(z) = 2*z + 7. Is b(s) a multiple of 8?
False
Suppose -4*k = -5*v + 3 + 5, 0 = 3*k - 2*v - 1. Let w be 13/k - 1/3. Suppose -w*b - 5*z + 3*z + 12 = 0, 4*z = -16. Is 5 a factor of b?
True
Suppose 5*c - 1814 = t, 0 = 3*c - 4*c + 3*t + 360. Is 33 a factor of c?
True
Suppose 3*o + 2*x - 75 = -x, 4*x = -o + 10. Let y = o - 36. Is (-81)/y + 12/8 a multiple of 5?
True
Suppose -20 = 5*w, 2*v - w + 5 + 13 = 0. Let f = v - -196. Is f a multiple of 37?
True
Let y(a) = a**3 - 11*a**2 + 12*a - 15. Let g be y(10). Suppose -5*c + g*o + 90 = 0, o + 51 = 2*c - 4*o. Is 10 a factor of c?
False
Let k(x) = -11*x - 7 + 6*x + 22*x - 6. Let m be k(4). Suppose -32 = -3*j + m. Is j a multiple of 14?
False
Let x = -71 + 125. Suppose 2*o - c = 42, -o - 2*o + x = 3*c. Does 20 divide o?
True
Let v(q) = -q**2 + 4*q + 2. Let o be v(3). Suppose 2*n = -2*x + 5*n - 2, -n = o*x - 29. Suppose r - 428 = -x*a, -3*a = 2*r + 2*r - 267. Does 17 divide a?
True
Suppose -5*o - c + 5*c = -8, -24 = -3*o - 4*c. Let w(u) = 30*u - 5. Let d be w(8). Suppose 0 = o*t - d + 59. Does 22 divide t?
True
Let u = -31 - -33. Suppose 5*f = -2*i - 180, 0*i + 2*i - 72 = u*f. Let k = f + 52. Is 3 a factor of k?
False
Let a be 269 + (-4)/(-10) + (-2)/5. Let d = a + -148. Is d a multiple of 9?
False
Does 81 divide 5 - (4864*1)/(-8)?
False
Let u = 1626 - 1122. Suppose -10*z + u = -3*z. Does 12 divide z?
True
Suppose 2*i + 1 = 43. Suppose -i*y + 24*y = 27. Suppose 0 = -5*b + y*b - 52. Does 5 divide b?
False
Suppose 0*s - 73*s + 96725 = 0. Does 25 divide s?
True
Suppose -2*f - 10 = -4*f. Suppose 0 = 3*b + f*s + 12, -5*b = -s + 2 - 10. Let u(l) = 50*l**2. Is u(b) a multiple of 22?
False
Let l(u) = -u - 2. Let q be l(0). Is 7 a factor of (-6)/1*7/q?
True
Let r be ((-16)/6)/(-5 + 28/6). Is 11 a factor of (r + 5 - -1) + -3?
True
Suppose -3*s - 3*x + 21 = 0, 0 = -0*s - s + 4*x - 8. Suppose 76 = -a - 3*a + 3*r, 3*r + 76 = -s*a. Let m = a + 29. Is 10 a factor of m?
True
Suppose 0 = -7*c + 8*c, 4*c = -3*i + 177. Does 13 divide i?
False
Let f = 14 - 12. Let z = f - -37. Is z a multiple of 13?
True
Suppose v - 3 - 1 = 0. Let w(y) = y - 1. Let n be w(v). Suppose -5*d + 115 = 5*l, n*l + 51 = 2*d - 0*l. Does 12 divide d?
True
Let q(u) = -u**2 - 5*u - 6. Let s be q(-3). Let f be -1 + (44 - (-1)/(-1)). Suppose h = -s*h + f. Is h a multiple of 14?
True
Let i(c) = -74*c - 256. Is 12 a factor of i(-8)?
True
Suppose -19 = s - q, -3*s - 5*q - 85 = -q. Let n = 32 + s. Does 3 divide n?
True
Suppose -5*x + 450 = 4*z, 5*x - 435 = 4*z - 5*z. Is 8 a factor of x?
False
Suppose d - 388 = -3*d + 2*z, -2*z = -2*d + 192. Is 42 a factor of d?
False
Let x(c) = -2*c**2 - 10*c + 5. Let w be x(-6). Let r(n) = n**3 + 8*n**2 + 3*n - 16. Is r(w) a multiple of 4?
True
Let b be -18*((-65)/10 + 4). Suppose -p = -b - 33. Is 7 a factor of p?
False
Let f(z) = 5*z + 31 + z - 79 - 3*z. Is 13 a factor of f(29)?
True
Let o = -227 - -230. Is 3 a factor of o?
True
Suppose 9*x = 4*x. Let z = x + 21. Is z a multiple of 3?
True
Let g(p) = -2*p**3 + 41*p**2 + 60*p - 5. Does 37 divide g(21)?
True
Suppose 0 = m - 3, -56*m = -5*r - 52*m + 10968. Is r a multiple of 61?
True
Is 54/36 + 30*(-684)/(-16) a multiple of 4?
True
Suppose -3*o + 12 = 4*f, 0 = 5*o + 4*f - 0*f - 12. Suppose o = -3*t + 5*t - 8. Suppose -9*g + t*g = -145. Is 9 a factor of g?
False
Let l be 53 + (-1)/(-3)*0. Let j = -49 + 157. Let c = j - l. Is c a multiple of 14?
False
Let j(n) = n**3 + 6*n**2 - 5*n + 10. Let f be j(-7). Let w(u) = -5*u**2 + 11*u - 22. Let v be w(2). Does 25 divide f/(-10) + (-992)/v?
True
Let y(a) = -5*a**3 - a**2 + 13. Let r(b) = 11*b**3 + b**2 - 27. Let o(m) = -6*r(m) - 13*y(m). Let h be o(5). Is 9 a factor of (h + (-2 - -4))/1?
True
Let v be (0 - -3)*(-137)/1. Let p be v/(-12) + 1/(-4). Suppose -d + p = 10. Is 13 a factor of d?
False
Let n = -55 + 119. Let o be (-16)/(-20) + n/(-5). Let c(m) = m**2 + 5*m - 12. Is c(o) a multiple of 12?
True
Let q = 375 - -377. Does 94 divide q?
True
Let y(g) = -4 - 2*g**2 - 2 - 2 + 3 + 3*g + g**3. Let l be y(2). Let f(u) = 60*u**2. Does 15 divide f(l)?
True
Let q(p) = 10*p - 15. Let a be q(9). Suppose 6*v = v + a. Is 5 a factor of v?
True
Suppose -509055 + 102075 = -57*l. Is l a multiple of 20?
True
Let o(r) be the first derivative of -r**3/3 - 2*r**2 - 3*r - 11. Let t be o(6). Let k = -38 - t. Is k a multiple of 5?
True
Let v = 13 - -2. Suppose 17*t - 12*t = -v. Is 8 a factor of t*(8/(-3))/1?
True
Let n = 51 - 60. Let u(o) = o**2 + 3*o - 11. Is 14 a factor of u(n)?
False
Let m be 6/9 + (-20)/3. Is 19 a factor of 115/6 + ((-5)/m - 1)?
True
Suppose 0*d + 4*d - 4*q + 112 = 0, 3*d - 5*q + 94 = 0. Let g = d + 15. Let v = 12 + g. Does 4 divide v?
True
Let i be 3/(-6) + 54/4. Suppose t + 0*l + l = i, l - 23 = -2*t. Is 4 a factor of t?
False
Does 19 divide ((-936)/96)/((-6)/152)?
True
Let x = -29 + 25. Is 14 a factor of 11*-1*-5 - (4 + x)?
False
Let w be (-3414)/(-42) - (-2)/(-7). Suppose 5*h - v - 74 = w, -2*v - 155 = -5*h. Does 7 divide h?
False
Suppose -90 = 2*f + 2*n, n - 5*n = 0. Is 11 a factor of -2*(3/(-6) - -1) - f?
True
Suppose -25*x + 19491 = -36184. Is x a multiple of 17?
True
Let j be 0 - (1 - (-3 - 10)). Let o be (-1)/7 + 96/j. Let s(w) = w**2 - 2*w - 6. Does 12 divide s(o)?
False
Does 6 divide 8590/65 - (-6)/(-39)?
True
Let j = -137 + 154. Suppose -j*n = -542 - 818. Is n a multiple of 10?
True
Let y = 2 + 8. Let q(h) = 11*h - 14. Let t be q(y). Is 6 a factor of 2/16 + 3828/t?
False
Let y(c) = 26*c**2 + 2*c - 62. Is 3 a factor of y(6)?
False
Let x(r) = 150*r**3 + 2*r**2 - 3*r + 1. Let u be x(1). Suppose 0 = -4*z - 54 + u. Is 12 a factor of z?
True
Let m(u) be the second derivative of 1/12*u**4 + u**3 - 3*u - 3*u**2 + 0. Is m(-8) even?
True
Let s(p) = -p**3 + p**2 - p + 37. Let f be s(0). Let v(a) = -7*a**2 + 3*a + 2. Let h be v(-1). Is f*(h/2)/(-4) a multiple of 17?
False
Let v be ((-340)/(-28) + -1)*28. Let f = v - 219. Is f a multiple of 31?
True
Let i(s) = 7*s**3 - 3*s**3 - s + 3*s**2 