
Suppose 0*g + 90 = 5*g. Suppose 0 = 4*c - g - 10. Is c a multiple of 3?
False
Let j = 24 - 21. Is (-1)/(j/6) - -58 a multiple of 14?
True
Suppose 0 = 2*t - 8 - 8. Let f = 15 - t. Is 7 a factor of f?
True
Let k(l) = -2*l - 12. Let h be k(-8). Suppose -4*c + 0 + 9 = -3*t, 0 = 2*c - h*t - 12. Suppose -48 = -3*a - c*a. Does 10 divide a?
False
Is (-9)/((-27)/12) - -102 a multiple of 22?
False
Let g(q) = -2*q**3 - 2*q**2 - 2*q + 3. Let n be g(-3). Suppose 10*i - 7*i = n. Is 5 a factor of i?
True
Suppose 5*d - 868 = 62. Suppose -5*s - 3*j + 607 = 0, 5*s - d = 3*j + 427. Is s a multiple of 35?
False
Let b(v) = -v**2 - 10*v - 5. Let m be b(-8). Let x = m + -2. Is 4 a factor of x?
False
Let p(k) be the third derivative of -k**6/120 + k**5/30 + k**4/24 + 3*k**2. Let d be p(2). Suppose 0 = 3*o - 2*m - 41, -d*m - m = -15. Does 10 divide o?
False
Let r = 171 - 51. Does 31 divide r?
False
Suppose -20 - 59 = n. Let l = n + 125. Does 13 divide l?
False
Is 3*52/3*(-10)/(-8) a multiple of 13?
True
Let u(o) be the third derivative of o**6/120 + o**5/15 + o**4/8 + o**3 + 4*o**2. Let p be u(-4). Does 4 divide (-64)/(-10) + p/15?
False
Is 41 a factor of (82/1)/(4 + -2)?
True
Suppose 4*y - 5*v - 121 = 0, 4*y - 9*v = -5*v + 116. Is y a multiple of 8?
True
Let y = -278 - -428. Does 30 divide y?
True
Let z(w) = -w**2 - 13*w - 7. Let r be z(-10). Suppose -4*x = o + r, 2*o - 32 = -x + 6*x. Does 8 divide (-23 - 1)/(x/4)?
True
Let h = 9 - 40. Let z = h - -46. Does 10 divide z?
False
Suppose 4*r = 339 - 75. Is r a multiple of 22?
True
Let p = 34 - 20. Let u = p - 9. Does 5 divide u?
True
Let g = -44 + 87. Does 17 divide g?
False
Suppose -272 = -4*n + 4*j, -4*n = -n - 4*j - 206. Does 9 divide n?
False
Let m(c) = c**2 + 5*c - 3. Let g be m(3). Suppose b - 8 - 5 = 0. Let x = g - b. Does 8 divide x?
True
Suppose 0 = -p + 2 - 1. Suppose 3*j = 5*z - p, -7 = -0*j + j - 3*z. Does 4 divide (-4 + j)*(0 + 1)?
True
Let c be (-13 + 5 + -3)*-15. Suppose 3*t + 3*a - 4*a = c, 258 = 5*t + 4*a. Does 14 divide t?
False
Let v be 7/(63/6)*-15. Is 2 a factor of v/6*(2 - 5)?
False
Suppose -17 + 35 = 2*s. Is 3 a factor of s?
True
Suppose -30*n = -27*n - 150. Is n a multiple of 10?
True
Let z(c) = c**2 + 9*c + 9. Let a be z(-7). Let o = -40 - -50. Let m = a + o. Is m a multiple of 3?
False
Let p(y) = 2*y**2 + 2*y - 8. Is p(4) a multiple of 16?
True
Let t(p) = -p**3 + p**2 - p + 30. Let d be t(0). Is 4 + (d - (-1 - 1)) a multiple of 9?
True
Suppose -5*u + 15 = -10*u. Does 7 divide (u + (-7)/(-2))*20?
False
Let w be (3 + (-3 - 5))*2. Let h(n) = -n**3 - 11*n**2 - 10*n + 4. Let f be h(w). Is 1*(16 + f + -1) a multiple of 7?
False
Suppose -321 = -3*f - 105. Does 18 divide f?
True
Let r = 100 + -64. Is 9 a factor of r?
True
Let d(l) = -6*l + 7*l**3 + 2*l**3 - 8*l**3 + 6*l**2. Let y be d(-6). Suppose 5*a + 7*t - 4*t - 111 = 0, a - y = 4*t. Does 12 divide a?
True
Let v(l) = -l + 8. Let p be v(0). Let f = -11 + p. Is (80/(-12))/(1/f) a multiple of 12?
False
Let d(j) = -j**2 + 5*j + 4. Let u be d(5). Suppose 4*z + 3*n + u = -n, -14 = -4*z + 5*n. Is 8 a factor of -2 + z - -17 - 0?
True
Suppose -259 + 42 = -4*t + 3*b, 0 = 5*t + 3*b - 305. Does 15 divide t?
False
Let i(q) = -q**2 + 20*q + 27. Is 4 a factor of i(20)?
False
Suppose 13 + 2 = 3*y. Suppose y*q - 6*q + 51 = 0. Is 8 a factor of q?
False
Suppose -3*v + 25 = 7. Suppose 0 = -2*x + v*x. Is (0 - x) + (6 - 1) a multiple of 3?
False
Let k(q) = -q + 12. Is k(-7) a multiple of 8?
False
Let b(u) = -100*u. Let y be b(-2). Suppose -5*t - 25 - y = 0. Is 2/(t/24 - -2) a multiple of 8?
True
Suppose -5*b = 5*b - 810. Is b a multiple of 30?
False
Suppose 100 = 3*b + 457. Let m = -47 - b. Is 11 a factor of m?
False
Suppose 2*o + 336 = 5*o - 4*b, 4*o = -5*b + 448. Is o a multiple of 22?
False
Does 19 divide 12 + -13 - (-56 - 2)?
True
Let o = -4 + 9. Suppose 20 - 70 = -o*q. Is 6 a factor of 2*6/10*q?
True
Let o = -1 - 1. Let m = -18 + 13. Let x = o - m. Is 3 a factor of x?
True
Suppose 3*s + 0 = 18. Suppose 0 = 2*l - 4 - 0. Let o = l + s. Does 6 divide o?
False
Let g(i) be the first derivative of -16*i**2 - 4*i - 3. Let h be g(4). Let s = h - -197. Is s a multiple of 23?
False
Let m(i) = -i**2 + 8*i - 7. Let c be m(7). Let q be (0 - c)*(-5)/(-10). Suppose -4*a + 2*p + 28 = q, 3*a + a - 48 = -3*p. Is 4 a factor of a?
False
Let h(a) = -3*a + 1. Let s(y) = 4*y - 1. Let t(j) = -3*h(j) - 2*s(j). Let k be t(8). Suppose -k = -d + 9. Does 10 divide d?
False
Let n(f) = 2*f**2 - f + 1. Let i be n(-7). Let p = i + -55. Let t = p + -20. Is 16 a factor of t?
False
Let r(s) = -4*s**2 - 16*s. Let v(j) = -5*j**2 - 17*j. Let b(z) = 6*r(z) - 5*v(z). Does 14 divide b(14)?
True
Let d(t) be the third derivative of t**5/30 - t**4/3 + t**3/2 + 3*t**2. Suppose -a - 10 = -3*a. Is d(a) a multiple of 4?
False
Let l(h) = 2*h - 10. Does 4 divide l(9)?
True
Let c be 42/(-4)*92/(-6). Is c/3 - (-3)/9 a multiple of 18?
True
Suppose -5*b = 4*d + 51, 0 = -b + 4*d + 9. Let p(v) = -v**3 + 9*v - 1. Let q be p(b). Suppose 4*w - 4 = 0, -2*w + q = 5*o + 12. Is o a multiple of 18?
False
Suppose 0 = -3*m + 9 + 87. Let x = m - 13. Is x a multiple of 16?
False
Let j be (-5)/(-2)*12/(-6). Let h = 17 + j. Does 7 divide h?
False
Let y(d) = -d**3 + 7*d**2 - 3*d - 6. Let t(s) = -s**3 - 8*s**2 - 3. Let n be t(-8). Let l be 9 + -2 - (-3)/n. Is y(l) a multiple of 11?
False
Suppose -2*v + v + 4*k + 30 = 0, v + k - 30 = 0. Suppose -3*p + 6*p - v = 0. Is 5 a factor of p?
True
Suppose -5*g = -4*g - 48. Is 12 a factor of g?
True
Suppose 0 = -6*n + 2785 - 985. Is n a multiple of 60?
True
Suppose 4*u + 64 = -3*j, 0*j + 4*u + 104 = -5*j. Let i = j + 32. Is i a multiple of 12?
True
Suppose 14 + 118 = 4*s - 4*o, s - 4*o = 39. Is s a multiple of 12?
False
Let g = -114 + 133. Is g a multiple of 5?
False
Let j(c) = 5*c**2 - 9*c - 8. Let m(y) = -y**2 + 1. Let q(z) = j(z) + 3*m(z). Is q(8) a multiple of 14?
False
Let d be 4/10 - (-388)/(-20). Let w = d + 29. Does 5 divide w?
True
Let k(f) = 5*f. Let g be k(2). Let h be 6/(-9) + 77/3. Suppose a - g - h = 0. Does 13 divide a?
False
Let c = 6 - 10. Let f(q) = 2*q**2 - 3*q - 6. Does 19 divide f(c)?
True
Let w = -232 - -418. Is w a multiple of 13?
False
Suppose 0 = -5*s + 20 + 520. Is s a multiple of 18?
True
Suppose 3*g - 8 = 2*g. Is g a multiple of 4?
True
Let w(z) = 4*z**3 - 6*z**2 + 7*z - 1. Does 7 divide w(2)?
True
Suppose 5*d - 2*v = 19, -34 = -5*d + 2*v - 5*v. Suppose 0 = -5*l + d, 3*c + 0*l = -l + 46. Suppose 5*q - c - 50 = 0. Does 13 divide q?
True
Suppose -q + 26 = 5*c, 4 = 3*q + 1. Suppose -2 - 18 = -c*r. Suppose -j - 3*j = -r*f + 60, -f - 2*j = -27. Does 8 divide f?
False
Suppose -3*x + 103 = -z, -4*x - z - 4*z = -169. Is x a multiple of 18?
True
Suppose -50 - 40 = -3*j. Suppose 120 = u + u. Suppose u = 5*v - 5*g, -4*v - 7*g + 2*g = -j. Is v a multiple of 4?
False
Suppose -x + 1 = -b - 0, -32 = -4*b - 5*x. Suppose 0*n + 135 = b*n. Is n a multiple of 10?
False
Does 16 divide 1818/63 + (-2)/(-14)?
False
Let h = -19 + 19. Does 10 divide (-3 - h/(-4)) + 73?
True
Suppose 2*f - 16 = -5*u + 7, 3*f - 5*u = -3. Suppose p - 14 - 19 = -f*w, -3*w = -3*p + 54. Is p a multiple of 7?
True
Is 9 a factor of ((-42)/(-30))/7 - (-304)/5?
False
Let i(r) = r**2. Suppose 0*j + 12 = -3*j. Let w be i(j). Is (-1 + -23)*(-8)/w a multiple of 6?
True
Let a(g) = g**3 + 7*g**2 + 7*g + 7. Let s be a(-5). Let u = 46 - s. Suppose 6*w = 3*w + u. Does 5 divide w?
False
Let l = -176 - -248. Is l a multiple of 36?
True
Let m be (-4 - (0 + -2)) + 0. Let c be 1 - (m - 0) - 3. Suppose 3*p = -4*r - 7 + 68, c = -5*p + 2*r + 67. Does 4 divide p?
False
Let q be 326/8 + 9/36. Let j = q + -11. Is 15 a factor of j?
True
Suppose 4*n - 107 = 169. Is n a multiple of 23?
True
Let k(b) = b - 6. Let q be k(5). Let a = q - -9. Is a a multiple of 4?
True
Let g = 45 - -10. Is 13 a factor of g?
False
Is 20/50 + (-348)/(-5) a multiple of 15?
False
Let q(n) = -n**2. Suppose 9*i - 4*i = 0. Let s be q(i). Is (s - -12) + -5 + 3 a multiple of 4?
False
Let n = -45 + 30. Let q = n + 50. Is 17 a factor of q?
False
Let l be ((-23)/(-3))/(6/(-18)). Let u(s) = -s + 41. Let p be u(0). Let a = l + p. Does 18 divide a?
True
Suppose 11 = 2*i - 3*a + 6*a, -5*i + 2*a - 20 = 0. Let d(m) = -5*m - 3. Is 4 a factor of d(i)?
False
Suppose 0 = 2*a - 4 - 0.