l**4/2 + 56*l**3/3 - 4*l**2 + 34*l. Is 42 a factor of q(-10)?
True
Let k(l) = -l**3 + 15*l**2 - 11*l + 32. Let t be k(14). Let g = -239 - -745. Suppose -2*n + g - t = 0. Does 24 divide n?
True
Let s = 375 - 165. Does 36 divide s/(-20)*(-144)/2?
True
Let o = -1807 - -1233. Let a = -123 - o. Is a a multiple of 53?
False
Let c(r) = 59*r**2 - 2*r + 36. Does 6 divide c(4)?
True
Let i = -14685 - -25665. Does 30 divide i?
True
Suppose -192 = i + 729. Does 6 divide (-6)/(-9)*(-6 - (i + 6))?
True
Let j = 303 - 327. Is (-2958)/j - (-5)/(-20) a multiple of 41?
True
Suppose -3*t = -2*v + 1 - 12, -t + 5 = 0. Suppose 22*r - 25*r + 5*h + 1042 = 0, -4*r = v*h - 1398. Does 5 divide r?
False
Let i be 4 - (2/2)/((-4)/8). Suppose i*s - 21 - 183 = 0. Let h = -27 + s. Is h even?
False
Let z(j) = -j**3 - 5*j**2 - 9*j - 10. Let c be z(-4). Suppose -5 - c = m. Let x = m + 56. Is x a multiple of 11?
False
Let r(v) = 21*v**2 - v + 3. Let d be r(-2). Suppose 5*x - 41 = y, -y - 3*x = 4*y + 317. Let n = y + d. Is n a multiple of 10?
False
Suppose 22*l + 81200 = 22*l + 29*l. Is 56 a factor of l?
True
Let d be 15 - (35/5 + -2). Suppose w = d*w. Is (-2 + 1 + (0 - w))*-24 a multiple of 5?
False
Suppose 0*t + 98 = 7*t. Is (-4 - (-63)/t)*234 a multiple of 22?
False
Let f(q) = -48*q - 93. Suppose 2*w + 9 = -y, 0 = -3*y - 8 + 5. Is f(w) a multiple of 8?
False
Let u(h) = -2*h**2 - 2 - h**3 + 4 - 4*h**2 + 8*h**2 - 2*h. Let q be u(2). Does 15 divide 0 - q/10 - (-224)/5?
True
Let v be (0 - (-5)/(-2))*2. Let b = 8 - v. Let h = -7 + b. Is 4 a factor of h?
False
Is 1431/(-6)*(-34932)/1107 a multiple of 2?
True
Suppose 3*d - 60 = 7*d. Let f be d/(-10) - (-1)/2. Suppose -2*h - f*t + 5*t = -27, 46 = 4*h + 2*t. Does 2 divide h?
True
Let w(t) be the first derivative of -11*t**3/6 + 8*t**2 + 24*t - 16. Let q(n) be the first derivative of w(n). Is 16 a factor of q(-3)?
False
Suppose -4*w + 4*x = 701 - 1749, -w + 5*x + 270 = 0. Is w a multiple of 5?
True
Let q(t) = t**2 - 44. Let z = -296 - -288. Is 20 a factor of q(z)?
True
Let w(f) = -15*f**2 - 23*f + 31. Let m be w(-7). Let q = m - -1358. Is 18 a factor of q?
False
Let a(c) = -416*c**3 - 13*c**2 - 14*c + 21. Does 4 divide a(-2)?
False
Suppose -47*j + 217117 = 4*z - 50*j, 3*z = j + 162839. Is 23 a factor of z?
True
Suppose 0 = -0*u + 7*u - 7. Let w(d) = 35*d - 90 - 12*d + 91. Is w(u) a multiple of 12?
True
Let q be (-132)/(-30) + (-8)/20*1. Suppose p - 184 = 5*t, q*t = -2*p + 430 - 48. Does 15 divide p?
False
Let j(d) = -130*d - 18. Let b be j(-2). Suppose -c = 4, l + 3*c - 5*c = b. Is l a multiple of 11?
False
Let m(x) = -x**3 + 23*x**2 + 4*x - 80. Let g be m(23). Suppose g*w - 783 = 1509. Does 6 divide w?
False
Suppose 7 = w - 5*u + 3*u, w + 3*u - 32 = 0. Suppose 3*t - 1 = w. Suppose -t*c = -5*c - 34. Does 17 divide c?
True
Let i be 12 + (-380)/30 + 17/3. Is 1*(1016 - i - -8) a multiple of 14?
False
Does 18 divide 2281 - (-58 - -59)*(0 + -5)?
True
Let b = 229 - -15. Suppose -4*u = 2*m - 3*m - b, -u + 56 = m. Does 15 divide u?
True
Let j(d) = d**3 - 12*d**2 - 14*d + 14. Let i be j(13). Let u be i + -3 + 6 + 0/(-1). Suppose -u*o + 26 = -14. Is 7 a factor of o?
False
Let a = -3173 - -4892. Is 80 a factor of a?
False
Suppose t + 4*h = 25792, t + 8*h = 13*h + 25765. Is 20 a factor of t?
True
Suppose 0 = -3*l - 15, 20467 = 2*u + 5*l - 37640. Is 205 a factor of u?
False
Is (-444912)/104*(-9)/6 a multiple of 93?
True
Suppose 0 = -29*o + 23*o + 1188. Let s = -133 + o. Is 7 a factor of s?
False
Let x(b) = -518*b - 2654. Does 64 divide x(-37)?
True
Suppose 10*k + 312 = 2*k. Let y = k - -51. Let b = 92 - y. Is 8 a factor of b?
True
Let f(z) = -z**2 - 3*z. Let p = 94 - 97. Let n be f(p). Suppose 0 = l - n*l - 48. Is l a multiple of 5?
False
Suppose -3*o - 2 = -20. Let f be 6/(-24)*5*2*o. Is 34 a factor of 6/f - (-667)/5?
False
Let m(n) = -6*n + 8820. Is m(-70) a multiple of 60?
True
Let t(z) be the first derivative of -z**4/4 - 5*z**3/3 - 21*z**2/2 - 24*z - 98. Is 14 a factor of t(-8)?
True
Let q(m) = -3*m - 16. Let k be q(7). Let z = k - -38. Is 8 a factor of -2 + (z - -35)/2?
True
Is 3 a factor of 498 + (-5 - (4 + -6)) + 4 + 0?
False
Suppose 11*g = -g - 468. Let j(z) = -z**2 - 44*z - 18. Is 17 a factor of j(g)?
False
Suppose -2*a + 5*b = 2*b + 19, 0 = -5*a + 4*b - 37. Let y(x) = -10*x**3 - 10*x**2 - 4*x + 15. Does 11 divide y(a)?
False
Suppose 257*w - 12870 = 248*w. Let m = -581 + w. Does 12 divide m?
False
Suppose 5*r = 4*r + 7. Let a be (r/(-14))/((-3)/(-360)*-1). Suppose -484 = -64*p + a*p. Is 11 a factor of p?
True
Let a(p) = 4*p**2 - 67*p - 273. Is a(57) a multiple of 45?
False
Let k = -671 + 674. Suppose -20*h = -2*t - 16*h + 560, k*t - 862 = -5*h. Does 13 divide t?
False
Let c(s) be the second derivative of -263*s**3/6 + 5*s**2 - 72*s. Is 7 a factor of c(-1)?
True
Let b(c) = -c**3 + 4*c**2 - c - 95. Let o be b(0). Let u be (o/25 - -5)*20/6. Suppose 386 = -0*r + u*r - x, 5*x = r - 106. Is r a multiple of 24?
True
Let f(u) = 41*u + 3391. Let y be f(0). Suppose 5429 = 18*a - y. Does 35 divide a?
True
Let w be (20/(-50))/((-2)/10) - 9. Does 18 divide (-1)/(426/61 + w)?
False
Let r(k) = 2*k**3 - 86*k**2 + 74*k + 152. Let u be r(42). Let x = 261 + -743. Let q = u - x. Is 41 a factor of q?
False
Let a(s) = 64*s**2 + 606*s - 47. Is a(-32) a multiple of 31?
True
Let p(u) = -12*u**2 + 8*u + 12. Let o be p(-2). Let s = o + 36. Let k = s + 24. Is k a multiple of 5?
False
Suppose 10965 - 61329 = -4*a - 4*u, -6*u = -42. Is 18 a factor of a?
False
Suppose -42 = -7*a + 4*a. Let i be 4/a + -1 + (-1692)/42. Let g = 39 - i. Does 10 divide g?
True
Let u be -28*-3*1/12. Is 13 a factor of (35/(-15))/(u/(-273))?
True
Let p(l) be the second derivative of -l**3/3 + 13*l**2 - 6*l. Let i be p(12). Suppose 5*y - 11 = -26, -5*w - i*y = -329. Does 12 divide w?
False
Let t(c) = 65*c + 185. Does 100 divide t(71)?
True
Suppose -22*a + 66 = -11*a. Suppose -v + 2*u + 218 + 99 = 0, -2*u - a = 0. Does 33 divide v?
False
Let r = -131 - 154. Let v = 431 + r. Is 48 a factor of v?
False
Suppose 20*q - 3 = 19*q. Suppose -2*y - q*y = 0, 0 = -5*s + 4*y. Let b(m) = -m**3 - m**2 + 3*m + 6. Is 2 a factor of b(s)?
True
Suppose 5*z = -q + 1425 - 291, 0 = 2*z - 8. Is q even?
True
Let b = 27990 - 9371. Is b a multiple of 35?
False
Let i = -369 + 356. Let v(q) = 4*q**2 + 27*q + 154. Is 37 a factor of v(i)?
False
Suppose -4*f - 28*v + 87880 = -24*v, f - 21980 = v. Is f a multiple of 15?
True
Suppose -4*d + 13587 = 2*y - 9387, 0 = 3*y - 4*d - 34441. Is 10 a factor of y?
False
Suppose 5*x = -25, -2*r + 8522 - 1693 = x. Does 17 divide r?
True
Is 50 a factor of 706/((-3)/3)*(-250)/100?
False
Let b be 2 + (-63)/2 + (-10)/(-20). Let x be 29/b - (0 + -5). Suppose -x*q + y + 0*y + 865 = 0, 3*q - 3*y - 660 = 0. Is q a multiple of 14?
False
Let g be (11/(-4))/(-1*3/12). Suppose 0 = -g*z + 2*z + 666. Suppose -6*d - 3*u + 30 = -5*d, -3*d - 5*u + z = 0. Is d a multiple of 7?
False
Let v(s) = 46 - 118 - 21*s + 7. Is v(-10) a multiple of 8?
False
Suppose 39660 = 3*z - 3*v, 39678 = 3*z - 21*v + 24*v. Is z a multiple of 16?
False
Suppose -28*l = 251177 - 783821. Is l a multiple of 51?
True
Suppose 4*g + 6922 = 2*h, h + 3*g - 5028 + 1587 = 0. Let y be 3/8 - h/(-8). Suppose -8*c + y = -0*c. Is c a multiple of 27?
True
Let n(u) = 24*u + 17. Let r be n(4). Suppose 189*l = 190*l - r. Is 14 a factor of l?
False
Let l = 89 - 83. Let s be ((-4)/l)/(22/429). Does 19 divide s/(117/27)*(-38)/6?
True
Let j(d) = -d**3 - 19*d**2 + 31*d + 137. Is 30 a factor of j(-22)?
False
Suppose 4*g = -3*m + 8*m - 106, 0 = -4*m + 5*g + 92. Let y = m - 58. Is (y/(-25))/(3/30) a multiple of 4?
True
Let z(s) = -s**2 - 8*s + 24. Let d be z(-9). Does 9 divide (10/d - -1)*90?
False
Let l(j) = j**3 + 19*j**2 - 29*j - 53. Let b be l(-20). Let a = b + -127. Suppose 2*z + g - 50 - 231 = a, 0 = 4*z + g - 561. Does 7 divide z?
True
Suppose -24 - 74 = 5*g - 4*t, 3*t + 9 = 0. Let r(l) = -38*l + 378. Let p be r(11). Is p/g + -2 + 21112/77 a multiple of 14?
False
Suppose -2*d + 6*d = -3*t - 47, t = -5. Let y = d + 22. Does 19 divide y/6 + -2 + 347/3?
False
Suppose 11*h - 156527 + 114491 = 286446. Does 60 divide h?
False
Let j = 609 - 293. Let f = j + -264. Is f a multiple of 3?
False
Let k = 2 + 2. Let o be 123/3 + (3 - k). Does 15 divide 3305/o + (-6)