alse
Let h = -521 + 943. Does 24 divide h?
False
Suppose 4*r + 0*r - 5*m = 21, -6 = -2*r - 2*m. Suppose 2*l - 15 = -0*l - 5*y, r*l + 4*y = 24. Suppose 0*j - l*j = -40. Is j a multiple of 2?
True
Suppose 0 = 4*i - i - 1350. Is 18 a factor of i?
True
Let b = 9 - -2. Suppose b*w + 3 = 12*w. Suppose w*g = 8*g - 30. Is 3 a factor of g?
True
Let u(k) = -k**2 + k + 10. Let w = 10 + -10. Let g be u(w). Suppose -f + g = 4*f. Does 2 divide f?
True
Suppose -3*b = -0*b - 2*w + 17, 3*b - 3 = -3*w. Let h be 0*b/(-6) - 177. Let o = -50 - h. Is 34 a factor of o?
False
Let n be 5/(40/12)*2. Suppose -n*m + 25 = -8*m. Let a = 4 - m. Does 3 divide a?
True
Let w = -16 + 58. Suppose 4*s = 5*y - w, 44 = 4*y - 4*s + 12. Is 5 a factor of y?
True
Let g be 6/18*3*(-68)/(-2). Suppose 0 = -n + 5*c + g, 5*c - 116 = -5*n + 3*c. Does 5 divide n?
False
Let n be (-1*2)/(3 - 4). Suppose -2 = -n*t - 0. Is (t*8)/(14/21) a multiple of 12?
True
Let k(c) = 9*c - 15. Suppose -4*d - 30 = -10*d. Is 15 a factor of k(d)?
True
Let y = -764 + 1456. Does 14 divide y?
False
Let r = -71 + 83. Does 23 divide ((-8)/r)/(2/(-276))?
True
Let m be 1 + (-3)/(-3) + 3. Does 13 divide m/((-5)/(-6))*13?
True
Suppose 0 = 15*c - 16*c + 156. Is 26 a factor of c?
True
Suppose 182 - 50 = 4*j. Let w = 132 - j. Is 22 a factor of w?
False
Let d be -1 - -4 - (4 + -4)/(-6). Suppose 72 + 72 = d*p. Is 6 a factor of p?
True
Let d(j) = -j**3 + 7*j**2 - 7*j + 8. Let r be d(6). Let i be (98/(-21))/(r/3). Is 3*(-2)/2*i a multiple of 21?
True
Suppose -h + 14880 = 30*h. Is h a multiple of 15?
True
Let t = -591 - -2385. Is t a multiple of 26?
True
Let j(x) be the third derivative of x**4/24 + 56*x**3/3 - 31*x**2. Is 10 a factor of j(0)?
False
Suppose -28059 = -27*i - 10401. Is 44 a factor of i?
False
Suppose -4*l + 8 = z - 49, -4*l = 5*z - 317. Let r = 12 + z. Is r a multiple of 4?
False
Suppose -2*z = -3*v - z + 1276, 0 = -3*v - 2*z + 1282. Does 27 divide v?
False
Let j(b) = -53*b + 31. Suppose -3*x + 13 - 25 = 0. Is j(x) a multiple of 14?
False
Let i(b) = -b**2 - 7*b + 7. Let r be 2/(-10) + (-170)/25. Let u be i(r). Suppose -u*o + 192 = -3*o. Is 16 a factor of o?
True
Suppose 0 = 14*k - 3854 + 4. Suppose 4*c - 3*p = k, -5*c + 0*p + 343 = -3*p. Is c a multiple of 4?
True
Let i be 22*(2 + 9/(-6)). Let w be (i/(-22))/((-1)/6). Suppose -5*t + 205 = w*b, 6*t + 215 = 4*b + t. Is b a multiple of 15?
True
Suppose -3*f - 12 = -4*n - 7*f, -2*f + 6 = 3*n. Suppose 5*s + 4*h - 57 = 0, 2*s - 2*h + n*h - 12 = 0. Is s a multiple of 7?
False
Suppose -1 = -4*u - 25. Let m be (u/(-15))/((-3)/15). Is 14 a factor of m*4/(-8) + 65?
False
Let y be (-1 - -3)/((-6)/(-9)). Suppose 8*i = y*i + 225. Let v = -11 + i. Is v a multiple of 6?
False
Let x(a) = -135*a + 18. Does 8 divide x(-18)?
True
Let k = 60 - 40. Suppose -3*r - 138 = -4*r + v, 0 = 4*v + k. Is 19 a factor of r?
True
Let a be (-6)/9 + (-60)/(-9). Is 13 a factor of ((-30)/(-9) + -1)*a?
False
Is 169 - ((-528)/4)/(-12) a multiple of 18?
False
Let w be 1*(1 - -1) - 0. Suppose w = -4*o + 4*f + 42, 2*o = 3*f + 25. Is o a multiple of 3?
False
Let z(k) = 2*k - 2. Suppose 0 = -4*c + 7*c + 15. Let a be z(c). Is 11 a factor of (a/(-1))/(5/5)?
False
Is 28 a factor of (-8735)/(-12) - (259/84)/(-37)?
True
Let v(m) = -114*m - 5. Let o be v(2). Let x = o + 349. Is x a multiple of 27?
False
Let w(p) = -17*p + 1. Let k(z) = -z**2 + 6*z - 6. Let g be 1/(-3*(-2)/30). Let a be k(g). Is 16 a factor of w(a)?
False
Suppose -357 = -2*w + 1629. Is w a multiple of 32?
False
Is 41 a factor of (4 - (-39)/(-12))*4 - -355?
False
Let v(d) = 5*d**2 - 6*d**2 + 27 + 4*d**2 + 12*d - 4*d**2. Is v(13) a multiple of 4?
False
Suppose -2*k = -2*b - 2460, 0 = -2*k - 22*b + 19*b + 2485. Does 19 divide k?
True
Suppose -x = -2*i - 4848, 5931 = -4*x - 5*i + 25336. Let k be x/20 + (-1)/2. Suppose 4*j - c - k = 2*c, 2*j - 4*c = 126. Does 19 divide j?
False
Let z(d) = 11*d**2 - 5*d + 4. Let q be z(4). Suppose -11*t + q = -115. Is t a multiple of 17?
False
Let u = -4 + 4. Suppose -d - 3*a + 9 = -2*a, -3*d - a + 19 = u. Suppose 0 = -2*w - 3*w - 5, -2*w = -d*h + 62. Is 6 a factor of h?
True
Suppose 4*n - 3*p - 20 = -n, -5*n - 4*p = 15. Let o be -4 + n/(-2)*-8. Suppose -2*t - 3*t + 2*u = -325, o = t + 4*u - 65. Is 17 a factor of t?
False
Let j = 45 - 34. Suppose 5*s = 4*s + j. Is s a multiple of 7?
False
Suppose -10 + 2 = 2*r. Is (5 + r)/(3/90) a multiple of 6?
True
Suppose 0 = -20*u - 11*u + 6355. Does 10 divide u?
False
Suppose 0 = 293*k - 285*k - 22480. Is 50 a factor of k?
False
Suppose -99 = t - 97, 0 = 2*b - t - 2638. Is 59 a factor of b?
False
Let y = 28 - 25. Suppose 0 = 4*t + 5*a - y*a - 210, 2*t - 4*a = 110. Does 9 divide t?
False
Suppose -q + 14 = 6*q. Let s(k) = 16*k + 6. Does 6 divide s(q)?
False
Let d be -1 + 4 + (-9)/(-1). Let o(n) = 4*n - 11. Let k(i) = 8*i - 21. Let z(p) = -2*k(p) + 5*o(p). Does 12 divide z(d)?
False
Let o(c) = 14*c + 32. Let v be o(13). Let w = -106 + v. Does 27 divide w?
True
Let u(b) = -b**3 - 14*b**2 - 19*b - 22. Let z be u(-13). Suppose 4*n - 2*w - z = 0, 2*n - 5*w - 24 - 4 = 0. Is n a multiple of 4?
False
Suppose -m + 7 = k, -47 = -5*m + k - 2*k. Suppose 4*f - 3*f - 17 = 3*b, 2*b = -2*f + m. Is 3 a factor of f?
False
Is 14 a factor of (111 + 509)*(0 - -4)?
False
Let p(x) = 2*x**3 - 24*x**2 - 44*x - 10. Is p(15) a multiple of 85?
True
Is (8 + -10)/(3 - (-46)/(-15)) a multiple of 3?
True
Suppose q - 5*q = 0. Suppose q = -i - 4*n + 63, 53 + 165 = 4*i - n. Is i a multiple of 13?
False
Let z(w) = -w**2 + 18*w + 1. Suppose 15*o - 19*o = -48. Is z(o) a multiple of 13?
False
Suppose 2*x - 120 = -4*x. Suppose -c - 40 = -4*m, -m + 1 + x = -3*c. Is m a multiple of 3?
True
Is (-3039)/2*(-7)/((-105)/(-10)) a multiple of 12?
False
Suppose -4*n - 2*l + 94 = l, 4*n - 102 = l. Suppose 8 = -2*h, -2*f + 3*h = -11 - 1. Suppose -4*w - n - 16 = -5*r, -5*w + 5 = f. Is 6 a factor of r?
False
Does 12 divide 120/(-2)*(-9 + (9 - 1))?
True
Let m(d) = -d**3 + 23*d**2 + 23*d - 12. Let q be m(15). Suppose 378 = -9*r + q. Is r a multiple of 29?
False
Suppose -3*k + 73 = 7. Let i = -20 + k. Suppose 30 = i*h - 14. Is 11 a factor of h?
True
Suppose 0 = n - q - 892, 30*q - 33*q = n - 896. Is n a multiple of 75?
False
Let q be (-67)/(-13) - (-26)/(-169). Suppose 0 = 2*g + 5*n + q, 0 = -n - 1. Suppose g = 4*d - 0*d + h - 388, d + 5*h = 116. Is d a multiple of 12?
True
Suppose -2620 = 4*z - 9*z. Is z a multiple of 29?
False
Suppose -1543 = -2*h - 171. Let k be (-12)/54 - h/(-9). Suppose k = 2*t - i, -2*i = -3*t - 0*i + 114. Is t a multiple of 19?
True
Suppose -p - h + 4595 = 0, -10*p - 2*h = -11*p + 4589. Is 51 a factor of p?
False
Suppose 9*i - 3605 = 4837. Is 7 a factor of i?
True
Let o be ((-27)/4)/(1/(-4)). Let v = 98 + -49. Let b = v - o. Does 6 divide b?
False
Let q(l) = -8*l**3 - l**2. Suppose -5*z - 2 = 3. Let b be q(z). Let m(w) = 2*w**2 - 10*w. Is m(b) a multiple of 14?
True
Suppose 8*x = 2*i + 3*x - 119, 5*i - 344 = -3*x. Suppose 0 = -5*q + 2*c + 181, -3*q + i = -q + c. Is q a multiple of 7?
True
Suppose 11*s = 9*s + 1140. Is 15 a factor of s?
True
Suppose 12*d - 3920 = -4*d. Is d a multiple of 35?
True
Suppose 19*p = 16*p + 1170. Let t = p + -180. Does 14 divide t?
True
Suppose 25*m - 21*m = 16. Suppose -4*s + 274 = -2*w, 191 = m*s - 5*w - 92. Is 26 a factor of s?
False
Let p(s) = -7*s - 10 - 2*s - 10 - 32. Does 8 divide p(-12)?
True
Suppose -2*k + 5*k - 2*m - 163 = 0, -2*m + 49 = k. Does 3 divide k?
False
Let y(i) = -i**2 - 13*i + 150. Is 30 a factor of y(0)?
True
Let n = -357 - -504. Is (-2)/((-6)/n) + -2 a multiple of 8?
False
Let g(c) = -7*c**2 - 11*c - 9. Let w(q) = 6*q**2 + 1 + 10*q + 3 + 4. Let h(p) = 5*g(p) + 6*w(p). Does 4 divide h(-6)?
False
Let u be (-2 - 0)/((-3)/((-345)/10)). Let d = u + 53. Does 13 divide d?
False
Let o be 15/(-4)*(-22)/33*2. Suppose -189 = -g + z, o*z = 3*g - 660 + 99. Is g a multiple of 28?
False
Let i be 3 + 3 + (-4)/2. Let x be ((-6)/i)/(3/10). Let d(u) = -u**2 - 6*u + 7. Is 12 a factor of d(x)?
True
Let q(k) = 17*k - 238. Does 8 divide q(22)?
True
Suppose -6*s + 11*s - 20 = 0. Suppose 7 = 2*c - s*u + 1, -4*c = -2*u. Let f(b) = 45*b**2 + 1. Does 13 divide f(c)?
False
Let z(u) = -u**2 + 17*u - 11. Let s be z(16). Suppose -2*d = 5*r - 5*d - 318, -s*d - 131 = -2*r. Does 11 divide r?
False
