
Does 14 divide -105*(156/30 + -6)?
True
Suppose 12 = -4*i, -2478 = -4*t + 3*i - 5*i. Does 69 divide t?
True
Let u = 375 + 19. Does 11 divide 3*(6/(-14) - u/(-21))?
True
Let m(c) = 4*c**2 + 3*c - 3. Let g be m(-5). Let p = -58 + g. Is p a multiple of 6?
True
Let k be (9/6 + -3)*-4. Suppose 0 = 7*w - 22 - k. Does 2 divide w?
True
Suppose -x - 4*y = -20 - 4, 4*y = 20. Suppose -x*b = -79 + 15. Let n = 21 - b. Is n even?
False
Let o be (-128)/24*(-9)/4. Is (65/(-10))/((-2)/o) a multiple of 11?
False
Is 13 a factor of (33/22)/(15/29110)?
False
Is 2 a factor of ((-5)/10)/(1/(-336)) + -6?
True
Suppose 2*h + h - 3*i - 2664 = 0, 4*h = -3*i + 3524. Is 34 a factor of h?
True
Suppose -3*t + 0*c + 1810 = 5*c, -10 = -5*c. Does 26 divide t?
False
Let s(a) = a**3 - 72. Let z be s(0). Let f be z/6*(-20)/6. Suppose 7*h - 11*h + f = 0. Is 4 a factor of h?
False
Suppose 52*f - 782 = 29*f. Is f a multiple of 17?
True
Suppose -4*g + 1520 = g + 3*o, 0 = -5*g + 2*o + 1495. Suppose g + 119 = 5*m. Is 13 a factor of m?
False
Let q = 1383 + -616. Is 59 a factor of q?
True
Suppose -2*g = 146 - 1148. Is g a multiple of 59?
False
Let v(t) = 65*t + 1. Suppose 2*b - 2*z = -1 + 3, b - 4*z = 1. Let d be v(b). Suppose 2*g - d - 68 = -4*p, p - 380 = -5*g. Does 25 divide g?
False
Let s(k) = -2*k**2 - 4*k + 1. Let h be s(4). Let u = h - -103. Does 28 divide u?
True
Let f = 302 + -157. Does 29 divide f?
True
Suppose 0 = -404*b + 401*b + 381. Is b a multiple of 8?
False
Let h = 47 + -44. Suppose 0 = -g + h, 4*d - 5*g = 381. Does 33 divide d?
True
Does 33 divide 3/(1/((-267)/(-9)*3))?
False
Suppose 4*t - 462 = -3*b, t - 580 = -3*b - 118. Suppose -6*r + b = r. Is 3 a factor of r?
False
Let v be -4*3/(-4) + -3. Suppose 2*r + 4*a - 132 = v, -2*r + 127 = -2*a + a. Let c = r - 24. Is c a multiple of 18?
False
Suppose 0 = -9*h + 519 - 141. Is 21 a factor of h?
True
Let y(p) = 14*p - 54. Let z be y(6). Suppose 0 = z*c - 10*c - 3980. Is 25 a factor of c?
False
Suppose 2*r - 808 = -176. Does 4 divide r?
True
Suppose 2*g = o - 7, 0*o + 3*g + 14 = 2*o. Suppose 5*b + 239 = 4*q, -5*q - 2*b - 122 = -o*q. Suppose 3*u + 0*u = q. Is u a multiple of 22?
True
Let m be (-44)/(-12) - (-2)/6. Let l = m - -5. Is l a multiple of 9?
True
Suppose 2*q + 2*d = 20, d = q + 2*q - 10. Suppose -2*c = -3*c + q. Suppose x + 3 = -2, 0 = 5*f + c*x - 155. Is f a multiple of 12?
True
Let b = 473 - 324. Suppose 3*m - 13 = b. Is m a multiple of 6?
True
Suppose 5*u + 328 = 13*u. Let j = u + -34. Is 7 a factor of j?
True
Suppose 0*h - 4*h = 5*v + 4, 4*v + 36 = 5*h. Let l(q) = -3*q**2 + 2*q + q**3 - 4*q - 2*q - h*q**2 - 7. Does 12 divide l(8)?
False
Suppose 0 = -3*k - 2*x - 754, k + 3*x = 2*k + 244. Is 6 a factor of (k/(-15) - -4) + (-6)/9?
False
Suppose 0 = -4*i + 486 + 18. Is i a multiple of 6?
True
Suppose -16*d = -10117 + 3397. Is 42 a factor of d?
True
Let b = 325 + -181. Suppose 4*p - b = -0*p. Let v = p - 10. Does 13 divide v?
True
Let g = 18 + -16. Suppose -3*t + 138 = 3*y, y = -g*t + 5*t + 46. Is 23 a factor of y?
True
Let w(c) = 38 + 3*c**2 + 8*c - 78 + 39. Is 23 a factor of w(-5)?
False
Suppose -5*o + 35 = 210. Let f = 71 + o. Is f a multiple of 3?
True
Let j(b) = -32*b + 72. Is j(-18) a multiple of 36?
True
Suppose -7*c + 3*c = 0. Suppose 5*k + 4*a - 74 = c, a + 93 - 17 = 4*k. Suppose l = -0*y + 2*y + k, y - 3 = -l. Is 3 a factor of l?
False
Suppose 0 = s - 9 - 7. Suppose -8*x + 16 = -4*x + c, -3*c + s = 4*x. Suppose -5*l + 7 = x*f, -2 = -3*f - 8. Does 2 divide l?
False
Let u = -2664 + 4356. Is u a multiple of 12?
True
Suppose 2*v - 4*k = 7*v - 674, -3*k - 426 = -3*v. Is 50 a factor of v?
False
Let i(u) = -3*u**2 - 15*u - 8. Let r(w) = -2*w**2 - 8*w - 4. Let o(g) = -3*i(g) + 5*r(g). Is 2 a factor of o(5)?
True
Let z(u) = 2*u + 23. Let x = 15 + -7. Does 13 divide z(x)?
True
Let t(p) = 7*p**2 - 6*p - 7. Let z be t(-4). Suppose z = 5*y + 34. Let l = 40 - y. Does 10 divide l?
False
Let u(c) = 13*c + 125. Does 12 divide u(-7)?
False
Let n = 5 + -1. Let m be 77/14 + (-2)/n. Suppose -m*f + 76 = -0*o - 3*o, 0 = -2*f - 3*o + 22. Is f a multiple of 11?
False
Let g(m) = m**3 + 12*m**2 - 11*m + 11. Is g(-12) a multiple of 11?
True
Let h be -2 - (0 + 2) - -3. Is (-4)/(h + (-2)/(-4)) a multiple of 8?
True
Let z = 10 - 7. Let y be z + 0/(-2) - -57. Suppose l + 52 = 2*r + 3*l, 4*l = -2*r + y. Is 10 a factor of r?
False
Suppose 2*u + 40 = -2*u. Let y = 11 + u. Does 8 divide -2 + 5 + y + 5?
False
Let b = -220 + 225. Let h = 6 + 8. Suppose -g + h = -b. Does 17 divide g?
False
Suppose h - 267 = -y, y + 5*h + 1023 = 5*y. Suppose 0 = -3*r + 158 + y. Does 28 divide r?
True
Let s(d) = 3 - 177*d**2 + 81*d**2 + 12*d + 87*d**2 + d**3. Is 7 a factor of s(9)?
False
Suppose -432788 + 170708 = -45*c. Does 26 divide c?
True
Suppose 6*r - 166 = 152. Suppose 3*p - 3 - 4 = 5*z, 2*z + 14 = 4*p. Does 15 divide r - (-4 + p)/2?
False
Suppose 52 = 17*o - 16*o. Suppose -o = -4*j + 3*j. Does 13 divide j?
True
Let i(r) = r**3 - 7*r**2 - 11*r - 6. Let b be i(9). Let u = 99 - b. Does 6 divide u?
True
Let v(i) be the first derivative of 5*i**4 + i**3/3 - i**2 + 19. Is v(2) a multiple of 20?
True
Suppose -13*g = -10*g - 327. Is 4 a factor of g?
False
Let o = -22 + 14. Let r be ((-48)/28)/(o/28). Let y = 50 - r. Does 14 divide y?
False
Suppose 3*d - 35 = 5*p, p = d - 3*d + 6. Let n be p + -10 - (3 - 0). Let k = -4 - n. Is k a multiple of 6?
False
Suppose 468*o = 442*o + 25818. Does 4 divide o?
False
Let o be (-8)/(-68) - 820/34. Let p be ((-30)/8)/(9/o). Suppose p*h = 3*h + 427. Is h a multiple of 12?
False
Suppose -18*w = -2813 + 383. Is 5 a factor of w?
True
Let b(p) = 30*p - 156. Is 12 a factor of b(6)?
True
Let o = 0 + 7. Let s(c) = -2*c + 5. Let n be s(o). Is 10 a factor of 4/(-6) + (-276)/n?
True
Is 31 a factor of (-1 - (-548)/(-10))*(-60)/18?
True
Let b(k) = -k**3 + 7*k**2 + 11*k - 16. Suppose 0 = -x - 4*y + 12 + 3, 41 = 5*x + 3*y. Is 18 a factor of b(x)?
False
Suppose -75*x + 390 = -45*x. Is 3 a factor of x?
False
Let d(k) = k**3 - 6*k**2 + 3*k + 13. Is d(6) a multiple of 3?
False
Suppose -4*k + k + 2*d = 22, 0 = 4*d - 8. Let x be (-98)/(-2) - (6 + k). Suppose -131 = -5*y + x. Does 12 divide y?
True
Suppose -2*o + 5*d + 7117 = 0, 0 = -3*o - 6*d + 4975 + 5660. Is 67 a factor of o?
True
Let c(p) = 7*p + 369. Is 19 a factor of c(-19)?
False
Suppose 4*y = 1641 + 1907. Does 21 divide y?
False
Suppose q + 3 = -h, -4*h = -3*q + 2*q - 8. Is 12 a factor of 1 + (-328)/q*(-1 - -2)?
False
Suppose -b = -12*t + 11*t + 332, -4*b = 3*t - 961. Is 6 a factor of t?
False
Suppose 0 = -2*j + 2*a + 1480, -4*a - 1452 = -2*j - 9*a. Is 56 a factor of j?
False
Suppose 22 = -2*k + 4*l + 6, -23 = k - 5*l. Suppose 3*u = 2*u - k*o + 2, -4*o = 5*u - 4. Let c(m) = -m**3 + 6. Does 5 divide c(u)?
False
Is 2648/34 + (-28)/(-238) even?
True
Let y be -2 - -1 - (7 + -22). Let m(g) = -g**2 + 14*g - 10. Let i be m(y). Is -6 + 6/2 - i a multiple of 4?
False
Suppose 2*f = -0*f + 4*k + 18, -3*f - 4*k = -7. Is f a multiple of 5?
True
Is ((-40)/48 + (-4)/24)*-269 a multiple of 13?
False
Suppose -26*w + 5928 = -2*w. Is 10 a factor of w?
False
Suppose -4*y = 16, -a = 2*a - 2*y - 5. Let n be (a - -5)/(40/(-340)). Is -12*(n/6 - 2) a multiple of 23?
True
Is (-1 - 46599/(-77)) + 4/(-22) a multiple of 49?
False
Let b(h) = -h**3 - 3*h**2 - 3*h - 19. Let v be b(-4). Suppose v*d = 54 + 45. Is d a multiple of 2?
False
Suppose 0 = -5*o + 1 - 26, 4*o + 302 = 2*a. Suppose 4*p - 3*b = a, -2*p - 3*p + 156 = 3*b. Is p a multiple of 11?
True
Let x(j) = j**3 - 3*j**2 + j - 1. Let o be x(3). Suppose -o*r - 3 = -11. Suppose -70 = -q - 2*b, r*b + 337 = 5*q + b. Is q a multiple of 17?
True
Suppose -187 = -2*d + 5*h, 2*d + 5*h = 7*d - 460. Let y = d - 50. Does 7 divide y?
False
Let b(f) = -2*f + 6. Let y be b(6). Let u be (-57)/y - 1/2. Suppose -4*r - a + 111 + u = 0, -3*r - 4*a = -90. Is r a multiple of 17?
False
Suppose 36*r + 27*r - 139104 = 0. Is r a multiple of 92?
True
Let g be (-7 + 13)/(1/8). Is g/((75/60)/(5/2)) a multiple of 8?
True
Suppose 5*k - 830 = -2*z, 437 = 4*k + 3*z - 227. Does 25 divide k?
False
Suppose n = 5*k - 45, -2*n - 29 + 11 = -k. Suppose 9*q = k*q + 60. Is q a multiple of 12?
True
Let s be ((-3)/(-1))/(-3) - -32. Let a = s - 52. Is 5 a factor of (-204)/a + 2/7?
True
Suppose u - 2*u + 148 = 