ctor of l?
True
Let k = 99 + 6. Let v = k - 35. Is v a multiple of 14?
True
Suppose 12 = 3*i, -4*a - 2*i - 2*i = -44. Let v(m) = -6*m**2 + 3 + 0 + m**3 - 5*m + 0. Is v(a) a multiple of 10?
False
Let w(d) = 260*d**3 - 4*d**2 + 4*d - 1. Let h be w(1). Suppose -4*s = -29 - h. Is s a multiple of 18?
True
Is 43 a factor of ((-18)/36)/((-2)/(1290*2))?
True
Let w(x) = -x**3 - 11*x**2 - 3*x + 63. Is 16 a factor of w(-11)?
True
Let k(i) = -3*i**3 + 2*i**2 + 12*i + 5. Let p be k(4). Let c = 57 - p. Suppose 4*x - c = -16. Is 5 a factor of x?
False
Let j = -60 - -115. Let w = 131 - j. Is 12 a factor of w?
False
Let i(d) = 33*d**2 - 2*d + 1. Let p be i(1). Suppose p*x - 248 = 28*x. Is 31 a factor of x?
True
Suppose 8*b = 5*b + 15. Suppose b*q - 95 - 99 = -4*u, -2*q + 96 = 2*u. Let r = 80 - u. Does 25 divide r?
False
Let d = -8 - -8. Suppose 3*m - 3 - 12 = d. Suppose u = m*j - 114, -2*u - 1 = -3. Does 10 divide j?
False
Suppose 1877 = -5*a + 2557. Does 8 divide a?
True
Suppose -5*n + 81 = 26. Let y(a) = -a + 17. Let m be y(n). Is 820/10 - m/(-2) a multiple of 25?
False
Suppose 1205*u - 19448 = 1192*u. Does 17 divide u?
True
Does 2 divide (51 - 43) + 65*2?
True
Let d = 92 + -140. Suppose 8*z - 7*z - s - 19 = 0, -3*s = 3*z - 75. Is 4 a factor of d/14*(-77)/z?
True
Suppose b - 104 = 202. Is 17 a factor of ((-25)/15 - -2)*b?
True
Let n = -14 - -19. Suppose 11 = n*q + o, -2*q + 0 = 5*o - 9. Suppose 4*m + q*i - 13 = 45, i = 2*m - 27. Is 4 a factor of m?
False
Let t(f) = -f - 14. Let p(b) = b + 7. Let h(i) = 7*p(i) + 3*t(i). Suppose -6*x + 0*x + 48 = 0. Is h(x) a multiple of 13?
True
Let a = 9 + -7. Suppose 10 = a*x - 4*l - l, 2*x = -4*l - 8. Suppose x = k + 3 + 2, 4*b - 211 = -k. Is 16 a factor of b?
False
Let i(f) = -91*f - 210. Does 14 divide i(-15)?
False
Let g = 1314 + -915. Is g a multiple of 9?
False
Let l be -1*(-1 + 2)*-2. Let r(n) = -n**3 - 5*n**2 + n + 2. Let i(k) = -6*k**3 - 25*k**2 + 5*k + 11. Let c(b) = 2*i(b) - 11*r(b). Does 8 divide c(l)?
False
Suppose 2*z = -27 + 25. Does 6 divide (1*(-52)/4)/z?
False
Let w(m) = 2 - 6*m - 9 + 1 + 4. Let f be w(-1). Suppose -6*t + 4*t - 6 = -4*c, -c + 33 = f*t. Is t a multiple of 2?
False
Let j(w) = 16*w**2 - 31*w - 1. Does 10 divide j(4)?
False
Let s(z) = z**2 - 5*z - 8. Let b(v) = -v**3 + 9*v**2 + 9*v + 2. Let q be b(10). Does 15 divide s(q)?
False
Let q = 359 - 174. Does 49 divide q?
False
Let j = -1 + 1. Let u(q) = -489*q + 490*q - q**3 + q**2 + 0*q**2 + 19. Is 9 a factor of u(j)?
False
Suppose 0 = g, -n = n - 2*g - 106. Is 50 a factor of n/(6/8*(-16)/(-24))?
False
Let w be (-2)/(-7) - 96/(-56). Is 33 a factor of w/6 + (2305/15 - -2)?
False
Let r = -116 + 143. Does 27 divide r?
True
Let g = 495 + -339. Is g a multiple of 4?
True
Let n(k) = 4*k + 15. Let u be n(-3). Suppose -4*o - u*p + 105 = 0, 0*p = 4*o - 2*p - 90. Does 12 divide o?
True
Let a be ((-1)/4 + 2)*4. Let l = a - 4. Is 6 a factor of -2 - -5 - l*-1?
True
Let t = 33 + -27. Suppose 4*s - c + 356 = 2*s, -890 = 5*s - 4*c. Does 19 divide -1 - s/(t/3)?
False
Let c(h) = 44*h - 104. Let j be c(10). Let m = 1 - -3. Is ((-10)/(-8))/(m/j) a multiple of 21?
True
Suppose 0 = -2*a + 6, 3*a + a = -4*b + 480. Let d(p) = p**2 - 13. Let k be d(-9). Let t = b - k. Is 24 a factor of t?
False
Suppose 3*o + 35 = -h, -h = h + 2*o + 50. Let i = -4 - h. Let k = 39 - i. Is k a multiple of 23?
True
Let k = -109 - -197. Let p = k + -24. Suppose -5*w = 5*l - w - p, 3*w - 63 = -5*l. Is l a multiple of 12?
True
Let q(n) = -n**3 + 4*n**2 + 9*n - 7. Let x be q(-3). Suppose -2*i - x = -81. Is 12 a factor of i?
False
Let z(x) = -x**3 + 15*x**2 + x - 12. Let b(s) = -12 + 0 + 5*s + 10 - 8. Let i be b(5). Is 3 a factor of z(i)?
True
Let u be (-1)/(-4) - 15/(-4). Let a(j) = j + 28. Let t be a(-23). Suppose u*i - t*s - 57 = 0, -2*s - 48 = -5*i + 2*i. Does 5 divide i?
False
Does 42 divide ((-21)/(-12))/((-5)/(-1440)*6)?
True
Let t be 2 + -2 + (4 - 0). Suppose 0 = -t*k - k - 5. Does 10 divide k/((-1)/23 - 0)?
False
Let h = -7 + -1. Is 32*(26/h - -4) a multiple of 12?
True
Suppose 16*o - 2*t - 2824 = 12*o, -5*t - 20 = 0. Does 29 divide o?
False
Let g(n) = n**2 + n. Let j be g(2). Suppose -3*x - j = -24. Is x a multiple of 6?
True
Suppose 4*l = 16, 0*l - 24 = -4*z + 3*l. Suppose -a = z*a - 640. Is a a multiple of 23?
False
Let z be (-22)/(-55) + ((-572)/(-10))/2. Let p(g) = g + 2. Let n be p(2). Suppose -n*i + 19 = -z. Is i a multiple of 6?
True
Suppose 45 = -t + 5*g, -2*t + 27 = -3*t - 4*g. Let l = -3 - -75. Let h = t + l. Does 8 divide h?
False
Let i(o) be the third derivative of o**4/8 + 125*o**3/6 + 55*o**2. Is 23 a factor of i(0)?
False
Let h be -3*3/((-3)/1). Suppose -4*w + 168 = -h*w. Is 42 a factor of w?
True
Let w = -14 + 6. Let u(b) = 3 + 1 - 13*b + 3*b. Is 12 a factor of u(w)?
True
Let m = 21 + -16. Suppose 2 - 1 = -p, 2*v - 5 = m*p. Suppose v = -2*o - 4*b + 162, -b + 89 + 85 = 2*o. Is o a multiple of 20?
False
Suppose 4*u - 2*q + 4*q = 10, 2*q = -2*u + 6. Does 14 divide (12/(-36))/(u/(-372))?
False
Let t be -4 + (0 - -1) - 72. Does 5 divide 6/(2 + t/42)?
False
Let m be -6 - -7 - 0/2. Let d be 3 - (-6 - m)*-7. Does 8 divide d/(-3)*27/18?
False
Let q be (-9)/3 + 10 + -2. Suppose 21 + 44 = q*d. Does 2 divide d?
False
Suppose 4*a + 96 + 28 = 0. Let k = 31 + a. Suppose 5*o + o - 174 = k. Does 11 divide o?
False
Is 1070/(-4)*8/(-5) a multiple of 55?
False
Let p = 243 + -123. Is p a multiple of 15?
True
Suppose 4*a + 2*t = 926, 4*a - 488 = 2*a + 4*t. Suppose -2*f - 5*w = -112, 2*w - w - a = -5*f. Is f a multiple of 7?
False
Suppose n + 4 = 2*n, 0 = 2*u - 4*n + 14. Let i(f) = 27*f**2 - 2*f + 1. Is i(u) a multiple of 26?
True
Let x be (16/168 - (-2077)/21) + -5. Let n(v) = 66*v**2 - 1. Let k be n(1). Let j = x - k. Is 29 a factor of j?
True
Suppose -40*y + 224 = -38*y. Is y a multiple of 7?
True
Let q(g) = -3*g - 7. Let z be q(-6). Let r = z - 8. Suppose r = 5*t - 32. Is 7 a factor of t?
True
Suppose 37 = 5*g - 28. Let c = g - 15. Is (67/(-1) + 1)/c a multiple of 13?
False
Suppose 3*h = 17 - 65. Let m = 83 + h. Is 25 a factor of m?
False
Let f be (1/(-3))/(2/(-6)). Is 13 a factor of (-182)/(f/((-2)/4))?
True
Suppose -13 - 5 = -9*j. Suppose o + j - 4 = 0. Suppose 4*q - 121 = -5*p, -3*p + o*p + 2*q + 13 = 0. Is p a multiple of 5?
False
Let n(k) = 6*k**2 + 2*k - 1. Let s = 6 + -4. Suppose -m = -5*o - 1, 2*m - 2*o - 2*o - s = 0. Is n(m) a multiple of 4?
False
Suppose -7*k + 6 = -8. Suppose 540 = k*i - 3*t + t, 0 = -2*i + 4*t + 538. Let f = -176 + i. Is f a multiple of 19?
True
Does 15 divide ((-1628)/111)/(1/(-57))?
False
Let q = 0 + 10. Suppose -12 = q*s - 12*s. Is 5 a factor of s?
False
Suppose -3*z + 4 = -5. Let k be (-254)/(-3 + z + -2). Let h = k - 83. Is h a multiple of 22?
True
Let x(g) = -g**2 - 51*g - 42. Is 12 a factor of x(-45)?
True
Let f = -149 + 295. Suppose 30 = 2*m - f. Is m a multiple of 16?
False
Let j(t) = 16*t + 9. Let r(n) = 17*n + 10. Let h(w) = 4*j(w) - 3*r(w). Let s be h(8). Let g = -59 + s. Is 17 a factor of g?
True
Let t = -26 + 26. Let h(g) = g. Let a be h(6). Suppose 9*u - a*u - 24 = t. Is 8 a factor of u?
True
Let m = 9 - -7. Let w = -20 - -16. Let j = m + w. Is j a multiple of 4?
True
Let k = 169 - 166. Suppose 5*g + 22 = 57. Suppose -k*r - g*v + 2*v = -186, -4*r + 248 = -5*v. Is r a multiple of 31?
True
Let y = -671 + 1511. Is y a multiple of 28?
True
Let r = -25 - -25. Suppose r = -8*o + 3*o + 100. Is 5 a factor of o?
True
Let j be (-21)/(3 + 2*-1). Let y be (2 + 172)*(-35)/(-14). Is (-2)/(-7) - y/j a multiple of 11?
False
Let b be ((-156)/(-9) + -4)*3. Suppose -5*t = -5*h - 74 + 14, b = 3*t + h. Is t a multiple of 6?
False
Let k(u) be the third derivative of 3*u**2 + 0*u + 0*u**3 + 0 - 1/24*u**4. Is 8 a factor of k(-8)?
True
Suppose -4 - 8 = -4*f + k, 0 = -2*f - 2*k - 4. Let i(h) = -f*h**2 + 3*h - 4*h**2 + 7 + h**3 - 2*h. Is 18 a factor of i(7)?
False
Let p(i) = i**3 - i + 57. Let j be 2/(-6) - (-6)/18. Is p(j) a multiple of 28?
False
Let f = -90 - -159. Let n = 320 - 340. Let h = f + n. Is 8 a factor of h?
False
Let h(q) = -2*q**3 - 8*q**2 - 9*q + 2. Let p be h(-6). Suppose -u + p = u. Is u a multiple of 5?
True
Is 6 a factor of 6/12*12 - -6?
True
Let a(n) be the first derivative of 8*n + 1/4*n**4 - 2 - 10/3*n**3 + 11/2*n**2. Is a(9) a multiple of 13?
True