. Does 7 divide c?
False
Let z = 3180 + -62. Does 42 divide z?
False
Let d = 14930 + -5148. Is 134 a factor of d?
True
Suppose o + 5924 = 5*b - 121800, 3*o - 102164 = -4*b. Is 17 a factor of b?
False
Suppose 3*t = 7*t + 32. Let w be (t/(-10))/(2/10). Suppose -138 - 250 = -w*n. Is 13 a factor of n?
False
Suppose 1069 = -5*v - 3*k, 10*v + k + 858 = 6*v. Let a = v + 338. Does 3 divide a?
True
Let k(g) = g**2 - 22*g + 7. Let y be k(20). Let u(l) = -2*l + 107. Is u(y) a multiple of 8?
False
Let i = -2505 + 11129. Does 11 divide i?
True
Let q = 4784 + -1802. Does 14 divide q?
True
Does 3 divide 0/3 - -3817 - 455/35?
True
Suppose -28*t - 57*t + 128919 = -15156. Is 11 a factor of t?
False
Suppose -52*f - 21*f = -402960. Does 184 divide f?
True
Let y = 90 + -80. Is 2*1565/y*1/1 a multiple of 51?
False
Let n(o) be the second derivative of o**4/12 + 7*o**3/3 + 21*o**2/2 + 15*o. Let t be n(-11). Is -1 - -38*(-2)/(t/9) a multiple of 28?
True
Let l(g) be the third derivative of g**4/24 + g**3/3 - 25*g**2. Let p be l(-1). Suppose p = 6*c - 77. Is c a multiple of 2?
False
Is 12 a factor of 43677/5 + (748/55 - 13)?
True
Suppose -599*z - 40380 = -629*z. Is 9 a factor of z?
False
Let d(c) = 4158*c**2 - 35*c. Does 143 divide d(-1)?
False
Let b be 2/4 - (-40)/16. Let w(v) = 14*v**2 + 6 - 10*v**b + 9*v**3 + 0*v - 3*v. Is w(13) a multiple of 14?
False
Suppose -35*w = -36*w - 4*y + 5315, 5*w = -4*y + 26511. Is w a multiple of 93?
False
Is ((-23925)/(-20))/(92/736) a multiple of 58?
True
Suppose -l = 5*w + 50, -2*l = -2*w - 7*l - 43. Let d(s) = s**2 + 10*s + 17. Let z be d(w). Suppose 215 = -3*c + z*c - 5*h, -4*c + h + 169 = 0. Does 17 divide c?
False
Suppose 4*t + 27 = t. Let x = t - -12. Is 7 a factor of (-2 + 89)*1 - x?
True
Suppose -85*k + 74750 = -62*k. Is k a multiple of 85?
False
Suppose -l - 3*c - 11 = 0, -12*c = 3*l - 8*c + 13. Suppose 2*u - i = 71, l = -3*u + 2*i + 108. Let n = 78 + u. Does 43 divide n?
False
Let t = 2086 + 2354. Is t a multiple of 40?
True
Let d be 36/1 + (-84)/(-28). Suppose -d - 110 = -q + 3*s, 20 = 4*s. Is q a multiple of 16?
False
Let n(k) = -37*k + 659. Does 11 divide n(-14)?
True
Let x be (-8)/(-24) + (-2110)/30. Let i be ((-6)/(-4))/(3/(-132)). Let k = i - x. Does 2 divide k?
True
Let y be (((-14)/(-2))/(-1))/(-1 - 0). Suppose 2 = 2*l, -y*g - l = -3*g - 1121. Does 20 divide g?
True
Suppose -3*n = 4*n - 28. Suppose 5*v + 2*i = 3*v + 18, n*v + 2*i = 40. Suppose -5 - v = -2*a. Is a a multiple of 8?
True
Is -5 - (-3128 + 14 + -7) a multiple of 38?
True
Suppose 0 = -61*b + 38*b + 30268. Is 13 a factor of b?
False
Suppose -5*c + 3*p = -12, 2*p = 3*c - 2 - 5. Suppose 1228 = c*m - 1184. Suppose 28*i - 16*i - m = 0. Is i a multiple of 5?
False
Let n = 4293 - -1342. Is n a multiple of 7?
True
Does 61 divide 61*(9*51/(-36))/((-6)/16)?
True
Suppose -99*k = 33*k - 856680. Is 39 a factor of k?
False
Let v(c) = 11*c**3 - c**2 - 12. Let m(x) = x**3 + x**2 - x - 2. Let f(z) = -5*m(z) + v(z). Is 50 a factor of f(4)?
False
Suppose 14*w = 31*w - 88104 + 14868. Does 16 divide w?
False
Let j = -11 + 19. Suppose -5*n = -x + j, 5*x = 2*x + 2*n + 11. Let m(g) = 71*g + 24. Is 32 a factor of m(x)?
False
Suppose 29*d - 16*d = 39. Suppose d*z = -2*p + 3703, -3*p = 2*z + 1446 - 3913. Is 19 a factor of z?
True
Let s be (-126)/12*4/6. Is 90/(-4)*(s + -1) a multiple of 5?
True
Suppose 4*m = 351 + 1461. Suppose 12*t - m + 45 = 0. Does 18 divide (7/14)/(1/t) + 1?
True
Suppose 269*z - 257512 = 5813549. Does 70 divide z?
False
Suppose -v + 2*v + 2*n - 102 = 0, -4*v - 3*n + 413 = 0. Suppose 4*a = 224 + v. Does 3 divide a?
False
Is 4142/57*(-8775)/(-15) a multiple of 30?
True
Let y(l) = -30*l - 11. Let m be y(-5). Suppose 388 = -138*g + m*g. Is g a multiple of 43?
False
Let w(t) = -2*t**2 + 70*t + 3. Let s be w(-8). Let x = s + 749. Is 7 a factor of x?
False
Suppose -9*s = -12*s + l - 197, 118 = -2*s + 4*l. Suppose 0 = -4*y + y - 468. Let f = s - y. Is 19 a factor of f?
False
Let w = 1891 + -1866. Let b = -6 - -13. Is (b/(70/16))/(2/w) a multiple of 10?
True
Let n = 459 + -462. Is -2 + 3*(-418)/n a multiple of 13?
True
Does 29 divide -3*((-88142)/30 - ((-48)/20 - -3))?
True
Is -7 + (7*1)/((-70)/(-32410)) a multiple of 26?
False
Let r(d) be the first derivative of 2*d**3/3 - 15*d**2 + 142*d - 82. Is 9 a factor of r(15)?
False
Suppose -4*y = -2*v - 6818, 5*v = 4*y - 3259 - 3550. Is y a multiple of 8?
False
Let j(k) = k**3 - 93*k**2 + 8*k + 2341. Is j(94) a multiple of 6?
False
Let z(l) = 304*l**2 - 217*l + 879. Does 18 divide z(4)?
False
Suppose 8*o - 10*o - 12 = 0. Let a be (-1)/((-19)/o - (9 - 6)). Does 10 divide (30/4)/(a*(-4)/64)?
True
Let z = 31 + -23. Suppose 0*o + z = 4*o. Suppose -o*h + 7*h = 55. Is h a multiple of 3?
False
Let f(w) = -w**2 - 2*w**2 + 0*w**2 - 5 + 4*w**2 - 3*w. Suppose 4*x = 3*s + 12, 0 = 2*s + 4*x - 3*x + 8. Is f(s) a multiple of 14?
False
Suppose -3*l - 3271 = -2*y, 2259 = 8*y - 4*l - 10849. Is 20 a factor of y?
True
Is 1435260/125 + -2 - (-5 - (-254)/50) a multiple of 35?
True
Let x be -4 - (-3 - (-8)/8). Let r(v) = -4*v**3 + v**2 + 2*v - 2. Is 15 a factor of r(x)?
True
Let p = -50 + 295. Suppose -5*i - p - 101 = -x, -5*x + 1750 = -5*i. Does 27 divide x?
True
Suppose 61*b = -3705 + 29447. Suppose b*s = 411*s + 2585. Is s a multiple of 47?
True
Suppose -30 = 453*l - 459*l. Suppose -l*i - 76 = -316. Is 3 a factor of i?
True
Is ((-117)/(-390))/(2/1180) even?
False
Is 25440 + (3 - -8) + -9 a multiple of 25?
False
Let t(x) = -22*x + 10. Let c = 15 + -21. Let i(p) = 22*p - 9. Let s(l) = c*t(l) - 4*i(l). Does 16 divide s(4)?
False
Suppose 0 = -2*o + 3*o - 3*c + 95, 3*o + 4*c = -272. Let p = -180 - o. Let a = 110 - p. Is a a multiple of 33?
True
Suppose -1291966 = -107*j - 418595 + 920805. Does 26 divide j?
False
Suppose 25*x = 72366 + 63634. Is x a multiple of 17?
True
Let m = -14907 - -18599. Is m a multiple of 4?
True
Let b = -1246 - -524. Let a = b + 1358. Is 12 a factor of a?
True
Suppose -5*g + 6*b = 9*b - 2135, -4*b = -5*g + 2170. Suppose -2*a + g = -38. Is a a multiple of 18?
True
Let j(p) = -p**2 - 37*p - 339. Let c be j(-17). Let w(r) = 484*r**3 - r**2. Is 12 a factor of w(c)?
False
Let r = 4961 - 1391. Is r a multiple of 42?
True
Let b(z) be the second derivative of z**5/20 - z**4/12 - z**3/3 + 5*z**2/2 + 7*z. Let j be b(2). Is 9 a factor of (2 - (-28)/(-5))/((-2)/j)?
True
Let q(z) = -5*z - 40. Let n be q(-8). Suppose n = 9*d - 325 - 458. Does 29 divide d?
True
Let u = -3430 - -6741. Let y = u - 2088. Does 48 divide y?
False
Suppose 0 = 18*t + t + 5206. Let x = t + 342. Is x a multiple of 34?
True
Suppose 0 = 4*j - 44 - 32. Let p = -16 + j. Suppose -p*d - 5*k = -541, 4*d - 4*k - 673 = -k. Is d a multiple of 13?
False
Suppose 24*f - 45469 = 166859. Does 79 divide f?
False
Is (2 + (-1054868)/93)/(4/(-18)) a multiple of 20?
False
Let t be ((-210)/(-9))/(8/12). Suppose 520 = -t*g + 37*g. Is g a multiple of 4?
True
Suppose 4*h + 600*j - 182899 = 605*j, -5*h = 4*j - 228593. Is h a multiple of 12?
False
Let o = 27142 - 26212. Is o a multiple of 15?
True
Suppose -4*k - 3*h = -5402, 4*h - 722 = -k + 622. Suppose 0 = 51*n - 38*n - k. Is n a multiple of 6?
False
Let m(t) = -89*t + 10065. Does 12 divide m(72)?
False
Let s = 26 - -253. Let n = s + -179. Is 29 a factor of n?
False
Suppose 16074120 = -3608*a + 3840*a. Is 9 a factor of a?
False
Suppose -i - 14 = -2*s, 3*s - 3*i + 7*i - 10 = 0. Is (-8200)/(-120) + (-14)/s a multiple of 2?
True
Let z = -3358 - -7083. Is z a multiple of 8?
False
Suppose -9 = -3*x + 6. Suppose -j + 96 = 2*w, -5*w - 444 = -x*j - 6*w. Is 7 a factor of j?
False
Let r = 665 - -201. Suppose -r = -2*h - 2*q + 806, q = h - 828. Is h a multiple of 32?
True
Let f(n) = -19*n**3 - 30*n**2 + 10*n + 37. Is f(-7) a multiple of 46?
True
Let q = 7 + 5. Let w be (q/(-5))/(((-8)/70)/2). Let t = 50 - w. Is 7 a factor of t?
False
Suppose 3*m - 42*q = -37*q + 15297, 0 = 3*m + 4*q - 15270. Is m a multiple of 18?
True
Suppose 262*v + 15687 = 283*v. Does 9 divide v?
True
Let w(p) = -705*p + 5049. Is 21 a factor of w(-36)?
True
Let d(z) = 4*z**2 - 230*z - 88. Is 14 a factor of d(67)?
False
Let t be (-30)/(-4)*(-80)/(-24) + -2. Let s = -14 + t. Is s a multiple of 2?
False
Suppose 2*w + i = 96451, -21*w - i = -13*w - 385831. Is 35 a factor of w?
True
