first derivative of -l**3/3 + l**2/2 - l + 23. Let t(d) = d**3 - 6*d**2 + 5*d - 6. Let p(a) = 2*c(a) - t(a). Is 4 a factor of p(3)?
True
Let o be (-4 - 8/(-5))/(2/(-20)). Suppose 4*a + o = 2*v - 6*v, -5*a - 3 = -4*v. Does 11 divide -1*(4/6 + 35/v)?
True
Let i be 0/(4 + -8) + 14. Let p be (-52)/7*(-49)/i. Does 17 divide 7 - 3 - (-1 - p)?
False
Let h be 22/(-33) - (0 + (-105)/9). Suppose -h*q - 204 = -2888. Is 13 a factor of q?
False
Let f = 58 + -237. Let z = f - -431. Is z a multiple of 12?
True
Suppose 232 = -4*k + 704. Suppose k*o - 123*o = -190. Is 34 a factor of o?
False
Let h(q) = 20*q + 128. Let b be h(-5). Suppose -344 - 80 = -2*p. Suppose -b = -5*m + p. Is m a multiple of 12?
True
Let p = -3496 - 240. Let j = -2650 - p. Is 9 a factor of j?
False
Let n(w) = 1. Let v(t) = 266*t**2 - t + 3. Let k(c) = -2*n(c) + v(c). Let z be k(1). Suppose 2*p = 4 - 2, 3*q + 2*p - z = 0. Is 22 a factor of q?
True
Let i = -238 + 358. Let k = 121 - i. Suppose l + 2 = k, c - 33 = 5*l. Is 5 a factor of c?
False
Suppose 5622 = 3*m - 3*g, 0 = -2*m + 3*g - 0*g + 3747. Suppose -m = -20*h + 5*h. Does 8 divide h?
False
Suppose 1935*x - 149256 = 1927*x. Does 113 divide x?
False
Let x(m) = -m. Let g be x(-6). Suppose -78 = -3*p + 2*k, -p + 5*k + g + 7 = 0. Let y = p - -54. Is 10 a factor of y?
False
Is 36425/55 - 3/11 a multiple of 9?
False
Suppose 12 = 3*h, -479*i + 483*i - 1368 = 4*h. Is 92 a factor of i?
False
Let s = 34 + -32. Suppose g = 5*q - 10*q + 37, s*q = -g + 22. Does 3 divide g?
True
Does 20 divide 43972 - (-21 + 4 + 9)?
True
Let y be (-6)/10 + ((-166)/10)/(-1). Let v be (-4)/y*-26 - (-1)/(-2). Suppose -416 = v*i - 8*i. Is i a multiple of 52?
True
Suppose 0*w + w - 22 = 4*d, -2*w + 5*d + 29 = 0. Suppose 7*q + 4*t - 160 = w*q, -4*t = 3*q - 96. Is q a multiple of 2?
True
Let g(m) = m**3 - 36*m**2 - 35*m + 11. Let q be (74/3)/((-10)/(-15)). Does 7 divide g(q)?
False
Let m(w) be the third derivative of 0 + 22*w**2 + 197/24*w**4 + 3/2*w**3 + 0*w. Does 15 divide m(1)?
False
Suppose 0 = -5*c - 2*v - 1 + 21, 0 = c - 2*v - 4. Suppose -3*f + c*q = -1, 0*f - 2*q + 12 = -4*f. Let o = 29 + f. Is o a multiple of 3?
True
Let u(z) = -4982*z - 8158. Is u(-5) a multiple of 16?
True
Does 5 divide 6/(-7*1 + (-851)/(-115))?
True
Suppose 0 = -2*d + 5*n + 56, -n + 116 = 4*d + 4. Suppose -12*t = -10*t - d. Is t even?
True
Let b be 2 + -4 + (48 - -2). Let a = b + -54. Let y = a - -63. Does 7 divide y?
False
Let r(b) = 2 + 32 + 21*b**2 + 21*b - 19*b**2. Suppose -51 = 5*n + 29. Does 35 divide r(n)?
True
Suppose 0 = 9*t - 3*t - 8160. Is t a multiple of 8?
True
Let p = 161 + -143. Does 2 divide (-49)/(-2) - 45/p?
True
Let u = 200 + -186. Suppose u*q - 321 = 267. Is q a multiple of 7?
True
Let o(l) = -9*l - 37. Let w be o(-6). Let g(s) = 3*s**2 - 41*s + 22. Does 48 divide g(w)?
True
Suppose 7*v + 57 = -111. Let k = v + 12. Let n = 63 - k. Does 14 divide n?
False
Let s(j) = j**3 + 12*j**2 - 17*j + 16. Is 9 a factor of s(16)?
True
Let z(q) be the third derivative of 0 - 17*q**2 + 0*q + 1/60*q**5 - 1/12*q**4 + 20/3*q**3. Does 8 divide z(0)?
True
Let x(t) = t**3 - 2*t**2 + t - 479. Let k be x(0). Let c = -246 - k. Does 31 divide c?
False
Suppose 5*j + 3*n - 62 = 0, -j + 3*n - 13 = -11. Suppose -j*b = 118 - 508. Suppose b = 7*a - 101. Is a a multiple of 6?
False
Let b = 3612 + -2815. Does 20 divide b?
False
Suppose 4*r + 6992 + 15072 = -4*t, 5512 = -r - 2*t. Is (-9)/(-6)*r/(-72) a multiple of 23?
True
Suppose -10*i = 3*i - 72215. Does 101 divide i?
True
Suppose 2*n + 120 = 5*v + 937, 3*n - 1183 = -v. Is 18 a factor of n?
True
Suppose 10149*o - 10163*o + 175266 = 0. Is 13 a factor of o?
True
Let f(c) = -110*c - 8. Let g be f(-7). Suppose d - 28 = -3*d. Suppose g = -4*a + d*a. Does 15 divide a?
False
Let t(s) = 654*s**2 + 71*s - 294. Does 119 divide t(7)?
True
Let c(x) = 76*x**2 - 20*x - 544. Is c(-22) a multiple of 40?
True
Let o(b) = -b**3 - 2*b**2 + 4*b + 4. Let q be o(-3). Let u(s) = -8*s + 8. Let f be u(q). Does 17 divide 34/(-4)*(f + -2)?
True
Suppose v + 17 = -0. Let b = -8 - v. Suppose 14*i - b*i = 145. Is i even?
False
Suppose -12 = f + 3. Suppose 0 = -z - 1, -4*m + 29 - 41 = 4*z. Does 6 divide ((-290)/25 + m)*f/2?
True
Let w(f) be the first derivative of 5*f**2/2 + 100*f + 163. Is w(2) a multiple of 11?
True
Let f = -671 - -1291. Suppose 0 = 3*l - 4*b - 1931, -b + f = 2*l - 671. Is 15 a factor of l?
True
Suppose -84853 + 151841 + 120776 = 6*r. Is r a multiple of 12?
False
Suppose 16*m + 901 = 309. Let j = m - -221. Is 23 a factor of j?
True
Suppose 5*h = -2*z + 1476, -4*h + 1488 = -z + 302. Suppose 5*n + 5*i - 750 = 0, -4*i + h = 11*n - 9*n. Does 18 divide n?
False
Let q be ((-50)/(-15) + -4)*(-27)/6. Suppose 58 = t + i - 0*i, 0 = -q*t + 5*i + 174. Is t a multiple of 29?
True
Suppose 0 = 5*c - 917*p + 922*p - 35425, -5*p = 3*c - 21255. Is c a multiple of 6?
False
Let s = -186 - 485. Let c = s + 742. Is c a multiple of 18?
False
Does 63 divide (84/(-5))/((-866)/32475)?
True
Is (18/4)/3 - 2284551/(-886) a multiple of 94?
False
Suppose 0 = 5*m + 3*u + 85, 3*m - 2*u - u + 27 = 0. Let b = m - -16. Is b/((-4)/(-14)) + 1 a multiple of 2?
True
Let j = -561 - -564. Suppose j*f = 5*r - 2445, 3*r + 3*f - 957 = r. Is 18 a factor of r?
True
Let s = 1 + 2. Suppose -s*u + 4 = -z - 3*z, 6 = -3*z + 3*u. Is 7/14 - (z + (-35)/2) a multiple of 16?
True
Let m(s) = s**2 + 10*s + 25. Let u be m(-8). Suppose 0 = 15*x - u*x - 414. Is x a multiple of 69?
True
Suppose 11*q - 20*q - 270 = 0. Is (6/(q/(-155)))/((-3)/(-3)) a multiple of 9?
False
Let y(l) = 303*l**2 - 73*l + 48. Is 251 a factor of y(10)?
True
Does 26 divide (-26)/(((-464)/384)/29)?
True
Let a = 122 - 22. Let x = 570 - 568. Suppose -x*m + a = -92. Does 24 divide m?
True
Does 47 divide 3 - (-443575)/200 - 1/(-8)?
False
Let p(b) be the second derivative of b**4/12 - b**3/6 + 182*b**2 + 22*b. Let i be p(0). Suppose -2*r - 3*q + i = -q, 905 = 5*r + 4*q. Does 17 divide r?
False
Suppose -q = -4*p + 32, -10 = 3*p + 3*q - 34. Is p even?
True
Suppose -3*s = -3*z + 51, 5*s = -7*z + 3*z + 32. Suppose 4*p = -1 + z, -1941 = -5*t + 3*p. Does 15 divide t?
True
Is 2/(-7) + ((-3969920)/(-28))/10 a multiple of 102?
True
Is 9/18 + ((-58734)/(-4))/9 a multiple of 9?
False
Let a be -3 - (192/(-4))/12. Suppose 10*k - 18 = 2*l + 5*k, 16 = -4*l + 5*k. Is 1/(a*(88/86 - l)) a multiple of 18?
False
Let d(x) = -2*x**3 + 52*x**2 - 6*x - 67. Is d(24) a multiple of 7?
True
Let o = -11 - 29. Let z = -36 - o. Suppose -4*l + z*m + 344 = 0, 190 + 78 = 3*l - 5*m. Is l a multiple of 9?
True
Suppose -6*m - 252 = -384. Suppose -c - 16 + m = -5*l, 2*l + 53 = 5*c. Is 11 a factor of c?
True
Suppose -28*y + 29*y + 33 = 0. Let q be 1*3/(9/y). Let d = q + 69. Does 14 divide d?
False
Let w be -44 + 0 - 4/(24/(-30)). Does 7 divide 6/w + (-3280)/(-26)?
True
Suppose -8 = -2*y - g, 0 = -0*y + y + 3*g + 1. Suppose 4*a + 9 = y*z, -4*a + 21 = -0*z + z. Suppose a*x + 5*b = 217, 2*x + 2*b = 137 - 27. Does 16 divide x?
False
Let d(j) = 4*j**2 + 11*j - 6. Suppose -6 + 0 = k - 5*n, 4*n - 4 = 0. Let a(z) = -z**2 + 1. Let u(s) = k*d(s) - 6*a(s). Is 18 a factor of u(-8)?
True
Let c = 27 + 135. Let p = c + 61. Does 25 divide p?
False
Let z = -102 - -57. Is 4 a factor of (-10)/z - (-698)/18?
False
Suppose -4*j = 5*q - 107860, -16*q + 107832 = 4*j - 18*q. Is j a multiple of 95?
False
Let s = -7501 - -9606. Is s a multiple of 3?
False
Suppose 8*i - 5*i = 36. Suppose i*k + 16*k = 22344. Is 94 a factor of k?
False
Suppose -y = 2*d - 0*d + 10, 2*y - d + 20 = 0. Let r(x) = 2*x + 18. Let l be r(y). Does 21 divide -17*l*4 + (-2 - -1)?
False
Let q = -22690 - -46585. Is q a multiple of 177?
True
Let u(w) = w**2 - 6*w + 25. Suppose 40 - 16 = 4*r. Suppose r*c + 8 = 7*c. Is 8 a factor of u(c)?
False
Suppose 9 = 3*s - 6. Is 43 a factor of 516*s/60*6?
True
Suppose -h + 10*h + 54 = 0. Is 3 a factor of -1*(-3 + h + -32)?
False
Does 3 divide (-3*1)/(283537/(-28348) + 10)?
False
Let y(s) = s**3 - 12*s**2 + 12*s - 12. Let b be y(11). Is 1 + -5 + b + 194 a multiple of 21?
True
Let s be (-6 + 6 + 0)/(-1). Suppose 8*w + s*w = 4032. Is w a multiple of 24?
True
Let t = -62761 + 93415. Is t a multiple of 60?
False
Let c(n) = -n**3 + 73*n**2 + 109*n - 434. Is c(74) a multiple of 32?
False
Let g(y) = 664*y**2 - 242*y - 984. Is 24 