 of 31?
True
Suppose 15*u - 13943 - 27532 = 0. Is 79 a factor of u?
True
Suppose h = 0, 4*a + 3 = 5*a - 4*h. Let z be -5*(-28 + a - -2). Suppose -j + 6*j + 5*c = z, -j + 35 = 4*c. Does 13 divide j?
False
Let a = -118 - -120. Suppose -h = -a*h + 96. Is 12 a factor of h?
True
Let z = -28 + 241. Does 11 divide z?
False
Let i(j) = j + 6. Let l be i(-4). Suppose -740 = -3*u - l*u. Does 37 divide u?
True
Suppose 2*f - 12 - 10 = 0. Let a = 2 + f. Is 2 a factor of a?
False
Let n(p) = 5*p**2 - 6 + 0*p + 9*p - 14. Is 25 a factor of n(5)?
True
Let y = 260 + 624. Is y a multiple of 34?
True
Does 3 divide 25*40/70*14/4?
False
Suppose 20*a - 21*a - 5*o = -2115, a - 5*o - 2165 = 0. Does 73 divide a?
False
Is -4 - (-17)/((-68)/(-448)) a multiple of 4?
True
Let g(u) = -17*u + 2. Let i be (-16)/(-12) + (-2)/(-3). Let d be g(i). Let b = 22 - d. Is b a multiple of 9?
True
Let t(r) = -1384*r + 10. Does 18 divide t(-1)?
False
Suppose 0*y + y - 22 = -5*m, -3*y = -3*m + 24. Suppose 2*z + 67 + 7 = m*f, -4*z - 8 = 0. Suppose 2*j - 2*l - 172 = 0, 4*l - f - 77 = -j. Is j a multiple of 29?
True
Suppose -4*t - 121 = -417. Let w = 47 - t. Let f = -18 - w. Is f a multiple of 9?
True
Let s = 375 - -241. Does 28 divide s?
True
Let c be 8/1 + 3/(-1). Suppose -4*a = -c*u - 26, 5*u + 10 + 0 = 0. Does 8 divide -2*(a + -3) + 10?
True
Let o be (-9 - -9) + (1 - -2). Let u be (-6)/(-4)*10/o. Suppose 20 = a - 0*d + u*d, d = 0. Is a a multiple of 13?
False
Let w = -40 + 91. Suppose -87 = 3*v + w. Let d = 136 + v. Is 30 a factor of d?
True
Let u(v) = -v**3 + 6*v**2 - 5*v + 4. Let w be u(5). Suppose w*h - 5 = 3. Suppose -h*s - 2*y + 26 = 0, -s + y = -4 - 1. Is 3 a factor of s?
True
Suppose s + 3 - 5 = 0. Suppose t - 38 = -3*j + 6*t, s*j + t = 8. Let k = j - -1. Is k a multiple of 7?
True
Is 14 a factor of 152 + (506/(-115) - (-6)/(-10))?
False
Suppose 7*q - 110 = 107. Suppose q = 3*l + k + 4*k, -l - k = -11. Is 9 a factor of l?
False
Suppose -3*s = 8 + 16. Let w(k) = 4*k**2 + 21*k + 12. Is 45 a factor of w(s)?
False
Suppose -q - q = 3*p - 12, -4*p + 20 = 4*q. Suppose p*j + 3*j = 375. Does 15 divide 3/5*(0 + j)?
True
Suppose 2*k - 41 = -443. Let m = -138 - k. Suppose 4*n = -v + m, -n - 46 = -v + 32. Is 16 a factor of v?
False
Let j = 70 + 632. Suppose -j = -4*g + 6. Suppose 0 = 5*p - g - 18. Does 17 divide p?
False
Let f(v) = -2*v**3 - 10*v**2 + 3*v. Let w be f(-5). Is 17 a factor of ((-1424)/40)/(3/w)?
False
Suppose d - 6336 = -21*d. Is d a multiple of 18?
True
Let k = -12 + 20. Suppose k = -0*y + 2*y. Suppose o - 17 = -3*x, 13 = y*x + 2*o - 9. Does 3 divide x?
True
Let t(g) = 117*g**2 - 25*g - 75. Is 85 a factor of t(-5)?
True
Suppose 2*z - 21*z = -9823. Is 11 a factor of z?
True
Let l = -107 - -149. Is ((-12)/9)/((-2)/l) a multiple of 9?
False
Suppose 0*x - 3 = 3*o - 3*x, -8 = 4*o - 2*x. Let i(t) = -4*t - 2. Is i(o) a multiple of 4?
False
Let h(v) = -4*v**3 + 7*v**2 + v + 2. Let i(j) = -3*j**3 + 6*j**2 + j + 1. Let l(g) = -4*h(g) + 5*i(g). Suppose 3*n + 0 - 9 = 0. Is 15 a factor of l(n)?
True
Let d be (-1 + (-16)/(-12))*24. Suppose -3*v + d + 10 = 0. Let a = 56 - v. Does 19 divide a?
False
Let w be (-6)/(-15) - 4/10. Suppose -a + 2*a - 4 = w. Suppose -3*r + 66 = 2*g, -a*r - 5*g + 88 = -g. Is 11 a factor of r?
True
Is 21 a factor of (-2*1037/4)/((-7)/14)?
False
Suppose 5*y - 4105 = 18*b - 13*b, 0 = 3*y + 4*b - 2477. Is 23 a factor of y?
False
Suppose 585 = 8*f - 1191. Is f a multiple of 6?
True
Suppose 5*m - 18 = y, 4*m - 16 = y - 2. Let w(q) = 2*q**2 + 5*q + 2*q**2 - 2*q**y - q**2 - 20. Does 16 divide w(6)?
False
Let g(a) = a**2 + 13*a + 34. Is g(-22) a multiple of 34?
False
Is -5 + (-5000)/(-24) + (-4)/3 a multiple of 10?
False
Suppose -90*y = 7350 - 138750. Is y a multiple of 20?
True
Let m be -1 + 153 - (7 + -5). Suppose -3*d + 9 + m = 0. Is 20 a factor of d?
False
Let q(o) = 360*o - 105. Is q(6) a multiple of 137?
True
Let h be 100/36 + 2/9. Suppose 0 = -h*n + 2*y + 8, 7 = -5*y - 13. Suppose -4*l + s + 71 = n, 3*s - 2*s + 20 = l. Is l a multiple of 3?
False
Suppose 3*l - 106 = 2*i, 4*l + 2*i = 9*l - 170. Suppose l = 4*s - 4*h - 116, -64 = -2*s + 4*h. Does 21 divide s?
True
Let c(x) = -x**3 - 9*x**2 + 13*x + 6. Let n be c(-10). Does 10 divide 68/7 + n/(-84)?
True
Let r be 3 - 4/(-8 - -4). Suppose -5*x - y + 120 = 0, 4*x - 96 = 2*y - r*y. Suppose 3*c + i - x = 0, i = 2*c + 2*i - 16. Is 3 a factor of c?
False
Is 14 a factor of 42/(-4)*(-2860)/39?
True
Let m = -38 - -40. Let v = 146 + m. Is 24 a factor of v?
False
Suppose -3*z + 2*u - 356 = 0, 4*z - z - 3*u + 351 = 0. Let h = z - -203. Is h a multiple of 20?
False
Suppose 5*l - 20 = -5*r, -4*r = 3*l - 0*r - 9. Suppose 4*q + 5*t = 26, 3*q - l*q = -2*t - 40. Suppose b = 3*k + 1, -q*k + 4*k = -b - 7. Is b a multiple of 3?
False
Let z(n) be the first derivative of 3*n**2/2 - n - 6. Let w be z(1). Does 3 divide 16*(1/w + 0)?
False
Suppose -4*r = -5*w + 150, 0*w = -3*w + 4*r + 98. Suppose -w - 4 = -t. Is 6 a factor of t?
True
Let b(v) = 12*v**2 - 3*v + 1. Let q be (-6)/(-15) - (-91)/35. Let u be b(q). Suppose -u = 8*t - 13*t. Does 7 divide t?
False
Suppose s + 2 = 3*s. Let p = s + 3. Suppose -p*j + 2*j + 4 = 0, f - 4*j - 4 = 0. Is 6 a factor of f?
True
Suppose 5*r - 20 - 410 = 0. Suppose -3*w + 383 = r. Does 33 divide w?
True
Let w be (8 - 5)*(-142)/(-6). Let a = -41 + w. Is a a multiple of 10?
True
Suppose 0 = -5*r + 1016 + 1434. Does 35 divide r?
True
Suppose s - 86 = 183. Does 24 divide s?
False
Is 15 a factor of (-1)/(30/270 + (-194)/1665)?
False
Let o = -4 + -5. Let u be (-2)/o - (-43)/9. Suppose 65 = 3*d + 2*h, 66 = u*d - 2*d + 3*h. Does 5 divide d?
False
Let o = 806 + -562. Does 9 divide o?
False
Suppose -2*i + 4 = i - 4*h, 5*i - h = 18. Suppose -5*t - 2*g = -5*g, 0 = -4*t - 4*g. Suppose -w - i*w + 240 = t. Is 16 a factor of w?
True
Suppose -5*b + 4*y - 56 = y, 28 = -3*b - y. Let v = b + 44. Does 7 divide v?
False
Let p(u) = u**2 + 8*u + 12. Let d be p(-15). Let c = -55 + d. Is 15 a factor of c?
False
Suppose 10*i - 654 - 256 = 0. Does 12 divide i?
False
Let j = -237 - -840. Is j a multiple of 11?
False
Let q = -163 - -496. Let d = q + -100. Let u = -146 + d. Is u a multiple of 29?
True
Let o(w) = -w - 6. Let f be o(-10). Let n = f - 1. Suppose -3*m - m - n*s + 35 = 0, 3*m - 3*s - 42 = 0. Is m a multiple of 3?
False
Let g be 15/9 - 1/(-3). Suppose g*h + 168 = 8*h. Is 28 a factor of h?
True
Let u(o) = 2*o**3 + 24*o**2 + 10*o + 84. Does 72 divide u(-11)?
True
Let l be (3216/18)/((-1)/(-3)). Let h = -311 + l. Does 4 divide 2/(-4) + h/18?
True
Suppose -3*s = 2 + 4, 4*s = -3*m + 109. Suppose 0 = 2*q - 3*q + 2. Suppose -z + m = q*z. Is 4 a factor of z?
False
Suppose 2*p = -3*o - 167, -p = 3*o + 89 + 74. Let x = 68 + o. Is x a multiple of 15?
True
Suppose -14*k + 7*k + 2289 = 0. Is k a multiple of 20?
False
Let r = -257 + 994. Is 20 a factor of r?
False
Let d(r) = -2*r**3 - r**2 + 26*r + 13. Is 28 a factor of d(-8)?
False
Suppose -14*n + 2548 = -3822. Is 35 a factor of n?
True
Suppose 5*u + 5 = -0, 2*s + 2*u = 108. Suppose 4*p - s - 341 = 0. Suppose 0*z + p = 3*z. Is z a multiple of 11?
True
Let w(s) = s**3 - 20*s**2 - s + 20. Let b be w(20). Suppose 5*m - 39 - 41 = b. Does 4 divide m?
True
Suppose 14*j = 19*j - 230. Is j even?
True
Suppose 3*d - 63 = -3*x, 2*x + 5*d - 43 = -1. Does 21 divide x?
True
Let p be 9/2*4/3 - 3. Suppose -p*v = -v - 50. Is 5 a factor of v?
True
Let o = -923 + 1474. Does 29 divide o?
True
Let l(j) = 76*j**2 + 4*j + 1. Let p be l(-1). Suppose 6*x - p = 59. Is 22 a factor of x?
True
Let s = 278 - 134. Does 8 divide s?
True
Let i(n) = -n**2 + 7*n - 3. Let s be i(6). Suppose -5*j + 65 = 3*k, -4*j + s*k = -9 - 70. Does 3 divide j?
False
Suppose 6*i - 3*h = i + 7, h = -i + 3. Is (i/(-1))/6 - 4380/(-45) a multiple of 8?
False
Let j = -14 + 30. Suppose 13*d - 72 = j*d. Let a = d - -48. Is a a multiple of 8?
True
Does 10 divide (-152)/(-5)*(-45)/(-2)?
False
Is 38 a factor of (-2886)/(-4) - (-30)/60?
True
Suppose -2*w + 25 = -x, w - 27 = -2*w + 5*x. Let a be 0 + -1 - w*-8. Suppose -2*u = 4*g + 3*u - 117, a = 4*g - u. Does 7 divide g?
True
Suppose -3*x = -6*x - 4*i + 865, 2*x + 3*i - 575 = 0. Is 8 a factor of x?
False
Suppose -5*r + 2*i + 11074 = -i, 5*r = -2*i + 11084. Is 51 a factor of r?
False
Is 10 a factor of (-6924)/(