2 + 5*u - 10. Is 14 a factor of v(t)?
True
Suppose -3*d - 2 = -4*j + 2*d, 0 = j + 4*d - 11. Suppose -2*s - 110 = 5*b + j*s, 25 = -b - 2*s. Let q = 26 + b. Is q a multiple of 6?
False
Let z be (-105)/(-30) + 1/2. Suppose 0 = z*k + 3*k - 308. Does 7 divide k?
False
Let j = 67 - 65. Let i(t) = 4*t + 9. Is 2 a factor of i(j)?
False
Let a(m) = -40*m + 34. Let h(x) = -8*x + 7. Let u(p) = -3*a(p) + 16*h(p). Let k be u(-10). Suppose 8*f - k = 3*f. Does 9 divide f?
True
Let a = 12 + -9. Let x be (4/a)/(4/(-30)). Does 17 divide (-5)/(x/64) + 2?
True
Is 11*7/770 + 23599/10 a multiple of 20?
True
Let p(w) = -466*w - 6. Let r be p(-7). Is -7 + r/16 - 1/2 a multiple of 49?
True
Let s be -3*(2 - (-1)/(9/168)). Let p = -2 - s. Is p a multiple of 60?
True
Suppose -5*a = -a - 2112. Suppose 0 = y - 5*y + a. Is 34 a factor of y?
False
Let w be (1 - 2)*(-226 - (-1 - -2)). Suppose 2*r + 0*h + h = w, -r = 4*h - 103. Is 18 a factor of r?
False
Let k(x) = 5*x**2 + 9*x - 1. Let f be k(-2). Is 21 a factor of (-1 - f) + (22 - -2)?
False
Let p(t) be the second derivative of t**8/840 - t**7/630 + t**6/120 - t**5/20 - t**4/4 + 11*t. Let m(k) be the third derivative of p(k). Is 27 a factor of m(2)?
True
Suppose 62 = 5*m - 13. Suppose m*j = 12*j + 120. Is 10 a factor of j?
True
Let d = -20 - -31. Suppose 3*s - 5*x = 66 - 1, -5*s + 67 = 2*x. Let k = d + s. Does 13 divide k?
True
Let v(b) = -b**3 - 10*b**2 - 10*b + 4. Let i = -4 - -1. Let l(r) = 5*r + 6. Let y be l(i). Is 4 a factor of v(y)?
False
Suppose 7*g - 11*g + 32 = 0. Let u be (-4)/8 + (-5)/(-2). Suppose -h + 54 = 2*m, 2*h + g = u*m - 58. Is m a multiple of 29?
True
Does 99 divide 8 - (-9 + -1855 - 9)?
True
Let w(b) = -b**3 - 48*b**2 - 287*b + 42. Is w(-42) a multiple of 14?
True
Let h = -22 + 27. Suppose h*k - 9*k + 52 = 0. Is k a multiple of 13?
True
Let g be (-2)/7 + 9900/105. Suppose w + w = g. Let l = w - -16. Is 13 a factor of l?
False
Suppose 687 = 3*s - 5*q, -24*q - 687 = -3*s - 20*q. Is s a multiple of 8?
False
Let x(t) = -t**3 - 11*t**2 + 8. Let q(n) = -1. Let s(g) = -4*q(g) - x(g). Is s(-10) a multiple of 16?
True
Let m(y) = -10*y + 14. Let t be m(2). Does 9 divide (0 + (-36)/(-16))*(-64)/t?
False
Suppose -2*g = -4*g - 2. Is 7 a factor of g/(-4) - (-167)/4?
True
Let r(w) = -12*w + 35. Does 6 divide r(-18)?
False
Let x(w) = -w**3 - 8*w**2 + 61*w + 11. Does 20 divide x(4)?
False
Let k = -281 - -349. Does 4 divide k?
True
Let c(h) = h**3 + 2*h**2 + h. Let b be c(-1). Suppose b = 3*s - 2*g - 2*g - 18, 0 = 4*g + 12. Is 955/10 + 1/s a multiple of 12?
True
Let q = 35 + -32. Suppose 73 - 262 = -q*r. Is r a multiple of 23?
False
Let v(r) = 6*r**2 + 2*r. Let f be v(-1). Suppose 2*t - f*b = 50, 67 = 4*t + 4*b - 69. Does 16 divide t?
False
Suppose 0 = -3*g - 7 + 1. Let k(c) be the third derivative of 7*c**5/30 - c**4/8 + c**3/3 + c**2. Does 16 divide k(g)?
True
Is 67 a factor of 0/(-2*1) + (-3484)/(-4)?
True
Suppose 2*d - 3*l - 136 = -4*l, 2*d - 136 = 4*l. Is 34 a factor of d?
True
Suppose 7973 = 28*z - 4347. Does 8 divide z?
True
Is 16523/186 - 1/(-6) even?
False
Suppose -4*i = -3*x + 6, 0 = x + 4*x - 2*i - 10. Suppose 8 + 14 = x*r. Does 2 divide r/(3 + 4 + -6)?
False
Suppose -10 + 15 = x. Suppose 3*t - 156 = -x*w, 0*w + 4*t + 82 = 3*w. Does 6 divide w?
True
Let p be -2 - (-2 - -2) - 1. Let a be 3/p + 5 + -2. Suppose -68 = -4*w - 4*g, -w - a*g = 4*w - 88. Is 11 a factor of w?
False
Suppose 29*z - 31*z + 9854 = 0. Is 13 a factor of z?
True
Let r be (-1)/(-5) + 9/(270/9834). Let f = -82 + r. Is 41 a factor of f?
True
Suppose -4 = 4*r, 0*r - 4*r = v + 10. Let q(c) = -6*c + 36. Does 8 divide q(v)?
True
Let k be 4/(-10) + (-1320)/(-50). Let x be 104/(-1)*(-13)/k. Let o = x - 22. Does 5 divide o?
True
Is 44 a factor of (-192)/20*(-990)/27?
True
Suppose j + 10*j = 99. Suppose j*x = 221 + 130. Is 13 a factor of x?
True
Suppose 30*x + 11*x - 93275 = 0. Is x a multiple of 13?
True
Suppose -7*q + 1332 = 562. Does 55 divide q?
True
Let q = -147 + 415. Suppose 277 + 141 = 3*u + 5*x, -2*u + 2*x + q = 0. Does 16 divide u?
False
Let v(m) be the first derivative of 2*m**3 + 3*m**2/2 - 10*m - 6. Does 20 divide v(2)?
True
Suppose 0 = -f + 3*d + 1389, -78*f + 74*f + 4*d + 5564 = 0. Does 24 divide f?
True
Let c(y) = 68*y + 23. Does 15 divide c(6)?
False
Let l(u) = 9*u**2 - 5*u - 12. Is 24 a factor of l(-4)?
False
Suppose 66 + 150 = -6*a. Is (76/(-6))/(24/a) a multiple of 5?
False
Let z = 184 + 80. Is z a multiple of 12?
True
Let t(q) = 26*q**2 + q. Suppose -5 = -2*b - 3. Let r(h) = -h**2. Let z be r(b). Does 15 divide t(z)?
False
Let a(m) = -m**2 - 3*m. Let j be a(-3). Suppose -x - 3*p + 89 = j, -p = -3*x + 2*p + 255. Is 13 a factor of x?
False
Let d(t) = -5*t. Let l(k) = -11*k + 1. Let q(y) = 13*d(y) - 6*l(y). Let o be q(6). Suppose 5*z - 4*x = -o*x + 120, -3*z + 2*x = -72. Is 13 a factor of z?
False
Let a = 1420 - 937. Does 69 divide a?
True
Let u(m) = -2*m**2 + m + 2. Let p be u(-2). Suppose -62*c + 11*c = -2244. Let f = p + c. Is f a multiple of 9?
True
Suppose 20 - 12 = 4*t. Suppose 5*q - 51 = t*q. Is q a multiple of 6?
False
Let b = 221 - 30. Suppose q = -5*m + 228, -4*m - 5*q - 17 = -b. Does 46 divide m?
True
Suppose 6*q = -4*x + 4*q + 3534, -4*x = -3*q - 3559. Is x a multiple of 23?
False
Let u = 5 + -7. Let s be (0 - (-5 - -4))*147. Does 10 divide u/5 + s/5?
False
Suppose r - 4056 = -7*r. Is 13 a factor of r?
True
Let q(y) = 2*y**2 - 6*y - 10. Let d be q(-3). Is 46 a factor of 1200/d + 89/13 + -7?
True
Let z(a) be the third derivative of a**5/30 + a**4/8 + 5*a**3/6 + 3*a**2 - 7*a. Let i(w) = -3*w**2 - 3*w - 1. Let q be i(-2). Does 15 divide z(q)?
False
Suppose 5*k + 5*m - 47 = 3*m, 0 = k + 5*m - 14. Let a(d) = -12 + d**2 + 0*d - 5*d + 11 + 2*d. Does 14 divide a(k)?
False
Suppose 25 = 5*m, m - 4*m = -4*a - 19. Let r(h) = -9*h + 1. Is 5 a factor of r(a)?
True
Let u = 129 - 128. Is ((-147)/(-15) + u)/(7/70) a multiple of 9?
True
Let t be (5 - 6) + 17/1. Let h = t - -2. Is h a multiple of 6?
True
Let w = -432 + 1084. Suppose j + 3*j - w = 0. Is 13 a factor of j?
False
Suppose -307 = -4*b - 4*u + 757, -2*b + 3*u + 512 = 0. Is b a multiple of 11?
False
Let z = -8 + 9. Let p be z/((-451)/150 + 3). Is 25 a factor of p/4*(-2)/3?
True
Suppose -20 + 0 = 5*h, -3*h = w - 242. Is w a multiple of 3?
False
Let c(w) = 14*w - 240. Is 15 a factor of c(30)?
True
Suppose -2*b + 4*b - 4 = 0. Let c(a) = a**3 - 6*a**2 - 10*a - 12. Let y be c(8). Suppose b*m = y + 28. Is 21 a factor of m?
False
Let w = 131 + -20. Suppose 4*o = -4*g + 100, -4*g + w = o + 23. Does 26 divide 234/g*(3 - -4)?
True
Is 85 a factor of 1*4078/12 - (-22)/132?
True
Let d(t) = 8*t**2 + 45*t + 5. Is d(-12) a multiple of 5?
False
Let v(i) = -86*i + 8. Let s be v(-2). Suppose 0 = 6*m - s - 150. Is 11 a factor of m?
True
Let c(r) = 21*r - 156. Is c(8) a multiple of 3?
True
Suppose 2*l + 12 = 4*l. Is 9 a factor of (-24)/36 - (-598)/l?
True
Let w(h) = -h**3 - 2*h**2 + h + 2. Let v be w(-2). Suppose v = 2*b + r + 11, b + 3*r = 5*b - 3. Let l(x) = 2*x**2 + 3*x + 3. Is 3 a factor of l(b)?
True
Suppose 1474 = -17*j + 4262. Is j a multiple of 10?
False
Suppose 0 = -y - 4*b + 68, -3*y + b + 38 = -192. Let l = -46 + y. Is l a multiple of 3?
True
Suppose 3*h = 4*z - 6, -5*h = 5*z - 3*z - 16. Suppose -d = -f - 139 + 450, 631 = h*f + d. Is 39 a factor of f?
False
Let z(k) be the second derivative of k**5/20 - 11*k**4/12 - 4*k**3/3 + 12*k. Is 8 a factor of z(12)?
True
Does 18 divide (-6*1)/((-189)/(-32) - 6)?
False
Suppose 0 = g - 16 + 11. Suppose 2*k + 38 = 2*z, -91 + 16 = -g*z + k. Does 13 divide z?
False
Let p(j) = -j**3 - 9*j**2 - 6*j + 7. Let y be p(-8). Let r(l) = -l**3 - 10*l**2 - 10*l - 7. Let s be r(y). Let g(w) = 8*w**3 - 2*w**2 - 2. Does 18 divide g(s)?
True
Let k = 141 - -40. Is 45 a factor of k?
False
Suppose -5*m + 2*c + 14 = 0, -8 = -3*m - 2*m - c. Suppose g + 14 = -m*g - 4*k, k - 2 = 2*g. Is 12 a factor of g/3 - (-228)/18?
True
Let p(v) = 15*v**2 + 96*v - 10. Is p(-9) a multiple of 31?
True
Suppose -x + 2 = 4*p + 12, -2*p = -4*x - 22. Let h be x/(-21) - 6/21. Suppose 5*z - 115 = -h*z. Does 10 divide z?
False
Let z = 178 + -100. Let y(k) = -2*k**2 + 6*k. Let f be y(6). Let n = z + f. Does 14 divide n?
True
Suppose 60*x - 240 = 76*x. Let g = 5 - 3. Does 7 divide (x/g)/(15/(-20))?
Fa