 = 0. Let t(k) be the third derivative of 3*k**5/20 - k**4/2 - 2*k**3/3 - k**2. Is 18 a factor of t(l)?
False
Suppose 0 = 3*i - 0*i - 3. Let s be (-2 - -1)/((-3)/72*i). Let j(k) = k - 21. Does 2 divide j(s)?
False
Does 109 divide 2411 - (1 - (9 + -21))?
True
Let x be (-866)/(-36) - 4/72. Is (90/x - 0)*(113 - -3) a multiple of 5?
True
Let y be (-1 - 12/(-8))*1*-124. Let i = -57 - y. Let z(x) = -2*x**2 + 10*x + 11. Is 6 a factor of z(i)?
False
Let v(l) = l**3 - 4*l**2 + 8519. Is 16 a factor of v(0)?
False
Suppose -288*v + 3799 = -284*v + 991. Is v a multiple of 13?
True
Suppose -59*k + 20*k + 156930 = -24*k. Is k a multiple of 40?
False
Let f be (1/(-7))/(16/112). Is -2 + 193 + (5 - 5 - f) a multiple of 13?
False
Suppose 11*t = -1530 + 5248. Let q = t + 110. Is q a multiple of 28?
True
Let b(q) = 42*q + 339. Let h be b(-7). Suppose h*w - 6104 = -434. Is w a multiple of 48?
False
Let l = 38712 + -21827. Is 11 a factor of l?
True
Let h = -12 + 15. Suppose 77 = -h*b + 182. Suppose 4 + b = 3*d. Is d a multiple of 11?
False
Suppose 4*z - 2*r = z + 2527, 2*z + r - 1680 = 0. Suppose -m + 236 = -a, -8 = -4*a + 12. Suppose -5*s - m = -z. Is s a multiple of 12?
True
Let w(f) = 195*f**2 - 56*f + 52. Does 314 divide w(-16)?
True
Suppose 54*p - 8*p - 1426 = 0. Suppose 26*k + 70 = p*k. Is k a multiple of 3?
False
Suppose 8*i = 6*i + 4. Let g(y) = -i*y + 5*y + 6*y + y. Does 10 divide g(4)?
True
Let s = 31 - 28. Does 15 divide 41 + (s/(15/20))/1?
True
Suppose -690 = -12*x + 66. Does 8 divide x?
False
Suppose 4 = 4*i, -i = -5*x - 4*i + 163. Let o = x + -11. Let f = o - 8. Is 2 a factor of f?
False
Suppose 0 = 4*d + 3*a - 41090, 5*d = -571*a + 570*a + 51346. Is d a multiple of 68?
True
Let y = 0 - 4. Let l(a) = -3*a - 10. Let h be l(y). Let s = h - -60. Is s a multiple of 10?
False
Suppose -a + 3 = 0, 63 = 3*q - 3*a - 111. Suppose q*t - 60*t + 1035 = 0. Is ((-2)/6)/(5/t) a multiple of 11?
False
Let r = 551 - 378. Suppose 0 = -z - 5*b + r, -3*z + 0*z + 500 = -4*b. Is z a multiple of 14?
True
Is 4 a factor of 852/(-12) + 2645 + 1/(1/6)?
True
Suppose 97 = 9*s - 11. Is 42 a factor of 71/426 + 11638/s?
False
Suppose -5*x + 5*t - 560 = -10*x, 4 = -4*t. Let s be (0 - (-1 + -18))*9. Let z = s - x. Is z a multiple of 29?
True
Let t(r) = 91*r**2 - 504*r - 24. Is t(6) a multiple of 2?
True
Let o = 16382 - 6471. Is o a multiple of 20?
False
Let v(c) = 351*c**3 - 8*c**2 + c + 6. Is 100 a factor of v(3)?
False
Let m(j) = 136*j**2 - 105*j + 632. Does 216 divide m(6)?
False
Is -2 + -8 + 15 + 250 a multiple of 19?
False
Suppose -7656*k + 7676*k = 1199620. Does 156 divide k?
False
Let i be -3 + 197 - 10/2. Suppose 153*a - 150*a - i = 0. Does 21 divide a?
True
Is 4 a factor of ((5276 - (2 + -3)) + (-280)/70)*1?
False
Let p = -1931 - -2795. Is 18 a factor of p?
True
Suppose -95*u + 75072 = -78*u. Suppose -u = -0*x - 16*x. Is 5 a factor of x?
False
Suppose -31*w + 56 = -29*w. Suppose 4*n = 4*s - w, 2*s - 4 - 12 = 4*n. Suppose -4*k + s*k = 8. Does 2 divide k?
True
Suppose y - 5*m = 705, 27*y - 1452 = 25*y + 4*m. Is 25 a factor of y?
False
Let k(g) be the second derivative of 13*g**5/20 - 2*g**2 - 2*g. Let w = 124 + -122. Is k(w) a multiple of 20?
True
Suppose 0 = 413*c - 242819 - 180093. Is c a multiple of 8?
True
Suppose -a = 8*a - 9846. Suppose -5*y + 4*p + 1366 = 2*p, -2*p - a = -4*y. Is y a multiple of 28?
False
Let s(m) = -3*m - 1. Let w be s(1). Let v be 20/(4/104*2 + 0). Is (v/(-15))/(w/24) a multiple of 52?
True
Suppose -5*j + 13877 = -12*p + 14*p, -5*p - j = -34658. Is p a multiple of 75?
False
Let w = -591 + 1203. Suppose -w = 31*r - 33*r. Does 15 divide r?
False
Suppose -12*i = -11228 - 11740. Let a = i - 1325. Is 99 a factor of a?
False
Let y be -2 - 12/(-9) - 955/(-15). Suppose 0 = 5*f - y - 17. Let z(j) = j**2 - 6*j - 16. Is z(f) a multiple of 18?
True
Let g = -2563 + 3307. Does 6 divide g?
True
Let v(g) = 8*g**2 - 6*g - g**3 - 2 - 10 + 2*g**3 + 10*g. Let j be v(-7). Suppose j*c - 160 = 155. Does 35 divide c?
True
Let i = -24 - -27. Suppose -2*k = i - 61. Suppose -67 - k = -2*c. Does 12 divide c?
True
Let n = 5052 + -3834. Does 56 divide n?
False
Let y(u) = u**2 + 35*u - 3771. Does 42 divide y(-88)?
False
Let l = 92 - 97. Let u be -1 + l/(-2) + (-7)/(-14). Suppose -4*t + 4*n + 408 = 0, 192 = u*t - 0*n + 4*n. Is 10 a factor of t?
True
Let q = 138 + 236. Let i = q - 232. Is i a multiple of 31?
False
Let u(g) = -g**3 + 1. Let v be u(1). Suppose -9*s + 2*s + 28 = v. Suppose -5*b = 3*a - 609, -a - 489 = -4*b - s*a. Is b a multiple of 30?
True
Suppose 2*j + 5*t = 16, -j + 5*t + 5 = 6*t. Suppose -6 = -5*v + 4*v + 4*w, 24 = 4*v - j*w. Let n(q) = q**2 + q - 15. Is n(v) a multiple of 2?
False
Suppose -4*w + 15 = 5*n, -6 = -2*n - 0*n - 2*w. Suppose 2*m - 297 = s, n*m + 2*s + 3*s = 465. Suppose 9*g = 4*g + m. Is 10 a factor of g?
True
Let z = 11216 - 5978. Does 97 divide z?
True
Let y(d) = 26*d + 57. Let j(q) = 79*q + 167. Let u(g) = 2*j(g) - 7*y(g). Does 36 divide u(-6)?
False
Let v = -122 - -125. Suppose -v*h - 31 = -13. Is 26 a factor of 1/(((-4)/6)/(1016/h))?
False
Let n(d) = 14*d**2 + 8*d - 1. Let a be n(-1). Let z(t) = -4*t**3 - 2*t**2 - t - 2. Let r be z(-2). Suppose g - a*g = -r. Does 6 divide g?
True
Let c(h) = 3*h + 13. Let m(l) = -l**3 - 13*l**2 + 15*l + 16. Let k be m(-14). Suppose 17 = j + t, 0 = k*j + 3*t - 25 - 13. Is c(j) a multiple of 13?
True
Let t be 2664/11 - (7 - 300/44). Suppose -u - m + t = 0, -3*m + 4 = -4*m. Is u a multiple of 41?
True
Suppose 3*j = 5*j - 18. Suppose t + 2*w = -16, j = t - 2*w - w. Let o(v) = -19*v + 9. Does 35 divide o(t)?
False
Suppose -23*j + 21*j + 6 = 0. Suppose f + j*c - 50 = 0, -5*c + 7 = -3. Does 11 divide f?
True
Let n = 13583 + -9395. Is 42 a factor of n?
False
Suppose z = 3*q + 166, -z = -q + 2*q - 146. Suppose -2*l + 3*b + 40 = -z, -l - b + 108 = 0. Is 3 a factor of l?
False
Let n = 21910 + -13390. Does 24 divide n?
True
Suppose 49*b + 88544 = 9*b + 395904. Is b a multiple of 113?
True
Let f be 6/10 - (634/(-10) + 4). Let p be (6/9)/(301/f + -5). Suppose i + 2*i = 4*m + p, -11 = -i - m. Does 2 divide i?
True
Let c(l) = l**2 + 19*l + 3. Let h be c(-19). Suppose 2*z + 2*o + 1 = z, -h*z + 3 = 4*o. Suppose -3*p = -z*p + 216. Is p a multiple of 27?
True
Let t(h) = 0 - h**2 - 5*h**2 + 3 + 6*h + 5*h**2. Let y be t(6). Suppose -v = 4*m + 3*v - 444, -y*v = -3*m + 315. Does 36 divide m?
True
Let z = -6793 - -12499. Is 15 a factor of z?
False
Suppose 0*x + 3*x - 419 = -5*b, 2*x = 6. Let u = -26 + b. Is u a multiple of 7?
True
Let p = 1544 - 899. Let j = -322 + p. Is 17 a factor of j?
True
Let z = 3323 - -3970. Does 9 divide z?
False
Let q(k) = -k**3 + 29*k**2 - 69*k - 12. Is 165 a factor of q(18)?
True
Let c = -217 - -322. Does 35 divide c?
True
Suppose 3*f + 4*b = 3*b - 198, 198 = -3*f + 3*b. Is f/(-2)*(-2 + 34/6) a multiple of 13?
False
Let i = -118 + -54. Let g = -103 - i. Is g even?
False
Let b(k) = 149*k + 389. Does 20 divide b(19)?
True
Let m be (0/(-3) - -156)*(1 + 0). Suppose -b - 214 = -3*w - 862, 0 = b - 2*w - 653. Suppose -m = -7*f + b. Does 13 divide f?
True
Let q = -329 - -331. Does 5 divide ((-355)/q)/5*(-1 - 17)?
False
Suppose 5*r - 4*r = 30*r - 203551. Is 5 a factor of r?
False
Let x(i) = -16*i - 163. Let n be 10 + -11 - (2 - -13). Is x(n) a multiple of 31?
True
Let x = -31 - -34. Suppose 2*t = -x*r - 137, 0*t + 2*t + 132 = -2*r. Let s = t + 106. Does 8 divide s?
False
Let c(q) = q**3 + 24. Let j(w) = -w - 2. Let v be j(-5). Let i be 1/3*(-12 + v) + 3. Is c(i) a multiple of 5?
False
Let j(m) = 60*m + 76. Is 44 a factor of j(20)?
True
Suppose 2*w = -0*k - 4*k + 36, -3*w = -12. Let y be (-5)/((-10)/(-12)) + 2 + 17. Let a = k + y. Is 11 a factor of a?
False
Let f(g) = -17*g**3 + 30*g**2 - 68*g + 61. Is f(-13) a multiple of 253?
False
Suppose 278*p = 1103338 - 220410. Does 62 divide p?
False
Suppose 5*o - 63739 = -3*v + 6080, 0 = -3*o + v + 41897. Is o a multiple of 21?
True
Let h be (-517)/55 + (-4)/(-10). Let o be 8/(18/8 - h/(-36)). Is -60*(0 + o/(-4)) a multiple of 4?
True
Let y(r) = -2*r + 10. Let o be y(-5). Let b be (76/o + 1)*25. Suppose -5*t = 5*v - b, 2*t = -v - 0*v + 43. Is 15 a factor of t?
False
Let s(v) = 8*v**2 + 45*v + 26. Suppose 5*k - 2*k = -54. Let h be s(k). Is 21 a factor of 2/(0 + 1) + h/16?
False
Let 