(3 - -12*(-3)/6) + s a multiple of 14?
True
Let f(h) be the second derivative of -h**4/12 + 13*h**3/6 + 4*h**2 - 20*h. Let c be f(10). Let x = 66 - c. Is 2 a factor of x?
True
Suppose 2*q - 85 = 3525. Suppose 1801*h - q*h = -3228. Does 21 divide h?
False
Suppose -2*i + 0*c + 2*c = -10500, 0 = 5*i - 3*c - 26256. Is i a multiple of 30?
False
Suppose 12*y - 111 - 33 = 0. Suppose 2 = -3*r - 0*f - 5*f, 0 = 3*f + y. Suppose 0 = 7*q - r*q - 44. Does 9 divide q?
False
Let i(u) = 239*u - 3. Let o be i(1). Let p = -201 + o. Does 3 divide p?
False
Is 64 a factor of 10867 + 18 + (-8)/(-16)*-10?
True
Suppose 700 = 11*i - i. Suppose -i*n + 453 = -67*n. Does 21 divide n?
False
Does 4 divide (194/388)/((-2)/(-4060))?
False
Is 12 a factor of ((-20528)/(-32))/(4/32)?
False
Is 23 a factor of 1610/20*11/(154/152)?
True
Suppose -35*a + 42*a = -70. Let o(l) = -16*l - 97. Is 21 a factor of o(a)?
True
Suppose 0 = 2*n - 3*a + 7, 5*a - 6 - 23 = -n. Let o be (-6)/9*-6*1/n. Is -10 + 64 + o + 3 a multiple of 10?
False
Suppose 208 = 22*a + 30*a. Is 7 a factor of -14*a/(-420) - 6718/(-15)?
True
Suppose 3*r = 2*k + 1, 5*r = 4*r + k - 1. Suppose 2*i + r*i - 2424 = -4*t, -2*t + 1218 = i. Does 13 divide t?
True
Let q be (28/21)/(18/16551). Suppose q - 90 = 16*z. Does 2 divide z?
False
Suppose -45*q + 170*q = 934984 + 50266. Is q a multiple of 5?
False
Suppose 6*m - 50 = 106. Is (-4)/m + 21328/52 a multiple of 41?
True
Let u = 202 + 326. Suppose -5*t + u = -3*t. Is 44 a factor of t?
True
Suppose 3*m = -10*q + 5*q + 65812, 0 = -2*m + 8. Is 188 a factor of q?
True
Suppose -1156*w - s + 95323 = -1153*w, -12 = -3*s. Is 119 a factor of w?
True
Let m = -805 - -802. Is m - ((-7)/7 - 157) a multiple of 5?
True
Let h(t) be the second derivative of t**3/3 - 27*t**2/2 + 10*t. Let x be h(15). Is 66/x*(-4 + 8) a multiple of 15?
False
Suppose -m - 1 = -5. Suppose -21*n + 17*n + 8 = 0. Suppose -3*o = m*r - 81, n*r - 43 = -0*r - o. Does 8 divide r?
True
Let r(b) = b**2 + 5*b - 11. Let o be r(-7). Let p(x) = 32*x**2 - 23*x**2 + 6*x - 16*x**2 + x**o. Does 21 divide p(7)?
True
Suppose 2*j + 306 - 1832 = -3*a, -4*a = -4*j + 3072. Is j a multiple of 35?
False
Is 8 a factor of 15 - 6 - (-30286)/(-2 - -4)?
True
Let z(o) = 3*o**3 - 6*o**2 + 3*o - 3. Is 10 a factor of z(4)?
False
Let o(z) = -42 - 19*z + 12 + 31*z. Let q be o(5). Suppose 4*n + 2*h - 25 - 25 = 0, -3*h = 3*n - q. Is n even?
False
Let d(m) = 56*m**2 - 66*m - 458. Is 58 a factor of d(-8)?
True
Let u(n) = -333*n + 3. Let l be u(-1). Suppose 0*c + l = -3*c. Let r = -82 - c. Is r a multiple of 10?
True
Suppose x + 15641 = 256*h - 251*h, 0 = 2*h - 2*x - 6250. Is 21 a factor of h?
True
Suppose -3*w + 5*u = -0*w - 22, 0 = -w - 5*u - 6. Suppose -3*b + q + 10 = 0, w*b + 5*q - 7 = -0. Suppose 261 = b*v - 171. Does 33 divide v?
False
Suppose -2 + 8 = 6*n. Let z(l) = -l**2 + 2*l + 21. Let h(x) = x**2. Let q(t) = n*z(t) + 2*h(t). Does 4 divide q(0)?
False
Let s be (0 - -2) + -9 + 10. Suppose 2*n - 377 = -4*c + 281, 0 = -s*c. Is n a multiple of 10?
False
Suppose -11 = -20*d + 49. Suppose d*b - 11*b + 5336 = 0. Is b a multiple of 29?
True
Let y be (2/(-1) - 0)*(-145)/58. Suppose 3*l - 1185 = x + 252, 0 = y*l - 2*x - 2394. Suppose 14*s = 4*s + l. Is 5 a factor of s?
False
Let d = -36742 - -80533. Does 49 divide d?
False
Let p(q) = 7*q - 22. Suppose -4*z + 12*z = 120. Let b be p(z). Let u = b - 78. Is u even?
False
Let b(s) = 42*s + 4529. Is b(-69) a multiple of 13?
False
Suppose 2*s + 19*t = 20*t + 222, 4*s = -5*t + 444. Is 5 a factor of 1748/6 + 74/s?
False
Suppose 59*c - 150 = 65*c. Is ((-30)/c)/((-10)/(-175)) even?
False
Suppose 4*j - j - y = 36332, -2*j + 2*y = -24220. Is 11 a factor of j?
True
Suppose 0 = 4655*v - 4598*v - 20919. Is v a multiple of 5?
False
Let o(q) be the first derivative of 2*q**3/3 - 3*q**2/2 - 30*q - 18. Let v be o(-7). Is 15 a factor of 4/(-4) + v + 3 + -1?
True
Suppose 3*n = 224 + 67. Suppose 64*r - 6 = 62*r. Suppose -r*h + n = -92. Is h a multiple of 45?
False
Suppose o + 2 - 7 = 0, 5*v - o - 25 = 0. Let f be v*13 + ((-16)/(-4) - 1). Suppose -5*y = -836 + f. Is y a multiple of 10?
False
Let j = 44096 - 20982. Is 127 a factor of j?
True
Let t = -42 + 30. Let v be 4/t*(-1 + 1). Is 19 a factor of (-1 + -112 - v)*-1?
False
Suppose 119*z - 104*z - 12615 = -l, l = -3*z + 12663. Does 17 divide l?
False
Let c be (-1 - -2)*(-27)/(-27) - 642. Let t = 1181 + c. Is t a multiple of 54?
True
Let z(n) = -3 - 2 - 12 - 39*n + 19. Is z(-7) a multiple of 25?
True
Suppose -3*l + 2*l = -15. Suppose 290 + 122 = 2*x. Is l/10 - x/(-4) a multiple of 7?
False
Let j(l) = 1893*l**2 - 4*l - 4. Let r be j(-2). Suppose i + 7*i - r = 0. Suppose 0 = 6*d - 451 - i. Is d a multiple of 13?
False
Suppose 2*x = -4*b + 70, -17 = 5*x - 4*b - 150. Suppose 34*s = x*s + 4875. Is 25 a factor of s?
True
Let n = 304 + 65. Let i = n - -100. Is 9 a factor of i?
False
Suppose 585*g - 439*g - 518884 = 0. Is 28 a factor of g?
False
Suppose 10*i = 48*i + 2052. Let r = -13 - -79. Let h = r - i. Is h a multiple of 15?
True
Let k(q) = q + 1. Let z(j) = -j**2 - 7*j. Let l(v) = 5*k(v) - z(v). Let x be l(-12). Suppose 47 = -2*i + 5*s + 315, i + x*s - 104 = 0. Is 18 a factor of i?
False
Suppose 88460 = 134*b - 114*b. Is b a multiple of 97?
False
Suppose 2*s - 660 = -4*s. Let n be s/25 + 6/10. Does 39 divide 7/(175/585)*n?
True
Is 162 a factor of 3346/105 - 32 - (128762/(-15) + -2)?
True
Let i(q) = 3*q**3 - 2*q**2 - 3*q - 1. Let s be i(-1). Is ((-158)/(-6) + s)*(11 + 1) a multiple of 14?
True
Let s(x) = 2*x + 3. Let y be s(3). Suppose 99 - 36 = y*h. Suppose 2*m - h*m = -520. Does 23 divide m?
False
Let c be 1/5 + (2 - 13876/(-20)). Suppose 40*m - 34*m = c. Does 7 divide m?
False
Suppose 11*t - 8 = -30. Let p(b) = 5 + 3*b**2 + 3*b - b**2 + b**2 + b**3 + 0. Is 3 a factor of p(t)?
True
Let m = 157 + -154. Suppose m*u - 2*s - 650 = 0, -2*s = s - 15. Is u a multiple of 44?
True
Let w = 17 + -16. Is (31 - 13)/(((-9)/(-210))/w) a multiple of 15?
True
Let s(b) = -16*b**2 + b - 9. Let t be s(7). Let d = t - -1188. Is 67 a factor of d?
True
Let b(u) = 3*u**2 - 4*u - 5. Let v(c) be the third derivative of c**5/60 + 3*c**4/8 + 3*c**3/2 - 27*c**2. Let n be v(-7). Is b(n) a multiple of 45?
True
Suppose a + 8 = 9. Let x be 3/((-4 - -3)/a). Is 32 a factor of 3 - (-2 - x - 128)?
False
Suppose -4*y + 28 = 0, 3*b = -4*y + 298 + 75. Does 3 divide b?
False
Let l = 6329 + -3717. Is l a multiple of 5?
False
Let d(j) be the first derivative of 1 + 2/3*j**3 - 1/2*j**2 + 2*j. Is 2 a factor of d(1)?
False
Suppose 4*m + 2*t + 1082 = 0, -m + 0*t - 5*t = 293. Let v = m + 464. Suppose v = 4*n - 164. Is 18 a factor of n?
True
Let j = 566 + -443. Is 12 a factor of j?
False
Suppose 72*p - 1007183 = 62593. Does 17 divide p?
True
Let i(o) = 82*o**2 - 151*o + 1632. Does 167 divide i(13)?
True
Let c = 35 - 19. Let x be -2*(-4)/c*18. Suppose -3*s = -k - x + 22, 5*k + 3*s = 65. Is k a multiple of 13?
True
Let a = 5781 + -4017. Is a a multiple of 147?
True
Let b(i) be the second derivative of 3*i**5/40 - 5*i**4/3 - 10*i**3/3 + 37*i. Let f(w) be the second derivative of b(w). Is 25 a factor of f(10)?
True
Let d = 789 + -1234. Let r = d + 1030. Suppose -4*c - r = -9*c. Is c a multiple of 13?
True
Suppose -4*q + 76*s - 73*s = -1062, 3*q = s + 794. Is 8 a factor of q?
True
Let a(t) = t**3 - 21*t**2 + 21*t - 40. Let s be a(20). Suppose -4*n = 3*b + 40, b = 2*n + 3*n + 69. Is 10 a factor of s/3*(7 + n)?
True
Let h = -111 - -116. Suppose -5*y + 5*u - 40 = -7*y, -4*y + h*u + 110 = 0. Is y even?
False
Let m = 233 + 2374. Suppose 9*j - m - 795 = 0. Is j a multiple of 9?
True
Let y = -6761 + 14235. Is 101 a factor of y?
True
Let o(s) = -s**3 + 10*s**2 + 8*s + 33. Suppose -5*r + 55 = -0. Let u be o(r). Suppose u = 3*p + 3*j - 5*j - 443, -j = -5. Is p a multiple of 30?
False
Suppose 150 + 772 = 5*b + 4*t, -566 = -3*b + 4*t. Suppose 2*s - b = -198. Is s/(-45) + (-448)/(-15) a multiple of 6?
True
Suppose 274*u + 43*u - 508810 = -93*u. Does 8 divide u?
False
Suppose 0 = 2*s + 3*s - 35. Let m(d) be the second derivative of -d**5/20 + 2*d**4/3 + 5*d**3/6 + 7*d**2/2 - 420*d. Does 13 divide m(s)?
True
Does 38 divide (11 + 70/(-5))*(-3 + 1) - -2616?
True
Suppose -a - 5 = 0, 3*d - 2*d + 5*a = -25. Is d - 1888/(-12) - 3/9 a multiple of 5?
False