 factor of p?
True
Let j = 23 - 10. Suppose 4*z + 289 - j = 2*o, -3*z + 519 = 4*o. Is 11 a factor of o?
True
Let l(b) be the first derivative of b**2 + 4 + 0*b**3 + b - 37/4*b**4. Is l(-1) a multiple of 9?
True
Let z be (5 + 13)*4*(-2)/12. Let q(f) be the first derivative of f**3/3 + 4*f**2 - 3*f + 2. Does 15 divide q(z)?
True
Suppose 0 = 46*u + 9*u - 56870. Is 56 a factor of u?
False
Let n = -797 + 906. Does 13 divide n?
False
Suppose -2*q - 3*q = -3655. Suppose -2*b + q = 65. Does 7 divide (-1)/(-4) + b/12?
True
Let g = -63 - -716. Is g a multiple of 27?
False
Let c = 16 - 12. Suppose m = c - 1. Is 8 a factor of -1*48/(m + -6)?
True
Let d be 61/(-7) - (-18)/(-63). Let s = d + 22. Is 2 a factor of s?
False
Suppose -16 = -3*q + 7*q, 4*c + q - 92 = 0. Is c a multiple of 9?
False
Suppose -3*x = -3, 414 = 3*h - 2*x - 22. Let s = h - 67. Is 17 a factor of s?
False
Suppose -42*n + 15*n = -7776. Is 16 a factor of n?
True
Let g be (-138)/(-7) + 8/28. Suppose -t - g = -3*t. Is 35 a factor of 994/t - (-12)/20?
False
Let k = -5 - -13. Let r = k + -6. Suppose 2*y - 10 = -0*y + r*p, -4*y + 56 = 5*p. Is y a multiple of 2?
False
Let v(t) = 2*t**2 - 4*t - 5. Let z be v(11). Let c = z - 138. Is 11 a factor of c?
True
Suppose 2*p = -p. Suppose -5*o + 5 = -2*w - p, -4*o = -2*w - 2. Let d = w - -1. Is d a multiple of 5?
False
Suppose -2*a + a - 1139 = -5*g, 4*g - 907 = 5*a. Suppose -5*u = 5*o - o - g, -4*u = 3*o - 182. Let d = u + -29. Is d a multiple of 15?
True
Let q(a) = a**2 + 10*a + 26. Let h be q(-6). Suppose -189 = -3*n + h*m, -3*n = -7*n + 5*m + 259. Is 39 a factor of n?
False
Let x(n) = -24*n + 2. Let l be x(-10). Suppose 0 = s - 0 - l. Is 41 a factor of s?
False
Let h(k) = -k + 39. Suppose 0 = g + 3*y + 31, -3*g = -5*g - 3*y - 53. Does 19 divide h(g)?
False
Suppose 0 = 3*i - 0*i - 285. Does 18 divide 1*i - (-3 - -2)?
False
Suppose -8*w + 6*w + 10 = 0. Suppose w*z - 235 = -10. Is z a multiple of 9?
True
Does 103 divide ((-2254)/(-138))/(2/60)?
False
Let q(b) = 2 - 3 + 4*b - 2 + 0. Let n(g) = -2*g - 6. Let z be n(-5). Is q(z) a multiple of 9?
False
Is 4*((-1204)/(-8) - 7) a multiple of 24?
False
Let w(i) be the first derivative of -37*i**4/4 - 4*i**3/3 - 2*i**2 - 3*i - 25. Is 44 a factor of w(-2)?
False
Suppose 2*a = -o + 35, 4*a = -3*o + 95 - 20. Suppose -3*c = a - 174. Suppose 3*f - c = 25. Does 13 divide f?
True
Suppose -58 = -4*u + 2*u. Suppose -6*q + u = -4*q + 5*n, n + 5 = 5*q. Does 19 divide -1 - (-41 - (0 - q))?
True
Is 5 a factor of ((-5418)/172)/((-1)/2)?
False
Let l = -8 + 8. Suppose l*d - d = -101. Does 21 divide d?
False
Let n(p) = -p**2 - 20*p + 11. Let m be n(-15). Suppose 3*d + 2 - m = 0. Let o = d + -12. Is o a multiple of 7?
False
Suppose -5*u + 8*u + 6804 = 3*r, -r + 2253 = 2*u. Does 48 divide r?
False
Suppose -4*k + 102 = x - 2*k, -3*k = -3*x + 324. Is x a multiple of 53?
True
Suppose -d - 5*y = -21, d - 3*y = -3*d + 84. Let p = 0 - -2. Suppose -p*l + d = l. Is 2 a factor of l?
False
Let j(r) = 3*r + 5. Let l = -3 + 14. Let x = l - 7. Is 17 a factor of j(x)?
True
Is ((-156)/18)/((-6)/396) a multiple of 26?
True
Suppose 1 - 9 = 4*f. Let v(k) = -28*k + 8. Is 18 a factor of v(f)?
False
Suppose -10*m + 12*m = 102. Is m + -16 - (0 - -1) even?
True
Suppose 2*n = -3*n - 10, 2*n = -2*t - 18. Let d(x) = -3*x - 18. Let h(p) = 1. Let k(o) = d(o) + 18*h(o). Is 7 a factor of k(t)?
True
Suppose -l = 7*l + 5*l. Suppose l*s = s - 211. Is 19 a factor of s?
False
Let w(t) = 5*t + 15. Let k be w(6). Suppose -4*h = -r + k, 3*r - h + 122 = 6*r. Does 7 divide r?
False
Let n(b) = 10*b**2 - 2*b + 59. Is 12 a factor of n(-6)?
False
Suppose 321 + 731 = 4*d - 4*z, 2*d + z = 526. Does 92 divide d?
False
Does 21 divide -32*(-141)/(-24)*-2?
False
Let z be 3 - 0/(-4 + 7). Let r(u) = 7*u**2 - 8*u + 2. Is r(z) a multiple of 12?
False
Let j be 38 + -1 + (-1 - -6) + -1. Suppose j*o - 42*o = -126. Is o a multiple of 37?
False
Let j = -1495 - -1923. Is j a multiple of 2?
True
Let p = -371 + 221. Let z = -95 - p. Is 11 a factor of z?
True
Let c(z) = 17*z**2 + z - 6. Does 30 divide c(4)?
True
Let c(u) = u**3 - 45*u**2 - 138*u - 62. Does 4 divide c(48)?
False
Let y = 208 - 196. Does 2 divide y?
True
Suppose -19 = -2*s - 95. Suppose 4*o + 269 = -63. Let a = s - o. Is 9 a factor of a?
True
Suppose -718 = -10*s + 392. Let a = s - 35. Is 55 a factor of a?
False
Suppose -4*s - s = 5*v - 380, -198 = -3*s + 3*v. Let a = 6 + s. Does 12 divide a?
False
Let u(z) = 10*z - 146. Does 38 divide u(29)?
False
Let o be 8/((-24)/(-20) - 1). Let a be o/12*(-6)/4. Let q = 32 + a. Does 7 divide q?
False
Let k be 7 + 3/(-1 + 0). Let g = 40 - k. Is 9 a factor of g?
True
Let m = 198 - 175. Is m a multiple of 2?
False
Let u(m) = -44*m - 560. Is u(-37) a multiple of 12?
True
Let g = 8 + -5. Suppose -v - p = -6, -g*v + 11 = 5*p - 11. Suppose -v*k = -2*k - 54. Is k a multiple of 9?
True
Let q = -52 + 96. Suppose -42*i + q*i - 56 = 0. Is 4 a factor of i?
True
Let t(s) = 3*s + 50. Let q be t(-18). Let c = q + 91. Is 29 a factor of c?
True
Suppose -2*y = -0*y - 4. Let g be ((-2)/1)/((-4)/10). Let c = g - y. Is 3 a factor of c?
True
Suppose -3*u = -m - 0*m + 146, 4*u - 302 = -2*m. Let i = -86 + m. Is i a multiple of 9?
True
Suppose -f + i + 351 = 0, -4*f + 539 + 890 = i. Suppose 2*q = -2*s + f, 3*q - 7*q + 350 = 2*s. Does 41 divide s?
False
Suppose -5*y = 2*w + 5, 2*w - 2 = -2*y + 2. Let x = 8 + -7. Is x/y - 146/(-6) a multiple of 14?
False
Let l(c) = c**3 + 20*c**2 - 20*c - 14. Let k be l(-21). Does 17 divide (-679)/k + 4/(-10)?
False
Let x = -20 - -40. Let b = 36 - x. Let w = b + -2. Does 7 divide w?
True
Let t be ((-66)/12)/11 - (-1)/2. Suppose 3*z + 4*q - 78 + 10 = 0, -4*z + q + 78 = t. Is 20 a factor of z?
True
Let a(z) = -z**3 + 5*z**2 + z. Let c be a(5). Suppose -k + 3*k - 54 = -4*q, -4*q = c*k - 117. Is k a multiple of 5?
False
Let a(c) = 2*c**2 - 3*c + 260. Let u be a(0). Suppose 2*z + 0*z - u = 0. Does 11 divide z?
False
Let j(m) = -43*m + 346. Is j(5) a multiple of 72?
False
Let w(f) = -1232*f**3 + 3*f**2 - 5*f - 8. Is 11 a factor of w(-1)?
True
Suppose -46677 = -40*i - 16877. Is i a multiple of 22?
False
Let u(v) = -v - 1. Let r be u(-6). Suppose -123 + 38 = -r*x. Does 9 divide x - (-4)/(0 + 4)?
True
Suppose 13 = 6*r - 41. Suppose r*s = -s + 360. Does 5 divide s?
False
Suppose v - 1196 = t, 6*v + 4*t - 4683 = 2543. Does 42 divide v?
False
Let j(o) = -o**2 + 18*o - 2. Let t(z) = -z**2 - z - 1. Let v(l) = -j(l) + 2*t(l). Is 14 a factor of v(-14)?
True
Let h(j) be the first derivative of -96 - 4*j**2 - 12*j + 92 + 3*j**2. Is h(-8) a multiple of 4?
True
Suppose 6 = -17*g + 20*g. Let x be (-1 - -2)/((-2)/(-12)). Suppose 0 = -g*p + x*p - 136. Is 34 a factor of p?
True
Let h(u) = u**2 + u - 1. Suppose 4*v - q + 0*q - 33 = 0, 2*q + 2 = 0. Let p be v/(-28) + 66/(-14). Is 3 a factor of h(p)?
False
Let k = -2811 - -4198. Is k a multiple of 50?
False
Suppose -5*c + 61 = 3*p, 5*p + c + 21 = 86. Suppose 5*r - 132 = -p. Is 6 a factor of r?
True
Suppose 4*h + 4*o = 40, -5*h + 4*o = -0*o - 50. Suppose h*k = 5*k + 25. Is k even?
False
Suppose 0 = k - 0 - 2. Suppose 0 = -y - k*y + 6. Is 5 - (-2 + y/1) a multiple of 4?
False
Let z(a) = 4*a**2 - 18*a + 44. Is 22 a factor of z(10)?
True
Suppose 9*q = 3*q - 4*s + 6852, 0 = 4*s - 12. Is q a multiple of 30?
True
Let h = 17 - 11. Is 1/(3/(h*6)) a multiple of 4?
True
Let o(g) = g**3 + g**2 + g + 39. Let i be o(0). Is 6 a factor of (0 + i/4)*(-5 + 9)?
False
Let x = -44 - -34. Let b(p) = p**3 + 10*p**2 - 8*p + 1. Is 19 a factor of b(x)?
False
Suppose g - 79 = 26. Let s = g - 84. Is s a multiple of 6?
False
Let d = -12 - -15. Let x(y) = -y**2 + 6*y - 1. Let l be x(d). Suppose l*a - 2*a = 192. Does 16 divide a?
True
Let a = 825 + -319. Is a a multiple of 46?
True
Let s(t) = -4*t - 26. Let k(n) = n + 1. Let y(r) = 2*k(r) - s(r). Is 32 a factor of y(20)?
False
Let f(v) = -7*v - 11. Let m be f(-10). Let g = 89 - m. Is g a multiple of 14?
False
Is 15 a factor of 2/5 + (-8 - 17556/(-60))?
True
Suppose 5*m = 5, 5*m + 391 = u + 3*u. Suppose 4*s + u + 37 = 0. Let c = s + 39. Does 5 divide c?
True
Let i(n) = n**2 - 12*n + 6. Let h be i(12). Is 5 a factor of (-40)/(-7)*21/h?
True
Let k be -7*(10/(-7) + -2). Suppose -4*p + k = -116. Is p a multiple of 17?
False
Suppose 5*h = -15,