tor of s?
False
Suppose 0 = -f - 7*f + 77570 + 678. Does 16 divide f?
False
Let o be (-1 + -2)*(112/(-24))/7. Suppose -o*p = -1661 + 341. Is p a multiple of 33?
True
Suppose -4*u + 84 = -5*c, -2*u + 32 = -0*c - 5*c. Let s = u - 25. Let f(b) = 44*b**3 - 3*b**2 + 3*b - 1. Does 14 divide f(s)?
False
Suppose -50*z = -9300 - 267450. Is 135 a factor of z?
True
Suppose 5*b = -21*b + 260. Is 11 a factor of (68/(-10) - -6) + 3938/b?
False
Let c(x) = 2*x**2 - 14*x + 8. Let k be c(7). Let p be 232/60 + k/60. Suppose -5*i - 2*r = -497, 4*i + p*r - 33 = 367. Is 11 a factor of i?
True
Let i be 7 - 5 - 2*6/(-12). Suppose 0 = 5*k + i*b + 2*b - 880, -2*b = k - 181. Is k a multiple of 6?
False
Let i = 25 - 23. Suppose -3*o + 4*o + 4*b = 13, -i*b = -3*o + 11. Suppose 3*f + x + 505 = 6*f, f + o*x - 163 = 0. Does 12 divide f?
True
Suppose 55*t = 8288 + 3922. Is 222 a factor of t?
True
Let h be 0 - 1 - (5 - 10). Let s be (-1 - (-107)/2)*h. Suppose 5*a = -f + s, -a + 84 = a + 2*f. Does 17 divide a?
False
Suppose 4*x + 2*z - 3960 = 0, -8*z + 2 = -9*z. Suppose -p + 1981 = 4*d, -5*d + p - x = -7*d. Is d a multiple of 9?
True
Let a(p) = p**2 - 2*p - 4. Let g be a(4). Suppose -9266 = -55*l - 58*l. Suppose -q + 58 + l = g*k, -3*k - 677 = -5*q. Is 34 a factor of q?
True
Let d be (-100)/(-3)*78/65. Let g = d - -112. Suppose 7*j = g + 16. Is 5 a factor of j?
False
Is 38 a factor of ((-51)/(-12))/(24/7296)?
True
Let b = 82 + -79. Suppose 0 = -4*m + j + b, j = 3 + 2. Is 106 + m*(-1 + 0) a multiple of 13?
True
Suppose -4*q - 2*x = -11*x - 8338, -5*x - 2090 = -q. Is 16 a factor of q?
True
Let r(m) = -7*m**2 + 5. Let b be r(3). Let t = 60 + b. Suppose -64 = -t*q - 2*q. Does 12 divide q?
False
Is 34 a factor of (132 + -131)*(714 - 0)?
True
Is 10/50 - ((-191512)/(-20))/(-2) a multiple of 27?
False
Let n(k) = -k**3 - 6*k**2 - 4*k - 6. Let o be n(-6). Let w be (-312)/10*(6/4 + -4). Let a = w - o. Is 6 a factor of a?
True
Suppose 225*t = 271*t - 1858327 - 1330393. Does 31 divide t?
False
Is 120*(-40)/(-12)*(5 + 228/48) a multiple of 12?
True
Let d(w) = -53*w**3 + w**2. Suppose 0 = c + 2, -p + c - 6*c - 11 = 0. Does 6 divide d(p)?
True
Suppose -58*f + 1393355 = 184171. Does 66 divide f?
False
Let t(a) = -a**3 + 51*a**2 + 26*a - 105. Is 20 a factor of t(21)?
False
Let p(u) = -u + 13. Let q be p(11). Suppose -5*n + 7 + 3 = 0. Suppose 192 = n*j + q*j. Does 5 divide j?
False
Let d = -26592 - -29958. Does 102 divide d?
True
Let q be 4/(24/(-15))*(-8)/10. Suppose 2*u + q*u + 196 = 0. Let j = u - -73. Does 16 divide j?
False
Let i(k) be the first derivative of 4*k**3/3 - 3*k**2/2 - 45*k + 274. Does 20 divide i(7)?
False
Let j(v) = 38*v**3 - 2*v**2 - 2*v + 3. Let g(i) = i**2 + 7*i + 7. Let z be g(-6). Let b be j(z). Suppose -5*l - h = -61, 2*h - 3 = 2*l - b. Does 4 divide l?
False
Let s be 4 + 25 + (-7 - -4). Suppose -s*a + 210 = -11*a. Is 9 a factor of a?
False
Does 15 divide ((-2287)/(-5) - 3)*((-34)/(-4) + -1)?
False
Let w(y) = -129*y + 4044. Does 79 divide w(24)?
True
Suppose -17*k + 11*k = -138. Suppose k - 475 = 4*g. Let q = 210 + g. Is q a multiple of 9?
False
Let r = -10 - 51. Is -17 - -21 - 2*r a multiple of 18?
True
Does 14 divide ((-2940)/100*5)/((-2)/24)?
True
Let f(h) = 3*h**3 - 3*h - 3. Suppose 9*y = 6*y - 30. Let c be y/(-2)*57/95. Is 20 a factor of f(c)?
False
Suppose 5*y + 75 = -7*b + 12*b, 3*y = -4*b + 60. Let c = 134 - b. Does 10 divide c?
False
Suppose 10*x + 42 = 16*x. Let a be x/(-2)*(-252)/49. Let k = a - -29. Does 10 divide k?
False
Let h(i) = -260*i**3 + 4*i**2 + 5*i + 3. Let o be h(-2). Suppose -809 = 8*y - o. Does 3 divide y?
False
Let p = -160 + 65. Let b = 59 - p. Does 14 divide b?
True
Suppose 74*w = 246*w - 975240. Does 14 divide w?
True
Let u(v) = v**3 + 8*v**2 + 14*v - 13. Let x be u(-5). Let l(w) = 5*w**2 + 12*w - 44. Is l(x) a multiple of 12?
True
Suppose 0 = 7*l - 2*l - 25. Let c = -102 + 106. Suppose 0*r + w = c*r - 57, 5 = -l*w. Is r a multiple of 7?
True
Let n = -229 + 231. Suppose -3*b + 2*b + g = -242, -b - n*g = -251. Does 7 divide b?
True
Let x(p) = 1253*p**3 + 4*p**2 - 8*p + 8. Does 22 divide x(2)?
True
Let j(g) be the first derivative of -g**4/4 + 8*g**3/3 - 3*g**2 - 8*g - 57. Suppose 5*k + y - 26 = -y, 0 = -2*k - 5*y + 2. Is 4 a factor of j(k)?
True
Suppose -166 + 26 = 10*w. Let k(p) = -p**3 - 5*p**2 + 5*p + 1. Let s be k(-5). Let x = w - s. Is 2 a factor of x?
True
Suppose 6*d = d + 885. Suppose -4*z + 2*k = z + 872, z + d = 3*k. Is (1*(-8)/12)/(4/z) a multiple of 10?
False
Let n = 261 + -135. Suppose -6*j - n = -9*j. Is j a multiple of 6?
True
Let b be 21/3 + (-9)/(-3). Suppose b = -3*z + 4*m, -5*m + 3 = 2*z + 2. Is 5 a factor of (-25)/(1 + (8 + z)/(-3))?
True
Let v be (-4 - -14) + (-1 - 5). Is 13 a factor of (-104)/(-4)*8/v?
True
Let m = 77 - 72. Let s be m/(-10)*14*-1. Suppose s - 111 = -2*c. Does 9 divide c?
False
Suppose -2*l = -6, 1043 = 2*h + 169*l - 172*l. Is h a multiple of 22?
False
Suppose 954*f - 950*f = 31488. Is 24 a factor of f?
True
Let q be -74 - -2*(-5)/(-10). Let c = -68 - q. Suppose 0 = 4*f + 3*x - 16, -c*f + 4*x - 2*x + 43 = 0. Is f even?
False
Let k = 92 - 89. Suppose k*i + 48 = 237. Is i a multiple of 8?
False
Let k(t) = -34*t + 2676. Does 49 divide k(-100)?
True
Let s(z) = -9*z**2 + 4*z - 4. Let g(j) = j**2 + 7*j + 5. Let i be g(-7). Let c be s(i). Let p = c + 337. Does 23 divide p?
False
Suppose 3*p + 3*i = 5648 + 1426, 4*p - 2*i = 9462. Does 49 divide p?
False
Suppose 60*g + 4*v = 58*g + 2252, -3*g - 5*v = -3373. Is g a multiple of 18?
True
Suppose 2*d = 2*o + 212, -5*o - 530 = d - 3*d. Let b = 336 - o. Is 13 a factor of b?
True
Let v = -1026 + 3023. Is 7 a factor of v?
False
Suppose 179 = 3*x - 178. Suppose 2*h + 91 = -5*s, 2*h - 4*s - x = 5*h. Let d = -5 - h. Is 4 a factor of d?
True
Let f(v) = 4*v**2 + 27*v + 14. Let d be f(-6). Does 68 divide -1 + 176/d*-3?
False
Suppose 109*l - 7936 = -19*l. Does 17 divide l?
False
Let k(d) = d**2 + 7*d + 14. Let o be k(-6). Suppose o*t - 720 = 360. Is t a multiple of 15?
True
Suppose -4*y + 2398 = -3*u, 3*y = 5*u - u + 1802. Does 2 divide y?
True
Let o = -104 + 125. Let c(w) = 3*w - 61. Let l be c(o). Suppose l*m - 6*m + 176 = 0. Is 4 a factor of m?
True
Let p(t) = -16*t - 7 - 1 + 0*t**2 - t**2. Suppose 7*j + 3538 = 3440. Is 3 a factor of p(j)?
False
Does 10 divide (-20)/(-1*(-4)/14 - (-134640)/(-469035))?
True
Let d = 153 + 50. Suppose 4*u - 3*m = 872, u + 6*m - 3*m - d = 0. Is u a multiple of 3?
False
Let m(j) = 11*j**3 - 26*j**2 + 199*j - 1844. Is m(11) a multiple of 6?
False
Suppose 66832 + 27550 = 6*f - 31378. Does 20 divide f?
True
Let m(v) = -18189*v + 108. Let w be m(-4). Does 11 divide (-5)/(-2)*w/180?
True
Suppose 4*f = 5*k - 7646, -22*k = -19*k - 3*f - 4587. Is 17 a factor of k?
True
Let a(r) = 67*r**2 + 538*r - 2695. Does 22 divide a(5)?
False
Suppose 5*l - l - 100*l = -127296. Is 13 a factor of l?
True
Let v be (-180)/(-48) + (0 + 1)/4. Suppose 0*h - 63 = -h + q, v*h = -q + 277. Suppose l - 30 = y + h, 0 = -3*y. Is l a multiple of 35?
False
Let k = 693 + -690. Let v(o) = 492*o - 67. Is 26 a factor of v(k)?
False
Suppose b + 5*q - 28 = -3*b, -4*q = 4*b - 24. Let h be b/(-9) + (-38)/(-9) + -4. Suppose 3*z - 74 - 1 = h. Does 6 divide z?
False
Let t(w) = -34*w**3 + 7*w**2 + w - 38. Is t(-5) a multiple of 14?
True
Suppose 0*v + 14 = 2*v. Let k be v - -1 - 0/2. Suppose b - 855 = -k*b. Is b a multiple of 17?
False
Let b(p) = 8*p**3 - 113*p**2 + 15*p + 119. Is b(16) a multiple of 3?
False
Suppose -4*o - 5*q = -45810, 4*o + 80142 = 11*o - 4*q. Is 97 a factor of o?
False
Let j = 3167 - 552. Suppose 38*o - 33*o - j = 0. Does 9 divide o?
False
Let i(r) = 25*r**2 - 8*r + 15. Let q be i(2). Let x = 171 - q. Does 21 divide x?
False
Let i(a) = a**2 - 20*a - 87. Let l be i(27). Suppose -90 = -b + 5*d + l, 718 = 4*b + 5*d. Is b a multiple of 20?
False
Let u = 489 + 77. Suppose -2*z - 4852 = -u. Is 11 a factor of z/(-15) - 8/(-60)?
True
Let i(f) be the third derivative of -f**6/120 + 7*f**5/30 + f**4/12 + 4*f**3/3 + 2*f**2 + 2*f. Is 16 a factor of i(14)?
False
Let u(j) = j**2 - 29*j + 81. Let w be u(26). Suppose 0 = -5*r - w*q + 32, r - 1 = -q + 7. Is 4 a factor of r?
True
Let d be (-1)/4 - 13/(-52). Suppose -5*m + 2*x + 197 = -2386, d = -3*m - 2*x + 1553. Is m a multiple of 12?
Fals