/33?
True
Let h = -568 + 1464. Does 9 divide h?
False
Let v = -6 + 10. Let i = -26 + 26. Suppose -c - 2*b + 23 = -i*c, -v*b - 16 = 0. Does 11 divide c?
False
Let z(n) = n**3 + 10*n**2 + 10*n + 9. Let i be z(-9). Let u be (-1)/2*i/(-2). Suppose u = 5*p - 30 - 30. Is 4 a factor of p?
True
Let r(v) = -v**3 - v**2. Let k(m) = 3*m**3 - 7*m**2 + 8*m - 1. Let b(i) = -k(i) - 2*r(i). Let y be b(8). Does 3 divide (-1 - -2)/(y/4)?
False
Does 6 divide 13104/(-351)*(-51)/4?
False
Is 8 a factor of (-2)/((55/10)/11)*-14?
True
Suppose 2*d - 172 = -4*n, 5*n + 12 = 8*n. Is d a multiple of 13?
True
Suppose 3*o - 8*o = -1695. Does 41 divide o?
False
Let i(a) = 26*a**2 + a. Let x be i(-1). Let d be (-110)/11*(1/2)/(-1). Suppose -105 = -d*k + x. Does 13 divide k?
True
Suppose 33*o = 24*o + 2700. Is o a multiple of 30?
True
Let k = 61 - 35. Let j = k + -20. Is j a multiple of 3?
True
Let d be (-5 + 2)/(2/120). Let t be (-7)/(28/d) + 3. Suppose 0 = h - 4*h + t. Is 5 a factor of h?
False
Suppose -x - 2*v = -3*v - 418, 2*x + 2*v = 836. Let y = x + -295. Is y a multiple of 8?
False
Suppose 8 = x + x. Suppose x*l - 75 = -l. Suppose 3*h = -3*k - 0*h, 2*k = 3*h + l. Does 2 divide k?
False
Let v = -420 + 593. Does 11 divide v?
False
Let v(f) = -f**3 + 6*f**2 + 6*f + 4. Let b(s) = s**2 + 5*s - 8. Let w be ((-9)/6)/(3/14). Let p be b(w). Is v(p) a multiple of 10?
True
Let y(c) = -2*c + 38. Let n be y(0). Let v = n + 2. Suppose -v = -2*x + 4*l, -2*x + x - 2*l = -4. Is x a multiple of 6?
True
Suppose 2*m - 3 = -2*x + 5, -4*x - 5*m = -18. Suppose -w + 15 = -5*g, 0 = -4*w - 2*g - x*g + 84. Does 27 divide (-450)/w*(-12)/10?
True
Let b(v) be the second derivative of v**5/20 + 2*v**4/3 + v**3/2 - 7*v**2/2 - v. Let h = -12 + 5. Is 8 a factor of b(h)?
False
Let u be (-16 + 3)/(-3 - -2). Suppose u*o = -o + 1848. Is o a multiple of 33?
True
Suppose 5*j + 24 = -46. Let h(m) = -m**2 - 26*m - 15. Let i be h(j). Let o = i + -103. Is 21 a factor of o?
False
Suppose 3*q - 4*o = -2*q + 20, 4*o + 8 = 2*q. Suppose -y + q*w = 16, -3*y = 3*w - 0*w + 33. Let x = 15 + y. Is 3 a factor of x?
True
Suppose 2*s + 371 + 81 = 3*m, 3*s = -4*m + 614. Does 9 divide m?
False
Suppose 0 = 6*a - 2*a + 52. Let r = -13 - a. Suppose i = -u + 2*u + 43, -3*i + u + 129 = r. Does 10 divide i?
False
Let v(t) be the third derivative of 43*t**4/24 + t**3/3 + 5*t**2. Let m(a) = 1. Let q(h) = 3*m(h) - v(h). Does 25 divide q(-1)?
False
Suppose 2*i = -14*i + 2816. Is i a multiple of 8?
True
Let c(f) = -6*f + 4. Let i be c(10). Let r be (-4)/7 - (-6072)/i. Let n = r + 159. Is 9 a factor of n?
False
Suppose -3*d - 6 + 0 = 0. Let m = 57 - d. Does 28 divide m?
False
Let v(r) = r**3 - 60*r**2 - 118*r - 93. Is v(62) a multiple of 9?
True
Let o = 912 + -1373. Let j = -329 - o. Does 22 divide j?
True
Let n = -166 + 243. Let k = -25 + n. Suppose -j = j - k. Does 7 divide j?
False
Let y be (-1)/3*66/(-2). Let x = y + -9. Suppose 3*l - x*l = 12. Is l a multiple of 8?
False
Let c = 3373 - 523. Does 10 divide c?
True
Let j(z) = 2*z**3 - 41*z**2 + 32*z - 10. Is 46 a factor of j(20)?
True
Let b(g) = -23*g + 166. Does 5 divide b(-7)?
False
Suppose 0 = -0*r - 3*r - m + 1712, 5*m + 2880 = 5*r. Is 28 a factor of r?
False
Does 39 divide 1136/4 + (-4)/8*4?
False
Suppose -1 + 5 = -4*p, 5*l + 5*p - 470 = 0. Let y be (104/(-6))/(34/51). Let t = y + l. Is t a multiple of 22?
False
Let y(b) = 15*b**2 - 11*b. Let j(k) = -23*k**2 + 17*k - 1. Let t(c) = 5*j(c) + 8*y(c). Let f(a) = -a - 1. Let r be f(-5). Is 21 a factor of t(r)?
True
Let l(v) = v**3 + 10*v**2 + 10*v + 11. Let c be l(-9). Suppose 0 = -7*d + c*d + 80. Does 4 divide d?
True
Suppose 0 = 5*n - 0*n + k - 109, -2*n + 45 = -k. Let w = n + -12. Does 8 divide w?
False
Suppose -4*j + 6*u = 2*u - 384, -4*u - 289 = -3*j. Does 3 divide j?
False
Suppose 32*c + 105228 = 111*c. Is c a multiple of 30?
False
Let x = -418 - -723. Does 54 divide x?
False
Let t be (-4 - (-6 - -4)) + 6. Suppose -t + 10 = 6*f. Let g = f + 15. Does 8 divide g?
True
Let u(g) = -48*g - 9. Let d be u(-6). Suppose 3*x + d = 4*f, -f + 68 + 5 = -4*x. Is 23 a factor of f?
True
Let u = 15 + -12. Let w(x) = -u*x + 3 + 8*x + 2 + 2*x**2. Does 19 divide w(-5)?
False
Let g = 137 - 136. Is g - (-166)/2*1 a multiple of 32?
False
Suppose -6*j - 20 = -11*j. Suppose 3*a - 1 - 84 = 2*x, -j*a + 116 = -4*x. Is 7 a factor of a?
False
Let s be -20 - ((-1 - -1) + 1). Let a = s + 26. Suppose -96 = -3*n + a*i, -2*n + i - 3*i + 48 = 0. Is 9 a factor of n?
True
Suppose 51*z - 62*z = -2849. Does 7 divide z?
True
Let x = 868 - 261. Does 31 divide x?
False
Let b = 674 + -205. Is b a multiple of 20?
False
Let h(b) = -b**3 - 8*b**2 - 2*b - 10. Let d(g) = -g**3 - 3*g**2 + 3*g + 4. Let j be d(-3). Let x be ((-2)/j)/(7/(-140)). Is h(x) a multiple of 2?
True
Let r be (12/(-4))/(-9)*18. Suppose -102 = -r*w + 66. Does 10 divide w?
False
Suppose -190*u = -188*u - 4. Suppose -406 - 74 = -u*f. Is f a multiple of 16?
True
Let i = -88 - -166. Let g = -30 + i. Does 24 divide g?
True
Let h(a) be the third derivative of -5/3*a**3 + 0*a - 2*a**2 - 7/24*a**4 + 0. Is 16 a factor of h(-6)?
True
Suppose -3*n - 4*b + 139 = -3*b, b = 5*n - 221. Does 15 divide -3 - ((-420)/n)/((-2)/(-27))?
False
Suppose 4*f + 103 = 5*c, -3*c - 76 = 4*f + c. Let p = f - -25. Suppose 6*h - h - 45 = -q, -p*h - 77 = -q. Is 13 a factor of q?
True
Let u be ((-14)/6)/((-3)/((-45)/(-5))). Let d(f) = 0*f**3 - 4*f**2 + 10*f + 2 + 11*f**2 - f**3 + 0*f**3. Is d(u) a multiple of 18?
True
Suppose -69*z + 1915 = -23408. Does 40 divide z?
False
Let s = 200 + -125. Is s a multiple of 15?
True
Let l = 34 - 32. Suppose -7*h + 51 = 2*y - 2*h, 30 = l*y - 2*h. Does 9 divide y?
True
Suppose 0 = 4*i - 141 - 127. Let j = -111 + i. Let b = j - -69. Is 9 a factor of b?
False
Let w(s) = s**2 + 8*s + 155. Does 29 divide w(-41)?
True
Let w(b) = 9*b - 7*b + b - 7*b + 6*b**2 + 2. Suppose -r + 13 = 3*z, -3*z + 5*r = 3 + 8. Does 11 divide w(z)?
True
Suppose -1428 = -8*p + 5*p. Is p a multiple of 28?
True
Suppose -5*x + 2*b - 4*b + 132 = 0, 0 = 4*b + 16. Suppose -3*i = 4*d + x, -i + 2*d - 26 = -0*i. Let a = 38 - i. Is 11 a factor of a?
False
Is -8*(-178)/12 + 264/(-396) a multiple of 2?
True
Let d(l) = 55*l**2 + 4*l + 9. Let c(b) = 109*b**2 + 9*b + 20. Let u(v) = -4*c(v) + 9*d(v). Is 10 a factor of u(-1)?
True
Let m = 343 + 41. Is 32 a factor of m?
True
Let v be 25/4 - 4/16. Suppose -h = v*t - 2*t - 638, 0 = 2*t - 2*h - 314. Is t a multiple of 34?
False
Suppose -4*s + 4*g = -0*s + 4, 0 = -5*s + 4*g - 4. Suppose s = -5*l + 43 + 117. Is l a multiple of 8?
True
Suppose 29*p - 5762 = 415. Is 12 a factor of p?
False
Suppose 2*y + 5*y = 4*y. Does 32 divide (62 - y) + 1 - (42 - 41)?
False
Let n(z) = -4*z**2 + 6. Let j be n(3). Is 446/10 - 12/j a multiple of 15?
True
Let o = 1116 + -1578. Let u = 777 + o. Does 15 divide u?
True
Let r = 614 + -434. Is r a multiple of 6?
True
Does 62 divide (2300 - (20 - 8)) + 6?
True
Let v = -42 + 38. Is 4 a factor of ((-114)/12 - 3)/(2/v)?
False
Let s(p) = 36*p**2 + 21*p + 29. Is 100 a factor of s(-7)?
False
Suppose 16*g = 18*g - 24. Let z = g + -14. Let k = 12 - z. Does 7 divide k?
True
Let a(q) = q**3 - 19*q**2 - 2*q + 42. Let g be a(19). Suppose -r - 5*d = -99, g*r = 2*d + 42 + 376. Is r a multiple of 26?
True
Let i(z) = 2 + 0*z - z - z**3 - 3*z**2 - 9*z. Is i(-5) a multiple of 18?
False
Let l = 173 + 39. Is l a multiple of 58?
False
Let w(b) = 4*b**2 + 6*b - 10. Is w(-8) a multiple of 6?
True
Suppose -4*d - 5*d = -4*d. Suppose -166 = -s - 2*n, -2*s - 3*n + 327 = -d*n. Is 16 a factor of s?
False
Suppose 376 = d + 108. Is 45 a factor of d?
False
Let l(m) = -9*m - 4. Let w be l(-1). Suppose -w*t - 3 = 3*u, -5*t = -0*t + 15. Is u a multiple of 3?
False
Let d = 135 - 90. Suppose 272 = d*k - 41*k. Is 34 a factor of k?
True
Let d = 5 - 3. Let v(h) = h**2 + 16*h + 18. Let n be v(-15). Is 7 a factor of 14/d - 0/n?
True
Let u(k) = k**3 + 17*k**2 + 22*k + 20. Let v be u(-17). Let d = 624 + v. Does 54 divide d?
True
Suppose -w - 3*w = -64. Let l = w - 10. Suppose 0 = l*y - y - 355. Is 18 a factor of y?
False
Suppose -5*p - 824 = -3*b, 5*b - 7*b - 5*p + 541 = 0. Is b a multiple of 22?
False
Let a = 546 + -289. Does 10 divide a?
False
Does 15 divide (3 + -6 + 2)/(5/(-1465))?
False
Let c(z) = 24*z - 46. Suppose f -