 - 9*c(t). Does 11 divide u(-9)?
False
Let s(t) = -2*t + 6*t - 2*t - t + 4. Is s(14) a multiple of 5?
False
Let u be ((0 - 0) + -2)*(5 + 0). Let j(b) = -b**3 - 3*b**2 - b - 1. Let w be j(-5). Is (u/6)/((-3)/w) a multiple of 15?
True
Suppose -p + 3*p - 14 = 0. Does 7 divide p?
True
Suppose 3*f - z - 298 = -6*z, -5*z = -10. Is ((-2)/(-4))/(1/f) a multiple of 17?
False
Suppose 5*i = i - 24. Is 2*((-27)/i - 1) a multiple of 4?
False
Suppose 6*v = v. Suppose v + 18 = 3*g. Does 3 divide g?
True
Suppose y - 2 = -3*c - 11, 34 = -5*y - 4*c. Let g(b) = 14*b + 5. Let r(p) = 13*p + 5. Let i(d) = y*g(d) + 7*r(d). Is i(5) a multiple of 25?
False
Suppose 0 = -5*z - 3 + 28. Suppose u = -z*h, -4*u - 3*h + 32 = h. Is 10 a factor of u?
True
Let f(p) = -3*p**2 + 0*p + 0*p - 1. Let o be f(1). Is 424/36 - o/18 a multiple of 12?
True
Let z = -42 + 68. Suppose 2*a = u + 8, -4*a + 0 = 3*u - z. Is u even?
True
Let h(i) = i**2 + 2*i - 4. Suppose -3*n - 2*l - 3*l = 3, -24 = 2*n - 4*l. Does 20 divide h(n)?
True
Let j(i) = i + 14. Is j(0) a multiple of 14?
True
Suppose -3*s + 42 + 58 = -5*g, 0 = 4*g + 20. Is s a multiple of 25?
True
Is 6*(6/(-4))/((-9)/32) a multiple of 6?
False
Suppose 20 = 2*z + 3*z, 86 = 3*q - z. Is q a multiple of 15?
True
Let d(g) = g**2 - g. Is d(4) a multiple of 2?
True
Is (70/(-20))/(1/(-6)) a multiple of 7?
True
Let b(u) = -4*u**3 + 3*u**2 + 5*u + 4. Is b(-4) a multiple of 24?
True
Does 12 divide (5 - -11)/(-4)*29/(-4)?
False
Let r = 199 - 31. Is r a multiple of 28?
True
Suppose -6*i = -12*i + 228. Does 5 divide i?
False
Is 13 a factor of -1 - (-2258)/6 - (-15)/(-45)?
False
Suppose -2*w = w, 0 = -5*q - w + 10. Suppose -q*z - 3*z = 290. Let t = -40 - z. Is t a multiple of 8?
False
Let b(d) = -15*d - 6. Let a(m) = -22*m - 9. Let y(z) = 5*a(z) - 8*b(z). Does 20 divide y(4)?
False
Let p be (0 - 3)/(-1 - 2). Let d be -2 + (0 - -3) + p. Does 16 divide d + (31 - 1) + 0?
True
Does 17 divide 15 - (2 - -1 - 5)?
True
Is (-2)/8 + (724/16 - -4) a multiple of 33?
False
Suppose 2*w = 3*u - 10, 6*w - w - 9 = -u. Suppose -u*b = 5*k - 0*b - 60, 60 = 5*k - b. Is 6 a factor of k?
True
Let v(g) = -g**3 + 14*g**2 + 8*g + 19. Is 15 a factor of v(14)?
False
Suppose 0*t = -5*t. Suppose 2*h + 72 = 2*l, -4*l + 142 = -t*h - 2*h. Is l a multiple of 12?
False
Let i(o) = o**3 + 11*o**2. Let r be i(-9). Suppose 5*b - 8*b = -r. Is b a multiple of 22?
False
Let t(x) = x**2 - 6*x - 10. Let z be t(7). Is 10 a factor of (z - (-7 + 3))*10?
True
Let i = 2 + 121. Is i a multiple of 26?
False
Let j be 1/((2/6)/1). Let d be j + -1 - -16*1. Is 4/d + 204/54 a multiple of 4?
True
Let d = -41 - -13. Is (0 - 7)*72/d a multiple of 6?
True
Suppose 3*d - 4 - 2 = 0. Suppose 4*s - 110 - d = 0. Is s a multiple of 24?
False
Let b(o) = -o**2 - o + 13. Let x be b(-11). Let f = -67 - x. Is f a multiple of 16?
False
Is ((-4)/5)/(-2)*90 a multiple of 12?
True
Let y = -34 - -76. Is y a multiple of 6?
True
Suppose 0 = -5*l + 2*l - 9. Is 15 a factor of 47 + (-1)/(l/(-6))?
True
Suppose 0 = -4*b + b + 3. Let j be ((-15)/(-6))/(b/2). Suppose j*o - o = 120. Is 15 a factor of o?
True
Suppose 0*z - z + 3*a - 10 = 0, 5*z = 4*a - 6. Suppose -52 = -2*w - 10. Suppose z*r - 57 + w = 0. Is 9 a factor of r?
True
Let n(l) = -l**2 - 6*l + 7. Is n(-4) a multiple of 15?
True
Suppose -2*d = -5*d + 12. Suppose 2*q - 4*f = -q + 160, -d*q = 2*f - 184. Is 16 a factor of q?
True
Let g = -87 - -342. Is 24 a factor of g?
False
Let q = 1 + -1. Let k(d) = d - 2. Let x be k(q). Is 14 a factor of x/(-2) - -13*2?
False
Suppose 0 = -3*d + 3*n + 75, 4*d + 5*n - 20 - 35 = 0. Suppose -5*i + 4*i = -d. Let r = 41 - i. Does 7 divide r?
True
Suppose 15*m = 5*m + 920. Does 14 divide m?
False
Let g = 56 - 32. Does 24 divide g?
True
Suppose 8 = -0*f + 2*f. Let d(m) = -m**2 - m + 1. Let r be d(0). Does 16 divide 0/f + 15 + r?
True
Let i(t) = 3*t**2 - 3. Let z(w) = w - 1. Let y(m) = i(m) + 5*z(m). Let g be y(-7). Let l = g - 74. Does 15 divide l?
True
Let z(x) = 67*x**3 + 2*x - 1. Is 10 a factor of z(1)?
False
Let b(y) = y + 9. Is b(-4) even?
False
Suppose 9*m = -89 + 413. Does 9 divide m?
True
Suppose 2*w - 174 = -3*y, 6*w - 4*w + 4*y = 170. Is w a multiple of 28?
False
Let o = -120 - -174. Is o a multiple of 9?
True
Let n be 2/4 - 214/4. Let w = -38 - n. Suppose q = 3*o + w, 0 = -0*q - 3*q - 4*o + 58. Is 6 a factor of q?
True
Let u be 2/(2 + 48/(-26)). Suppose -4*v - 11 = u. Is (v/15)/((-1)/90) a multiple of 19?
False
Let i(q) = -1. Let a(z) = z - 8. Let s(y) = a(y) - 3*i(y). Let b be s(7). Suppose 16 = b*g - 0*g. Does 4 divide g?
True
Let y(c) = -c**2 - 5*c - 4. Suppose -3*h - 6 - 3 = 0. Let g be y(h). Suppose 2*j + 0*j - 20 = -g*t, 5*t = 3*j - 14. Is j a multiple of 4?
True
Let s(c) = 13*c**2 - 8*c + 4. Does 15 divide s(4)?
True
Suppose 2*v = 4*d + 10, 5*d - 4*v + 20 = v. Let h(u) = -5*u**2 + 1. Let w be h(d). Let r = w + 7. Is 3 a factor of r?
True
Let x be (-4)/(-22) + 5400/(-55). Let s be 0 + -3 + x/(-1). Suppose -7 = -3*h + i + 50, 0 = 5*h + 4*i - s. Is h a multiple of 19?
True
Suppose 3*x = 8*x. Suppose 20 = 2*o - 2*r, x = 5*r - r + 16. Is 2 a factor of o?
True
Suppose -2*a + 13 = 37. Let u = a + 34. Does 22 divide u?
True
Let a = 45 - -64. Is 15 a factor of a?
False
Suppose 5 = 4*q - 3*q. Suppose 185 = q*b + 2*h - 149, 0 = 5*b - 2*h - 326. Is 21 a factor of b?
False
Let u(o) = -o - 1. Let m be u(-3). Let a(l) = l**3 - 4*l**2 + 5*l - 2. Let x be a(3). Suppose 5*y - x*i + m*i - 61 = 0, y - 3*i = 7. Is y a multiple of 13?
True
Let z(u) = -u**3 + u**2 - u - 1. Let y be z(-1). Suppose -4*i + 0*a + 164 = -y*a, -4*i - a + 170 = 0. Does 12 divide i?
False
Suppose 4*j = -20, 2*y + j + 0 = 5. Let z(o) = o + 12 - y + 4. Does 5 divide z(-5)?
False
Let p(y) = y**2 - 4*y - 9. Let v be ((-1)/1)/(-1)*0. Suppose o + 0*o - 8 = v. Is 10 a factor of p(o)?
False
Let a = 23 + -14. Suppose 5*t = -5*y + 55, -y = -4*t - 5 + 24. Let u = a - t. Is 3 a factor of u?
True
Let f be 0*(-2 - 15/(-6)). Let z = 4 - f. Is 2 a factor of z?
True
Let a = 4 + 0. Suppose m + 2*m = -3*d + 33, d - a*m + 9 = 0. Does 3 divide d?
False
Suppose -90 = -2*l - l. Suppose -5*o = l - 125. Suppose -3*n + 0 = -3*r + 21, 4*r + 5*n - o = 0. Does 4 divide r?
False
Let l(w) = -8*w + w**2 + 7 - 11 + 10 + 4. Let j be l(7). Suppose -7*t + j*t = -24. Is t a multiple of 6?
True
Suppose 15 = 5*n - 45. Is n a multiple of 3?
True
Let x be (-1)/((-1 + 4)/189). Let w = x + 111. Does 24 divide w?
True
Let j be -1 - (-9)/3*2. Suppose 3*n + 0*n - 6 = 0. Suppose k + 0*k = -j*a + 116, n*a + k = 44. Does 21 divide a?
False
Let l = -78 + 218. Is 28 a factor of l?
True
Suppose 0 = -5*d + 2*d - 126. Let t = d + 60. Is 5 a factor of t?
False
Let a be 28 + (6/2 - 3). Let y = 54 - a. Is y a multiple of 13?
True
Suppose 0 = -7*p - 18 + 109. Is 3 a factor of p?
False
Suppose -277 = -3*i + w, -i - 2*w + 0*w + 83 = 0. Suppose 0 = -2*k + i + 49. Is k a multiple of 15?
False
Suppose 5*q = 12 + 228. Is q a multiple of 12?
True
Let m(a) = a - 2. Let f be m(2). Let l(t) = 2*t - 2. Let k be l(4). Suppose y - 2*z + 49 = k*y, y - 2*z - 5 = f. Is y a multiple of 9?
True
Suppose 2*g = -0*g. Suppose -5*c + 4*s - 54 + 3 = g, 34 = -2*c + 5*s. Does 14 divide (-49)/c*(-1 - -3)?
True
Suppose 0 = -4*p - 5*f - 13 + 57, 4*p + 4*f = 40. Let w be (-4)/p + (-1902)/(-18). Suppose -4*a + w = -j, a - 3*a = j - 45. Is 10 a factor of a?
False
Let m be 4*(15/10 + -2). Suppose -3*j + 6*j + 5*u - 16 = 0, 3*j - 4*u = -29. Does 12 divide m/j - (-292)/12?
False
Suppose 5*j - 50 = 2*n, -40 = -0*j - 4*j + 4*n. Let g = j - 4. Is 2 a factor of g?
True
Let g(s) = -2*s - 6. Let h(j) = j**2 + j + 1. Let c(v) = -g(v) - 3*h(v). Let d(q) be the first derivative of c(q). Does 3 divide d(-1)?
False
Let o be (-1 - 1) + 2*1. Suppose 0 = -o*p - 2*p + 256. Suppose p = 3*g - 22. Is 18 a factor of g?
False
Suppose 13 = -166*y + 167*y. Let a(h) = 2*h**2 + 5*h + 1. Let z be a(-4). Let n = y + z. Does 21 divide n?
False
Suppose -6*t - 117 + 423 = 0. Is t a multiple of 12?
False
Suppose 2*c - 90 = -2*k, -3*k + k + 88 = 3*c. Is 15 a factor of k?
False
Let i = 46 - 29. Suppose 17 + i = v. Does 17 divide v?
True
Suppose 9*j = 14*j - 260. Is 13 a factor of j?
True
Let v(h) = -h**3 + 6*h**2 - h. Is 7 a factor of v(4)?
True
Suppose 0 = -5*i - 3*h + 386, i - 84 = -0*h - 4*h. Sup