 divide p?
False
Suppose 9*i = 5*i - 3*i. Suppose 3*t = 3*j + 2*t - 290, i = 3*t + 6. Is j a multiple of 6?
True
Let t(q) = 8*q**3 + 7*q**2 + 13*q + 26. Let a(g) = 7*g**3 + 6*g**2 + 12*g + 25. Let v(u) = -6*a(u) + 5*t(u). Is v(-5) a multiple of 16?
True
Suppose 0 = 6*t - t - 2*t. Suppose t = 10*d + 3*d - 897. Is d a multiple of 45?
False
Let d be (1*6/(-9))/(6/(-45)). Suppose -d*v - 4*s + 238 = 0, 0 = -3*v + 3*s - 72 + 231. Is v a multiple of 10?
True
Let f = -1823 + 3279. Is f a multiple of 56?
True
Let c(v) = -11*v + 2. Let i(g) = 5*g - 1. Let k(s) = s**3 + 15*s**2 + 13*s - 18. Let t be k(-14). Let m(a) = t*c(a) - 9*i(a). Is m(-9) a multiple of 3?
False
Is 49 a factor of (168/(-60))/(-1*(-3)/(-105))?
True
Let i = -90 - -337. Suppose b = 7*f - 2*f - i, -4*f - 2*b = -206. Does 12 divide f?
False
Suppose n - 4*n = -6. Suppose 3*p - 117 = -n*c + 4*p, 12 = 4*p. Is c a multiple of 20?
True
Let h(t) = -t**2 + 7*t + 3. Let l = -146 + 244. Let d be ((-2)/(-4))/(7/l). Is h(d) a multiple of 2?
False
Suppose -4*n + m + 2 = 2*m, -n = 5*m - 10. Suppose 4*o = 0, z + 5*o - 67 + 4 = n. Let l = -42 + z. Is l a multiple of 7?
True
Let j = 530 + -760. Let k = j + 390. Suppose -5*d + 277 - 74 = -3*q, -4*d + 3*q = -k. Is 28 a factor of d?
False
Let w(u) = 5*u + 25. Let m be w(-6). Is 34 a factor of (152/(-20) + -3)*m?
False
Let g(b) = 26*b**3 + 4*b**2 - 3*b - 9. Is g(3) a multiple of 48?
True
Suppose -28 = -5*a + 372. Does 7 divide a?
False
Let x(i) = -i**3 + i**2 + 5*i + 4. Suppose -4*y = -0*y + 12. Does 5 divide x(y)?
True
Suppose -5*r = -2*r + 4*b - 625, -r = -7*b - 200. Is r a multiple of 7?
False
Let o = 409 - 174. Does 47 divide o?
True
Let v be 1/5 + 76/20. Suppose b - v = -1. Suppose -5*p = -b*p - 58. Is 10 a factor of p?
False
Is 3 + (-722)/(-8) + 6/8 a multiple of 18?
False
Suppose 387 = p - 9*k + 14*k, 4*p - 4*k - 1572 = 0. Does 9 divide p?
False
Suppose -10134 = -40*p + 22*p. Is p a multiple of 33?
False
Suppose 41*b - 1519 = 34*b. Is b a multiple of 8?
False
Suppose -786*p + 11280 = -781*p. Is 24 a factor of p?
True
Let p(d) be the third derivative of -d**6/120 - d**5/15 + 5*d**4/24 + d**3/2 - 5*d**2. Let t be p(-5). Suppose y + t = 2*y. Is y even?
False
Let f = 598 - 24. Is f a multiple of 14?
True
Let z = -10 + 20. Let n be (-4)/20 - 248/z. Let y = n + 43. Is y a multiple of 6?
True
Suppose 0 = -5*i + 2*i + 783. Suppose -7*c + 2*c + i = -n, 3*n = -3. Does 13 divide c?
True
Let a(y) = 147*y**2 + 17*y - 54. Is 13 a factor of a(4)?
True
Let c(b) = 12*b**2 - 2*b. Suppose 0 = -5*d + 9 - 4. Is 6 a factor of c(d)?
False
Let h = -9 - 9. Does 8 divide ((-3)/(h/(-20)))/(5/(-240))?
True
Suppose 313 = 117*h - 116*h + 3*c, 3*c = 9. Is h a multiple of 33?
False
Let b be (-2)/(-8) - (1 - -3)/16. Suppose b = -j - 4, -3*h + 163 = j + j. Is h a multiple of 27?
False
Let w be (-9)/2*60/(-90). Suppose 0 = 3*t + w*l - 72, -2*l = 5*t - 103 - 2. Is 14 a factor of t?
False
Let f = 178 - 378. Let g = -128 - f. Does 4 divide g?
True
Let z be (-2)/5 + (-2)/(-5). Suppose z = 16*u + 8 - 632. Is 2 a factor of u?
False
Suppose -2*m + 15 = m. Let w = 5 - m. Suppose -3*l + 110 - 11 = w. Does 11 divide l?
True
Let v(j) = 30*j + 106. Is v(13) a multiple of 16?
True
Let p(w) be the third derivative of w**6/120 + w**5/60 - w**4/4 + w**3 + 7*w**2. Is p(2) even?
True
Suppose 9*m - 212 = 283. Let c = 76 - m. Does 3 divide c?
True
Let z(c) = c**2 + 2*c + 24. Let a(j) = j**3 - 2*j**2 - j - 6. Let d be a(3). Does 7 divide z(d)?
False
Suppose 3492 = 48*w - 39*w. Does 17 divide w?
False
Suppose 0 = 4*v + m - 1647 + 26, -1616 = -4*v + 4*m. Is 9 a factor of v?
True
Let v = 414 + 136. Is 5 a factor of v?
True
Let b = 4269 - 2933. Does 8 divide b?
True
Let l(d) = d**2 - 9*d + 4. Let h be l(-10). Let s = h - 76. Let i = -50 + s. Is 9 a factor of i?
False
Suppose -4*k = 4*i - 93 - 39, -4*i = 5*k - 166. Is k a multiple of 34?
True
Suppose 0 = -4*j + 2*j - 4*m + 394, -953 = -5*j - 2*m. Is 27 a factor of j?
True
Is 5 a factor of (-108)/(-8)*(25 - -5)?
True
Suppose 0 = 3*o - 6 - 3, -4*c + 2*o = -12846. Is 51 a factor of c?
True
Let i be (4 + -784 - -2)/(3 - 5). Suppose -47 - i = -4*l - 2*x, -4*x + 440 = 4*l. Is 18 a factor of l?
True
Does 24 divide 21/(-294) - 12966/(-28)?
False
Suppose 0 = 5*u + 16 - 31. Let q(h) = -u + 1 - 3 + 19 + h. Is 10 a factor of q(16)?
True
Let d(f) = -185*f**2 - 3*f. Let u be d(-1). Let v = u + 420. Is 14 a factor of v?
True
Let a be 1*3/3*-17. Let w = -13 - a. Suppose -4*u - 90 = -w*t + 110, -5*t + 220 = 5*u. Is t a multiple of 10?
False
Let l(g) be the first derivative of g**4/24 + g**3/6 + 5*g**2/2 + 4. Let r(z) be the second derivative of l(z). Is 2 a factor of r(6)?
False
Let d(j) = j**2 + 6*j + 9. Let g be d(-5). Suppose -2*f + 272 = 3*f - 2*x, -g*f - x = -228. Let y = f - -31. Is 22 a factor of y?
False
Suppose 0 = -16*a + 2016 + 48. Is a a multiple of 18?
False
Let c = -505 + 1816. Is 12 a factor of c?
False
Suppose 2*p = 1151 - 35. Is p a multiple of 62?
True
Is (-154)/(-231) + (-8695)/(-3) a multiple of 22?
False
Suppose d + 18 = 66. Suppose -x - 4*v + d = 0, 2*x - 5*v - 122 = -0*x. Suppose -5*o + 44 = -x. Is o a multiple of 9?
False
Let v = 49 - -5. Let m = v - -151. Is m a multiple of 38?
False
Let z(y) = 4*y**2 - y - 1. Let u be z(1). Suppose -3*n + 16 = -4*k, 4*k - 3 = -u*n + 1. Suppose 0 = n*x - 3*j - 243, x - 2*j - 84 = -17. Is x a multiple of 19?
True
Suppose -484 = -3*t - 4*b - 20, -3*t + 5*b = -419. Is 66 a factor of t?
False
Let g(s) = -s**3 - 3*s**2 + 8*s + 33. Let f be g(-6). Suppose f*m - 88*m - 810 = 0. Is 27 a factor of m?
True
Let v be (-2)/(-4 - 110/(-25)). Does 7 divide (76 - (v - -4)) + 0?
True
Let x be 3/6 - 9/(-2). Is ((-10)/x + 6)*16 a multiple of 23?
False
Let g = -242 + 745. Does 27 divide g?
False
Suppose -3*w + 219 + 1101 = 0. Suppose g = 5*g - w. Does 5 divide g?
True
Suppose -6 - 2 = 2*k, -w - 2*k = 12. Let x be -1 + 1/(w + 5). Suppose x = 8*a - 3*a - 260. Does 26 divide a?
True
Let i(t) = -2*t**3 + t**2 + t. Let y(n) = n - 9. Let f be y(8). Let u be i(f). Suppose -2*d + 45 = 3*z + u*d, -5*d - 30 = -2*z. Is 12 a factor of z?
False
Suppose 5*f + 5*q + 7 = -3, -4*q + 6 = -3*f. Let t = -2 + f. Does 16 divide ((-120)/18)/(t/18)?
False
Suppose -r = -k - 2*k + 814, 0 = k - r - 268. Is k a multiple of 7?
True
Let n(h) = h + 35. Let x be n(-21). Let k(c) = -c**2 + 17*c - 27. Does 7 divide k(x)?
False
Let g(v) = 0*v - 9 - 4 + 7*v + 0*v**2 + v**2. Let j be g(-9). Suppose 4*o = 4*f - 212, -j*f - o + 289 = 2*o. Does 22 divide f?
False
Let h = 823 + -587. Is 10 a factor of h?
False
Let s(u) be the first derivative of -6 - 10*u**2 - 1/3*u**3 + 8*u. Is 18 a factor of s(-17)?
False
Let w(x) = 122*x**2 - 24*x - 96. Does 12 divide w(-6)?
True
Let q be 0 + (-1 - -1) + 3. Suppose 3*w + q*z - 87 = -0*w, -w + 29 = 4*z. Suppose -5*y + 21 = -w. Does 5 divide y?
True
Suppose 0 = -0*d - 5*d + 120. Let g be (-12)/d - 5/(-2). Suppose -3*r + 345 = 5*j, 0 = -j - g*j + 5*r + 241. Is 18 a factor of j?
True
Suppose -2*z - 1196 = -2*x, -2*x - 9*z + 1192 = -10*z. Does 3 divide x?
True
Suppose 56 = 4*o - 2*o. Let s = o + -23. Suppose 3*n - 32 = n + 3*q, -2*q = s*n - 80. Is 8 a factor of n?
True
Let n = 35 + -31. Suppose 5 = -4*c + n*j - 3, -2*c - 4*j = 10. Let l(p) = 4*p**2 + 7*p + 2. Is 6 a factor of l(c)?
False
Let t(v) = -2*v + 1. Let r be t(-3). Let h(w) = -10*w**3 + w**2 - 2*w - 1. Let x be h(-2). Suppose -r*u + x = -4*u. Does 14 divide u?
False
Suppose 3*w = 5*a + 11, 2*w - 5 = a - 0*a. Suppose 3*c + f = 146, 94 = -0*c + w*c + 4*f. Does 7 divide c?
True
Let y(f) = -f**3 + 5*f**2 + 7*f - 7. Let h be y(6). Let z be (-28)/12 - h/3. Is 8 a factor of -2*(-1 + -12) + z?
True
Suppose 22 - 37 = 3*z, -l + 2*z + 2359 = 0. Is l a multiple of 9?
True
Let a be (2/3)/((-8)/(-36)). Let z = 0 - a. Let w(v) = 2*v**2 + v - 4. Does 9 divide w(z)?
False
Let g(v) be the third derivative of -v**6/120 + 17*v**5/60 - 17*v**4/24 + 26*v**3/3 - 10*v**2. Is g(16) a multiple of 18?
True
Is 26 a factor of 37722/42 + 0 + 2/(-14)?
False
Let a(r) = r**2 - 7*r + 90. Is 7 a factor of a(28)?
False
Suppose -75*x + 87*x - 7812 = 0. Is 31 a factor of x?
True
Suppose 5*g - 40*g = -5880. Is g a multiple of 21?
True
Is (-22 - -17) + 364/1 a multiple of 22?
False
Let s = -2185 + 4055. Is s a multiple of 1