s p a multiple of 104?
False
Suppose -g + 75 = -41. Suppose g = 5*t - 4*f, 0 = 2*f + 8. Does 7 divide t?
False
Let j(p) = -41*p**3 + 4*p**2 + 4*p - 1. Let l(u) = 42*u**3 - 5*u**2 - 5*u + 1. Suppose 0 = o - 0*o - 5. Let i(y) = o*j(y) + 4*l(y). Does 12 divide i(-1)?
True
Let d = 825 - 295. Is 13 a factor of d?
False
Suppose 3*m + 0*m + 2*k - 954 = 0, -2*m + 626 = -2*k. Is 79 a factor of m?
True
Let v = 313 + -161. Suppose v = -4*f + 468. Does 13 divide f?
False
Let r(j) = 21*j - 3. Let q(s) = -41*s + 5. Let i(p) = -2*q(p) - 5*r(p). Is i(-1) a multiple of 7?
True
Let w(i) = i**3 - 3*i**2 - i - 1. Let v be w(4). Suppose v*d = 10*d. Suppose d = -5*y + 110 - 40. Is y a multiple of 8?
False
Let h be (-104)/(-2) - (8 + -12). Let g be 12/7 - (-16)/h. Let n = 21 + g. Is 23 a factor of n?
True
Let i = -586 - -727. Does 3 divide i?
True
Suppose 3*r = -3*v + 6, -5*r - 2*v = -11 - 5. Suppose -2*u = r*b - 136, u - 4*b = -9*b + 65. Is u a multiple of 10?
True
Suppose 0 = y - 51 + 5. Suppose -4*a + 223 = -5*b, -b - b = a - y. Is 26 a factor of a?
True
Let q be 8/3 + 4/12. Suppose 2*r = -q*r + 5. Suppose g - 6 = -r. Is 2 a factor of g?
False
Let h(f) be the second derivative of -f**4/3 + 8*f**3 + f**2 - 30*f. Does 22 divide h(9)?
True
Suppose m - 71 + 11 = 0. Suppose 0 = -8*x + 12*x - m. Suppose 3*p - 4*p = -x. Is 5 a factor of p?
True
Let j be 2/4*2*4. Let n be (-90)/18 - (1 + -5). Is 12 a factor of n/j - 57/(-4)?
False
Let g(n) = -n**2 - 8*n + 9. Let x be g(-9). Suppose 5*k - k + f - 463 = x, -5*f + 111 = k. Suppose p - k = -w, 3*p - 3*w - 401 = -53. Does 24 divide p?
False
Let a(k) = k**2 - 11*k + 13. Let l be a(10). Suppose 4*j - 3*j = -l. Is 7 a factor of 16 + (j - 0 - -1)?
True
Suppose -w + 52 = -5*q, -w - 9 = -q - 41. Let n = w - 19. Let u = n + -1. Is 3 a factor of u?
False
Suppose 4*l + 74 = 86. Suppose 2*n = n - 3*s + 20, l*s = 0. Is n a multiple of 10?
True
Suppose 7 + 5 = -4*v, -2*v = -5*w + 186. Does 9 divide (6/8)/(-6 + 219/w)?
True
Let r(q) = -27*q - 55. Let l be r(-10). Suppose 3*j = -5*f + 50 + l, -3*j + 271 = -f. Is j a multiple of 18?
True
Let m = -541 + 1079. Is m a multiple of 41?
False
Suppose -7*f + 35 = -2*f. Does 26 divide 10/(-35) - (-548)/f?
True
Let q(v) = -v**2 - 18*v - 12. Suppose 72 = -5*w - 3. Let s be q(w). Let y = s + -3. Is y a multiple of 30?
True
Let r be 1/4*0 + -1840. Is 12/(-102) + r/(-34) a multiple of 15?
False
Suppose -2*t = 5*o - 1321, -2*o - 538 = -4*o + 4*t. Suppose -26*i + o = -21*i. Let a = -2 + i. Is a a multiple of 17?
True
Suppose -a - 26 = -5*f, -a - 2*f + 3 = 29. Let z = 62 + a. Is 17 a factor of z?
False
Suppose -p + 213 = -2*h, 3*p + 6*h = h + 595. Is p a multiple of 5?
True
Let k be (-15)/6*18/15. Is 5 a factor of (-2 - -5) + 5 + k?
True
Let w(i) = i**3 - 7*i**2 - i + 5. Let r be w(7). Let k be (-1)/r + (-10)/20. Suppose k = -2*b + 33 - 9. Is 7 a factor of b?
False
Let i(a) be the second derivative of -a**2 + 0 + 0*a**3 - 2*a + 1/6*a**4. Is i(3) a multiple of 5?
False
Let q(t) = -2*t**3 + 11*t**2 + 15*t + 11. Is 13 a factor of q(6)?
True
Suppose 3*o + 12 = 0, -5*m + 314 = -4*o - 357. Does 8 divide m?
False
Let r = -1415 + 1557. Is r a multiple of 5?
False
Suppose -3463 = 8*g - 18463. Is g a multiple of 75?
True
Suppose -z = 3*z - 12. Suppose -f + z + 19 = 0. Suppose u + f = 2*u. Is u a multiple of 11?
True
Suppose -2*z + 2*h = h - 850, 3*h + 2127 = 5*z. Is 55 a factor of z?
False
Let d(y) = 238*y - 107. Is 20 a factor of d(5)?
False
Let v = 2626 - -134. Is 23 a factor of v?
True
Does 55 divide 35/(2 + ((-30)/35 - 1))?
False
Suppose 0*h - m - 763 = -4*h, -5*h + 947 = m. Let j(y) = 8*y**2 + y + 1. Let f be j(-1). Suppose 3*g = f*g - h. Does 7 divide g?
False
Let l = 38 - -18. Is l a multiple of 11?
False
Suppose 3*f + 1823 = 4*t, -913 = -2*t + 4*f - 3*f. Does 22 divide t?
False
Suppose 2*y = -2*y + 2*q + 34, -3*y = -q - 27. Is 7 a factor of ((-10)/(-4))/(y/140)?
True
Let t(n) = 8*n**2 + 28*n - 23. Is 6 a factor of t(-8)?
False
Let b(i) = 3*i - 1. Let x be b(1). Suppose -2*p = -2, x*g + p - 61 = -3*g. Is g a multiple of 10?
False
Suppose -2*y + 14*y = 22356. Is 81 a factor of y?
True
Is ((-27)/21)/(12/8)*-686 a multiple of 49?
True
Suppose 5*z = -2*h + 384, 2*z + 576 = 13*h - 10*h. Is 16 a factor of h?
True
Let k(c) = 59*c + 13. Is 28 a factor of k(2)?
False
Suppose -f + 2 = -0*f. Suppose y - f*y + 135 = 4*w, 5*w + 90 = y. Is 23 a factor of y?
True
Let w(j) = j + 4. Let y be w(-2). Suppose -h + 6 = -14. Suppose 5*p = 3*r - y*r - 28, r - 3*p - h = 0. Is r a multiple of 4?
True
Let q(v) = 38*v**3 - 18*v**2 - 2*v - 12. Is q(4) a multiple of 9?
True
Does 12 divide (-6)/(-8) + 10755/60?
True
Let i(l) = 6 - 28*l - 1 + 86*l. Let q be i(4). Let x = q + -142. Is 24 a factor of x?
False
Let x(y) = -y**3 + 16*y**2 + 26*y - 20. Let a(p) = 8*p + 1. Let c be a(2). Let w be x(c). Is w/2 - 6/4 a multiple of 23?
False
Let f(j) = 4*j**3 - 2*j**2 + 2*j - 1. Let b be f(2). Let p = b - 22. Suppose p = -4*x + 41. Is 2 a factor of x?
False
Let x(v) = 5 - 20 - 21*v + v**2 + 14*v. Is x(16) a multiple of 14?
False
Does 84 divide (-448)/(-24)*279/2?
True
Let w be (-3)/(-9) + 138/18. Is 374/w - ((-42)/8 - -5) a multiple of 6?
False
Let a = -951 - -1221. Is 5 a factor of a?
True
Let s = -985 + 1468. Is 80 a factor of s?
False
Suppose 9*x = 10*x + 35. Let b be 21/x - (-223)/5. Suppose 0*y - 3*y - 4*w + b = 0, -y - 7 = -3*w. Does 6 divide y?
False
Suppose -2*x + 2*h + 122 = -3*x, -4*x = h + 453. Let v = x + 231. Is v a multiple of 19?
False
Suppose -2*s - 3*m = -739, -2*s + 13*m - 14*m + 729 = 0. Does 25 divide s?
False
Let h(o) = o**3 - 6*o**2 + 8*o - 3. Let q be h(5). Suppose -l - l + q = 0. Suppose l*s = 3*s + 132. Does 11 divide s?
True
Let h(y) = y**3 - 2*y**2 + 22*y + 25. Is 12 a factor of h(11)?
True
Let h(a) = -2*a**2 - 7*a + 5. Let j be h(-4). Let o = 55 - j. Is 18 a factor of o?
True
Let x = 173 + 261. Does 20 divide x?
False
Let t(g) = 4*g**2 + 61*g - 13. Let x(s) = -s**3 + 4*s**2 + 19*s - 5. Let n be x(7). Is 48 a factor of t(n)?
False
Suppose 0 = 4*t - 3*m + m - 2, 0 = -2*m + 6. Let r be 3804/14 + t/7. Suppose y = 4*q - 3*y - r, -5*q + 326 = 2*y. Is q a multiple of 22?
True
Suppose 2*u = -2*k + 140, -3*u + k = -3*k - 245. Let i = 36 + u. Does 37 divide i?
True
Let w = -4 - -5. Is 15 a factor of (w + 1)/(6/180)?
True
Let u be 1/4 + (-34)/8. Let r(p) = 11*p**3 - 25*p**2 + 3*p + 15. Let q(g) = -5*g**3 + 12*g**2 - g - 7. Let z(d) = 13*q(d) + 6*r(d). Does 10 divide z(u)?
False
Suppose -2*t + 1387 = 5*a, -4*a + 1106 = 2*t - 4*t. Suppose 4*f - 182 = 5*b, -5*f + b + a = 39. Does 19 divide f?
False
Is 14 a factor of 14/(-7 + 7172/1023)?
True
Let r = 23 - 20. Suppose 5*c = -r*j + 193, j - 154 = -4*c - j. Is 19 a factor of c?
True
Let d = 4351 + -2607. Is d a multiple of 55?
False
Suppose -3*w - 45*u + 10624 = -46*u, 0 = -w + 5*u + 3518. Is 103 a factor of w?
False
Let r be 74/18 - (-13)/(-117). Suppose 7*l - r*l = w + 186, -l = -w - 62. Is 34 a factor of l?
False
Suppose 2*g + 2*g = 400. Let i be (-54)/(-36) - (-5)/2. Suppose 0 = -j - i*c + g, -4*j + 340 = c + 3*c. Does 16 divide j?
True
Let w(x) = 2*x**3 - 3*x**2 + 5*x - 1. Let t be w(2). Let o(v) = v**2 - 8*v - 10. Is o(t) a multiple of 30?
False
Let l(q) be the third derivative of q**4/12 + q**3/6 - 9*q**2. Let w be l(2). Suppose 4*a - 66 = -2*m, -2*m = -w*a - 4*m + 82. Is 16 a factor of a?
True
Suppose -4*f - 12 = 0, 0 = -4*v - f - 3*f + 596. Is 3 a factor of v?
False
Suppose 4*s = -2*h + 24, 0 = -h - 2*s - 3*s + 21. Let i(r) = r**3 - 6*r**2 + 6*r + 4. Is i(h) a multiple of 13?
False
Does 2 divide 35*((-80)/35)/(-8)?
True
Suppose 3*v - 8*v + 305 = 0. Suppose -3*w - 13 = -v. Does 16 divide w?
True
Let d(z) = z - 1. Let h be d(4). Suppose -k + 44 = h*k. Suppose 3*r - 5*o + 8 = 0, 3*o - k = -2*r + 9. Is 4 a factor of r?
True
Let t = -18 - -20. Let b be 49/(3/(2*9)). Suppose b = t*c + c. Is c a multiple of 14?
True
Let w = 79 - 189. Let r = w - -156. Suppose h - t = 4*t + r, 3*h - 90 = 3*t. Is 13 a factor of h?
True
Suppose 4*r + 2 = 3*v - 0*v, -5*r + v = 8. Let o = -2 - r. Suppose -5*i + 120 = -o*i. Is 6 a factor of i?
True
Let v = 42 + -74. Is (8/v - 663/(-12)) + -2 a multiple of 53?
True
Let w(l) = 19*l + 3. Let t be 4 + 12 - 3/3. Let b = t - 13. Is w(b) a multiple of 27?
False
