alse
Let m = 138 - 119. Is m a multiple of 3?
False
Suppose -3*x - 2*h + 18 = x, -5*x + 4*h + 16 = 0. Suppose x*i - 30 = 42. Is i a multiple of 3?
True
Let v be 269*-1*(-1 + 0). Suppose 3*a = v - 32. Is a a multiple of 8?
False
Let b = 26 - 24. Suppose -b*z + 14 + 16 = 0. Does 5 divide z?
True
Let o be (-60)/(-25)*140/6. Let h = 37 + -15. Let f = o - h. Does 17 divide f?
True
Let u(w) = w**3 + 32*w**2 - 44*w - 20. Is u(-33) a multiple of 47?
False
Suppose 12 = 2*f + 102. Let i(a) = -13*a**3 - 4*a**2 - 6*a - 7. Let m be i(-2). Let c = m + f. Is 16 a factor of c?
True
Let p(y) = 2 + 2*y + y + 9. Is 25 a factor of p(8)?
False
Suppose 0 = o - 5*g - 51, 4*g - 255 = -2*o - 3*o. Let s = o + -102. Let a = 87 + s. Is a a multiple of 10?
False
Is 12 a factor of (-34)/119 + 7900/14?
True
Let o(z) = z**2 + 7*z + 7. Let g be o(-6). Let r be g/(0 + (-1)/(-8)). Suppose 2*m = r + 10. Does 3 divide m?
True
Suppose -4*g - 4*p + 1 = -15, -2*g + p = -5. Suppose -b - g = -2*b. Suppose 77 = 3*l + b*i - 4*i, -5*l = 2*i - 110. Does 12 divide l?
True
Suppose 0 = 2*w - 61 - 125. Let c be w/2*(3 + -1). Suppose -7*q - 9 = -c. Does 6 divide q?
True
Let d be (12/(-20))/((-2)/10). Suppose -2*c + 4*c = 5*a + 1519, -2251 = -d*c + 2*a. Is (c/(-36))/((-1)/4) a multiple of 23?
False
Let r = -724 - -941. Is 31 a factor of r?
True
Let y = 33 - 33. Suppose 2*q + 20 = 3*a - a, -2*a - q + 8 = y. Is a a multiple of 5?
False
Let x(h) = h - 5. Let u be x(2). Does 7 divide (4 - 3 - -53) + u*1?
False
Suppose -2 = 3*i + s + 3, 2*s = -i - 5. Let n be 1 - i/(2/4). Suppose n*r - 4*m = 86, 2*r + 21 = -m + 71. Is r a multiple of 13?
True
Let x = 2038 + -1834. Is x a multiple of 12?
True
Let k be (-1 - -1)/(4 + -3). Suppose k*h - 5*h = -240. Is h a multiple of 24?
True
Let b = 2587 - 485. Is b a multiple of 30?
False
Let f(y) = -2*y**3 + 16*y**2 - 13*y + 10. Is 4 a factor of f(6)?
True
Let p = 34 + -58. Let q be (p/((-16)/(-4)))/2. Is 2/q - 460/(-6) a multiple of 19?
True
Let a(h) = -h**2 - h + 27. Let o be a(9). Suppose 6*m = 3*m - 54. Let r = m - o. Is r a multiple of 10?
False
Let u(p) = -3*p**2 - 2*p - 1. Let n be u(-1). Is ((-20)/(-50))/(n/(-180)) a multiple of 6?
True
Let m(t) = 7*t**2 - 3*t + 2. Let f be m(1). Is 22 a factor of f/4 + (-510)/(-12)?
True
Let n = -11 - -8. Is 2 a factor of (-37)/n - 12/(-18)?
False
Let d(w) = 4 - 9*w + 5*w**2 - 2*w**2 + 10. Is 2 a factor of d(4)?
True
Let j be 2 - (0 - 3 - -19). Suppose -5 = -3*t - 3*z - 14, -4*t = -2*z - 12. Let a = t - j. Does 3 divide a?
True
Suppose 5*b = -2*c - 155, 4*b + 77 + 45 = -2*c. Let d = b + 35. Suppose -p = -2, 2*r - 2*p - d = 10. Is 4 a factor of r?
True
Let k = 83 - 48. Let x = -30 + k. Is 3 a factor of x?
False
Suppose 9391 + 4551 = 5*r + 2*q, 2*r - 5572 = -2*q. Does 13 divide r?
False
Suppose -12*l = -6572 + 176. Does 13 divide l?
True
Suppose o - 24 = -5*o. Suppose -o*a + a = -117. Is a a multiple of 13?
True
Suppose 276 = i - 3*w, -i - 4*w + 252 = -w. Is i a multiple of 44?
True
Suppose -8347 = -11*p + 8*p + 2*x, -4*p - 5*x = -11091. Is p a multiple of 22?
False
Let k(d) = 10*d + 192. Is 42 a factor of k(-15)?
True
Let q = -20 + 16. Is (-100)/(-8)*q/(-5) even?
True
Suppose 0 = 12*i - 677 - 1123. Does 6 divide i?
True
Let x(c) be the first derivative of c**4/4 - c**3/3 - c**2/2 - 2*c + 1. Let w be x(3). Let r = -5 + w. Does 8 divide r?
True
Suppose 504 = -30*u + 31*u. Is u a multiple of 4?
True
Let n = 18 + -14. Suppose -n*g + 4 - 56 = -4*i, g + 1 = 0. Is (-1)/6 + 386/i a multiple of 8?
True
Suppose -l + 1551 = 4*k, 6*k - 2*l = 3*k + 1177. Is 12 a factor of k?
False
Let x(q) = q**2 + 4*q + 10. Let k be x(-5). Suppose -l + 5*n + k = -0*n, 3*l - 5*n = 55. Is 5 a factor of l?
True
Suppose 2*p + 2 = -l, 3*p + 6 = -p - 3*l. Let y(j) = j**2 + j - 2. Let k be y(p). Is 16 a factor of (3 - k) + -2 - -21?
False
Let f = -720 + 1136. Does 17 divide f?
False
Let u = -360 - -144. Let z = u + 435. Is 13 a factor of z?
False
Let b = 1248 + -488. Is b a multiple of 76?
True
Suppose 5*k - 3*p = -120, -3*p + 0*p - 72 = 3*k. Let l = 92 + k. Suppose -2*j = 2*w - l, -37 = -w - 4*j + 2*j. Is w a multiple of 11?
False
Let c = -148 - -319. Is 57 a factor of c?
True
Suppose -3360 = -26*m + 21*m. Does 32 divide m?
True
Suppose -3*y = 4*v - 46, 5*y = 2*y - 3*v + 42. Suppose y*i = 4*i + 162. Does 7 divide i?
False
Let v(i) = -i**2 - 55*i. Is 4 a factor of v(-43)?
True
Suppose -599 + 647 = 2*s. Does 8 divide s?
True
Let a be (-16)/(-56) + 446/7. Suppose -69*c = -a*c - 265. Does 29 divide c?
False
Let b(o) = -o + 4. Let w be b(6). Does 44 divide (w/(-6))/(18/2376)?
True
Let a be (-4 + 5)*(4 - -1). Suppose -2*i = -a*i. Suppose y + 4*y - 75 = i. Is y a multiple of 15?
True
Let k be ((-1)/(-2))/(7/(-98)). Let a = 26 - k. Is a a multiple of 3?
True
Let u(z) = 17*z - 7. Let m be u(7). Suppose 6*p - 3*i = 2*p + 156, -3*p + m = -i. Does 9 divide p?
True
Let l(x) = 34*x**2 + 58*x - 1. Is l(-6) a multiple of 7?
True
Let w(h) = -h**2 - 8*h - 9. Let t be ((-2)/(-2))/((-6)/36). Let c be w(t). Suppose -2*i = -8, k - 6*k + 122 = c*i. Is 15 a factor of k?
False
Let q be -158*(-2)/(-8)*-2. Suppose 0 = 26*b - 22*b - 16. Suppose -5*k = -q + b. Is k a multiple of 4?
False
Suppose -3*b - 12 = 3, z = -5*b + 110. Is z a multiple of 17?
False
Let h = -6 - 36. Is (-42)/((h/9)/7) a multiple of 10?
False
Let t(b) = -b**3 + 10*b**2 - b + 10. Let r be t(10). Suppose r*s = -5*s. Let j(n) = -n**3 + n**2 + 6. Is 3 a factor of j(s)?
True
Let n(f) = -1994*f**3 + 3*f**2 - 22*f - 24. Is n(-1) a multiple of 105?
True
Suppose 3*o + r - 328 = 0, -o - 3*r = -107 + 11. Suppose 6 = 3*t - o. Is t a multiple of 13?
True
Let c = 383 - 372. Is 5 a factor of c?
False
Suppose 2*x + 14 = 5*g, -4 - 6 = -2*g + 3*x. Suppose 76 = -2*i + 4*v, 0*v + 76 = -g*i + v. Let j = 26 - i. Is j a multiple of 15?
False
Let o be -2 - -2 - -5 - 2. Suppose 160 = o*r - 26. Does 19 divide r?
False
Let b(p) = 14*p**2 - 2*p + 16. Does 19 divide b(8)?
False
Suppose 2*o + 2592 = 5*o + 2*y, 2*o - 2*y - 1728 = 0. Is o a multiple of 24?
True
Let c(x) = x. Let u be c(0). Suppose u = a + 6 - 1, -2*b + 5*a = -73. Is 11 a factor of b/(4 - 3) + -2?
True
Let c = -983 + 2167. Suppose 0 = 16*z - c - 1536. Does 32 divide z?
False
Let g = -51 - -54. Suppose q - v - 82 = 0, g*v - 52 = -q + 18. Does 9 divide q?
False
Let n(y) = 31*y - 1. Let g be n(5). Let u = g + -74. Is u a multiple of 5?
True
Let w be (4/(-6))/((-4)/(-12)). Let n be 0/(w/1 + 4). Suppose 2*v - 5*v + 2*i = -260, -i + 5 = n. Is 30 a factor of v?
True
Does 11 divide 57/190 - (-27827)/10?
True
Let h be (-2 - (-2 + 0)) + 0. Suppose h = -5*b - b + 1278. Suppose 2*d - 86 = -n, 5*d + 2*n + n - b = 0. Is d a multiple of 9?
True
Let f = 796 - 372. Does 10 divide f?
False
Suppose -5*r = 2*f - 29 + 8, -3*f + r = 11. Suppose -18*k + 300 = -23*k. Is 9 a factor of (-1524)/k + f/5?
False
Let c(k) = k**2 + 3*k + 3. Let h be c(-3). Suppose -3*j = -3*b - h, -3*j + b - 1 = -10. Suppose 2*z = j*z - 70. Is z a multiple of 25?
False
Suppose -4*i = -9*i + 3*u - 51, 5*i - u + 57 = 0. Is 18/i*100/(-6) a multiple of 2?
False
Let g = 2463 + -1538. Does 10 divide g?
False
Suppose 6 = 4*l - 2*r, -l + 0 - 6 = -2*r. Suppose -s + l*s = 0. Suppose s = -0*p + 5*p + 5*o - 145, 66 = 2*p + 4*o. Is 6 a factor of p?
False
Suppose -2*x + x - 3*r = -304, 3*x - 4*r - 899 = 0. Is 7 a factor of x?
True
Let y(r) = -2*r + 8. Let g be y(11). Does 7 divide (-11)/(-4 - 54/g)?
True
Suppose 5*p - 4*d + 1347 - 7432 = 0, -2*d + 6115 = 5*p. Does 37 divide p?
True
Let m(y) = 4*y**3 - 4*y**2 + 3*y - 1. Let c(p) = -9*p**3 + 9*p**2 - 7*p + 3. Let b(i) = 2*c(i) + 5*m(i). Is 9 a factor of b(3)?
False
Let l(x) = -x**3 + 11*x**2 - 5*x - 3. Let h(r) = -2*r**3 + 2*r - 2. Let f be h(2). Let w = 24 + f. Is 12 a factor of l(w)?
False
Suppose -9125 = -6*y - 845. Is y a multiple of 30?
True
Let t(c) be the second derivative of 5*c**3/6 + 55*c**2 - 24*c. Does 11 divide t(0)?
True
Suppose -17*a + 1194 + 710 = 0. Is a a multiple of 8?
True
Let h(y) be the first derivative of 4*y**3/3 + y**2 - 3*y - 13. Is 11 a factor of h(3)?
False
Let f be -2*(15/10 - -3). Is -32*3*3/f a multiple of 9?
False
Let j be (-4 - -1)*135/(-3). Let w = j + -16. Is 17 a factor of w?
True
Let w be (236 + -5)*(2 + -1). Suppose -w = -5*u - 4*s, -3*u - 4*s + 5*s = -1