2*(-3)/(-6)?
True
Suppose -295 = -8*q + 105. Does 10 divide q?
True
Let c(q) = -q**2 + 23*q - 21. Is c(15) a multiple of 20?
False
Suppose -5*v = -5*m + 235, -2*m = 2*m - v - 179. Is m a multiple of 13?
False
Is 8 a factor of 54 + 18/3 + 0?
False
Let y(h) = h**3 - 7*h**2 - 5*h. Let t = -1 - -9. Is 9 a factor of y(t)?
False
Let s(r) = 53*r**2 - 5*r + 5. Does 14 divide s(2)?
False
Suppose 5*y + 2*u - 15 = 0, 5*y - 3*u + 20 = 2*u. Let n be 2/2 - (y - 3). Let i = 19 - n. Is i a multiple of 8?
True
Let x(z) = 8*z + 3. Let s be x(-3). Let b = 0 - s. Is 5 a factor of b?
False
Suppose 737 = 4*s - 5*g + 153, 2*g + 713 = 5*s. Suppose 0 = -d - 2*d + s. Suppose b - 14 = -2*j + d, -j + 56 = b. Is b a multiple of 17?
True
Let m be 2/(-5)*(-1 - 9). Suppose -m*h = -3*h - 9. Is 9 a factor of h?
True
Suppose 0 = -x + 4 - 1. Let s be -3 + 1 + (72 - 2). Suppose h - 38 = -2*l - 0, -x*l + s = -4*h. Is 7 a factor of l?
False
Let h = -102 + 170. Suppose -2*q - h = -6*q. Is q a multiple of 13?
False
Suppose -7*i + 3*i + 12 = 0. Suppose -i*h = -5*t - 80, 6*t - t + 50 = 2*h. Is 6 a factor of h?
True
Suppose 3*q - 3*b = 21, 7 = -5*q - 5*b - 8. Let r be q - 0 - (0 - -4). Does 20 divide 3 - -38 - r/(-2)?
True
Let w(u) be the third derivative of u**5/15 - u**3/6 + u**2. Let t be w(-1). Suppose -t*p + 106 = -0*n + 4*n, 71 = 2*p + 3*n. Is 15 a factor of p?
False
Let a = 229 + -368. Let i = a + 76. Let c = -36 - i. Does 10 divide c?
False
Let h(f) = 2*f**3 - f**2 - f + 75. Is 16 a factor of h(0)?
False
Suppose -5*q + t - 2*t + 661 = 0, q - 135 = -3*t. Does 11 divide q?
True
Let s(w) = w**2 - 3. Let g be s(3). Is 10 a factor of (-31)/(-1) + (-6)/g?
True
Suppose 15 = -0*a - 5*a. Let l = 2 - a. Is 3 a factor of l?
False
Let d(b) = 5*b - 3. Let p be d(3). Let n(z) = -z - 7. Let g be n(-7). Suppose -5*i + 40 = -g*i + r, -3*r + p = 3*i. Is 9 a factor of i?
True
Let y = 34 - 20. Is y a multiple of 14?
True
Suppose -3*n = -2*n - 15. Is 5 a factor of n?
True
Let o(k) = -k**3 + 2*k**2 - 2*k + 1. Let d be o(1). Suppose d*m - m = -50. Does 15 divide m?
False
Suppose -2*z = -3*z + 10. Is 6 a factor of (-2 + 6)/2 + z?
True
Suppose -2*x + 5 = 3*x. Let t be ((15 + x)/2)/1. Is 6 a factor of (-66)/(-4) - (-4)/t?
False
Let i = 3 + 25. Let f = i + -11. Is 17 a factor of f?
True
Let z = 3 + -17. Let g = z + 137. Let o = g - 87. Is o a multiple of 18?
True
Let s = -76 + 51. Let c = -4 - s. Is 8 a factor of c?
False
Suppose 3*i - 23 = 61. Suppose 2*f - k - i = f, -2*f - 4*k = -86. Is 16 a factor of f?
False
Let g be ((-20)/4)/(2/4). Let x be g/4*(-6)/5. Suppose -x*f = -6*f + 90. Does 11 divide f?
False
Suppose u - 31 = 4*r, 3*u - 53 = 2*r - 0*r. Suppose -33 = -4*g + u. Is 12 a factor of g?
True
Does 4 divide ((-4)/5)/((-9)/180)?
True
Suppose -215 = 2*m + 3*m. Let o = -12 - m. Is o a multiple of 12?
False
Suppose 3*v = -v + 20. Suppose 3*q = 5*q. Suppose q = 4*o - 3*t - 154, 135 + 23 = 4*o - v*t. Is 14 a factor of o?
False
Let s(x) = x**2 - 8*x - 7. Does 29 divide s(-5)?
True
Let h(p) = -p**3 + 7*p**2 - 6*p. Let r(s) = -s - 1. Let q(u) = h(u) - 2*r(u). Let v(d) = 3*d - 3. Let n be v(3). Is 14 a factor of q(n)?
True
Let t = 0 - -2. Suppose -t = y, y + 43 = 2*u - 31. Suppose u = 2*q - 14. Is 13 a factor of q?
False
Suppose -158 = -5*j + 2. Does 14 divide j?
False
Let v be ((-486)/21)/((-1)/7). Suppose 4*q - q = v. Is 14 a factor of q?
False
Let j be -4 + (-1)/(2/8). Let i(f) = -f**3 - 9*f**2 - 10*f + 6. Does 11 divide i(j)?
True
Let y(v) = 14*v - 1. Is 29 a factor of y(4)?
False
Suppose 84 = 6*i - 4*i. Does 17 divide i?
False
Let g = -5 + 7. Let t = g + -7. Let d(i) = -5*i + 6. Does 13 divide d(t)?
False
Suppose 0 = 3*k + 2*k - 5*t - 30, 5*k = t + 34. Let d = 15 - 6. Suppose 4*u - k = d. Is u a multiple of 3?
False
Is 13 a factor of (-4)/(-14) + (-1250)/(-35)?
False
Suppose -3*j = 2*j - 4*h - 32, -2*j = 2*h - 20. Suppose 4*b - j - 5 = 5*q, -5*q + 3 = 4*b. Is 12 a factor of -1 - (q - -5)*-4?
False
Suppose -5*q = -10*q. Let t be 5/(10/72) - 0. Suppose 0 = m - q*c - c - 10, t = 3*m - 5*c. Does 7 divide m?
True
Suppose 17 = 4*b - 523. Does 27 divide b?
True
Let o(v) = 2*v**3 + v**2 + 2*v + 1. Let m be o(-1). Let f be m*3/6*-11. Is f + -1 + (-2 - -4) a multiple of 12?
True
Suppose -4*y = -2*y - 26. Is y a multiple of 5?
False
Let y = 3 - -1. Suppose -3*w = -y*x + 62, -4*x - 13 = -4*w - 77. Is x a multiple of 4?
False
Let k = 67 + -44. Let c = -17 + k. Is c a multiple of 6?
True
Let q be 1*(-3 - 6) + 3. Is (q/(-9))/((-1)/(-9)) a multiple of 6?
True
Suppose 5*q + g = 6, 0*q + 4*q = -2*g. Suppose 56 = q*z + 2*z. Is 7 a factor of z?
True
Let r = 0 + 2. Suppose -2*m - r*m = -48. Is m a multiple of 12?
True
Suppose -3*y + 235 + 137 = -2*c, -120 = -y + 2*c. Is 18 a factor of y?
True
Suppose -2*w + 27 - 9 = -3*t, -31 = 2*t + 5*w. Let c(p) = p**3 + 9*p**2 + 6*p - 5. Is c(t) a multiple of 11?
True
Suppose 15 = 3*k + m, m = -k + 4*k - 9. Suppose 0 = k*n + 5*p - 22 - 23, -n = 2*p - 9. Does 6 divide n?
False
Suppose -3*s = -2*s - 51. Is 7 a factor of s?
False
Suppose -6*o + 3*o + 231 = 0. Suppose -h - 34 = -3*h - 4*j, 4*h + 5*j - o = 0. Is h a multiple of 11?
False
Let i(l) = l**3 + 3*l**2 + 2*l - 4. Let r be i(-3). Let f(t) = 2*t + 5. Let g be f(-5). Let k = g - r. Is 3 a factor of k?
False
Suppose 12*z = 158 + 2446. Is 10 a factor of z?
False
Suppose 0*j - 3*g + 9 = 3*j, -9 = -4*j - 3*g. Suppose -4*w - 4*t = 36, j*w - 2*t + 17 = -5*w. Let a = w - -11. Is a a multiple of 4?
False
Let w = 9 - 4. Suppose -w*g + 2*g + 36 = 0. Is g a multiple of 4?
True
Suppose -3*k = -k + 2*j, -3*j - 24 = -3*k. Let v = 0 - 0. Suppose v = -l + k*l - 51. Is l a multiple of 11?
False
Suppose 2*k = 3*o + 3*k - 19, -o - 4*k + 21 = 0. Suppose -o*c + 8 = h, -3*c + 4*h + h = -16. Is 62*(-2 + 5/c) a multiple of 12?
False
Suppose 0 = -5*n - 3*m + 341 + 87, 0 = 5*m + 20. Suppose -2*j + 2*b = -j - 47, b = 2*j - n. Is j a multiple of 15?
False
Suppose -g + 5*j + 4 = -2, 2*j = 2*g - 12. Is g a multiple of 3?
True
Suppose 8*m = 4*m + 300. Does 18 divide m?
False
Let s(q) be the third derivative of q**4/4 + 4*q**3/3 - 3*q**2. Is s(7) a multiple of 24?
False
Let q be (-2 - -113) + 2 + -2. Suppose q = 5*t - 79. Suppose o + 26 + t = 2*f, 4*f = 3*o + 128. Is 13 a factor of f?
False
Let r(i) = -4 + 32*i + 3 - 13*i. Let o(k) = k + 9. Let g be o(-8). Is 9 a factor of r(g)?
True
Let u = -10 - -15. Suppose 30 = 5*w - 3*v, -2*v + 15 = -u*v. Does 3 divide w?
True
Suppose -z + 5*z = 0. Suppose z = -y + 3*k - 5, 2*k = -3*y + k - 25. Is (-12)/y*(1 - -9) a multiple of 15?
True
Let r(x) = -x**3 + 2*x**2 + 3*x + 2. Let z be r(3). Does 21 divide (-2*z - -3) + 22?
True
Suppose 0 = 3*f - 6*f - 87. Let r = f - -41. Is 7 a factor of r?
False
Suppose -3*v + 3 = -0*v. Suppose -r - v = -25. Is r a multiple of 8?
True
Let w be 28 + (0 - 1)*1. Does 3 divide (w/(-12))/(6/(-16))?
True
Let f = 53 - 4. Suppose 4*p + 2*j - 45 = 3*p, j = 3*p - 100. Let q = f - p. Does 7 divide q?
True
Suppose 3*y + 0*y - 2*k = -13, 2 = k. Does 4 divide -1 - y - -10 - -2?
False
Let z = -90 - -63. Let g = -15 - z. Does 4 divide g?
True
Let l = 5 + -5. Suppose -2*s = g - 3 - l, -3*s + g = -7. Suppose -4 = q + 5*y + 11, 2*q = -3*y - s. Is 2 a factor of q?
False
Suppose 0 = -s - d + 746, -2*d + 4*d = 8. Suppose 5*t + 222 = s. Suppose -3*g + t = g. Is g a multiple of 13?
True
Let t = -201 - -228. Is t a multiple of 7?
False
Let i(z) = -z**3 + 12*z**2 - 6*z + 4. Is i(5) a multiple of 21?
False
Suppose -n + 3 + 0 = 0. Suppose -2*g + 46 = 2*m + 8, 0 = -n*g - 4*m + 57. Does 19 divide g?
True
Let x(g) = g**2 + 3*g + 3. Suppose 5*c - 2*c = 4*l + 54, 0 = 4*l. Suppose -3*h - w + 5*w + 29 = 0, h - 3*w - c = 0. Is 6 a factor of x(h)?
False
Let c = -171 - -276. Is c a multiple of 35?
True
Is 46 a factor of (-1358)/(-17) - 2/(-17)?
False
Suppose -2*k + 180 = -194. Does 17 divide k?
True
Suppose 0*l - 3*l = 2*y - 39, 4*l = 5*y - 40. Let r = y + -8. Let d = 0 + r. Is 4 a factor of d?
True
Let x = -11 - -16. Suppose x*r = -0*r. Let i = 4 - r. Does 4 divide i?
True
Let c = 7 + -2. Let b(g) = -g**3 + 8*g**2 - 2*g - 4. Let m be b(c). Suppose 3*s = s + p + 31, -4*s + p + m = 0. Does 8 divide s?
False
Let x(w) = 2*w**2 + 3*w**2 + 0*w**2 + w**3. Let g be x(-5). Suppose -3*l = -2*n - 31, 2*l + g*l - 29 = 3*n. Is l a multiple 