f -3 - 1 - (6 + -68)?
False
Is 25 a factor of (-2)/(-7) + (-1298)/(-14)?
False
Let g be (-2)/3 - (-10)/(-3). Let p(h) = 2*h**2 + 4*h + 3. Let v be p(g). Suppose 2*c + 2*y - 34 = -2*c, y + v = 2*c. Is 9 a factor of c?
True
Suppose 172 = -5*n + 7*n. Is n a multiple of 13?
False
Let c(p) = p**2. Let i be 52/10 - 2/10. Suppose 5*r - 3*x + 8 = -x, i*r = -5*x - 15. Is c(r) a multiple of 4?
True
Suppose 3*i = 2*z - 65, 95 = 6*z - 3*z - 2*i. Does 13 divide z?
False
Suppose 0 = 2*q - 7*q - 460. Let m = q + 53. Let l = -1 - m. Is 19 a factor of l?
True
Let i be (-2)/6 + 3/9. Let c be i/1 - 2*-2. Is (-1)/(-4) + 115/c a multiple of 9?
False
Let k be 11/4 - 15/20. Suppose k*i - 5*i = -90. Suppose 0*p + i = 3*p. Does 9 divide p?
False
Let a(z) = -2*z - 6. Let b be a(-7). Suppose -10*y + 122 = -b*y. Is y a multiple of 36?
False
Suppose 0 = d + d - 420. Does 25 divide d?
False
Let g(f) be the second derivative of f**8/6720 - f**6/720 + 7*f**5/120 - f**4/12 - f. Let c(m) be the third derivative of g(m). Is 3 a factor of c(0)?
False
Is (18/(-4))/(3/(-16)) a multiple of 6?
True
Suppose -a - 2*a + 54 = 0. Is 3 a factor of a?
True
Suppose 0 = -3*z - 3, -5*v + 41 = z - 93. Does 27 divide v?
True
Suppose y = 4*y - x - 18, 3*x = 0. Is 3 a factor of y?
True
Suppose -4*k + 1 = -4*r + 3*r, -2*r = -3*k + 2. Let f = -5 + 8. Suppose -f*i = -k*i - 42. Does 11 divide i?
False
Suppose -2*z + 4 = -4*i - 18, -2*z = -i - 16. Suppose z = 4*b - 3*o - 10, -4*b - 5*o - 7 = 0. Suppose 5*s = -2*t + 81, b*t = -4*s + 13 + 53. Is 6 a factor of s?
False
Suppose -3*g + 12 + 90 = -3*s, 116 = 3*g + 4*s. Is g a multiple of 6?
True
Let d = -118 - -176. Let r be 4 + (-2)/(-4)*-2. Suppose -j = -3*j + 2*o + 28, -r*j = 5*o - d. Is j a multiple of 14?
False
Let c be (8/6)/(1/3). Let p be 4 + -4 - ((1 - -1) + -2). Suppose -c*o = -p*o - 116. Is o a multiple of 11?
False
Let l = 10 + 100. Suppose h + 4*h - l = 0. Is h a multiple of 7?
False
Let g(n) be the second derivative of -13*n**3/6 + n**2/2 + n. Let l be g(1). Let j = l + 42. Is 13 a factor of j?
False
Suppose 13 = d - 5. Let h be 2/(-4)*2 + d. Suppose -43 - h = -5*a. Is a a multiple of 12?
True
Let k(i) = -i**3 - 6*i**2 + i + 6. Let f be 2/(-4) - 22/4. Let l be k(f). Let q = l - -12. Does 12 divide q?
True
Does 27 divide (1/((-2)/(-38)))/(23/391)?
False
Suppose 4*i - 5 = -5*f, -f - 1 + 2 = -3*i. Let k(a) = a**3 - 13*a**2 + a - 11. Let d be k(13). Let w = d - i. Does 2 divide w?
True
Let u(z) = -z**2 + 4*z + 7. Let y be u(5). Suppose 0 = 2*j - 5 - 11. Suppose -o + y = -j. Is 5 a factor of o?
True
Is 12 a factor of (-76 - 4)*((-15)/4)/1?
True
Suppose -3*j + 2*j = 4. Is 7 a factor of j/1*7/(-2)?
True
Suppose -5*j + 2*q + 218 = 0, j + 4*q = 4*j - 142. Suppose 4*h - j = -3*n, 2*n = -3*h + 21 + 7. Is 7 a factor of n?
True
Does 13 divide (-4)/40*34*-15?
False
Let j(y) = 151*y - 2. Let x be j(1). Suppose 0 = -5*m - 44 + x. Is m a multiple of 8?
False
Suppose -2*f - 102 = 3*h, -2*f - 2*h - 102 = -0*f. Does 5 divide -4*(-2)/((-24)/f)?
False
Let j = -6 - -10. Suppose 0 = -j*t + t + 9. Suppose 0 = t*z - 87 - 3. Is z a multiple of 10?
True
Suppose 3*p = -p. Suppose -2*d + p*d = -34. Let m = 24 + d. Does 18 divide m?
False
Let h(y) = -17*y. Is h(-3) a multiple of 12?
False
Is 1656/15 + 2/(-5) a multiple of 9?
False
Let u = 110 - 65. Is 11 a factor of u?
False
Let s be (0/(-2) - -2) + 1. Let z be 6/9 - (-4)/s. Does 25 divide 2/z + 53 + 1?
False
Suppose 0*a = 3*a - 15. Suppose -72 = 2*q - a*q. Is 8 a factor of q?
True
Suppose -4*z + 2*v = -0*z, z + 18 = 5*v. Let l be 4/(1/(z/4)). Suppose -34 = -l*w + 30. Does 16 divide w?
True
Let a(v) = -v**3 + 4*v**2 + 4*v - 6. Let k be a(4). Let y = 37 + k. Is 15 a factor of y?
False
Let u(m) = 4*m**2 - 12*m. Is 40 a factor of u(8)?
True
Let o(f) = -14*f - 1. Let j be o(-1). Let i = j + -1. Is i a multiple of 12?
True
Let r(q) = -q**2 - 7*q - 4. Let h be r(-9). Is 8 a factor of (143/h)/(1/(-4))?
False
Let t(b) = -10 + 5*b + 1 + 1. Is t(6) a multiple of 8?
False
Let p(x) = x**3 - 14*x**2 + 16*x - 32. Is 7 a factor of p(13)?
True
Is 69 - (0 - (5 - 4)) a multiple of 7?
True
Suppose -18 = -4*z - 2*g - 0, 0 = 3*z - 2*g + 4. Suppose -2*j - z*j = -36. Does 7 divide j?
False
Let h(g) = -3*g - 18. Suppose -47 = 5*r + 13. Is 9 a factor of h(r)?
True
Is (-2)/(-8) - (-326)/8 a multiple of 16?
False
Suppose -k - 5 = 7. Let u be 38/8 + (-3)/k. Suppose 5*i + 126 = u*w + i, -2*w + 4*i + 60 = 0. Is 11 a factor of w?
True
Suppose 4*n + 5*f - 42 = 6, 5*n = 5*f + 60. Suppose m + 3*w = -1 + n, -m + 7 = -w. Does 3 divide m?
False
Let t = -3 - -6. Let g be t/(-6) + (-137)/(-2). Suppose 3 + 14 = j + 4*o, -5*o = 4*j - g. Is j a multiple of 17?
True
Let j = 52 - 31. Is j a multiple of 8?
False
Let i(l) = -12*l + 2. Let n be (-2)/(-7) + (-90)/21. Does 12 divide i(n)?
False
Suppose -6*y - 3*i - 109 = -y, 4*i = -y - 32. Let s = y + 72. Is s a multiple of 13?
True
Suppose -283 - 53 = -4*i. Suppose -3*a = a + 2*f - i, 39 = a + 5*f. Does 7 divide a?
False
Suppose -32 = -4*y + 16. Let r = y + 29. Is r a multiple of 12?
False
Suppose -5*m = -4 - 11. Suppose -m*h + 20 = -2*h. Does 8 divide h?
False
Let k be ((-6)/(-2))/(6/4). Let o(f) = -f**3 - k + 2*f**2 - 8*f + 5*f**2 + 7. Is 15 a factor of o(5)?
True
Let f be -3 + (1 - 0)*5. Is 15 a factor of (90/(-8))/(f/(-8))?
True
Suppose q - 35 = -11. Is 8 a factor of q?
True
Let g be (-49)/5 + (-1)/5. Let b = g + 14. Suppose b*l - 155 = -l. Does 17 divide l?
False
Let v(g) = -g + 40. Let h = -8 + 13. Let w be (-15)/h + (2 - -1). Is v(w) a multiple of 21?
False
Suppose -v - 3 = -4. Suppose v = -f + 86. Does 17 divide f?
True
Let h = -64 - -85. Is 7 a factor of h?
True
Let t be (28/6)/((-4)/(-6)). Let q be 1 + (2 + 4 - 4). Is 12 a factor of ((-18)/(-3) - q)*t?
False
Suppose 0*w = -3*w - 6. Is 31 - (-2 + w)/(-1) a multiple of 5?
False
Suppose 54 = b - 6. Suppose 0 = -2*s - 4*u + b, 25 + 2 = s + u. Is s a multiple of 8?
True
Suppose -5*h = -5*l + 265, 3*l - h + 88 = 253. Does 8 divide l?
True
Is (-1 - 3*11)*36/(-8) a multiple of 13?
False
Let b be (-1)/(2/(-18)*1). Suppose 6 = 5*t - b. Suppose 5*m = -5*c + 75, 28 = 2*c + 3*m - t. Does 12 divide c?
False
Let l = 15 - 12. Is l a multiple of 3?
True
Let t(y) = -y**3 + 6*y**2 + y - 7. Let m = 18 + -12. Let u be t(m). Is 29/u*(-3 + 2) a multiple of 12?
False
Suppose 2*d - d = 84. Let q = 148 - d. Is q a multiple of 32?
True
Let u(v) = -v**2 - 9*v - 1. Let x be u(-9). Let q be x/5 + 69/(-5). Is 2/(-7) - 186/q a multiple of 13?
True
Let p = -2 - -2. Let q(n) = n**3 - 7*n**2 + 2*n - 14. Let z be q(7). Suppose 2*o = -p - 8, j - o - 11 = z. Does 3 divide j?
False
Let z(t) = -6*t - 1. Suppose -g = -4*d + 1, d + g - 9 = 3*g. Let s be z(d). Suppose 0 = j - s - 4. Is j a multiple of 6?
False
Suppose -384 = 6*d - 10*d. Is d a multiple of 12?
True
Is 22 a factor of 476/4 + -5 - 4?
True
Suppose 0 = 4*n - 4 - 8. Suppose 7 - 121 = -n*w. Is w a multiple of 10?
False
Suppose 3*n = -2*n - 20. Let q(i) be the second derivative of -i**3/6 + 3*i**2/2 - i. Is 3 a factor of q(n)?
False
Let v = -41 - -61. Is v a multiple of 5?
True
Let p be 2 - 3 - -2 - -4. Suppose -2*t + 42 = 7*r - 3*r, p = t. Does 3 divide r?
False
Suppose -1 = -r, a - 1 = -4*r + 2. Let h = a + -2. Let y(o) = -4*o - 2. Is y(h) a multiple of 5?
True
Suppose t + t - 10 = 0. Suppose 3*s - 62 = -4*z, -t*s + 0*s + 7 = z. Is 17 a factor of z?
True
Let q be (-136)/(-22) + (-14)/77. Let z(v) = v**2 - 7*v + 3. Let u be z(q). Let x(i) = -6*i - 3. Does 5 divide x(u)?
True
Does 4 divide (-39)/65 + 96/10?
False
Let l be 2/((21/(-6))/(-7)). Suppose h + 29 = -t + l*t, 4*t - 4*h = 52. Is 3 a factor of t?
False
Let t(u) = -5*u**2 - 11*u + 5. Let l(o) = 4*o**2 + 10*o - 4. Let x(d) = 6*l(d) + 5*t(d). Let s be 1*(2*2 + -1). Is x(s) a multiple of 3?
False
Suppose -5*u = -3*u + 166. Let r = -47 - u. Is r a multiple of 16?
False
Is -4 + -3*453/(-9) a multiple of 27?
False
Is 16 a factor of (16 - 1)/((-6)/(-32))?
True
Let u = 75 + -31. Is 22 a factor of u?
True
Suppose d - 6 = -68. Let o = -44 - d. Does 13 divide o?
False
Let l(h) = h**3 - h + 1. Let s(r) = -4*r**3 + 10*r**2 + 14*r - 5. Let p(g) = 5*l(g) + s(g). Let n be p(-9). Let y = 3 + n. Is y even?
False
Is 8 a factor of ((-192)/(-3))/(-1 - -2)?
True
Suppose 0 = 9*g - 87 - 48. Is 4 a factor of