ple of 32?
True
Suppose 2*u + 16 + 10 = -2*z, 4*z + 2*u = -60. Let p = -3 - z. Does 14 divide p?
True
Suppose 2*i = 34 + 6. Is 5 a factor of i?
True
Let s = 33 - 23. Suppose 0 = -2*k + 3*p + s, 4*p = k + 3*p - 4. Does 2 divide k?
True
Let n be ((-4)/(-12) - 1)*-3. Does 7 divide ((-6)/(-15))/(n/140)?
True
Suppose 3*s = 7*s - 48. Let w(d) = 2*d + 20. Let j be w(-14). Let c = j + s. Is 4 a factor of c?
True
Suppose -k + 5*k - 4 = 0. Let o be 0 + k - (-3 + 2). Suppose -v - 10 = -d, -o*d - 3*v + 4*v + 24 = 0. Is d a multiple of 12?
False
Suppose -5*a + a + 5*c + 37 = 0, 5*a - 3*c = 43. Is 3 a factor of a?
False
Let p = 29 - 17. Does 12 divide (-43 - -13)*p/(-10)?
True
Let j = -23 - -59. Is j a multiple of 18?
True
Suppose 5*f = 18 + 22. Let r = f + -4. Suppose 2*m - 2*v = -m + 59, 3*m - 35 = -r*v. Is m a multiple of 7?
False
Let y(k) = -k**2 - 12*k - 15. Let a be y(-11). Is a/(-4) + 13 + 2 a multiple of 8?
True
Let d be (-358)/(-8) + (-9)/12. Suppose 4*a - 16 = 0, -d = -0*y - 2*y + a. Is 17 a factor of y?
False
Suppose -2*g + 7*g = 1440. Suppose 2*s = -2*s + g. Suppose -3*x = -30 - s. Is x a multiple of 13?
False
Let b(m) = 16*m + 9. Is 6 a factor of b(2)?
False
Suppose 4*k + 717 = 3*c, 0 = 4*c - 3*k + 2*k - 969. Is 9 a factor of c?
True
Suppose -7*b + 650 = 3*b. Does 5 divide b?
True
Let x be 4/(-10) - (-164)/10. Suppose 0 = -f - 0*f + 5*b + x, 0 = -5*f - b + 132. Is 13 a factor of f?
True
Suppose -4*z + 133 = -491. Is 10 a factor of z?
False
Let t(h) = -h**3 + 9*h**2 + h - 8. Let o be t(9). Let p be -1 + o + 0 - -6. Is 14 a factor of 2*6*8/p?
False
Let n be 2*2*(-2)/(-4). Suppose -2*p + 26 = n*p - 3*j, 3*p + 5*j - 5 = 0. Suppose p*x + 7 = -3*d, 3*d - d - 22 = 2*x. Is 3 a factor of d?
True
Does 8 divide -30*(-6)/15*2?
True
Let r(s) = -2*s**3 - 4*s**2 - s + 6. Is r(-4) a multiple of 37?
True
Suppose u - 3*w = 46, -3*u - u - w + 184 = 0. Is 46 a factor of u?
True
Let y = -6 - -11. Suppose 9 = y*s - 4*j - 31, -29 = -s + 5*j. Does 4 divide s?
True
Let d(j) = j**2 + 11*j + 11. Is 33 a factor of d(-13)?
False
Let t = 128 + -80. Is t a multiple of 16?
True
Let s = 37 - 13. Does 12 divide s?
True
Let r = 20 - 12. Is r a multiple of 2?
True
Let k(j) = -j + 4*j - 4 - 1. Let p be k(6). Let a = p - 3. Is 10 a factor of a?
True
Suppose -3*p + 11 = -28. Suppose -p + 1 = -c. Suppose k - 21 = -3*t + c, -t + 11 = 5*k. Is t a multiple of 5?
False
Is 9 a factor of (-14 + 0)/(-8 + 7)?
False
Let q(k) be the second derivative of 5*k**3/3 - k**2/2 - 2*k. Is 13 a factor of q(4)?
True
Is 2 a factor of 29/(5/15 - (-2)/12)?
True
Suppose 4*a + 103 = 5*k, 3*a + 133 = 5*k + 32. Let z = 27 - k. Is z a multiple of 4?
True
Let p = -4 - -5. Is 13 a factor of 31 + 2 + p/1?
False
Let g = 3 + 1. Suppose g*t - 106 + 38 = 0. Let n = 26 - t. Does 9 divide n?
True
Let w = -23 - -11. Does 2 divide (-1)/(-2) + w/(-8)?
True
Suppose -b + 30 = 2*b + 5*v, -2*b + 1 = -3*v. Suppose 45 = b*d + 5. Suppose 2*g + 4*f = 16 + 4, 2*g = -f + d. Is g even?
True
Let r(x) = -2*x**2 + 2*x**2 - 12 + x**2 + 7*x. Let a(y) = -3*y. Let v be a(3). Is 3 a factor of r(v)?
True
Let l = -12 + 14. Does 2 divide l?
True
Suppose -5*t = -3*n - 3 - 8, -5*t - n = -23. Suppose -5*j = t*z - 48, 2*j = -4*z + 40 - 4. Does 12 divide (10 - z) + 22 + -1?
True
Let l be 3 + -3 + 0 + 3. Suppose -x + t = -8, 2*t + 10 = x - l. Suppose -x*g + 14 + 17 = 5*f, 4 = 2*f - 3*g. Is 5 a factor of f?
True
Suppose 4*g + 0*g = 0. Let y = 0 - g. Suppose y = -z + 13 + 7. Does 7 divide z?
False
Suppose d - 38 = -d. Does 19 divide d?
True
Is 4 a factor of 16/6*36/(2/1)?
True
Let g(c) = 14*c**2 + 24*c - 4. Is 17 a factor of g(-5)?
False
Does 19 divide ((-76)/(-6))/((-133)/21 + 7)?
True
Does 39 divide -149*(1/(-3))/((-1)/(-3))?
False
Suppose -4*p = 3*q - 12, p = q - 4*p + 15. Suppose q*s = -5*s + 120. Does 24 divide s?
True
Let j(x) = -x**2 + 4*x - 1. Let g be j(3). Suppose 0 = -g*t + 84 + 14. Is 12 a factor of t?
False
Suppose -j + 22 + 22 = 0. Is j a multiple of 11?
True
Suppose v + 14 = 3*v. Does 7 divide v?
True
Let t = -1 - 2. Let q be 13 - (-3 - 2 - t). Is 3/((-36)/q - -3) a multiple of 4?
False
Suppose -404 = -5*o + 46. Is o a multiple of 15?
True
Let x = -1 - -1. Suppose x = 6*g - 3*g - 204. Does 25 divide g?
False
Let h = -8 - -12. Suppose 0 = -3*v + 2*g + 15, -3*v - 2*v = -h*g - 27. Suppose -26 = -v*f - 2. Is 4 a factor of f?
True
Suppose 0 = -3*d + 14 - 2, 0 = 3*t + 3*d + 165. Let c = t - -100. Is 6 a factor of c?
False
Suppose 2*p - 3*l + 6 = -4, 3*l = 12. Let z be -1 + (-3)/(-2 - p). Is 5 a factor of z + 1 - 2 - -11?
True
Suppose 3*w = -5*f + 25, -3*w - 4*f + 0*f + 23 = 0. Let t = 8 - w. Is 2 a factor of t?
False
Suppose -3*w + 3 + 0 = 0. Let t = w + 22. Is t a multiple of 9?
False
Suppose -z - 1 = -2*n - 3, 4*n = 0. Let u(b) = b**2 + 2*b - 3*b - 2*b - z*b. Does 2 divide u(6)?
True
Let y = -7 - -11. Suppose 0 = -2*j + 26 + y. Is j a multiple of 5?
True
Let s(z) = 2*z**2 - 4. Let k be s(-3). Let f be 8*(-2)/(-4)*k. Suppose -f = -4*x - 4*j, -6*x = -7*x + 4*j - 6. Does 8 divide x?
False
Let c(u) = 3*u - 63. Let b(z) = -z - 34. Let x(r) = -r - 67. Let f(h) = -5*b(h) + 3*x(h). Let s(y) = -3*c(y) + 5*f(y). Is s(0) a multiple of 17?
True
Suppose -2*x = -153 + 61. Is x a multiple of 12?
False
Suppose 30 = o - 0*o. Let r = 62 - o. Does 15 divide r?
False
Suppose b + 1 = 4*s - 1, 4*b + 8 = -5*s. Suppose 4*n = 2*n + x - 33, -2*n - 5*x - 39 = s. Let t = -1 - n. Is t a multiple of 16?
True
Let j(y) = 15*y + 3. Does 7 divide j(2)?
False
Let g = -44 + 96. Let h = -22 + g. Does 6 divide h?
True
Let u = 144 - 97. Does 20 divide u?
False
Let x = 8 + 4. Suppose 2*t = 2*g + 2, x = -g + 4*g + 2*t. Suppose 0 = n - 0 - g. Does 2 divide n?
True
Let n(k) = 165*k**2 - 2*k + 1. Does 35 divide n(1)?
False
Let m(b) = 44*b**3 + b - 1. Is 11 a factor of m(1)?
True
Suppose 3*n - 3*i = 6, 2*i - 5 = -4*n + 27. Let g(a) = 3*a - 7. Is 5 a factor of g(n)?
False
Let r = -16 + 51. Is 12 a factor of r + -4 + 0 + -4?
False
Let i be ((-20)/6)/((-4)/6). Suppose -i*h = -5, p - 2*p - 2*h - 1 = 0. Is 2 a factor of (2 + 5/p)*15?
False
Suppose 6*j + 4*y = j - 108, y = 2*j + 38. Let s = j + 80. Is s a multiple of 12?
True
Let f = 0 - 0. Let o = -22 - -21. Is (f + -14)/o + 0 a multiple of 7?
True
Suppose -f - 115 = -4*f - 5*n, 0 = f - 2*n - 20. Does 15 divide f?
True
Suppose 0 = -4*y + 405 - 145. Does 13 divide y?
True
Let w = -131 + 239. Is 27 a factor of w?
True
Is (96/(-30))/(1*(-3)/15) a multiple of 8?
True
Suppose -3*n - 8 = -3*p + 7, 0 = 2*p + 3*n + 15. Suppose p*m = 5*m - 280. Does 17 divide m?
False
Let b = 4 + -10. Is (-4)/b + 3033/27 a multiple of 29?
False
Let d be (-3)/4 + (-52)/16. Let g = 14 - d. Does 5 divide g?
False
Let x(b) = -b**2 + 10*b + 9. Let j be x(12). Let g(l) = -l**3 - 5*l**2 + 10*l + 9. Let i be g(-6). Does 7 divide (-6)/j - 309/i?
True
Suppose -12*d + 8 = -8*d. Suppose -5*s + 81 = -54. Suppose d*t - 3 = s. Does 15 divide t?
True
Let w = 33 - 23. Suppose -4*t - a = -w, -4*t = -a - 3*a. Suppose -t*s = s - 60. Is 10 a factor of s?
True
Does 10 divide 54 + ((-2)/3 - 10/(-6))?
False
Suppose d = -5*z - 6, z + 24 = 4*d - 3*z. Suppose -2*v - 170 = -4*k, d*k = 3*v - 4*v + 179. Is k a multiple of 11?
True
Suppose -4*i = 2*l - 0*l - 72, l = 0. Let d = -2 + i. Does 8 divide d?
True
Let g be (-2 + 2 + 2)*1. Suppose g*b - 35 = -3*b. Is b a multiple of 3?
False
Suppose 62 + 10 = 3*c. Let j be (-2 - -1)/((-6)/c). Suppose 84 = -t + j*t. Is t a multiple of 8?
False
Suppose -2*q - 11 + 83 = 0. Is q a multiple of 18?
True
Let u(v) = -v - 4. Let i be u(4). Let t = i - -4. Does 16 divide t/1*33/(-4)?
False
Let h = 6 + 106. Does 28 divide h?
True
Suppose 0 = -4*h + 124 + 12. Is 7 a factor of h?
False
Let z(c) = c**2 + c - 51. Is z(10) a multiple of 2?
False
Is 4 a factor of 28 + (3 + -1)/(-2)?
False
Suppose -137*z + 132*z = -525. Is 15 a factor of z?
True
Is 8 a factor of (-35)/(-2) - (-30)/(-20)?
True
Let t(f) = -6*f**3 - 3*f**2 - 2*f. Let s be t(-2). Let y = -4 + 9. Suppose u = -3*u - 5*l + 100, 0 = u + y*l - s. Is 13 a factor of u?
False
Suppose 2*s - 2*h = 42, 0*s = 3*s - 5*h - 69. Suppose 5*t + s = 2*f - 10, 2*t + 49 = 5*f. Is f a multiple of 6?
False
Suppose -3*r = j - 23, 29 = -2*j + 5*j + r. Is j a multiple of 4?
True
Suppose h + 19 = 5*d, 35 = -3*h - 2*h - 5*d. Let v b