le of 13?
False
Let y be -3 + 13/(13/(-34)). Let d = -7 - y. Does 3 divide d?
True
Suppose 22*f - 3358300 = -58*f + 9*f. Is f a multiple of 44?
True
Suppose 0 = -q - 4*u - 7 - 14, 4*q - 4*u + 4 = 0. Is 11 a factor of (2/(-4))/(q/3880*4)?
False
Is (-52163)/(9 + (22 - 32)) a multiple of 73?
False
Suppose -14*f = -20*f + 36. Let j(y) = 4*y**2 + 25*y - 142. Is 52 a factor of j(f)?
False
Suppose w - 3*f = -w + 16, 0 = 4*w - f - 22. Suppose -w*k + 735 = -k - 3*j, 0 = 3*k + 4*j - 520. Is k a multiple of 12?
True
Let a(g) = -g**3 - 10*g**2 - 9*g - 9. Let k be a(-8). Let q = 68 + k. Suppose -q*p = -63 - 81. Does 4 divide p?
True
Let s = -18 + 35. Suppose -12 = l - s. Suppose y + h = -0*h + 62, 3*h - 318 = -l*y. Does 11 divide y?
True
Let w(l) = -l**3 + l**2 - 5. Let f be w(0). Let r = 43 + f. Let j = 80 - r. Is 6 a factor of j?
True
Let i be 0/(8 - 5) + 6. Suppose 0*y + 240 = i*y. Let j = 324 + y. Is j a multiple of 62?
False
Let t = 172 + -187. Does 15 divide 50/(-375) - 8552/t?
True
Let o(f) = 11*f**2 - 2*f + 261. Is o(-14) a multiple of 15?
True
Let u be ((-2)/(-6))/(2/72). Let n = -8 + u. Does 19 divide (-342)/n*(-2)/3?
True
Let a(l) be the second derivative of -3*l**3 - 2*l**2 + l - 1. Let t be a(2). Let p = -19 - t. Is p even?
False
Is 93 a factor of -2 - (6736/(-18) + (-34)/(-153))?
True
Let r(n) = -n**2 - 9*n + 22. Let x be r(-11). Suppose -4*l + x*l + 4 = 0. Let p = l + 43. Is 16 a factor of p?
False
Let k(a) = a**3 + 9*a**2 + 13*a + 21. Let t be k(-10). Let c = t + 405. Is 14 a factor of c?
True
Suppose -2*n - 88 = -g + 3*g, 5*n = 4*g + 158. Let d = g - -44. Suppose 156 = d*k - 0*k. Is k a multiple of 39?
True
Let v(d) = d**3 + 38*d**2 + 25*d + 75. Is v(-10) a multiple of 11?
False
Suppose -z - 7702 = -p, -302*p = -303*p - 4*z + 7707. Is p a multiple of 26?
False
Suppose 617311 + 477593 = 111*f. Is f a multiple of 137?
True
Suppose 86 - 8 = -3*i. Suppose 13*q - 502 = 226. Let p = i + q. Does 5 divide p?
True
Suppose -10042 = -9*k - 4156. Let h = -374 + k. Does 40 divide h?
True
Suppose 13*u - 7*u - 7198 = 4*u. Does 18 divide u?
False
Let x(m) = 49*m**2 + 12*m + 17. Let f be x(-3). Suppose -3*u + 3*l - f + 1796 = 0, -5*u = 2*l - 2318. Does 14 divide u?
True
Let x(l) = 2*l**2 + l - 19. Suppose 3*n = 16 - 4. Suppose n*y - 19 - 1 = 0. Does 11 divide x(y)?
False
Let y(q) = -30*q**3 - 53*q**2 - 4*q + 11. Is 7 a factor of y(-6)?
False
Let f = 112 - 88. Let d be (-1 + 0)/((-76)/f + 3). Does 5 divide (-21)/(1*d/(-20))?
True
Let w = 2114 + 310. Suppose -21*l + 9*l = -w. Suppose -3*u + 29 + l = 0. Does 7 divide u?
True
Suppose 235630 + 231792 - 173758 = 133*z. Is z a multiple of 4?
True
Let v = 60 - 25. Does 9 divide 7/v + (-4856)/(-20)?
True
Let y(h) = 4*h**3 - 43*h**2 - 70*h + 4. Let c(x) = -5*x**3 + 44*x**2 + 69*x - 4. Let a(p) = 5*c(p) + 6*y(p). Does 14 divide a(-36)?
True
Suppose -w = 3*v - 9, 3*v + 4*w + 0*w = 0. Suppose -4*t + 2 + 18 = 0, -v*l = -4*t - 684. Is 31 a factor of l?
False
Let j = -15165 + 15893. Does 25 divide j?
False
Suppose -2*n - 2*k + 0*k = -50, 4*n + 2*k = 102. Suppose 42 = -24*b + n*b. Is (-4)/(-14) - (-99)/b even?
False
Does 105 divide (-256)/(-48) - 2/(-3) - (-58315)/5?
False
Let f(g) = 4*g + 3*g - 19*g + 5 + 6*g. Let a be ((-14)/2)/(9/18). Is 9 a factor of f(a)?
False
Let s be ((-2)/15*-6)/(4/10). Suppose -11*n + 4264 = s*n. Is 37 a factor of n?
False
Let c = 57 + -52. Let v(n) be the first derivative of 5*n**2/2 + 3*n - 3. Does 17 divide v(c)?
False
Let v(g) = g**3 + 5*g**2 - 28*g + 152. Does 5 divide v(9)?
False
Suppose -4*q = 4*y - 64, 5*y + q - 1 = 71. Is 4 a factor of -2*47/(-3) - y/42?
False
Suppose -8*h + 99*h - 17720 - 116 = 0. Does 98 divide h?
True
Let h = -3915 + 4920. Does 15 divide h?
True
Let c(y) = 14*y**3 + 7*y**2 - 17*y - 58. Does 108 divide c(7)?
True
Suppose -s - 4*u + 7*u - 51 = 0, s + 2*u = -66. Let y be (-4)/(s/2751) + 4/(-10). Suppose -2*z - 3*d - 24 = -y, -4*d - 20 = 0. Does 4 divide z?
False
Suppose 0 = -h - 11 + 13. Let a = -339 + 345. Suppose -a*b = -h*b - 1204. Does 43 divide b?
True
Let i(u) = 22*u**3 - 2*u**2 - 2. Let g be i(2). Let s = g + -148. Is 9 a factor of s?
True
Let p(j) = 5*j**2 - 42*j + 269. Is p(29) a multiple of 37?
True
Let h = -61 - -539. Let a = h - 275. Is 10 a factor of a?
False
Let g(b) = b**3 - 3*b**2 - 3*b - 2. Let p be g(4). Suppose o + p = 7. Suppose 166 + o = 3*q. Does 20 divide q?
False
Let n = 2828 - 2428. Is 16 a factor of n?
True
Let d = -22 - -28. Let q be 64/d*(-30)/(-4). Is 9 a factor of q/3 + (-19)/(-57)?
True
Suppose -30 = -13*h + 12*h. Does 11 divide -6 - h/(-3) - -7?
True
Suppose 50*p = 48*p + 4. Is 32 a factor of (2 + p/(-2))/((-16)/(-5632))?
True
Let q(b) = 201*b**2 - 17 + 209*b**2 - 378*b**2 - 61*b - b**3. Is q(29) a multiple of 52?
False
Is 39 a factor of (-19 + 83)/8*4838?
False
Let m be -2 + 1 + -95 + 78/39. Let d = -68 - m. Let l = 99 - d. Is l a multiple of 7?
False
Let y(b) be the second derivative of -61*b**3/6 - 61*b**2/2 + 2*b + 5. Does 18 divide y(-5)?
False
Let r = -10415 - -25430. Does 65 divide r?
True
Let v(i) = -278*i**3 + 7*i**2 - 16*i + 9. Let x be v(2). Let q = -959 - x. Does 70 divide q?
True
Let n = 190 - 188. Suppose 4*y + z - 543 = 614, -2*z + n = 0. Does 32 divide y?
False
Suppose 2*k = -a + 26575, -34*a = -2*k - 32*a + 26566. Is k a multiple of 182?
True
Let y = -26 - -31. Let n be (y + -2)/(4/(-4 + 8)). Suppose -r + 77 = 2*r - 5*t, -n*t - 27 = -r. Is r a multiple of 24?
True
Let o(b) = 2*b**3 - b**2 - b + 3. Let t be o(-2). Let i = t - -20. Suppose -r = 3*n - 36, i*r + 0*n = 2*n + 95. Is r a multiple of 5?
False
Let b(z) = -84*z - 115. Let f be 4/20 - 104/20*1. Is 6 a factor of b(f)?
False
Let p(n) = 6*n**2 - 40*n + 410. Does 26 divide p(36)?
False
Does 159 divide (22825/10)/(385/(-66) - -6)?
False
Let l(c) = -c**3 - 8*c**2 + 14*c + 6. Let r(x) = x**3 + 4*x**2 + 2*x - 1. Let v be r(-4). Let h be l(v). Let q = h + 74. Is 7 a factor of q?
True
Let v(r) = -17*r - 103. Let j be v(-9). Does 23 divide j/20*(-1288)/(-5)?
True
Let u = 38 - 37. Let q = 6 - u. Suppose q*v - 41 - 309 = 0. Is v a multiple of 10?
True
Does 31 divide (-108)/12 + 50110/(-25)*-5?
True
Let i(y) = 34*y - 20. Let a be i(5). Suppose 206 = 4*t - a. Let s = t + -45. Is 2 a factor of s?
True
Does 21 divide (-20)/(-18) - (-10450224)/648?
True
Does 10 divide (26675/20 + 5)*(-13)/(91/(-56))?
True
Suppose 0 = -2*w - 14*i + 10*i - 1266, -1280 = 2*w - 3*i. Is 29 a factor of w/(-2) - (-2)/4?
True
Let x be 80/10 - (-309 - 5). Let g = 1286 + x. Is 24 a factor of g?
True
Let b = 44 - 79. Let t = b + 41. Is 9 a factor of (12/(-8))/((-1)/t)?
True
Let j be 9/(36/8) + 298. Suppose 0 = -3*b + 4*o + j, -2*b = -o + 60 - 255. Does 16 divide b?
True
Let z(k) = 583*k - 63. Let p be z(-3). Let q = p - -2638. Is 31 a factor of q?
False
Let k = 11830 - -30950. Is k a multiple of 138?
True
Let o = 63 + 18. Let f be ((-9)/(-6))/(99/22*(-2)/(-1002)). Let i = f - o. Is 22 a factor of i?
False
Let h(t) = -10 + 21*t - 13*t - 15*t. Let o be h(-2). Suppose 3*i = 4*r - 716, 0 = -2*r + o*i + 345 + 23. Is r a multiple of 38?
False
Suppose -125 - 1 = 21*b. Is (-64 + 2)*(-8 - 45/b) a multiple of 2?
False
Is 2185/(-2)*((-426)/15 - -18) a multiple of 23?
True
Let c = -315 - -329. Let f(y) = -y**2 + 14*y + 145. Is 7 a factor of f(c)?
False
Let f be (-261)/(-36) + 2/(-8). Suppose -3 + f = -t. Is 0 + 58/t*26/(-13) a multiple of 10?
False
Let m be (-1237863)/(-9) - (25/3 - 8). Suppose -74*w = -9*w - m. Is w a multiple of 20?
False
Is 8/(-16)*(12/15)/(6/(-181275)) a multiple of 18?
False
Suppose -s - 5*i + 2047 = 0, -3*s + 2*i + 7614 = 1456. Is 76 a factor of s?
True
Let l be -1*13 - (-9 - -3). Let t = l - -63. Is 7 a factor of t?
True
Let b = 141 - 134. Let t(a) = 8*a**2 + 34*a + 12. Is t(b) a multiple of 33?
False
Suppose -t - 3*q - 11 = -4, 0 = -3*t - 4*q - 6. Suppose -j = -2*x + 5 - t, -3*x - 4*j + 21 = 0. Suppose 5*b = x + 52. Is b a multiple of 2?
False
Suppose 40200 = -2797*y + 2802*y - 5*m, -2*y - m + 16068 = 0. Is 82 a factor of y?
True
Let a be (-1 - (6 - 4)) + 5. Suppose 0 = -a*h + 3*k + 369, 5*k + 10 = 7*k. Is 12 a factor of h?
True
Let r be 8/24*30/(-4)*-46. Is (-6 - -7) + r + -3 even?
False
Let r(b) = -b**3 + 6*b**2 + 208*b - 25. Does 6 divide r(12)?
False
Suppose -2*y + 975 = 5*z, -3*z + 5*y = -