- y = 0. Does 8 divide i?
True
Suppose -4*w - 12 = 0, -2*z = 5*w - 0*w + 9. Let u(l) = 3*l**2 + 2*l - 1. Does 32 divide u(z)?
True
Suppose -d + 2 = -3. Suppose -p + 28 = -7*l + 2*l, -d*p - 5*l - 10 = 0. Suppose -2*j = -4*k + 54, -p*j - 75 = -5*k - 2*j. Does 10 divide k?
False
Let c(u) = 23*u**2 + 6. Is c(2) a multiple of 41?
False
Suppose -5*m + 245 = -4*h + 9*h, h - 139 = -3*m. Is m a multiple of 45?
True
Suppose 0 = 3*f + k - 5, k - 9 = -4*f + 2*k. Suppose -3*p + 28 = -8. Is 80/p - f/3 a multiple of 5?
False
Let y(o) = -3*o**3 - 15*o**2 - 10*o + 12. Suppose -i + 4 = 3*i. Let b(d) = d**3 + d**2 + d - 1. Let u(w) = i*y(w) + 4*b(w). Is u(12) a multiple of 20?
True
Suppose 0 = -0*w + 3*w - 9. Let z = -109 + 289. Suppose 4*j - w*b = z, j = -0*j - 5*b + 68. Is 16 a factor of j?
True
Let j be (-39 + 0)/(15/20). Let x = j + 180. Let d = x - 73. Does 11 divide d?
True
Suppose 0 = 3*h - h - 16. Let d = 11 - h. Suppose 4*z - 8 = 0, 2*y = d*y + 5*z - 17. Is y a multiple of 4?
False
Let m(x) = x**3 + 13*x**2 + 15*x + 15. Let q be (9/4)/(9/(-48)). Let h be m(q). Let z = h + 29. Does 8 divide z?
True
Suppose 7 - 58 = 3*s. Let r = s + 9. Is r/12 + 62/3 a multiple of 10?
True
Suppose 0 = -0*d - 5*d - 25, -2193 = -2*j - d. Is 80 a factor of j?
False
Let y(d) = d - 6. Let v be y(8). Suppose v*c = 15 + 5. Let g = 9 + c. Is 4 a factor of g?
False
Let s(m) = 3*m**2 - 6*m - 1. Let j(h) = -h**2 - 1. Let t(d) = 4*j(d) + s(d). Let q be t(-4). Suppose p + q*p = -5*y + 121, -20 = -4*y. Does 12 divide p?
True
Suppose 1171*m = 1153*m + 4770. Is m a multiple of 5?
True
Suppose -3*v - 278 = -5*g, 0 = 3*g + v - 224 + 60. Suppose -5*a = -70 - g. Is 6 a factor of a?
False
Let o = -34 - -25. Suppose 6*g - 72 = 2*g. Let s = g + o. Is 9 a factor of s?
True
Suppose 1976 = 8*q + 5*q. Suppose 0 = -a - 2*a + 2*l + q, -4*a = -5*l - 212. Is 12 a factor of a?
True
Does 3 divide (5/(-6))/((4/1)/(-1416))?
False
Let t(u) = u**3 - 5*u**2 - 4*u + 8. Let a be t(6). Let i = a - 11. Suppose -1 = y - 2*b - i, y - 12 = b. Is 16 a factor of y?
True
Let k(y) = -y**2 - 10*y - 4. Let f be (-6)/10 - (-36)/10. Let q be -5 + -4 + 3 - f. Is 3 a factor of k(q)?
False
Let k(i) = -3*i**2 + 29*i - 56. Is 2 a factor of k(5)?
True
Suppose -62 = -4*l + 2*n, -2*l + 33 = -5*n - 2. Is -65*(24/l + -2) a multiple of 26?
True
Let z = -122 - -175. Is 15 a factor of z?
False
Let d be (11 + -17)/((-2)/(-14)). Let i = 4 - d. Let k = 64 - i. Does 6 divide k?
True
Suppose 35*g + 715 = 5*u + 40*g, -2*g = -3*u + 414. Is u a multiple of 35?
True
Let q(l) = 11*l - 5*l**2 + l**2 - 2*l**2 - l**3. Let n be q(6). Does 30 divide 1/(-2) - n/12?
True
Suppose 1149*c - 1890 = 1139*c. Is 6 a factor of c?
False
Let w(s) = -3*s - 3. Let i be w(-2). Suppose 8 = -i*a + 29. Is -7*((-96)/a)/4 a multiple of 12?
True
Suppose 0 = 8*s - 2*s + 330. Let v = s + 64. Is v a multiple of 2?
False
Suppose 0 = 2*a - 4. Suppose 4*d - 200 = a*d. Is 20 a factor of d?
True
Let n(w) = 6*w**2 - 8*w + 42. Is 9 a factor of n(6)?
False
Let t(c) = 2*c**2 + 26*c - 13. Let w be t(-16). Suppose 0 = -d + 43 + w. Is d a multiple of 21?
True
Let h(x) = 35*x - 23. Let c(m) = -9*m + 6. Let a(w) = -9*c(w) - 2*h(w). Does 9 divide a(4)?
True
Suppose 3*d = 7*d + 732. Let u = -80 - d. Is u a multiple of 16?
False
Suppose 0 = m - 5*l - 1027, 49*l = 3*m + 48*l - 3011. Does 5 divide m?
False
Suppose -x + 8 = -3*x, -6 = 2*k + 3*x. Suppose -k*c + 20 = c. Suppose a + 45 = 2*a + 5*z, -c*a - 3*z + 247 = 0. Is 10 a factor of a?
True
Let y(t) = t - 149. Let w be y(0). Let c be 2/(3 - (-634)/(-210)). Let f = c - w. Is f a multiple of 14?
False
Let h be ((-44)/(-6))/((-9)/(-216)). Suppose 5*o + h = 426. Suppose 3*u - 182 = 3*k - o, 5*u = -k + 196. Does 10 divide u?
True
Let c = -62 - -77. Let j be 13/5 - 6/(-15). Let q = c + j. Is 18 a factor of q?
True
Let v(y) = 8*y - 69. Let a be v(16). Let h = a - 26. Does 11 divide h?
True
Let x(b) = -11*b + 58. Let y be x(5). Suppose 2*o = y*s - 452, 4*o + 0*o = 20. Is s a multiple of 23?
False
Let b be (-4)/8 + (-21)/(-6). Suppose -y + b*h + 11 = 0, 3*y - 2*y - 32 = -4*h. Does 12 divide y?
False
Let c be -2*(-3)/(-21) - (-19)/(-7). Is ((-462)/35)/(1/40*c) a multiple of 40?
False
Suppose -z - 3 = 0, 0 = -5*k - 4*z + 17 + 91. Suppose d = -d + k. Does 4 divide d?
True
Does 44 divide (-2692)/(-12) + (-2)/6?
False
Let v(n) = n**3 - 6*n**2 + 3*n + 6. Let t be -5 - (0 - 3) - -10. Let y be v(t). Suppose 4*u - r = y, 0 = -0*u + 4*u + 3*r - 166. Is u a multiple of 20?
True
Let z = -18 - -23. Suppose 9*k = z*k + 108. Is 4 a factor of k?
False
Let c(p) = -12*p + 4. Let i be c(3). Let b = i + 101. Does 12 divide b?
False
Let s(o) = 3*o**3 - 5*o**2 - 8. Let k(j) = j**3 + j**2 + j + 1. Let q(v) = -2*k(v) + s(v). Is q(8) a multiple of 7?
False
Suppose -8*d = -9 - 103. Let u be (-16)/(-6)*(-21)/d. Is 46 - (u + (4 - -3)) a multiple of 11?
False
Suppose -2*s = -2*b, 6*s + b - 20 = 2*s. Suppose 163 + 329 = 12*l. Suppose -l + s = -j. Does 20 divide j?
False
Suppose -2*s + 6*m = m - 1819, -1 = -m. Does 57 divide s?
True
Suppose -2*p - 14 = -w, 22 = 2*w - 2*p + 4*p. Suppose -5*s - 13 - w = 0. Is 25 a factor of (-1)/s + 372/15?
True
Let q = -483 + 822. Is q a multiple of 11?
False
Let a = -33 - -21. Does 6 divide (-387)/(-21) + a/28?
True
Let n(u) be the third derivative of 2*u**4/3 - 5*u**3/3 - 11*u**2. Does 24 divide n(12)?
False
Suppose 7*l = -3*l + 10290. Is ((-2)/3)/((-1043)/l + 1) a multiple of 7?
True
Let l(z) = 21*z - 1. Let p be l(2). Let r = p + -20. Let s = r - -5. Does 13 divide s?
True
Suppose -3*g = 4*c - 618, -2*g + 14*c - 10*c + 432 = 0. Suppose 23*n - 29*n + g = 0. Does 7 divide n?
True
Suppose -4*n + 2*o = 2, -3*o + 35 = 5*n + 2*o. Suppose -n*q + 4 = -6. Suppose -5*m + 30 = -q. Is m even?
False
Let y be -1 - ((-76 - -1) + -1). Let g = y + 9. Suppose q - g = -c, -2*q - 2*q + 5*c + 336 = 0. Is q a multiple of 14?
True
Let g = 2137 + -1749. Is 13 a factor of g?
False
Let v(b) = -23*b**3 + b**2 + 2*b + 2. Let w be v(-1). Suppose -2 - w = -2*u. Is 3 a factor of u?
False
Let u(o) = -12*o - 4. Let s be u(-16). Suppose -2*a + s = 2*g - 86, 4*g + 721 = 5*a. Does 26 divide a?
False
Let p be 6/15 - (-86)/10. Suppose -25 = -5*s + 3*c, -3*s + 0*s = 3*c + p. Suppose s*t - 12 = -0. Does 3 divide t?
True
Let p = -5 - -216. Is p a multiple of 6?
False
Is (-3)/(-30)*-4 + 11184/60 a multiple of 5?
False
Let r(z) = 45*z + 2 - 58*z + 2 + 1. Does 24 divide r(-7)?
True
Let x = -18 + 14. Is 33 - ((-4)/x)/(-1) a multiple of 15?
False
Suppose -2*f - 5*v = -4*f - 1, f - v = 1. Suppose -f*g + 65 = -31. Does 16 divide g?
True
Let t(u) = u**3 + 4*u**2 - 2*u. Let i be t(-4). Is 28 a factor of (28/10)/(i/140)?
False
Suppose 11548 = 5*n - 2*r, -3*r + 10764 = 4*n + 1544. Is 15 a factor of n?
False
Let b(q) = 14*q**2 - 7*q + 1. Let w be b(-5). Suppose 0 = -3*c + 5*n + 226, 5*c + 2*n + 30 - w = 0. Is 18 a factor of c?
True
Suppose 6*l = 7539 + 3021. Is l a multiple of 40?
True
Let k(d) = 2*d**2 + 13. Let c(h) = -h**3 - 8*h**2 - 10*h - 13. Let y be c(-7). Is 23 a factor of k(y)?
False
Let c = 30 + -26. Suppose -c*d = i - 5, -i - 2*d = -2*i + 35. Let n = 51 - i. Does 13 divide n?
True
Let u be 287 + (0 - 1) - 0. Let x = u + -573. Is 21 a factor of 2/4 - x/14?
True
Suppose 490 = -7*q + 17*q. Let l = 77 - q. Is 28 a factor of l?
True
Let g be (-2)/(-6)*(-33)/(-11) - -1. Suppose 5*x = -k + 76, -4*k = 3*x + g*x - 64. Is x a multiple of 3?
False
Suppose 0 = -14*l + 11*l + 78. Is 2 a factor of (-16)/24 + l/3?
True
Let a(y) = 14*y - 26. Let q be a(-10). Let r = q - -305. Does 42 divide r?
False
Let b(f) = 21*f - 6. Let l(r) = -60*r + 18. Let x(i) = -11*b(i) - 4*l(i). Suppose -4*g - 4 = -6*g + u, 2*u - 8 = 0. Does 10 divide x(g)?
True
Suppose 2*w - 1104 - 1594 = 0. Does 71 divide w?
True
Suppose -o = 4*d - 0*d - 543, 0 = -o - 1. Suppose 5*k - 3*k = d. Is 9 a factor of k?
False
Let r(x) = 52*x + 1670. Is r(79) a multiple of 54?
True
Suppose -2*a + 3*a = 30. Let x = 30 - a. Let t(j) = -j + 27. Is t(x) a multiple of 9?
True
Suppose -4*b - q + 2*q = -894, -5*q - 662 = -3*b. Suppose -2*x = -9*x + b. Is 4 a factor of (-40)/16*x/(-5)?
True
Suppose 5*d - 10 = 0, -4*u - 5*d = -d - 1592. Is u a multiple of 44?
True
Let h = -26 + 39. Let i(j) = -9*j**2 + 2 - 3 + h*j**2 + 22*j**2 + j. Is i(1) a multiple o