 multiple of 9?
True
Let y(d) be the third derivative of 0 + 3/2*d**3 + 1/15*d**5 + 0*d + 1/4*d**4 - 2*d**2. Is y(-3) a multiple of 27?
True
Suppose 3*n - 2*z + 7375 - 35681 = 0, 0 = 5*n + 3*z - 47202. Is 22 a factor of n?
True
Suppose 0*p + 12718 + 19886 = 13*p. Does 18 divide p?
False
Suppose 4*q - 343 = 3*v, 3*q - 5*q = 4*v - 166. Suppose -n + 3*i + 2*i + q = 0, 125 = 2*n - i. Does 30 divide n?
True
Let h = 122 - 237. Is 15 a factor of (3*49)/1 - (112 + h)?
True
Let q = -277 + 288. Suppose -16*w = q*w - 7047. Is 9 a factor of w?
True
Is 38 a factor of (1*-1731)/(93/(-12) + 7)*1?
False
Suppose 4*y - 7108 - 3938 = -26*b, 8301 = 3*y + 3*b. Is y a multiple of 332?
False
Suppose 23*p - 20250 = 14*p. Suppose p = 6*l - 3*l. Let y = l + -426. Does 18 divide y?
True
Let f be 35/(-70) + 11/2*1. Let s(k) = 9*k**3 - 4*k**2 + 2*k - 20. Is s(f) a multiple of 93?
False
Let u = 19856 + -5771. Does 15 divide u?
True
Suppose 132*i - 2*l - 9390 = 130*i, -4 = 2*l. Does 13 divide i?
True
Let s(p) = -28*p - 16. Let l be 90*(14 + -11 - 5/2). Suppose -l = 9*o - 9. Is s(o) a multiple of 24?
True
Let o(x) = 4*x**3 - 14*x**2 + 10*x - 8. Let z(h) = -8*h**3 + 29*h**2 - 22*h + 17. Let v(w) = 7*o(w) + 3*z(w). Does 15 divide v(5)?
True
Suppose 0 = -128*x + 129*x - 345. Is 23 a factor of (x/(-10))/(9/(-42))?
True
Let f = -7664 - -11501. Let m = f - 2692. Does 40 divide m?
False
Suppose 0 = 34*a - 167435 + 40547. Is a a multiple of 12?
True
Suppose 3*z - 1869 = 2*q + 1909, -2*z - 5*q + 2525 = 0. Does 5 divide z?
True
Is 29 a factor of ((-1 - 0) + -143)*441/(-18)?
False
Let o = -2422 + 3748. Suppose o = 18*b - 4056. Is b a multiple of 23?
True
Suppose -a + 4*c = -0*c + 18, c = 5*a + 33. Let t be (-7)/(-2) - (-3)/a. Does 38 divide ((-8)/10)/(t/(-465))?
False
Suppose -5*f = -4*y + 3*y - 43, 3*f - 33 = -3*y. Suppose -f*o - 20 = -587. Does 14 divide o?
False
Let i(l) = 42*l**3 + 4*l**2 - 2. Let o be i(1). Suppose 21*m = 19*m + o. Is m a multiple of 8?
False
Let b = -1 + 1. Let i be (-858)/(-22) - (4 + -1). Suppose b = -3*m + 2*m + i. Does 12 divide m?
True
Let j(z) = -28*z + 17*z + 94 + 30*z. Is j(15) a multiple of 69?
False
Suppose -10*q + 14*q - 144 = 0. Suppose s = 3*l - 84, 0*l + 3*s = l - q. Is (90/l)/((8/6)/4) a multiple of 3?
False
Suppose -281884 = -386*x + 348*x. Is 15 a factor of x?
False
Let k be 1/8*2 - 216/(-32). Suppose 0 = -4*i + k*i - 27. Let r(z) = -z**2 + 16*z. Does 7 divide r(i)?
True
Let v be (2 - (-2 + 5)) + 31. Let i = v + -26. Suppose -i*s = -4*l - 320, -2*s - 2*l + 260 = s. Is s a multiple of 7?
True
Let p(c) = -26*c**3 - 69*c**2 - 12*c - 79. Is p(-8) a multiple of 12?
False
Suppose 5*q + 33 = 18. Let w(u) = -817*u - 12. Let d be w(q). Is 27 a factor of d/45 - 1/5?
True
Let m = -32 + 62. Let q = m + -27. Suppose 0 = 3*a + r - 190, -314 = -5*a - 0*a - q*r. Is 10 a factor of a?
False
Let j(b) = b**3 - 14*b**2 + 3. Let n be j(14). Suppose -158 = n*u - k, -2 = k + 2. Is (u/(-81))/(2/222) a multiple of 12?
False
Is ((-99)/(-10)*525/(-90))/((-17)/3196) a multiple of 141?
True
Suppose 0 = -26*d + 172655 - 45723. Is 40 a factor of d?
False
Suppose 2*a = -4*t + 6*a + 2532, 5*a = -2*t + 1245. Suppose 42 = -4*n + t. Is n a multiple of 18?
False
Suppose 7911 - 58945 = -38*d + 7866. Is 155 a factor of d?
True
Let c be (-13)/(117/72)*-71. Let t = c - -167. Is t a multiple of 49?
True
Let d be 531/12 + 4/(-16). Suppose -u = -3*b - b + 11, 5*b = -4*u - d. Let v(i) = -2*i**3 - 21*i**2 + 9*i - 1. Is v(u) a multiple of 5?
False
Suppose 0 = -19*a + 282817 + 326627. Is 12 a factor of a?
True
Let t(j) = -4*j**3 - 193*j**2 + 112*j + 57. Does 4 divide t(-49)?
True
Suppose 8*v - 7*v = -10. Let h be (-66)/110 + (-6)/v. Suppose 6*q = q + 3*d + 132, h = -4*d - 16. Is 6 a factor of q?
True
Suppose 7*h = 4*h - 4*o + 8, 3*h = 2*o - 4. Suppose -2*f + r = -446, h*r - 3*r - 438 = -2*f. Does 15 divide f?
True
Suppose -4*q = -21 + 5. Suppose 236 = q*v - b, 3*v = 7*v + b - 236. Suppose -v*u - 360 = -64*u. Is u a multiple of 24?
True
Let z = 8516 + -3461. Is 4 a factor of z?
False
Suppose -8*i = -6*i + 6*i. Suppose -3*m + 320 - 116 = i. Is m a multiple of 34?
True
Let t(r) = -r**3 + 183*r**2 - 10*r + 40. Is 39 a factor of t(9)?
False
Is 42 a factor of 3*485 + 2/(-6) + 190/(-114)?
False
Suppose 4*i - 53 = -m, 19 = 3*i - 3*m - 17. Let y be 3/4*(21 - i). Suppose -y*l + l + 290 = 0. Does 29 divide l?
True
Let a(x) = 771*x + 499. Is a(10) a multiple of 69?
False
Let b = -11011 - -18802. Is 7 a factor of b?
True
Suppose -2*u - 130 = -2*x, 5*x - 4*u - 261 = 66. Suppose -x = -3*r + 2*r. Let l = r + -55. Is 12 a factor of l?
True
Let f(c) = 1 + c**2 - 14*c + 11*c - 4*c**3 + 3*c**2 + 8*c**3. Is 8 a factor of f(3)?
True
Let s(d) = -35 - 3*d + 4*d + 43. Let i be s(-9). Let q = i - -20. Is q a multiple of 19?
True
Let j(l) = -l**2 - 3*l + 3. Let c be j(-3). Suppose c*q - q = 20. Does 6 divide 2/3*63/35*q?
True
Let q(c) = 41*c + 14. Let x be q(6). Let s = x + 36. Is 37 a factor of s?
True
Let j = -7036 - -2288. Let w = -3320 - j. Is 12 a factor of w?
True
Let x = -535 - -839. Let n = 1 + 4. Suppose -186 - x = -n*h. Is h a multiple of 22?
False
Suppose -4*n - 20506 = -3*s - 89181, 0 = n - 3*s - 17180. Does 87 divide n?
False
Suppose 4*s = -3*v + 8095, -v - 2015 = -10*s + 9*s. Is 101 a factor of s?
True
Let x be (-3*16/(-30))/((-6)/(-75)). Does 26 divide (x + -176)*(-2 - 0)?
True
Let p(t) = -2*t**3 - 5*t**2 + 3*t + 4. Let b be p(-3). Does 27 divide 107/b - (2 + -7)/20?
True
Suppose 5*g + 14 = 2*m, 5*g + 0*m + 32 = -4*m. Does 41 divide 154*((-14)/g - 0) - 6?
True
Let r(n) = 3*n**3 - 13*n**2 + 3*n - 54. Is 8 a factor of r(8)?
False
Suppose -24 = -2*y - 24. Suppose y = 5*j - 2*j + 4*j. Suppose j = 4*p + 4*w - 640, -310 = -2*p - 0*w - 4*w. Does 15 divide p?
True
Let j(o) = -o**3 - 8*o**2 - 2*o - 3. Let w be j(-8). Suppose 1450 = w*s - 1189. Let r = 284 - s. Does 9 divide r?
True
Let n(j) = 404*j - 68. Let q be n(-3). Let b = -837 - q. Is b a multiple of 52?
False
Let i(k) = 8*k**3 - 8*k**2 - 7*k + 9. Let v be i(6). Let b = -837 + v. Suppose -x + 6*x - b = 0. Is 18 a factor of x?
False
Let y be (-1)/2*-46 - (-3 + 4). Let q(m) = 8*m + 204. Is 10 a factor of q(y)?
True
Suppose 26*n - 108190 - 226612 = 0. Is n a multiple of 79?
True
Suppose 3*y - 5*f + 633 = 2969, 0 = -3*y - 5*f + 2356. Is 17 a factor of y?
True
Suppose 0 = -v + 3*d - 0*d + 22, -d = 5*v - 30. Let n(x) = -14*x**2 + 2*x - v + 6*x**2 + 9*x**2. Does 34 divide n(11)?
True
Let m = 83 + -77. Suppose 0*g = 5*g - 425. Does 17 divide g*(-12)/(-9)*m/10?
True
Let y be ((-32)/(-6))/((-1)/(-3)). Suppose y = -4*u, -3*t - 5*u = -0*t - 214. Suppose -2*l - 2*s + t = 0, -4 = -2*l + 2*s + 54. Is 17 a factor of l?
True
Let c(o) = o**2 + 7*o + 22. Let r be c(-3). Let x be (44/55)/(4/r). Suppose 2*u = -0*t + t + 10, -u + x*t + 11 = 0. Does 2 divide u?
False
Let v = -11218 - -17014. Is 7 a factor of v?
True
Suppose -1184 = -582*x + 581*x. Is 9 a factor of x?
False
Let t = 100 - 16. Let j = t + -58. Suppose -j*z + 28*z = 260. Does 25 divide z?
False
Suppose 19*p + 26 = 20*p. Let l(h) = -4*h**3 + p + 3*h**3 - 38 - 9*h - 10*h**2 + 30. Does 4 divide l(-9)?
False
Let n be ((-270)/(-25) - 6)*30. Let v = 163 - n. Is 8 a factor of v?
False
Let b = 152 + -75. Suppose -12*f + 13*f - b = 0. Is 11 a factor of f?
True
Suppose 3*w - 24 = -3*w. Suppose -907 + 43 = -w*h. Is 36 a factor of h?
True
Let p be -5 - 1184/(7 - 15). Suppose -3*r + v = -p - 113, -3*r + 232 = 5*v. Is 6 a factor of r?
True
Let f(q) be the first derivative of 2*q**3/3 + 33*q**2/2 - 36*q + 36. Does 44 divide f(-29)?
False
Suppose 115*t - 1154442 + 170502 = 0. Is t a multiple of 26?
False
Let r = -2910 + 4964. Is 53 a factor of r?
False
Is 13 a factor of (4/(-7))/(-32 + 8677720/271180)?
True
Let q be ((-10)/(-3))/((-6)/(-9)). Suppose q*l = 13*l - 1200. Does 29 divide l?
False
Let i = 29 - 27. Suppose -i*c + 3*u + 184 = 74, -3*u + 254 = 5*c. Let w = c + -36. Is 4 a factor of w?
True
Let i = -2775 + 3993. Is 87 a factor of i?
True
Let q(m) = 10*m**2 - 3*m + 9. Suppose -5*g + 43 = 22*k - 26*k, -3*k - 27 = -2*g. Is 13 a factor of q(k)?
True
Suppose 0 = -118*h + 1458242 + 824959 - 695393. Is h a multiple of 8?
True
Does 15 divide 49123 - 10/(-6)*(-4)/(-12)*-9?
False
Suppose 3*q - 90 = -3*z, 2*z - 4*q - 35 = -5. Suppose