rue
Suppose 5*r + 2 + 3 = 0. Let j be (r/3)/((-2)/30). Let v = 0 + j. Is 4 a factor of v?
False
Suppose 5*l = -12 - 48. Let a = l + 17. Suppose -a*z = -130 + 15. Is z a multiple of 8?
False
Let a = -100 - -104. Suppose -4*z + 32 = -a. Does 3 divide z?
True
Let q(d) = 9*d**2 + d - 1. Let l(j) = j**2 - 8*j + 8. Let u = -4 + 11. Let s be l(u). Is q(s) a multiple of 7?
False
Suppose 3*n - 601 = -3*i + 6593, -2*i = -3*n + 7189. Is 55 a factor of n?
False
Let h = -79 + 98. Let o = 30 + h. Does 16 divide o?
False
Let h be -6 + 5 - (-2 - 2). Suppose -h*m + 79 = -149. Does 14 divide m?
False
Let f = 790 - 526. Is 11 a factor of f?
True
Is -70*((-583)/55 - -9) a multiple of 16?
True
Let o = -49 + 54. Suppose 4*z - 553 = -o*b, b = z - 0*z + 116. Is b a multiple of 9?
False
Suppose g + 0 = -2. Is 45 - (4/g)/2 a multiple of 23?
True
Suppose 3*i - 17 = q, 0 = -4*i + 4*q + 23 + 5. Let p(o) = -o + 3 + 2*o + 1. Is 5 a factor of p(i)?
False
Suppose 132*r - 4 = 133*r, h - r - 764 = 0. Does 8 divide h?
True
Is 5 a factor of ((-184)/138)/((-8)/2250)?
True
Let u(c) = c**3 + 14*c**2 - 34*c - 29. Is 29 a factor of u(-12)?
True
Is (-54 - 9)/(12/(-28)) a multiple of 17?
False
Suppose -30*x + 35*x = g + 21829, -g = 4. Is 35 a factor of x?
False
Suppose -10141 = -22*m - 527. Is 2 a factor of m?
False
Let m = 36 - 70. Let w = m + 21. Let p(i) = i**3 + 12*i**2 - 17*i - 11. Is p(w) a multiple of 19?
False
Let j = -17 - -18. Let m = j + 3. Suppose 0 = m*w - 0*w - 312. Is 16 a factor of w?
False
Let n(k) = k**2 - 14*k + 111. Is n(9) a multiple of 6?
True
Let i = 4 - -1. Suppose 0 = 8*c - i*c. Is 7 a factor of (3 - 2)*(14 - c)?
True
Is -6 + 444*12/16 a multiple of 8?
False
Suppose 2 = 2*w - 5*v - 3, -2*w - 4 = 4*v. Suppose -34 = -3*g + 5*f, w*f = 2*g - 4*f - 26. Let k = 9 - g. Is k a multiple of 2?
True
Let i be 15/10*(-4)/3. Let x be i - (0/4 + -2). Suppose -16 = -4*p, 3*p + x*p = -5*a + 182. Is 24 a factor of a?
False
Suppose 3 = 4*p - 13. Suppose -9*f = -p*f - 10. Suppose -i = -9 - f. Is 9 a factor of i?
False
Let t(v) = v**3 - 11*v**2 - 37*v + 39. Is t(15) a multiple of 29?
False
Suppose -19*u + 22*u - 486 = 0. Suppose u = 5*y - 238. Is y a multiple of 16?
True
Suppose -2*s + 1100 - 136 = 0. Is 45 a factor of s?
False
Suppose -3*m = -419 - 100. Is m a multiple of 24?
False
Suppose -37*l = -5*l - 13472. Is l a multiple of 40?
False
Let w be (-4 + (1 - 0))*1. Let m = -116 + 164. Does 5 divide (m/10)/(w/(-10))?
False
Let n(h) = -25*h - 3*h - h - 8. Is 21 a factor of n(-3)?
False
Let l be 2*58/4 + 324/(-81). Suppose 13 = o - l. Does 18 divide o?
False
Let m = -29 - -253. Does 26 divide m?
False
Let a be (-2)/(-6) + (-131)/(-3). Suppose 2*k - a = 6*k. Let b = k + 41. Is 10 a factor of b?
True
Let p(a) = a**2 - 10*a + 19. Suppose 3*o + 2*x = -0*x + 145, 86 = 2*o + 4*x. Suppose 5*v - 75 = -5*s, 0 = -v - 3*v + 5*s + o. Does 25 divide p(v)?
True
Suppose 3*u - 185 = -2*d, -5*d - 12 + 32 = 0. Let i = -34 + u. Is 5 a factor of i?
True
Let o be (1/2)/(-1)*-6. Suppose -o*i - 1 = -m - 2, i = 2*m + 17. Does 10 divide (-98)/(-10) + (-2)/m?
True
Let r(k) = -k**2 - 10*k - 2. Let a be r(-8). Suppose 4*o + a - 2 = 0. Let d(p) = -p**2 - 5*p. Does 2 divide d(o)?
True
Let k be 8*(4 + -3)*(-4)/8. Does 43 divide (-3 - (-162 - -1)) + k?
False
Suppose -4*i = 2*g + i - 107, -86 = -g + 4*i. Does 22 divide g?
True
Let s be (2/(-6))/((-6)/(-9))*22. Does 46 divide -2 - 18*s/1?
False
Let b = -159 + 265. Suppose b = -4*j + 3*h, j = 3*j - 5*h + 46. Let s = j + 47. Does 19 divide s?
True
Let q(w) = 7*w - 35. Let l be q(5). Suppose 4*f - 3*b - 585 = 0, l = 2*f - 9*b + 7*b - 294. Is f a multiple of 16?
True
Suppose -76*w + 39130 = -11*w. Does 76 divide w?
False
Suppose 52*l = 42*l + 4320. Does 18 divide l?
True
Let u(r) = -r**3 + 9*r**2 - 9*r + 11. Let c be u(8). Suppose -5*f = -c*m + 529, 5*m - 2*m - 3*f - 519 = 0. Is 24 a factor of m?
True
Is (-24)/9*777/(-28) a multiple of 16?
False
Let v = -30 + 31. Let w(i) = 28*i**3 - i**2 + i - 1. Does 22 divide w(v)?
False
Suppose 0 = -4*x + 2*x + 136. Suppose -3*q = -x + 20. Suppose q = -0*j + j. Is 4 a factor of j?
True
Suppose 4*o - 36 = 4*z, 0 = 4*o + 4*z - 0*z - 28. Suppose 0 = 3*p - o*p + 870. Does 28 divide p?
False
Suppose 104*l = 107*l - 5*o - 124, 5*l - 188 = -o. Does 19 divide l?
True
Let n = -235 + 343. Is 18 a factor of n?
True
Suppose n = 3*u - 3*n - 14, -u + 11 = 5*n. Is 5 a factor of (u/4)/(2/12*1)?
False
Let k(b) = 313*b**2 - b. Is 6 a factor of k(1)?
True
Suppose 3*c + r - 3*r = -98, r + 116 = -4*c. Let v = -25 - c. Is 2 a factor of v?
False
Let x(l) be the second derivative of 5*l**3/6 - 8*l**2 + 11*l. Let c be x(4). Does 6 divide (c - 4) + -2 - -28?
False
Suppose 5*k - 1328 = -3*v + 97, -4*k - 972 = -2*v. Does 12 divide v?
True
Suppose -z = 2*s - 8, -2*s + 4*s = 6. Suppose z*k + 3*k = -20, 3*m - 207 = -3*k. Does 6 divide m?
False
Suppose k - 3*k + 302 = 0. Does 5 divide k?
False
Let c(x) = -x**2 - 19*x - 5. Let a(z) = -z - 6. Let j be a(3). Does 6 divide c(j)?
False
Suppose 5*n = -2*q - 70, -3*q = 3*n - 0*q + 33. Let x(l) = l**2 + 9*l - 4. Is x(n) a multiple of 18?
True
Let u(q) = -12*q - 6. Let j(l) = 12*l + 6. Let x(y) = -6*j(y) - 5*u(y). Let w be x(-4). Suppose 2*p + w = 5*p. Is 10 a factor of p?
False
Suppose 84*l - 118*l + 31994 = 0. Is l a multiple of 68?
False
Let m(c) = c + 15. Let x be m(-15). Let a be (x - -2) + 12/(-2). Let j(o) = -o + 5. Does 2 divide j(a)?
False
Let d(j) = -j**2 - 7*j + 5. Let g be d(-7). Suppose w + 5*s = 55, 0 = w - 6*w + g*s + 365. Is w a multiple of 10?
True
Suppose 7*j - 566 = -195. Is j a multiple of 33?
False
Does 2 divide (-4 - -11) + -32 + 232?
False
Let s = -138 + 143. Suppose s*o = -10, 3*o = 3*n - 100 - 305. Does 7 divide n?
True
Let i = 540 + -400. Is i a multiple of 7?
True
Suppose 3*s - 253 = 119. Does 13 divide s?
False
Let r(h) be the first derivative of -h**4/4 + 4*h**3 + 17*h**2/2 - 13*h - 13. Does 11 divide r(13)?
False
Let z(c) = 3*c**2 - c + 26. Is z(0) a multiple of 11?
False
Suppose 6 = 3*c, -2*c = -a + 664 + 544. Does 13 divide a?
False
Let t(n) = 9*n + 29. Let z be 3 - 35/(-5) - 4/1. Is 8 a factor of t(z)?
False
Suppose 5*w = -3*k - 2 + 1577, k - 535 = -5*w. Does 40 divide k?
True
Suppose -5*p - b = -162, -5*p - b - 2*b + 166 = 0. Suppose -4*y = q + 114, -2*q = -y - 4*q - p. Let i = 64 + y. Is 12 a factor of i?
True
Suppose 4*o - 4*j = 80, -2*o - 34 = -4*o - j. Does 9 divide o?
True
Suppose -18*q - 244 = -1630. Is 16 a factor of q?
False
Suppose -2*b + 0*m + 124 = 5*m, b - m = 76. Suppose -5*w + w + b = 0. Does 2 divide w?
True
Suppose 4*r = 8 + 28. Let k = r - 5. Suppose -421 = -k*t - 25. Is 33 a factor of t?
True
Let x be (86 + 3)*1 + -3. Suppose h + 3 = 5, -4*y - 5*h = -x. Is y a multiple of 5?
False
Let o(a) = -5*a - 7. Let s be o(-10). Let k(x) = x**2 - 13*x + 5. Let m be k(11). Let p = s + m. Does 13 divide p?
True
Suppose 1397 = 166*x - 155*x. Does 16 divide x?
False
Let n = 180 - 120. Suppose 7*x - n = 2*x. Is x a multiple of 6?
True
Suppose 0 = 24*l - 31*l + 1477. Let q = -132 + l. Is 16 a factor of q?
False
Suppose 2*o + 0*z = -3*z + 7, -3*o + 3 = 2*z. Let m be 0 + (-2 + -22 - o). Let u = m + 45. Is 11 a factor of u?
True
Let z(l) = -l**2 - 3*l + 12. Let q(j) = 1. Let w(m) = 4*q(m) - z(m). Does 23 divide w(6)?
True
Let k(a) = 61*a**3 - 3*a**2 + 8*a - 3. Does 26 divide k(2)?
False
Let h(o) = -o**3 + 12*o**2 - 12*o + 10. Let s be h(11). Does 27 divide (-144)/(s - (-2)/(-4))?
False
Let w = 16 + -14. Suppose -45 = -w*m - 9. Does 17 divide 4/m + (-914)/(-18)?
True
Let z = 3601 - 1665. Does 22 divide z?
True
Let z(d) be the first derivative of -15*d**2 - 2*d - 6. Does 13 divide z(-1)?
False
Let a = -432 + 475. Is a a multiple of 4?
False
Suppose 0 = -q + 402 + 574. Is 30 a factor of q?
False
Let f be 1 + (-2 - 2*-2). Suppose 0 = -4*i + f*d + 31, 5*d + 11 = -3*i - 2. Suppose 80 = 2*o - 0*z - i*z, -3*z + 102 = 3*o. Does 11 divide o?
False
Let t(c) = -16 - 8 + 9 + 3*c. Let k be t(7). Suppose -31 = -k*z - 7. Does 2 divide z?
True
Suppose -3*z = -2*z + 3. Let w be 3 + (z - 5 - 0). Let m(a) = a**2 + 3*a + 2. Does 6 divide m(w)?
True
Let c(s) = s - 15. Let h be c(15). Does 8 divide h + ((-92)/(-4) - 3)?
False
Let x = 582 - 303. Suppose -5*z + x = 3*w, 0 = 3*w - w - 4*z - 208. Does 7 divide w?
