2 - 3*d. Let m(a) be the third derivative of h(a). Does 26 divide m(6)?
True
Let m(j) = -17*j - 42. Is m(-6) a multiple of 20?
True
Let n = 486 - 448. Is n a multiple of 38?
True
Let k(j) = j**2 + 31*j + 35. Is k(0) a multiple of 5?
True
Let s = -30 - -32. Suppose 5*g - 132 = s*g. Does 11 divide g?
True
Let b(x) = -39*x + 5. Let i be b(-5). Let l(d) = d**2 - 4*d - 9. Let m be l(6). Suppose 0 = t + m*t - i. Is 25 a factor of t?
True
Let n = -62 + 24. Is 4 a factor of n/(-1) + (-1 - -8) + -6?
False
Let p(h) = -2*h**3 - h**3 - 4 + 8*h**2 + 4*h**3 - 5*h - 2*h**3. Suppose 4 + 3 = d. Is p(d) a multiple of 7?
False
Let j = 595 - -42. Is 49 a factor of j?
True
Let z = -29 - -35. Suppose z*m - 55 = 1409. Is m/14 - 6/14 a multiple of 3?
False
Is 2919/14 + 4/8 a multiple of 19?
True
Suppose -17*u = -12*u + 25. Is (u + 50)/(12/56) a multiple of 42?
True
Let a(y) = -62*y - 29. Let b be a(-4). Let c = -20 + b. Does 37 divide c?
False
Let a be (-5)/(-4 - 76/(-24)). Suppose 3*l = a*l - 555. Is l a multiple of 23?
False
Let k = -412 + 678. Is k a multiple of 38?
True
Let h be (-14)/(-42) + 14/3. Suppose -868 = w - h*w. Is w a multiple of 20?
False
Is 8/18 + 8228/198 a multiple of 4?
False
Let t(n) = -2*n**2 - 72*n + 134. Is t(-31) a multiple of 3?
True
Let b = -1 + 181. Suppose -r + 51 = -b. Is r a multiple of 21?
True
Let b(a) = -37*a**3 + 3*a**2 + 11*a + 2. Is 4 a factor of b(-2)?
True
Suppose -2*y - 5*p = -158, -4*y - 7*p = -2*p - 306. Is y a multiple of 37?
True
Let u(q) = 4*q**2 + 3*q. Suppose 8 = 2*f - 6*f. Let v be u(f). Let t = -4 + v. Is t a multiple of 4?
False
Let t be (-13 - -75)*3/2. Let g be (t/(-9))/(4/12). Let a = -14 - g. Is 14 a factor of a?
False
Let d = 3739 - 1206. Does 14 divide d?
False
Suppose 0 = -3*p - 6 + 21. Let i(r) be the third derivative of r**4/3 - r**3 - r**2. Is i(p) a multiple of 17?
True
Let v = 1934 + 292. Does 11 divide v?
False
Suppose 26*d - 25*d - 78 = 0. Let p = -1 + 9. Suppose -82 = -p*c + d. Is 14 a factor of c?
False
Let h = -675 - -1005. Does 15 divide h?
True
Suppose -59*g + 66*g = 24990. Is g a multiple of 10?
True
Let i(z) = -35*z + 94. Is i(-6) a multiple of 8?
True
Suppose 0 = 2*i + 12 + 4. Let q be (3/(-4))/(3/i). Suppose -q + 28 = o. Does 13 divide o?
True
Let v be (3 + -3)*1/(-1). Let n = v - 7. Let w = n + 13. Does 5 divide w?
False
Let c(z) = -z**3 - 60*z**2 - 3*z + 180. Does 24 divide c(-60)?
True
Suppose 0 = -2*w - 5*o - 473, 7*o = -w + 3*o - 244. Let a = 317 + w. Is a a multiple of 18?
False
Let q(r) = -3*r**3 + 3*r**2 - 16*r - 32. Does 22 divide q(-4)?
False
Let d(f) = 2*f + 3. Let q be d(1). Let o(v) = 2 - 2*v + v**2 - 2. Does 15 divide o(q)?
True
Suppose 58 - 478 = -15*x. Does 28 divide x?
True
Let a = -8 - -10. Suppose -t + 108 = a*t. Is 18 a factor of t?
True
Suppose -376 - 92 = -9*b. Suppose b = 5*c + 7. Is 7 a factor of c?
False
Is (0 - -557) + (-32)/8 a multiple of 15?
False
Let o(g) = -g**3 + 84*g**2 + 16*g - 97. Is o(84) a multiple of 43?
True
Is 40/30*(3 - 20349/(-6)) a multiple of 16?
False
Let v(u) = -u**2 - 7*u + 23. Is v(-6) a multiple of 29?
True
Let k(q) = q**3 + 9*q**2 - 39*q - 8. Is k(-11) a multiple of 77?
False
Let f = 4087 - 2201. Does 38 divide f?
False
Suppose -2*w - 10 + 28 = 0. Let y(t) = 12*t**3 + 9*t**2 + t - 13*t**3 - w*t + 9. Is 9 a factor of y(7)?
False
Let y(w) = 3*w**3 + 4*w**2 - 5*w - 3. Suppose 5*t + 11 = -9. Let p be y(t). Is p*(-3)/9 - -2 a multiple of 19?
False
Does 27 divide 87 + 6/(1 + 2)?
False
Suppose 5*o = -4*l + 456, 3*o = l + 2*l + 252. Is o a multiple of 52?
False
Suppose -10*a + q = -11*a + 476, -2*a + 4*q = -940. Is 13 a factor of a?
False
Suppose 3*x + 9 = 21. Does 13 divide 48 + x*(-2 + 3)?
True
Let c = -140 - -165. Is 7 a factor of c?
False
Suppose 8*i - 4*i - 12 = 0. Suppose -i*x + 5*m = 23 + 2, -5 = -2*x - m. Suppose 4*l - l + 3 = x, 2*r = 3*l + 41. Is 13 a factor of r?
False
Let x(g) be the third derivative of 2*g**2 + 0*g - 5/12*g**4 + 0 - 5/6*g**3. Is x(-4) a multiple of 9?
False
Suppose 3*t = -3*u + 9, 2*t + 3*t - 6 = 4*u. Suppose 5*s = 2*s + t*q + 572, -s + 180 = 2*q. Suppose s - 40 = 4*v. Is v a multiple of 11?
False
Suppose 333 = 4*o - 5*w - 259, -568 = -4*o - w. Does 11 divide o?
True
Suppose -17*s = -22*s + 440. Is 4 a factor of s?
True
Suppose -7*j + 2*j - 40 = 0. Let x = 329 + j. Is 18 a factor of x?
False
Suppose -2*n - 1 = -5. Suppose -n*b - 14 = -4*q - 4*b, 17 = 3*q - 5*b. Suppose 48 - 3 = o - q*z, -2*o + 65 = -3*z. Does 25 divide o?
True
Suppose 0 = -r - 5, 4*r - 319 - 66 = -d. Suppose d = -s + 6*s. Is 20 a factor of s?
False
Suppose -2*h = 4*r - 9488, -6*h - 11873 = -5*r - 2*h. Let q be r/14*4/6. Suppose 4*s - 47 = 4*u + q, -s = -5*u - 44. Is s a multiple of 25?
False
Let z = 49 + -54. Let j(b) = -b**3 - 5*b**2 - 7*b - 6. Does 2 divide j(z)?
False
Is (-5 + 465 - 3) + 5 a multiple of 21?
True
Is 44 a factor of 737 + ((-2)/(-1) - -5)?
False
Suppose 12 = -g + 7*g. Suppose 17 = 3*t + 4*h - 3*h, 5*h - 10 = 0. Suppose t*w - 10 = 0, -2*v = g*v - w - 34. Is 6 a factor of v?
False
Suppose 4*t = -2*o + 2016, 21*o + 4067 = 25*o + t. Is o a multiple of 40?
False
Let b(k) = -2*k**2 - 9*k + 2. Let c(s) = s**2 + s + 1. Let w(z) = -b(z) - 3*c(z). Let l be w(4). Suppose -4*v + 3 = -l*v, -3*v + 72 = 3*u. Is u a multiple of 9?
False
Suppose -5 = -5*h, -5*h + 17 = -5*w - 3*h. Is 18 a factor of 3/(w/(-49)) - 2?
False
Let v = 796 - 580. Is 9 a factor of v?
True
Suppose -3*r - 123 - 579 = 0. Let a = r + 330. Is a a multiple of 9?
False
Let p be (-50)/2*6/5. Is (-75)/p*(-3)/(-2)*20 a multiple of 25?
True
Suppose 4*c - 1410 = -2*t, -5*c + 2808 = 4*t - 0*t. Is 16 a factor of t?
False
Let q be 1/(-4 + 2) + (-205)/(-10). Let t(o) = -33*o + 1. Let a be t(-1). Let y = a - q. Is y a multiple of 12?
False
Suppose -d + 275 + 175 = 0. Is d a multiple of 30?
True
Let d = 9 + 6. Suppose -2*k - 3*k + d = 0. Is 3 a factor of k?
True
Let f(o) = -6*o**2 - 6*o - 5. Let b be f(-3). Let y = -39 - b. Is y even?
True
Let l(p) = -4*p**3 + 7*p**2 - 2*p - 4. Let x(f) = 3*f**3 - 6*f**2 + 2*f + 4. Let j(i) = 4*l(i) + 5*x(i). Is 2 a factor of j(-3)?
False
Let x(u) = 2*u - 4. Let n be x(3). Suppose -3*r = n*i + r - 126, i = 4*r + 63. Is i a multiple of 34?
False
Is ((-414)/(-24))/((-2)/(-136)) a multiple of 10?
False
Let j(k) = 4*k. Let s be j(4). Suppose -4*r + s*r = 3408. Does 21 divide r?
False
Let v(d) = -d**2 + 7*d - 9. Let w be v(5). Let j be 7/(-21)*(-1 + w). Suppose j*g - 100 = -5*g. Does 7 divide g?
False
Suppose -7 = -j - 2*v + v, -j = -4*v + 8. Suppose j*d - 3*a = -36, -5*d = 4*a - 0*a + 45. Is (1*26)/(d - -11) a multiple of 13?
True
Let x be 28/(-21)*1/((-4)/6). Suppose 2*h = -4*v + 62, x*v = v + 5. Is 7 a factor of h?
True
Let z(q) = -2*q - 16. Let i be z(-10). Suppose i*r = 62 + 58. Does 5 divide r?
True
Let f = 15 - 15. Let w(s) = -s + 16. Let u be w(f). Let j = u + 3. Is j a multiple of 19?
True
Let a be 0/(-2) - (-180)/20. Let m(y) = y**2 - 4*y - 6. Let h be m(a). Let r = 8 + h. Is r a multiple of 26?
False
Let h be (1*4)/((-2)/(-29)). Let j = 19 + -53. Let p = j + h. Is p a multiple of 12?
True
Suppose -19*t + 1043 - 112 = 0. Is t a multiple of 7?
True
Is 10 a factor of -7 + 9 + 2 + 146*1?
True
Suppose -7*f - 2*l = -2*f - 20, -l = -5*f + 5. Suppose -2*j - 3*j - 12 = -3*r, -3*j = -3*r + 12. Suppose -r*w + 20 = -f*w. Does 5 divide w?
True
Let a(w) = 13*w**3 - w**2 + 2*w + 1. Let j be a(2). Suppose 2*x = 5*p - 75, 2*x = 3*x + 2*p + 60. Let g = x + j. Does 11 divide g?
True
Let z(k) = -k**3 + 7*k**2 + k - 7. Let x be z(7). Suppose -5*w = 4*m - 124, 5*w + 16 + 4 = 0. Suppose x*i - m = -4*i. Is i a multiple of 3?
True
Suppose q - 8 = -t, -5*q + 16 = -0*t - t. Let h be ((-2)/q)/(10/(-1380)). Suppose 2*a = 4*d + 48, -h + 21 = -2*a + d. Is 8 a factor of a?
True
Is (-30)/(((-48)/(-68))/(-6)) a multiple of 15?
True
Let r be (-1)/((-22)/(-12) + -2). Suppose 2*m + 23 = 119. Suppose 9*s = r*s + m. Is 16 a factor of s?
True
Let t = 83 - 156. Let y = 7 + t. Let c = y + 176. Is c a multiple of 19?
False
Let n = -2736 - -2987. Is n a multiple of 25?
False
Let q = 760 - 720. Is q a multiple of 28?
False
Let i = 17 - 16. Is 2/(i + 1) + 12 a multiple of 9?
False
Is (141/(-9) + -3)*342/(-7) a multiple of 24?
True
Let u = 0 - -18. Let a(k) = -k**2 + 19*k + 9. Is a(u) a multiple of 9?
T