e z(c)?
True
Suppose 3*p = 573 + 1506. Is 21 a factor of p?
True
Suppose 0 = 4*s - 3*t - 425, 3*s - 305 = 5*t - 0*t. Is 5 a factor of s?
True
Suppose -2*x + 113 = -4*h + 3*x, -5*h - 2*x = 166. Does 8 divide (-1 - 2/(-6))/(h/8016)?
False
Suppose -5*w = -8*w - 3*a + 303, -3*w = 2*a - 298. Is 48 a factor of w?
True
Let u = -900 + 1316. Is 13 a factor of u?
True
Let h = -10 + 10. Suppose 0 = 4*u - h*u - 484. Is 11 a factor of u?
True
Let j be (20/6)/(-3 + (-572)/(-192)). Let v be (-6)/9 + 271/(-3). Let y = v - j. Does 10 divide y?
False
Suppose -5*p + 9 = 3*b, 4*b - 3 = 9. Suppose -5*m + p*m + 282 = -g, -m + 54 = g. Is 12 a factor of m?
False
Let c = 4135 + -2119. Is 7 a factor of c?
True
Suppose 3*r - 4 = 5. Let d = 129 + -145. Does 4 divide r/((-4)/d + 0)?
True
Let q(m) = -2*m**3 - 3*m**2 - 8*m + 3. Let r be q(-4). Let h = 47 + -19. Suppose -2*g = 4*n - h, 5*g - 2*n - r = 3*n. Is 8 a factor of g?
False
Suppose 2*h + 716 = 2*q, 4*q - 8*q + 1446 = 3*h. Is 36 a factor of q?
True
Suppose 4*w + 5*h - 18 = 0, -6 = -2*w - 0*w - h. Suppose -7*r - 80 = -2*r. Does 10 divide w/r + 162/16?
True
Let u = 2325 + 579. Is 28 a factor of (-4)/(-6) + u/72?
False
Let c(i) be the first derivative of 5*i**3/3 - 4*i - 3. Is 13 a factor of c(-5)?
False
Let j = -19 - -18. Is (-18)/j + 1*-4 a multiple of 2?
True
Suppose 5*z - 2*q + 0*q = 933, 5*z + 5*q - 940 = 0. Does 15 divide z?
False
Suppose 3*o + 0*o - 33 = 0. Let b = -9 + o. Suppose 3*w - b*i = 182 - 14, 2*w + 2*i = 122. Is 24 a factor of w?
False
Suppose -4*j - 4*l + 10816 = 0, -262*l - 8114 = -3*j - 264*l. Is j a multiple of 22?
True
Let x(z) = 5*z**2 + 3*z - 2. Let m(n) = -n**2 - 10*n - 13. Let w be m(-9). Is 19 a factor of x(w)?
False
Suppose -6*o = -10*o + 72. Is 2 a factor of ((-20)/15 + 2)*o?
True
Let m(l) = l**3 - 3*l**2 + 4*l - 6. Let o be 0 - ((0 - -1) + (-9 - -5)). Is 2 a factor of m(o)?
True
Let w(c) = 11*c - 520. Is w(49) a multiple of 19?
True
Let d(j) = 48*j - 64. Is d(9) a multiple of 8?
True
Let u(n) = -10*n. Let x be u(-4). Suppose -111 - 25 = -o. Suppose -w = -o + x. Does 32 divide w?
True
Suppose -4 = 2*s + 2. Let j(i) = i**2 + 4*i. Let h be j(s). Let l = h - -14. Is l a multiple of 8?
False
Let d = -22 - -25. Suppose -k - 28 = -3*l + 4*k, -d*l = 2*k - 35. Does 11 divide l?
True
Suppose 5*b = 0, -b = -5*j + 287 - 2. Is j a multiple of 3?
True
Suppose 2*i - 1000 = 2*l + 1038, 2*i - 3*l = 2037. Does 34 divide i?
True
Let m(x) = -5*x**2 - 5*x - 2. Let w be m(-3). Let p = w + 78. Does 9 divide p?
False
Let c be ((-8)/(-12))/(3/(-27)). Let f = c - -10. Suppose -5*w - 6*r + 183 = -3*r, w + f*r = 23. Does 12 divide w?
False
Suppose -27 = -0*v + 3*v. Let d = 16 + v. Suppose -2*a - 45 = -d*a. Does 9 divide a?
True
Let g(z) = -5*z - 57. Suppose 2*k + 17 + 22 = -r, -5*k + 2*r - 84 = 0. Is 11 a factor of g(k)?
True
Let f(o) = 3*o**3 + 5*o + 1. Let r be f(-3). Let p = r + 188. Is p a multiple of 16?
False
Let i(w) = 55*w + 3. Let s be i(-5). Does 17 divide (-1)/(-1 - s/274)?
False
Suppose 16 = v + 11. Suppose -857 = -v*p - 287. Is p a multiple of 34?
False
Does 20 divide (-10249)/(-10) + (207/(-30) - -7)?
False
Let j(s) = s - 2. Suppose -3*z - t = -17, -2*t - 16 = z - 6*t. Let q be j(z). Suppose q*b + 2*f = 196, -259 = -3*b + 7*f - 3*f. Does 34 divide b?
False
Suppose -2*p = 4*p - 378. Suppose -13*a = -10*a - p. Is 7 a factor of a?
True
Let w(c) = -44*c - 32*c - 19*c - 3 + 20*c. Is w(-1) a multiple of 12?
True
Let n = 31 - 28. Suppose -n*u = -13 + 1. Does 5 divide (-98)/7*(-2)/u?
False
Suppose -3*m - s = -289, 0 = 3*m + 72*s - 74*s - 277. Is m a multiple of 5?
True
Let x be 3 + (0 - 190/(-2)). Let p = x + -47. Does 51 divide p?
True
Let z(d) = -d**3 + 9*d**2 + 37*d + 10. Is 2 a factor of z(12)?
True
Let x(n) = 28*n + 1032. Is x(0) a multiple of 24?
True
Is 2 + (2188 - -3) + (-27 - -24) a multiple of 73?
True
Suppose -2*v + 3 = -7. Let x be 1/v + 3174/30. Suppose t - 97 = -2*b - 4*t, -2*t = 2*b - x. Is 8 a factor of b?
True
Let n be 5/4 + 143/4. Does 5 divide ((-30)/(-5) - 5) + n?
False
Let q(i) = 2*i**2 - 11*i + 20. Suppose 2*b = -5*d + 1, -4*d + 5*d = -5*b + 37. Is 3 a factor of q(b)?
True
Let g(z) = 22*z - 8. Let f = 6 + -2. Does 15 divide g(f)?
False
Let s(h) = 2*h**2 + 12*h - 23. Let k = -122 + 128. Is 13 a factor of s(k)?
False
Let x(c) = -1 + 0*c - 9*c - 5 + 3. Let q be x(-3). Is 13 a factor of 386/8 - (-18)/q?
False
Suppose 2*l = -3*s + 2*s + 6, 9 = 3*l + 5*s. Suppose -l - 243 = -2*j. Is j a multiple of 7?
False
Suppose h - 18 = -2*q + 5*h, 5*q - 21 = 2*h. Suppose -77 = -q*z - 5*j, 3*z - z + 2*j = 54. Does 29 divide z?
True
Suppose 4*g + 5*r = 1186, 3*g - 4*r - 284 = 590. Is 6 a factor of g?
True
Suppose -31 = -u - 0*u. Suppose 2 = o - u. Suppose o = 5*w - 2*w. Is 11 a factor of w?
True
Let v(y) be the first derivative of y**5/40 - y**4/24 - 2*y**3/3 - 4. Let p(b) be the third derivative of v(b). Is 9 a factor of p(7)?
False
Suppose -n + 4*v + 38 + 251 = 0, -5*v = -5*n + 1520. Let s = n - 153. Let p = s - 108. Does 9 divide p?
False
Is (26 - 7) + 7 - (3 + -8) a multiple of 18?
False
Let g(i) = 2*i**3 + 5*i**2 - 3*i - 3. Let u(o) = -2*o**3 - 5*o**2 + 3*o + 3. Let l(p) = 5*g(p) + 6*u(p). Is l(-4) a multiple of 7?
False
Suppose 4*n - 7022 - 1026 = 0. Is n a multiple of 18?
False
Suppose -6*h - 74646 = -39*h. Is h a multiple of 29?
True
Let z(h) = -4*h**2 + 30*h - 4. Let i(v) = 3*v**2 - 20*v + 3. Let d(t) = 7*i(t) + 5*z(t). Let m(r) be the first derivative of d(r). Is m(5) a multiple of 7?
False
Let z(q) = 3*q - 31. Does 58 divide z(32)?
False
Let x = -972 - -1726. Is x a multiple of 13?
True
Let y(u) = 59*u**3 + u**2 + u - 1. Let z(a) = -a**3 + a**2 - a - 2. Let w be (-1)/(-3) - 24/18. Let h be z(w). Does 20 divide y(h)?
True
Suppose -2*g + h = -1057, 5*h + 1059 = 2*g + 2*h. Does 53 divide g?
False
Is 4 a factor of 38/6 - (-14)/21?
False
Let v = 1287 + 4201. Is 56 a factor of v?
True
Is (-45)/6*1784/(-12) a multiple of 5?
True
Suppose -36 = 2*s + s. Let m(f) = -6*f - 28. Is m(s) a multiple of 11?
True
Let k(u) = 2*u**2 + 6*u - 1. Let t be k(-5). Suppose 3*a = -5*p - t, 5*a + 0*a = 2*p + 20. Suppose -4*m - 2*w + 48 = -52, -a*w = -2*m + 44. Is 8 a factor of m?
True
Let n(u) = -u**2 + 18*u - 10. Is 2 a factor of n(14)?
True
Let m(r) = -r**3 - 1. Let j be m(-1). Does 10 divide ((-2)/(-1))/((j - -4)/40)?
True
Suppose 2457 = -15*r + 22*r. Does 33 divide r?
False
Let f = 400 + -390. Let y = 2 - -11. Let d = y - f. Is d a multiple of 3?
True
Let s(t) = -27*t + 62. Does 20 divide s(-14)?
True
Suppose 251 = -7*m + 1063. Is 29 a factor of m?
True
Let a = -625 + 891. Is a a multiple of 6?
False
Let v(l) = -l**3 - 5*l**2 + 5*l - 3. Let c be v(-5). Let o = c + 64. Does 12 divide o?
True
Suppose -51*s + 23*s + 70308 = 0. Is s a multiple of 81?
True
Let i be (6/(-21))/(1/(-7)). Suppose -42 = -i*g + 48. Is 15 a factor of g?
True
Let p = 20 - 18. Suppose 5*v + 1055 = -3*x, -p*x - x - 847 = 4*v. Is 10 a factor of -3*(1 - v/(-12))?
False
Suppose z + 24 = -2*v, v + 5*z = -0*z + 6. Let x be v/4 + (-1)/2. Is (-328)/x + 1 + 3 a multiple of 20?
False
Is 26 a factor of -1*((-1035)/5 + -1)?
True
Does 20 divide (99/66)/(6/412) - 3?
True
Let k = -72 + 99. Is k even?
False
Suppose -36 = 3*i + 6. Let c(a) = -3*a**3 - 46*a**2 + 30*a - 26. Let x(q) = 2*q**3 + 31*q**2 - 20*q + 17. Let s(m) = 5*c(m) + 7*x(m). Does 9 divide s(i)?
True
Let w(i) = 37*i + 135. Does 5 divide w(15)?
True
Let y be 2/(-4) - (-18)/4. Suppose 3*v + 2*v = -4*p - y, -v = -p - 1. Suppose -7*o + 120 + 6 = v. Is o a multiple of 18?
True
Let u(m) = m + 3. Let j be u(-3). Let y be (j/(-2))/((-12)/4). Suppose y = -r + 19. Is r a multiple of 8?
False
Let u = -1 - -4. Let q(l) = -l**2 + 3*l + 2. Let s be q(u). Suppose -2*z + 3*z + 11 = 2*r, 2*z = s*r - 10. Is r a multiple of 6?
True
Let t(d) = -75*d - 474. Does 20 divide t(-23)?
False
Suppose -4*h = -5*f + 37, 5*f + 3*h = 2*f + 6. Suppose -195 = -4*r - f*l, -3*r = -3*l - 2*l - 155. Is 25 a factor of r?
True
Let s be 0/(1/((-2)/2)). Let i(l) = -l**3 + l**2 + l + 244. Let t be i(s). Suppose -4*f = 2*p + 18 - t, 266 = 5*f - 3*p. Is f a multiple of 14?
False
Let y(v) = 92*v - 34. Let r be y(11). Suppose -11*a + r = -518. Is a a multiple of 34?
True
Suppose -4*v + 14 = j, -9*v = 3*j - 4*v - 21. Let u be j/5*(-10 - -20). Suppo