 33?
False
Let y(x) = 76*x + 3762. Is 2 a factor of y(-19)?
True
Let k(r) be the second derivative of r**3/3 + 19*r**2 - r. Let d(o) = -2*o**2 + 19*o - 58. Let b be d(6). Does 2 divide k(b)?
True
Suppose -5*d + 31 = -2*k, -k - 3*k - 12 = 0. Suppose -d*t = -203 + 48. Let q = -16 + t. Does 14 divide q?
False
Suppose -42*l = -67*l + 73150. Suppose l - 412 = 2*u. Is u a multiple of 15?
False
Suppose -123809 - 44638 = -73*k - 13249. Is k a multiple of 67?
False
Let t(r) = -r**3 - 13*r**2 - 22*r - 58. Let b(k) = k**3 + 12*k**2 + 21*k + 59. Let o(x) = -6*b(x) - 5*t(x). Is 4 a factor of o(-7)?
True
Let a(p) = -8*p**3 - 142*p - 1101. Is 19 a factor of a(-8)?
False
Suppose 2*t + 4 = 4*t. Let o be (-15)/(-6)*-2*t/(-5). Suppose -o*g + 4 = 0, -3*h - 2*h - 4*g = -363. Does 40 divide h?
False
Let t be (-8)/6 + (-2)/3. Let a be 22 + t + 3/1. Suppose 0 = a*o - 20*o - 51. Is o a multiple of 14?
False
Let y(z) = z**3 + 2. Let x(b) = 2*b**3 + 25*b**2 - 43*b - 50. Let i(c) = x(c) - 3*y(c). Is i(23) a multiple of 2?
False
Let z be 2/(-24) - 392/(-96). Is (-2320)/(-24)*6/z a multiple of 5?
True
Suppose 18 = 11*v - 10*v. Let h be v/(-12) - (-4)/(-8). Is (h/(-2)*233)/((-2)/(-2)) a multiple of 16?
False
Suppose 5*o = 4*l + 46, 3*l - 6 = -2*o + 17. Suppose -o = -4*g - g. Suppose -2*v - 4*z + 315 = -9*z, -5*v + g*z = -840. Is 34 a factor of v?
True
Let i(c) = -363*c + 77*c - 153 + 640*c. Does 21 divide i(5)?
True
Suppose 23*x - 55 = 18*x. Suppose 378 = -x*q + 17*q. Is q a multiple of 18?
False
Let p(i) = 43*i**3 - 3*i + 50*i**3 + 45 + 2*i**2 - 92 - 3*i + 44. Is p(2) a multiple of 6?
False
Let i = 1 - -9. Let v be 3 + i/(-5) + -11. Is v*(-1 - (4 + -1)) a multiple of 20?
True
Let u(n) = n**2 + n + 7. Let k be u(-3). Let s = 22 - k. Suppose s*q + 134 - 440 = 0. Is q a multiple of 17?
True
Suppose -2*u = u - 18. Let g be (-7)/21 + (-758)/(-6). Suppose -u*y + g = -0*y. Does 13 divide y?
False
Let j = 409 - 389. Suppose -j*n = -2*n - 8280. Is n a multiple of 10?
True
Suppose 63601 + 195301 = 20*m - 158578. Is m a multiple of 49?
True
Let v = 24 + -6. Suppose -s + 10*s = -v. Does 3 divide (1 - (1 - s)) + 75/5?
False
Let n(f) be the first derivative of -13*f**2 - 20*f - 61. Is n(-8) a multiple of 47?
True
Suppose -52*w + 60 = -48*w. Let j be (-1)/(-5) + 747/w. Suppose -51*t + 74 = -j*t. Is t a multiple of 9?
False
Let h = 5568 - -6728. Is h a multiple of 53?
True
Let t(j) = -j**3 + 11*j**2 - 12*j + 25. Let d be t(10). Suppose -2*k + x - d*x = -490, k - 249 = -x. Does 11 divide k?
True
Let c(f) = -49*f**2 + 2*f + 3965. Does 4 divide c(0)?
False
Suppose 2*u + 5084 = 4*z + u, 4*u = z - 1286. Suppose -2*b = 3*b - z. Suppose 7*m - 334 = b. Does 21 divide m?
True
Let h be (6/(-15))/(2/20). Let z be (2/2)/((-3)/36*h). Suppose 66 = r - z*u - 63, 5*u = -5*r + 745. Is r a multiple of 14?
False
Suppose 18495929 - 924089 = 135*c + 217*c. Is c a multiple of 8?
True
Let r be (2/11 - (-16463)/1111)/(-1). Let m(x) = 3*x - x - 9*x - 15. Is m(r) a multiple of 12?
False
Let l(n) = 8*n + 26. Let y be l(-3). Suppose -3*x = 2*x - y*a - 304, 2*a = -5*x + 296. Does 10 divide x?
True
Suppose 3*p = 27*p - 168. Suppose -p*s + 45 = -1166. Is s a multiple of 29?
False
Let n(l) = -l**3 + 11*l**2 - 16*l + 32. Let y be n(10). Is ((-29)/(-4))/(-6 - 175/y) a multiple of 29?
True
Is ((-423)/94)/((-4)/1064) a multiple of 2?
False
Let f = 42 + 16. Suppose 0 = -3*t - 5*s + f + 49, 21 = t - 2*s. Let j = -2 + t. Is j a multiple of 4?
False
Let c(d) = -2*d**3 + 6*d**2 + 2*d - 3. Let y be c(5). Let o(g) = -2*g**2 - 4. Let t be o(-2). Let f = t - y. Does 9 divide f?
True
Let g be 166/2 - (15/(-3) + 4). Let l = 181 - g. Let t = 119 - l. Does 4 divide t?
False
Suppose y = -2*n + 8257, 29*n - 4*y = 34*n - 20653. Is 75 a factor of n?
True
Let d be (6/(-12)*10)/(-1). Suppose 0 = d*u - 10, -3*u = 5*m - 4*u - 3563. Is m a multiple of 9?
False
Does 45 divide 15431 + (-25)/((-300)/(-84))?
False
Let i(k) = 32*k**2 - 19*k - 9. Suppose 0 = 41*v - 163 - 83. Does 7 divide i(v)?
True
Let w(j) = -10*j**2 + 8*j - 13. Let p(c) = 9*c**2 - 7*c + 13. Let m(t) = 3*p(t) + 2*w(t). Does 3 divide m(3)?
False
Let u(f) = -f**2 - 18*f + 7. Let i be u(-8). Is (-2 + 100/5)/(3/i) a multiple of 18?
True
Let j be 4/(-14) - (-25)/(-35). Let d be ((-2)/(-2))/(j + 1 + -1). Is 4 a factor of -1*3 + (28 + 2 - d)?
True
Suppose 0 = -9*r + 25*r + 9776. Let l = 1809 + r. Does 18 divide l?
False
Suppose -15 = q - 4. Let z = q + 16. Suppose -151 = -3*x - x - h, -4*h = z*x - 175. Does 13 divide x?
True
Let p(q) = 23*q**2 - 3*q + 23*q**2 - 55*q**2 - 7 + 18*q**2. Is 15 a factor of p(-4)?
False
Suppose -44*z + 37338 = -43*z + f, 19*z + f = 709458. Does 33 divide z?
False
Suppose -5*n = -0*n - 430. Suppose 2*q = n + 118. Is 25 a factor of 0/1 + (q - 2)?
True
Suppose 5264*y - 5291*y = -2484. Is y a multiple of 4?
True
Let j(c) = 2*c**2 + 24*c + 60. Let x be j(-18). Suppose a - 2*v = x + 16, -a = -v - 290. Does 12 divide a?
True
Let j(r) = -r**2 - 9*r - 13. Let y be j(-2). Is 40 a factor of y - -5 - 6 - (3 + -123)?
True
Suppose -2*f - 2692 = t - 14931, 4*t = 4*f - 24496. Does 33 divide f?
False
Suppose -3638 = 342*m - 376*m. Does 40 divide m?
False
Let j(q) = -79*q**3 + q**2 - q - 1. Let d be j(-1). Suppose -15*i + d = -7*i. Is 638/10 + 2/i a multiple of 8?
True
Let m = -1648 - -2326. Let b = m + -169. Does 24 divide b?
False
Suppose 4*p + 4*v - 2*v = 0, -5*v = 0. Suppose 3*q + p = 12. Does 8 divide 3756/78 + q/(-26)?
True
Let i = 11287 - 3735. Is 118 a factor of i?
True
Suppose 34*s - 4*s = 1617 + 50763. Does 6 divide s?
True
Suppose -27*z = -15 + 42. Suppose -m = -12 - 2. Does 11 divide m/35 + ((-1226)/(-10) - z)?
False
Let x(h) = 13*h + 12. Let n be x(3). Suppose c + n = -2*c. Let j = 0 - c. Is 17 a factor of j?
True
Suppose -117*p + 106*p + 44 = 0. Suppose 5*d - p*x - 995 = 0, d + 8*x - 3*x - 228 = 0. Is 28 a factor of d?
False
Let z = 167 + -102. Let f = z - -391. Is f a multiple of 57?
True
Suppose -34*t = -441302 + 180522. Is 59 a factor of t?
True
Suppose 0 = g + 4*d + 28, -3*g + 14*d - 29 = 15*d. Is (-10203)/g - (-3 + 54/16) a multiple of 51?
True
Is 4/(8/(-342))*(-4)/(20/115) a multiple of 57?
True
Let l be (-9 - -13)*(20 + -19). Suppose 0 = 5*r + 68 - 368. Does 11 divide ((r - 1) + l)*1?
False
Let r be (-4)/10 - (-403936)/(-160). Let m = -1766 - r. Suppose -y + 57 = 5*q - 108, 0 = 5*y + 3*q - m. Does 27 divide y?
False
Let l be (9/(-12))/(2/16). Let j be (-54)/8*16/l. Let b = j + 13. Is b a multiple of 6?
False
Suppose 9*b - 11*b = 0. Suppose z - 4 + 0 = 0, b = o - z + 389. Let l = -185 - o. Is 50 a factor of l?
True
Let d = 24460 + -16210. Is 25 a factor of d?
True
Suppose -132*h - 256*h = 47387 - 2604307. Does 87 divide h?
False
Suppose -9*r + 9 = -2*m - 4*r, -6 = -5*m + 3*r. Suppose 16 = 4*p - 2*h, -m*p - h + 21 = 2*h. Suppose 6*y - 561 = -p*y. Is y a multiple of 9?
False
Suppose -1992 = -0*p - 2*p + c, -3976 = -4*p - 2*c. Let b = -189 + p. Does 62 divide b?
True
Let f be (-5 + 4)*5 - (-1 + -6). Suppose -3*z + f*c = -2377, -5*z + 1777 = -4*c - 2184. Is z a multiple of 13?
True
Suppose -5*y + 9*y - 100 = 0. Let h be 370/y + (-2)/(-10). Is 11 a factor of (-115)/h*(-6 - -3)?
False
Suppose -266 = -17*k - 997. Does 11 divide 41 + k - (1 + (1 - 37))?
True
Let o = -248 + -157. Let v = 585 + o. Does 20 divide v?
True
Let h be (-10 - 29/(-3))/(2/1542). Let j = 376 - h. Is 32 a factor of j?
False
Suppose 11 = -3*k + 23. Suppose 0 = 3*x + 4*l - 1842, 2*x - k*x + l + 1217 = 0. Is x a multiple of 43?
False
Let n(u) = -15*u**2 + 2*u + 1. Let h be n(2). Let m = h - -55. Suppose m = t + 4*t - 420. Does 14 divide t?
True
Suppose 471*k - 381612 = 387*k. Is k a multiple of 59?
True
Let t be (-1)/((-2)/(-206) + 0). Let v be (-1)/((-8206)/2739 - -3). Let r = t - v. Is 29 a factor of r?
False
Suppose -8397 = -3*p + 4*n, 5*p + 24*n - 8586 - 5501 = 0. Does 14 divide p?
False
Let w = 71 + -73. Let y be (-5)/(30/9)*w. Is 4 + -1 + y + 0 even?
True
Let r(p) = 2*p**3 + 18*p**2 + 14*p. Let c be r(-9). Does 36 divide (-280)/(-12)*-3*c/49?
True
Let i = 234 - -45. Suppose 5*w - 3249 + i = 0. Is w a multiple of 54?
True
Let i(n) = -4*n**2 - n - 26*n**3 + 10*n**2 - 10*n**2 + 4. Let a be i(-2). Suppose 10*o - a = o. Is o a multiple of 8?
False
Let a = -341 - -1057. Let y = -401 + a. Is 24 