= 0, 0 = -4*d - 4. Suppose -7*t + 114 = -a. Suppose q + 2*c - t = 0, 5*q + 3*c - 137 = -0*c. Does 11 divide q?
False
Let o = 2711 - 1740. Is o a multiple of 9?
False
Let u = 53 + -43. Suppose u*m = 11*m - 88. Suppose 0 = 3*b + 4*t - m, 5*b - 114 = -2*t + 14. Does 3 divide b?
True
Let v = -5004 + 5358. Does 14 divide v?
False
Suppose 4*n - 2*h = 6850, 4*n + 16*h - 12*h = 6844. Does 27 divide n?
False
Suppose -w - 4*p + 723 + 439 = 0, 5*w = -3*p + 5861. Is 2 a factor of w?
True
Let j(q) = -q**2 + 5*q + 13. Let x be j(6). Suppose x*l - 16 = -184. Is (0 + 14)*l/(-28) a multiple of 3?
True
Let v(l) = 38*l**2 + 154*l - 782. Is 14 a factor of v(5)?
True
Does 37 divide -3 - (-46878)/(9 + -6)?
False
Let l be (0 - 0)*5/(-5). Suppose -4*k + 2*m = l, 3*m - 28 = -4*k - 2*m. Suppose n = p + 3*p - 152, 0 = 4*p + k*n - 140. Is 17 a factor of p?
False
Let k(j) = 1278*j**2 + 223*j - 18. Does 15 divide k(-3)?
True
Let x(d) = 22*d**2 + 87*d + 455. Does 36 divide x(-31)?
True
Let r = -257 + 509. Is 8 a factor of r/(-8)*(-4)/3?
False
Is 27 a factor of 2 - 2*12/6 - (-5 - 37007)?
False
Suppose 55*w - 2344682 - 74021 = -28*w. Does 72 divide w?
False
Suppose -2*k + n = -11 + 13, 3*n - 6 = 2*k. Suppose -5*d + 58 - 13 = k. Is 7 a factor of d?
False
Let b(r) = -17*r**3 - 4*r**2 + 21*r + 45. Is b(-3) a multiple of 8?
False
Let k be (1 - -11)/((-37)/74). Is 17 a factor of (-24492)/(-72) + 4/k?
True
Let f = 36 - 33. Suppose -4*l - 19*u = -17*u - 1908, 962 = 2*l + f*u. Is 65 a factor of l?
False
Let i(c) = -c**3 - 10*c**2 - 5*c + 4. Let g be i(-8). Let s = -49 - g. Suppose -y - 2*j = -6*y + s, 2*y + 4*j = 14. Is y a multiple of 2?
False
Let z(k) = -k**3 - k**2 + k. Suppose -4*r - j + 1 = 9, 4 = -2*r + 4*j. Let t be z(r). Suppose -4*h = -u - t*u - 164, 54 = h - 4*u. Is h a multiple of 38?
True
Let o be 2/4*-69 + 7/14. Let c be (-1)/((-3)/o*(-7)/21). Suppose 3*x = 5*p + c, -4*x - 3*p + 68 = x. Is x a multiple of 6?
False
Does 10 divide ((-68)/(-12) + -4)/((-25)/(-8070))?
False
Suppose 0 = -j - 57 - 97. Let x = j - -217. Is x a multiple of 9?
True
Let y = -83 - -37. Let d = -41 - y. Suppose 2*c + d*g - 1 = 398, 5*c = 5*g + 945. Is 24 a factor of c?
True
Suppose 66*q + 15984 = 103*q. Is q a multiple of 16?
True
Suppose 0 = -l + 2*j + 233, 5*l - 2*j = 3*j + 1145. Let d = 103 - l. Let n = 176 + d. Is n a multiple of 9?
True
Suppose 0 = -4*d + w + 7302, 4*w - 2513 = -d - 713. Is 32 a factor of d?
True
Let l(y) = -2*y + 18. Let a(s) = 1. Let q(g) = -6*a(g) - l(g). Let c be q(12). Suppose 4*t - 6 - 14 = c. Does 2 divide t?
False
Suppose -4*v = -5*s - 44383, 4*v - 46*s + 47*s - 44365 = 0. Does 64 divide v?
False
Let b = -10511 - -16694. Is b a multiple of 130?
False
Let g(q) = -15 + 153*q + 17 - 12 - 98. Is g(3) a multiple of 41?
False
Let r = -98 - 103. Let x = r - -318. Is 8 a factor of x?
False
Suppose -2 = -28*k - 2. Suppose -5*l - 9*l + 252 = k. Is 6 a factor of l?
True
Let x = -775 - -1679. Suppose -5*g = -5, -9*i - 4*g + x = -4*i. Is 20 a factor of i?
True
Let l(f) = 289*f + 8. Let c(i) = 722*i + 20. Suppose 5*o - 5 = -30. Let h(j) = o*c(j) + 12*l(j). Does 56 divide h(-2)?
True
Let n(m) = m + 4. Let f be n(-17). Let r = f - 26. Is 13 a factor of (-2)/(-2)*r/(-3)?
True
Suppose 3*u + 10 = 4*w, -6 - 4 = -u + 4*w. Let p(v) = v**2 + 9*v + 78. Is 22 a factor of p(u)?
True
Suppose 18 + 66 = -4*o. Does 8 divide ((-24)/o)/(4/112)?
True
Let r(v) = 2*v - v**3 - v**3 - 3*v**3 - 20*v**2 + 4*v**3 + 20. Let o(a) = -a**3 - 21*a**2 + a + 19. Let p(l) = 4*o(l) - 5*r(l). Is 12 a factor of p(-16)?
True
Let g = 261 + -267. Is 30 a factor of ((-3)/(g/28))/(20/150)?
False
Let z be 118 - (5 + -3)*-2. Let r = z + -60. Is 13 a factor of r?
False
Suppose 14*t = 9*t + 3*h + 2403, 1916 = 4*t + 4*h. Is t a multiple of 40?
True
Suppose 4*w = 2*d + 104, 3 - 71 = d + 2*w. Let k = 63 + d. Does 3 divide k?
True
Let k(a) be the first derivative of -5*a**2 + 392*a - 31. Is 11 a factor of k(-51)?
True
Let y(c) = -50*c**3 - 15*c**2 - 102. Is y(-7) a multiple of 15?
False
Let o = 13139 + -7613. Does 36 divide o?
False
Suppose -h - 4*m = -914, 924 = -96*h + 97*h - 6*m. Is 34 a factor of h?
True
Let z(q) = -q**3 + 6*q**2 - 49. Let r be z(-7). Let d = r - 531. Is d a multiple of 57?
True
Let j be 1484/(-16) - (-1)/(-4). Let h = 37 - j. Does 5 divide h?
True
Suppose -16*i = -12*i - 820. Suppose 5*c - 740 - i = 0. Does 9 divide c?
True
Let i = 7 - 4. Let x(o) = -o - 1. Let k(y) = 9*y + 14. Let b(h) = k(h) + 6*x(h). Is 17 a factor of b(i)?
True
Is 15*386/((285/(-24))/(-19)) a multiple of 16?
True
Suppose -3*v - 3*x - 12 = 0, 5*v + 2*x - 3*x = 4. Let n be 6/(-9)*(3 + v) + 7. Suppose 3*b - n*u = 38, 0*b + 3*u = 3*b - 42. Is b a multiple of 8?
True
Suppose 0 = -11*d + 4*d - 392. Let c = 4 - d. Suppose 0 = p + 3*p - c. Is 3 a factor of p?
True
Let g(y) = 3*y**2 + 4 - y**2 - 6 + 12*y. Let x be (9/5)/(203/35 + -6). Does 13 divide g(x)?
True
Suppose -26*o + 11*o = -8850. Is o a multiple of 12?
False
Suppose -305064 = -52*i - 114380. Is 14 a factor of i?
False
Is (-3)/(((-113)/(-176280))/(8/(-5))) a multiple of 6?
True
Is 24765/(((-45)/6 - -7)*-2) a multiple of 195?
True
Let t = 143 - 388. Suppose 0*m + 5*m = 1810. Let y = t + m. Is y a multiple of 35?
False
Suppose 47*g + 24448 = 4*q + 45*g, 3*q + 2*g = 18357. Does 49 divide q?
False
Let t(f) = f**3 + 3*f**2 - 2*f - 3. Let i be t(-3). Suppose 5*x = -3*a + 62, 4*x + 2*a - 47 = -i*a. Is 13 a factor of x?
True
Suppose -329*v + 239877 = -296*v. Is 35 a factor of v?
False
Suppose 15*q - z - 100160 = 8*q, 2*q + 5*z - 28596 = 0. Does 49 divide q?
True
Let z be (165/75 + 1/(-5))*1. Suppose 4*h - 282 = -2*d, -z*h + 0*h + 665 = 5*d. Suppose -2*w + d = -0*p + 5*p, 0 = -p - 1. Is 17 a factor of w?
True
Let p(a) = -a**2 - 19*a + 17. Let x be p(-20). Let u be (-16)/40*(-2 + x). Suppose 0 = -i - 4*l + 69, 4*l - 61 = -i + u*l. Is 11 a factor of i?
False
Let f = -1687 - -1195. Let q = f + 1286. Does 15 divide q?
False
Let g = 15733 - 4021. Is g a multiple of 32?
True
Let k be (-4)/3 - (-19)/3. Suppose 0 = 3*j - k*g - 1333, 5*j - 7*j - 3*g = -895. Is 54 a factor of j?
False
Is 32 a factor of (-5)/((-150)/18260) + (-2)/3?
True
Suppose 22*x - 13884 = 16*x. Suppose -3*q = 3*p - 1392, 5*p + 8*q - 6*q - x = 0. Is 33 a factor of p?
True
Suppose 0 = 2*a + l - 2402, -4*a - l = 4*l - 4792. Let g = a - 672. Is g a multiple of 35?
False
Let p(v) = 4*v - 92. Let s be p(24). Does 12 divide 316/(-12)*(s + -40)?
True
Let x = 1340 - -81. Is x a multiple of 29?
True
Suppose -52 - 20 = -9*j. Suppose -j*c = -6*c - 5*x - 411, -5*x = 2*c - 361. Does 33 divide c?
False
Let z(i) = -3628*i - 70. Is 21 a factor of z(-7)?
True
Let n(b) = 52*b**2 + 9*b - 147. Is n(9) a multiple of 73?
False
Let i be (-120)/(-28) + 2/(-7). Suppose -5*g - 469 = -3*q, -q - i*g + 193 = 48. Is 17 a factor of q?
True
Let t be -4 + (-140)/12*-3. Let v be 2 + 3 + (-3 - t). Let p = 51 - v. Is p a multiple of 8?
True
Let x = -201 + 322. Let t = x - 177. Let q = -21 - t. Is 14 a factor of q?
False
Let v(l) = -l - 58. Let h be v(-11). Let b = 157 - h. Is 6 a factor of b?
True
Let f(o) = -153*o**3 - 12*o**2 - 16*o + 25. Is 71 a factor of f(-3)?
False
Suppose 2*g = -16*g. Suppose 3*p + 299 - 695 = g. Is p a multiple of 5?
False
Suppose 0*j + 108942 - 8996 = 14*j. Is 9 a factor of j?
False
Is (0 - 1*-8127) + 171/(-19) a multiple of 9?
True
Let c be (-242)/5 + 4/10. Suppose -4*n - 12*j = -16*j - 348, 0 = -2*n - 2*j + 162. Let a = c + n. Is 12 a factor of a?
True
Let m = 37 + -37. Suppose m = -4*d - 4*s + 1372, -1755 = -5*d - 24*s + 27*s. Does 34 divide d?
False
Suppose 2*f + 4*v = -2*f - 12, -2*f - 5*v - 21 = 0. Suppose 1274 = f*p + 3*j, p + j - 322 - 315 = 0. Does 49 divide p?
True
Is 336*40*14/224 a multiple of 79?
False
Let y = 1426 - 970. Suppose -7*s + 2*s - 432 = -2*n, y = -5*s - 4*n. Let x = s + 136. Is 8 a factor of x?
True
Let w be (2 - 8)*(5 - (-33)/(-9)). Does 20 divide (49/2)/(w/(-144))?
False
Let n(h) = -h + 2. Let y be n(5). Let d = 739 + -730. Let f = d - y. Is 4 a factor of f?
True
Let m be -3 - 0 - (4 + -8 + -4). Suppose 19 = m*a - 11. Is 3/a*-8 + 79 a multiple of 15?
True
Let t(r) = 5*r**2 + 4*r - 3 - 3*r**2 + 6 + 9. Does 4 divide t(-2)?
True
Suppose -6*t = 5*t + 220. Let s = -16 - t. Let z = 15 + s. Is z even?
False
Let u(h) = h**3 +