 a factor of t?
True
Suppose -102 + 18 = -3*j. Let x = j + -23. Suppose -g + 132 = x*g. Is g a multiple of 4?
False
Let a = 332 + -396. Suppose o - 333 = 4*o. Let b = a - o. Is 14 a factor of b?
False
Let b(k) = 1 + 7 + 5*k**2 + 0*k**2 - 3*k**2 - 7*k. Is b(8) a multiple of 10?
True
Let k(o) = o**3 - 2*o**2 - 13. Let x be k(3). Let g be 12/3 - (-2)/(-2). Is 21 a factor of 24*(-2)/(x/g)?
False
Suppose 0 = 2*b - 8, 7*b - 10*b + 1562 = i. Is 79 a factor of i?
False
Is (5 + 1)/((-3)/(-334)) a multiple of 18?
False
Let x(c) = 2*c**2 + 3*c - 8. Let k(j) = -j**3 - 7*j**2 - 7*j + 1. Let w be k(-6). Let b be x(w). Suppose 0*q + b = 3*q. Is 13 a factor of q?
False
Let d = 646 + -145. Let k = d + -310. Is 17 a factor of k?
False
Suppose 0 = -31*w + 29853 + 3038. Does 18 divide w?
False
Suppose -219 = -15*j + 111. Suppose 2*k + 0*w = w - 25, k + w = -14. Let h = j + k. Is h a multiple of 3?
True
Let x = 1379 - 435. Is x a multiple of 84?
False
Let t be 33*3/9 + 2. Suppose -144 = -t*b + 7*b. Is b a multiple of 12?
True
Let d(i) = i**2 - 8*i + 7. Let a be d(7). Suppose -3*t + 8*t - 3*m - 144 = a, -5*t = -m - 148. Is t a multiple of 24?
False
Suppose -14*p + 495 + 597 = 0. Is 4 a factor of p?
False
Let q = 118 + -73. Suppose -42*g + q*g - 27 = 0. Is 3 a factor of g?
True
Let g(l) = 2*l**2 + 9*l + 23. Let w(h) = h**2 + 5*h + 11. Let m(j) = 3*g(j) - 7*w(j). Let k be m(-6). Suppose 38 = -k*n + 5*n. Is n a multiple of 38?
True
Suppose -3*v + 160 = -o, -4*v + 0*v = 4*o - 192. Is v even?
True
Let y(b) = 173*b + 96. Is y(3) a multiple of 5?
True
Let y(h) = 9*h + 4. Let i be y(-1). Let b be (-2)/10*i + 4. Let w(m) = 2*m**3 - 6*m**2 - 6*m - 7. Does 21 divide w(b)?
True
Let c(j) = j**3 - j**2 - 8*j + 2. Let q be c(4). Let y = 22 + q. Is 8 a factor of y?
True
Suppose 6 = 2*p + 4. Let v = 3 - p. Suppose -v*m + 35 = 7. Is m a multiple of 5?
False
Suppose -x - x = -y + 61, 2*x = -5*y - 31. Let w = x + 37. Suppose -w*n + 3*n + 450 = 0. Does 12 divide n?
False
Is -1 + (16/4 - -51) a multiple of 3?
True
Is 10 a factor of (8 - -38)*4 - -9?
False
Suppose -11*k + 258 + 1260 = 0. Is 5 a factor of k?
False
Suppose 0 = -2*t + 7 + 5. Suppose -t*h = -375 - 219. Is 8 a factor of h?
False
Let m = -1232 + 1799. Does 18 divide m?
False
Let s = 28 - 0. Does 7 divide s?
True
Is 5 a factor of 10660/(-12)*(-42)/35?
False
Suppose 111 = 3*a - 5*x, -x + 45 = 2*a - a. Is 3 a factor of a?
True
Let z(i) = -3*i. Let l(q) = -q + 11. Let j be l(8). Suppose 4*t - 2*p + 38 = 10, -j*t - p - 26 = 0. Is z(t) a multiple of 6?
True
Let v(p) = p**3 - 32*p**2 + 73*p - 26. Is v(30) a multiple of 3?
False
Let c(u) = 12*u - 13. Suppose -3*w - 4*k + 54 = 0, -k = 2*w - 5*k - 16. Is c(w) a multiple of 31?
True
Let o(x) = -15*x + 9. Let a be o(-6). Suppose 21 = v + 5*g, 5*g - a = -v - 3*v. Is v a multiple of 13?
True
Let s be 2*1/2*14. Suppose -2*v + 5*x - 4*x = -3, 2*x = -v + s. Suppose -2 = -v*t + 310. Is 26 a factor of t?
True
Suppose 3 = -i, p + 3 = -4*i - 17. Suppose -2*s - s = -4*g + 3, -4*s - 4 = 5*g. Let z = s - p. Does 6 divide z?
False
Let v = 12 + -29. Let l = -13 - v. Let t(n) = 8*n - 6. Is 12 a factor of t(l)?
False
Let j(r) = -r**3 + 2*r**2 + 2*r + 7. Let c be j(3). Is (56/12 - c)*18 a multiple of 6?
True
Let l(b) = -3*b - 17. Let d be (-26)/(-7) + 8/28. Suppose -32 = -d*w - 96. Is l(w) a multiple of 5?
False
Suppose -1566 = -23*y + 3333. Is y a multiple of 4?
False
Let h(y) be the second derivative of 0 + 4*y**2 + 8*y + y**3 + 1/4*y**4. Is h(-7) a multiple of 29?
False
Suppose 0 = -0*w - w - 2. Let d(t) = t**3 - 10*t**2 - 12*t + 10. Let z be d(11). Is 38 a factor of -2 - w - (z + -148)?
False
Let m(d) = -d**3 + 18*d**2 - 16*d - 5. Suppose 81 = 5*q + 4*f, -f + 63 = 5*q - 21. Is 6 a factor of m(q)?
True
Let u be (5 + -6)/(2 + 27/(-15)). Let v = 19 - u. Does 7 divide v?
False
Suppose 4*f - 21*f + 1683 = 0. Suppose v - 307 = -f. Is v a multiple of 24?
False
Suppose -13 + 91 = 2*l. Is 3 a factor of l?
True
Suppose 0 = 3*n - 2*v - 3, -n + v = -v + 3. Let y(k) = 8*k + 1. Let d be y(1). Let l = d - n. Is l a multiple of 3?
True
Let w = 16 - -17. Let g = w - 31. Suppose -5*c + 72 = -g*c. Does 12 divide c?
True
Let b(i) = 12 - 3*i**2 + i + 41*i**2 - 10. Let q be b(-2). Suppose 52 = -5*p + q. Does 10 divide p?
True
Let i(r) = r**2 - 9*r + 10. Let f(g) = g**2 - 9*g + 10. Let k(m) = -5*f(m) + 4*i(m). Let d be k(7). Suppose -d*w - 2 = -34. Is w a multiple of 4?
True
Let c(u) = 356*u**3 + u - 3. Let n(x) = -178*x**3 + 1. Let j(r) = 3*c(r) + 5*n(r). Does 15 divide j(1)?
False
Suppose 0 = 4*q - 0*q - 100. Let j = 35 + q. Is 7 a factor of j?
False
Let u be (-2 - -5) + 4/2. Suppose u*q = k - 37, 3*q = 4*k + q - 202. Does 13 divide k?
True
Let u = 211 + 97. Is u a multiple of 22?
True
Let u(l) = -l - 10. Let b be (-4 - (-12)/4)*7. Let p be u(b). Is 8 a factor of (0 - p/6)*52?
False
Suppose 0 = -3*g + v + 1, -g + 3*g = 5*v + 18. Is 11 a factor of 1*5*(g - 86/(-10))?
False
Let l = 23 + -37. Let w(h) = -h**2 - 14*h + 8. Let c be w(l). Suppose c*z = 4*z - 4*g + 268, 5*z = g + 329. Does 22 divide z?
True
Suppose 5*l - 83 + 8 = 0. Suppose 0 = -5*b - 0*b + 20. Suppose 0 = -r + l - b. Is r a multiple of 11?
True
Let y = -21 + 17. Does 9 divide -5 - y*(16 + 1)?
True
Let q(d) = -d**2 - 2*d + 63. Let m = 21 - 22. Let t = -1 - m. Is 21 a factor of q(t)?
True
Let p be (-40)/(-10)*62/(-8). Let q = p - -7. Let k = q - -71. Is 27 a factor of k?
False
Let g(t) = -5*t**3 + 8*t**2 + 12*t - 34. Does 65 divide g(-9)?
False
Let d(w) = -w**2 - 12*w - 3. Let a be d(-15). Let z = a - -84. Is z a multiple of 19?
False
Let j(o) = 3*o**3 - 3*o**2 + 5*o - 5. Let i be j(-5). Is 16 a factor of (-21 - (-1 - -1))/(72/i)?
False
Let z(c) = -c**2 - 8*c. Let r be z(-6). Suppose q - r = 3*q. Let v(x) = -7*x + 7. Is v(q) a multiple of 21?
False
Suppose -242 = -6*d + 286. Let c = d - 34. Does 8 divide c?
False
Let r(v) = 138*v - 334. Is r(17) a multiple of 26?
False
Let b = -4 + 6. Suppose 9*v = 13*v - 12. Suppose -15 = -b*t - q, 0 = 3*t + q - v*q - 33. Is 2 a factor of t?
False
Suppose 2*v = -q + 6, -2*v = 2*q - 10 + 2. Does 20 divide (-9)/18*(-376 + 0 + v)?
False
Is (196/5)/(4/(101 - 1)) a multiple of 70?
True
Let o(c) = 98*c - 5. Let w = -27 + 30. Let t be o(w). Suppose 0 = -4*b + 35 + t. Is 18 a factor of b?
False
Let i = -65 + 74. Suppose -5*v - 20 = -2*u, 0 = -3*u - 6*v + 3*v + i. Is u a multiple of 5?
True
Let u(i) = 6*i**3 + i - 2. Suppose s + 0 - 1 = 2*w, -3*w - 51 = 4*s. Let j = s + 11. Does 16 divide u(j)?
True
Suppose 4*r - 14 = 130. Is 4 a factor of r?
True
Suppose -3*j = -6*j + 5*k - 16, 4*k - 26 = -2*j. Suppose 2*b + 0*t - 85 = -t, -b = -j*t - 25. Is 31 a factor of b?
False
Does 12 divide (-3346)/(-5) + (-228)/(-285)?
False
Suppose -5*d = -2*z - 10, 0 = z + z. Suppose 0*r - 10 = -3*u + d*r, 0 = -2*u - r + 16. Is 100/u*9/6 a multiple of 22?
False
Suppose 0 = -2*d + 2*v + 28, 0*d = 2*d - 5*v - 31. Suppose -210 = 6*q - d*q. Is q a multiple of 15?
True
Let g(p) = 5*p**2 - 2*p - 4. Does 19 divide g(-6)?
False
Let a = -610 - -1016. Is a a multiple of 46?
False
Let v(h) = -h**2 - 21*h + 23. Let i be v(-16). Suppose 4*f - f - i = -4*r, 0 = -f - 4*r + 45. Is 5 a factor of f?
False
Let v(s) = -s + 1. Let f(n) = 12*n - 33. Let c(z) = 4*f(z) + 132*v(z). Is c(-1) a multiple of 11?
False
Suppose -4*w + 7 = -13. Suppose -w*f + 0*f = 5. Is -1 - (0 - f) - -10 a multiple of 8?
True
Let y(q) = -12*q**2 - 4*q - 15. Let h(i) = i**2 - i + 1. Let a(n) = -3*h(n) - y(n). Is a(-3) a multiple of 24?
True
Let d(a) = 15*a**3 - 2*a**2 + a. Let o be d(1). Let j(g) = -g**3 - 7*g**2 - 13*g - 55. Let p be j(-7). Let q = p - o. Is 11 a factor of q?
True
Let j = -236 + 316. Is j a multiple of 27?
False
Let h(p) = -2*p + 20. Let u be h(9). Suppose -2*x + 4 = 2, u*x - 86 = -4*m. Is 4 a factor of m?
False
Suppose 0 = -4*w + 578 + 2422. Is 3 a factor of w?
True
Let o be ((-150)/(-54) - 3) + (-286)/9. Let c be (2/3)/(2/336). Let i = c + o. Does 31 divide i?
False
Suppose -y + 40 = y. Let a = -10 + y. Let o(w) = w**3 - 10*w**2 + 4*w + 10. Does 10 divide o(a)?
True
Let w = -344 + 809. Is 36 a factor of w?
False
Let a be (-35)/(-3) - 7/(-21). Let w(b) = 7*b - 5. Does 19 divide w(a)?
False
Suppose 3*j + 6 = 0, 0*i + 2*j + 16 = 3*i. Suppose -1 - 2 = -2*g + k, k = -i*g - 3. Suppose g = 