 g?
True
Let f(p) be the second derivative of -p**4/12 + 10*p**3/3 + 9*p**2/2 - 15*p. Does 3 divide f(17)?
True
Suppose -642 = -2*o + 2*q, -o - q + 229 + 100 = 0. Does 25 divide o?
True
Let a(w) = 30*w - 13. Does 13 divide a(5)?
False
Let w(n) = 6*n + 6. Let u(s) = -s - 1. Suppose -5*f - y = -19, f - 3*y + 9 = -0*f. Let c(r) = f*u(r) + w(r). Is 16 a factor of c(9)?
False
Let x = -1048 + 1815. Suppose -2*a - 2*k + 523 = -k, -x = -3*a - 5*k. Does 18 divide a?
False
Let h(t) = -10*t**2 - 4*t - 2. Let j(z) = z**2 - z + 1. Let b(s) = -h(s) + j(s). Is b(-2) a multiple of 39?
False
Let c be (-6 + 4 + -3)/1. Let u = 103 - c. Is 12 a factor of u?
True
Suppose 7*g = -154 + 742. Is 14 a factor of g?
True
Let a = -14 - -14. Suppose a = -4*n + 5*n - 2. Is 7 a factor of 4/(n/(-52)*-4)?
False
Suppose 10*z = -5*z + 4440. Does 74 divide z?
True
Suppose 3*x = 3*n + 528, -4*x + n + 401 = -303. Is x a multiple of 11?
True
Let h = -120 + 480. Is 11 a factor of h?
False
Let v(h) = -h**2 - h - 16. Let m be v(7). Let k = -37 - m. Is k a multiple of 3?
False
Suppose -5*a - 4 = -14. Suppose 3*l - a - 1 = 0. Suppose 5*i - 35 = -5*z, l - 10 = -3*i + z. Is 3 a factor of i?
False
Suppose 5*m = 105 + 115. Let k = -8 + m. Does 9 divide k?
True
Let z(v) = -v**2 + 3*v + 7. Let w be z(4). Suppose 206 = w*s - 2*s. Is 45 a factor of s?
False
Suppose 0 = -8032*f + 8024*f + 2984. Does 4 divide f?
False
Suppose 3*u + 2*u = -375. Does 19 divide -1*(u + (-3 + 2)*1)?
True
Suppose c + 2*f = 780, c + 6*f - 752 = 11*f. Does 26 divide c?
False
Let y(d) = d**3 + 0*d**3 + 3 - 18*d**2 - 2*d**2 + 5*d**2. Let k be y(15). Suppose 459 = 7*g - k. Is 22 a factor of g?
True
Let f = 2 + -10. Let g(c) be the third derivative of -c**5/60 - 11*c**4/24 - c**3 - 13*c**2. Is g(f) a multiple of 18?
True
Let m(u) = -3*u**3 + 7*u**2 - 3*u + 1. Let p(q) = -5*q**3 + 10*q**2 - 4*q + 2. Let d(y) = 8*m(y) - 5*p(y). Is 5 a factor of d(-6)?
False
Let m(z) = 8*z**2 - z. Suppose 4*f + 16 = 2*f. Let s = f - -9. Is m(s) a multiple of 4?
False
Let m = 52 - -12. Suppose -4*u + m = -0*u. Suppose 4 - u = -x. Is 3 a factor of x?
True
Suppose 3*k + 112 = 2*t, 4*t - 4*k = -43 + 263. Let n = t - -7. Is 12 a factor of n?
True
Suppose 6 = 12*l - 9*l, -5*v + 15480 = 5*l. Is v a multiple of 17?
True
Is (-138)/(-115)*(-10)/(-3) - -620 a multiple of 26?
True
Let a be ((-7)/((-175)/780))/(1/10). Let y = a - 206. Is y a multiple of 20?
False
Suppose -14*i = -11*i - 12. Suppose 3*b - 24 = -b + i*y, -5*y + 30 = 5*b. Does 3 divide b?
True
Is 3 a factor of 12/126 - ((-33384)/63 - 1)?
True
Suppose -5 = y, 2*y - 624 + 2806 = 2*q. Is 36 a factor of q?
False
Let l(r) be the third derivative of r**4/6 - 5*r**3/3 + 13*r**2. Let k be l(4). Suppose -3*a + k*a - 198 = 0. Is a a multiple of 24?
False
Let i = 7 - 9. Let c = -2 + i. Is 34 - c*(-2)/(-4) a multiple of 12?
True
Let b be 4*2/(4 - 8). Let q be b - 2*(-10)/4. Suppose -q*z + 53 = -67. Is z a multiple of 20?
True
Suppose -5*g + 1300 = -5*o, 5*g - 3*o = 10*g - 1300. Is g a multiple of 13?
True
Let c be (-24)/156 + (-628)/(-26). Does 36 divide (4 - 10)/((-2)/c)?
True
Let g(i) = 4*i**3 - 8*i**2 + 3*i + 7. Does 23 divide g(5)?
True
Let y(u) = 1. Let c(s) = -s + 1. Let f(r) = -4*c(r) + y(r). Let l be f(6). Does 9 divide (l - -6)*(1 - 0)?
True
Let w(y) = y**3 + 20*y**2 - 48*y - 36. Is w(-22) a multiple of 3?
False
Let j(r) = 12*r**3 + 6*r**2 + 2*r - 3. Let q be j(-2). Let z = q - -211. Is 22 a factor of z?
True
Suppose 4*r = 12, -2*j + 0*r - 8 = -4*r. Suppose z = -j*z + 9. Is 17 a factor of (-1 - 111/(-9))*z?
True
Let m(a) be the second derivative of -a**3/2 - 3*a**2/2 + 7*a. Let k be m(-9). Suppose y - k - 27 = 0. Is y a multiple of 17?
True
Suppose 2*b = 14 + 58. Let h = b + -22. Is h a multiple of 3?
False
Let c = -19 - -19. Suppose c = -a + 2*j, 0 = -3*a + j - 0*j + 5. Does 2 divide a/(-3) - 76/(-6)?
True
Let u(x) = 106*x + 1. Let o be u(-1). Is 3 + 1 + o/(-5) a multiple of 8?
False
Is 22 a factor of (2 - 1215/10)/((-1)/12)?
False
Let o(u) = 57*u**2 - 18*u + 33. Does 76 divide o(5)?
True
Let t(d) be the third derivative of d**6/10 + d**4/24 + 11*d**2. Let m(x) = x**2 - 5*x + 5. Let a be m(4). Is 7 a factor of t(a)?
False
Let p = 330 - 203. Is 22 a factor of p?
False
Let j(q) = 733 + 13*q - 11*q**2 + 3*q - 736 - q**3. Does 18 divide j(-13)?
False
Let x be 15/20 + (-57)/12. Let v be (-5 - x - 150) + 4. Let h = -53 - v. Is 28 a factor of h?
False
Let i(w) = -w**2 + w + 3. Let z be i(0). Suppose z*o + 44 = 2*r - 4*r, r = 4*o + 66. Let x = o - -21. Does 3 divide x?
False
Suppose 5*z + 0*z = -5*f + 485, -2*f = -5*z + 450. Let g = z + -17. Does 36 divide g?
False
Let v(a) = -9*a**3 + 5*a**2 - 3. Suppose 4*o + 4*i = 7*o - 35, -3*o + 20 = -i. Suppose -7*h - 4 = -o*h. Is 15 a factor of v(h)?
False
Let s = -1 - -3. Suppose 0 = k - s*k + 82. Is 7 a factor of k?
False
Suppose 2*r + y + 0*y - 9 = 0, -5*y = -5*r - 15. Suppose -5*k + r*u = 93 - 915, 20 = 5*u. Suppose -k = -5*s + 4*a, 2*s - 4*a + 7*a - 48 = 0. Does 15 divide s?
True
Let y(m) = -m**3 + 7*m**2 + 4*m - 1. Is y(-6) a multiple of 37?
False
Let h = 246 - 207. Is 3 a factor of h?
True
Let s(c) = -5*c + 6*c + c - 3*c - 13. Let b be s(-11). Does 11 divide (-21)/14 + (-47)/b?
True
Let c(h) = -h**3 + 7*h**2 + 7*h + 4. Let v be c(8). Suppose 2*g + 20 = -2*m, 3*m = -g + 3*g. Does 18 divide 273/14 - g/v?
True
Let w = -502 + 779. Suppose -7*k + 458 + w = 0. Is k a multiple of 35?
True
Let y(l) = -l**2 - 7*l. Let h be y(-7). Let c be (h - 10/4)*8. Does 8 divide c*(-3)/(30/8)?
True
Suppose -18 = 6*b + 36. Let d = 114 - b. Does 26 divide d?
False
Let f be (-20)/(-16) + 2 + 1/(-4). Suppose 0 = -f*p - 3*p + 792. Is 33 a factor of p?
True
Suppose 5*g - 8 = 4*x - 1, 0 = -5*x - 4*g + 22. Suppose -298 = -2*z - 3*r + x, r - 610 = -4*z. Does 51 divide z?
True
Let j = -78 + 65. Let i = j + 153. Is i a multiple of 38?
False
Let i(a) = a**3 + 2*a**2 + a. Let w be i(-1). Suppose w*z + 8 = 2*z. Suppose -c + 2*n + 32 = c, -z*n - 53 = -3*c. Does 11 divide c?
True
Let n be (111/9)/((-6)/(-36)). Suppose -262 = -2*b + d, -3*b - 3*d + 319 = -n. Is b a multiple of 15?
False
Suppose 0 = 15*j - 20112 + 672. Is j a multiple of 12?
True
Suppose 19*l - 21*l - 7092 = 0. Is -4 - (1/3)/(6/l) a multiple of 32?
False
Suppose 27*b = 32*b - 1365. Let i = b - 33. Is i a multiple of 12?
True
Let i(l) = -4*l**3 - 17*l**2 + 2*l - 8. Is i(-8) a multiple of 39?
True
Let a(c) = 6*c**2 + 18*c + 35. Does 43 divide a(-8)?
False
Suppose 70*z - 34840 - 38520 = 0. Is 22 a factor of z?
False
Suppose 0 = 3*w - 12*w + 3024. Is 27 a factor of w?
False
Let y(j) = j**3 - 6*j**2 - 6*j - 1. Let t be y(7). Let g(f) = f**3 - 5*f**2 - 5*f - 9. Let i be g(t). Is 13 a factor of (111/(-9))/(i/9)?
False
Suppose 0 = 3*n + 10*f - 8*f - 1900, -4*n - 4*f + 2536 = 0. Does 43 divide n?
False
Let f = 355 - 152. Is f a multiple of 7?
True
Suppose 5364 = 13*w - 252. Is w a multiple of 18?
True
Let h = 50 - 51. Is 17 a factor of (-2 - -29 - -1) + 0/h?
False
Let o = -310 - -980. Does 28 divide o?
False
Suppose 0 = 2*p + o - 350, 5*p + 3*o = 956 - 79. Is 41 a factor of p?
False
Is ((-3622)/(-4) - 3/(-6)) + -4 a multiple of 22?
True
Suppose -3*v - 118 = -s, s - 47 = -3*v + 59. Suppose 4*d - s = 20. Suppose -d = -5*z - 23. Is z even?
True
Suppose 1627 - 320 = n - 3*k, 5*n = 2*k + 6522. Does 16 divide n?
False
Suppose 0 = -4*h - 42 - 22. Let p(d) = -5*d + 4. Let m be p(h). Is m/8 - 2/(-4) a multiple of 7?
False
Let z be -2 - -2*21/6. Suppose -52 - 15 = -4*p - 3*t, z*p - 3*t = 104. Let b = p - 15. Is b a multiple of 3?
False
Suppose 2 - 51 = -y - 2*z, -z = -3. Suppose -3 = 4*r - y. Is r a multiple of 10?
True
Is (32/(-4))/24 + 2059/3 a multiple of 28?
False
Suppose -2*j = -240 + 24. Is 10 a factor of j?
False
Let j(u) be the third derivative of -u**5/60 + 7*u**4/8 - 38*u**3/3 + 18*u**2 - u. Is j(14) a multiple of 22?
True
Suppose 3*w - 785 = p, 0*w - 5*p + 755 = 3*w. Is w a multiple of 7?
False
Let d = -360 - -407. Is 2 a factor of d?
False
Let v = -2286 + 2376. Does 5 divide v?
True
Let b(n) = 7*n + 26. Let y be b(-4). Does 11 divide y - 1 - (-20 + -9) - -2?
False
Suppose 18 = 3*f - 45. Suppose b - 2*b = -f. Let p = 58 - b. Does 30 divide p?
False
Suppose 594 - 1146 = -z. Is 23 a factor of z?
True
Let z be 2/4 + 513/(-18). Let f =