
True
Suppose y = 1, -p + 2*p + y = 15. Suppose -p = -4*u + j, -4*j + 4 + 4 = 0. Is u a multiple of 3?
False
Does 21 divide (312/(-18))/(1/(-6))?
False
Suppose 7*j + 12 = 3*j, 0 = -w - 3*j + 54. Is w a multiple of 9?
True
Let f(i) = 2*i - 10. Let k be f(7). Suppose -k*m - 5*a + 13 = -9, -2*a = 5*m - 19. Does 7 divide ((-21)/(-4))/m*4?
True
Let n(p) = -p**2 - 6*p - 1. Let b be n(-6). Let l(r) = -106*r - 1. Let q be l(b). Suppose -6*m = -3*m - q. Does 14 divide m?
False
Let f = -15 + 52. Let m = f - 62. Let a = -15 - m. Is a a multiple of 10?
True
Suppose 1 + 18 = y + 5*k, -4*y = -5*k + 49. Let d be (-33)/(-9) - 2/y. Let u(j) = j**3 - j**2 - 5*j. Is u(d) a multiple of 14?
True
Is 21 a factor of 758/9 + (-16)/72?
True
Let j = -59 + 101. Is j a multiple of 14?
True
Suppose -216 = -3*t + 36. Is t a multiple of 12?
True
Suppose 5*x - 4 = 3*x. Suppose d - x*d + 4 = 0. Suppose -2*t + 132 = 5*k - 88, -3*k = -d*t - 158. Does 14 divide k?
False
Let c = -11 - -16. Suppose -c*o = -o - 16. Does 16 divide 123/o + (-9)/12?
False
Suppose -20*q + 985 = -15*q. Is 20 a factor of q?
False
Let h(z) = 2*z**2 - 2*z. Let s be h(2). Suppose 0 = 2*m + 4*c + 10, 3*m - 2 = s*c + 3. Is 11 a factor of m/3 - (-224)/6?
False
Suppose 5 = 3*k - 10. Suppose -k*u + 56 - 183 = -4*d, u + 185 = 5*d. Does 13 divide d?
False
Let m(a) = a + 15. Is m(-8) a multiple of 2?
False
Let g = 10 - -17. Does 27 divide g?
True
Let b(v) = -5*v**3 + 4*v**2 - 2*v - 2. Let r be b(2). Let g be (-114)/r - (-2)/10. Suppose -g*j + 52 = 2*y, -2*j = -4*y + 2*j + 116. Is y a multiple of 12?
False
Suppose -3*v + 2*g + 2*g = 8, -4*v - 3*g = 19. Let c(n) = -6*n + 5. Is 13 a factor of c(v)?
False
Let m be 9/(-6)*(-4 - -2). Suppose -40 = m*t + 17. Let o = t + 34. Is o a multiple of 15?
True
Suppose 7*g = 6*g + 2. Suppose 0 = -3*h + w + 73, -4*h + 0*w - g*w + 84 = 0. Is 6 a factor of h?
False
Suppose -1400 = -5*g - 100. Is 20 a factor of g?
True
Suppose 3*s = s + 6. Suppose -q + s = -2. Suppose -q*j = -2*j - 27. Does 7 divide j?
False
Is ((-1096)/(-5) - -5) + 2/(-10) a multiple of 41?
False
Let t(g) = g**2 + 5*g + 6. Let i be t(-4). Is (-9 - i)*(-2 + 1) a multiple of 3?
False
Suppose 318 = 5*j + 3*n, 4*n + 83 = 2*j - 65. Does 29 divide j?
False
Let h(x) = x**2 - 2*x + 6. Let p be 5*3/(-30)*-12. Does 10 divide h(p)?
True
Let l(z) = -z**2 + 6*z + 14. Is 7 a factor of l(7)?
True
Let u(f) = f**3 - 21*f**2 + 56*f + 13. Does 49 divide u(18)?
True
Let r(x) be the first derivative of x**2/2 + 9*x + 1. Let y be r(-6). Let p = 13 - y. Is 5 a factor of p?
True
Suppose -3*p - 2*x = -47, -5*x - 6 = -2*p - 0*x. Let k be (3/(-3) + 0)*p. Let h = 0 - k. Does 12 divide h?
False
Suppose -v - 5 = 4*k, -5*v - 3*k - 4 = -13. Suppose -4*u + v*u = -12. Is 12 a factor of u?
True
Let p(s) = 14*s + 9. Does 12 divide p(3)?
False
Suppose 0 = -x + 6 - 0. Suppose -g + x = -12. Is 17 a factor of g?
False
Let v be (-2)/1*(3 + 7). Suppose -3*p - 147 = -3*g, -p + 5*p = 3*g - 150. Let t = g + v. Does 13 divide t?
True
Let b = 82 - 35. Is b a multiple of 16?
False
Does 11 divide (-4)/(0 + 4) + 78?
True
Suppose 22 = -m + 58. Suppose 4*i - 2*i = m. Is 18 a factor of i?
True
Let c = -99 + 171. Is 12 a factor of c?
True
Let o(r) = -14*r - 8. Suppose 4*h = -3*d - 4, 0 = 3*d - d - 8. Is o(h) a multiple of 19?
False
Is (-18)/24 + (665/(-4))/(-7) a multiple of 10?
False
Let c(o) = o**2 - 2*o. Let d(y) = y - 1. Let n be d(7). Does 11 divide c(n)?
False
Let f(g) = 6*g**3 + g**2 + 5*g - 5. Let u(v) = 7*v**3 + 6*v - 6. Let p(x) = 6*f(x) - 5*u(x). Suppose 0 = w - 14 + 19. Is p(w) a multiple of 15?
False
Let d be 4*1/(12/(-81)). Let s = d - -72. Suppose 0 = 3*l - s. Is 5 a factor of l?
True
Suppose -w + 13 = -60. Let c be (-145)/(-45) + (-2)/9. Suppose c*f = w + 5. Is f a multiple of 13?
True
Suppose 2*f - 417 = 5*q, -578 = -3*f - 0*q - 2*q. Does 28 divide f?
True
Let k = 2 - 11. Let m be (-2)/(2 + 12/k). Let i(v) = -v + 1. Is 4 a factor of i(m)?
True
Let w(g) = 5*g**2 - 9*g + 10. Let r be w(7). Suppose -r = -4*u - 40. Is 19 a factor of u?
True
Suppose 3*b - 3 = -3*i, 3*i = 1 - 10. Suppose 275 = b*r + l, -10 = l + l. Does 26 divide r?
False
Is (-39)/156 - 2/((-8)/337) a multiple of 7?
True
Let x(y) = y**2 - 5. Let p = 5 - 12. Is x(p) a multiple of 11?
True
Let q(p) = -p**2 - 14*p + 22. Is 22 a factor of q(-14)?
True
Let t(w) = w**3 + w**2 + 5*w + 4. Does 5 divide t(3)?
True
Let y be (0 + 13)*(-4 + 3). Let s = 15 + 6. Let z = s + y. Is 3 a factor of z?
False
Let k = 0 + 6. Suppose 2*g - 5*g + k = 0. Suppose -l - g = 2, 3*i - 152 = 5*l. Is 19 a factor of i?
False
Suppose -5*o - 3*w - 7 = 0, o + 3*w + 1 = 2. Let q be ((-18)/(-15))/(o/(-120)). Let m = q - 42. Is 15 a factor of m?
True
Let q(h) = -2 - 6*h**2 + 12*h - 3*h**2 + 9*h**2 - h**2. Is 13 a factor of q(9)?
False
Let a = -57 + 83. Let x = 86 - a. Does 18 divide x?
False
Let t be (-1)/(2/4)*-10. Suppose f + 3*f = t. Let d = 9 - f. Is 2 a factor of d?
True
Suppose -2*x = -3*z + 3*x + 97, 2*x = -5*z + 141. Let n = 50 - z. Suppose -l = -5*a - n, 0 = -2*l + l - a + 21. Is l a multiple of 11?
False
Let q be (1/3)/((-5)/(-90)). Suppose 0 = -b + p + 19, 3*b + 67 = q*b - p. Suppose 0 = 3*s + 3, 0 = -3*u + s - 4*s + b. Is u a multiple of 9?
True
Let g be (-24)/(-3)*1/4. Let t(d) = 7*d - 1. Does 8 divide t(g)?
False
Let c be (0 - (-1 - 2))*-1. Let x be (6/(-9))/((-2)/66). Does 7 divide 1*x + (-4 - c)?
True
Suppose 3*d = d + 4. Does 14 divide (d - -27) + -1 + 0?
True
Let y = 16 + -34. Let d = y - -72. Is d a multiple of 11?
False
Suppose 264 = -4*v - 2*j - 2*j, -j + 138 = -2*v. Let t = v + 102. Is 17 a factor of t?
True
Suppose -5*i + 5*a + 10 = 0, -1 = -3*i - 2*i + 2*a. Let l be 12/4 + (-1)/i. Suppose l*v = -v + 75. Is 15 a factor of v?
True
Suppose -3*l - l + 3*r + 116 = 0, l - 3*r - 38 = 0. Suppose -2*t - 2*s + l = -0*s, -s + 23 = 2*t. Is 10 a factor of t?
True
Let o(t) be the second derivative of t**5/20 - t**4/12 - t**3/6 + 154*t**2 - 2*t. Let z be o(0). Does 24 divide 2/3 + z/6?
False
Let r(f) = -2*f**2 + 7*f - 1. Let o(p) = -2*p**2 + 8*p - 1. Let h(l) = 2*o(l) - 3*r(l). Is 13 a factor of h(5)?
True
Is 2 + 25 - (3 - 0) a multiple of 12?
True
Let m be (3 + 0)/(6/(-328)). Let f = -425 - m. Does 9 divide f/(-15) - (-6)/10?
True
Let s(q) = q**3 - q**2. Let p be s(0). Suppose p*v + 69 = 3*v. Is v a multiple of 18?
False
Suppose 0 = -5*z + z + 468. Does 13 divide z?
True
Let f = -46 + 86. Let b = 92 + -29. Let m = b - f. Does 15 divide m?
False
Suppose -6*c + 5*c + 142 = 0. Is c a multiple of 38?
False
Let j(t) = -t + 2. Let c be j(7). Let v = 3 + c. Is (-80)/(-14) - v/7 a multiple of 3?
True
Does 19 divide 1240/25 + (18/15)/3?
False
Let w = 410 + -246. Suppose 8 = -4*n + w. Is n a multiple of 13?
True
Let r be 92/24 + 2/12. Suppose -u + 2 = -0, -r*u - 112 = -5*a. Is a a multiple of 8?
True
Let z(w) = -w**2 - 8*w - 4. Let r be z(-7). Suppose -r*k = -6*k + 2*p + 152, -p = -k + 50. Is k a multiple of 13?
True
Let r(w) = w**2 + 3*w - 10. Is r(-12) a multiple of 20?
False
Let t(g) = g**3 + 3*g**2 + 4. Let j = 2 - 5. Let d be t(j). Suppose n + z + 3*z = 30, -d*z - 12 = -2*n. Is 6 a factor of n?
False
Suppose 18 = -8*t + 7*t. Let j = 29 + t. Does 11 divide j?
True
Suppose -3*n + 110 = -2*u, n + 4*u - 31 = -u. Is n a multiple of 12?
True
Does 12 divide 0 + (3 - 3*-7)?
True
Suppose -5 = c - 47. Is c a multiple of 21?
True
Let m(a) = a**2 - 4*a. Let c be (24/2)/(4/4). Does 24 divide m(c)?
True
Suppose -2*z - z - 5 = 2*i, -18 = -3*i + 4*z. Is 9 a factor of 99*i*(-3)/(-18)?
False
Let j = -39 - -90. Is j a multiple of 17?
True
Suppose -n - 31 - 28 = 0. Let x = -38 - n. Does 8 divide x?
False
Let n be (-16)/(-6)*(-36)/(-24). Let l = n + 16. Is l a multiple of 4?
True
Suppose -4*u + 40 = -3*u. Is u a multiple of 25?
False
Let k(b) = -2*b**2 + 45 + 3*b**2 - 17. Is k(0) a multiple of 7?
True
Suppose -m - 9 = -4*m. Suppose 5*o = 0, 2*r = -m*r - 5*o + 40. Is r a multiple of 8?
True
Does 2 divide ((-4)/(-4))/((-3)/(-21))?
False
Suppose 2 = -6*y + 5*y. Let p = y + 12. Is 10 a factor of p?
True
Suppose -4*n - 5*d + 20 = 0, -5*d = 2*n + 15 - 35. Let r be (-12)/(-9)*(n - -3). Suppose o + r*o + 37 = 3*m, m - o = 13. Is 14 a factor of m?
True
Suppose 0 = -5*z - 4*a + 2*a + 269, -2*a = -4*z + 226. Is 12 a factor of z?
False
Let w(c) = c**3 - 4