/(611/(-152) + 16/4) a multiple of 95?
True
Suppose -u = -14*u + 3432. Is 44 a factor of u?
True
Let q(o) = -23*o + 11. Suppose -3*c + 2 = -n + 13, 0 = -5*c - 4*n - 41. Is q(c) a multiple of 12?
False
Let a(i) = i**2 - 3*i - 7. Let x be a(5). Suppose 3*u + 0*j = -3*j + x, -u - 4*j = 5. Is u + -2*(-2 + -13) a multiple of 16?
False
Suppose -y = -56*d + 59*d - 3929, -2596 = -2*d + 4*y. Does 6 divide d?
True
Suppose 3*u = 6*u - 438. Suppose u = 5*f - 4. Is f a multiple of 22?
False
Let j = -123 + 177. Suppose 0 = 2*z + 3*c + 36, -2*z = -5*c - 1 + 53. Let o = j - z. Does 25 divide o?
True
Let t(o) = -o**3 - 16*o**2 - 16*o + 8. Suppose 0 = -2*m + 4*r - 22, -4*m + 25 - 77 = -4*r. Does 8 divide t(m)?
False
Suppose 14*o - 4 = 10*o, 4*o = -3*q + 4342. Is q a multiple of 16?
False
Suppose 3*m - 6*m = -108. Suppose 5*v + m = 4*j, -8 = 4*v + 8. Suppose 3*h - 38 = 5*y, -h + j*y - 88 = -6*h. Is h a multiple of 10?
False
Let a = 80 + -56. Suppose 45 = m + a. Is 13 a factor of m?
False
Let d = -1385 + 1616. Is 11 a factor of d?
True
Let p(k) = -2*k**3 - 25*k**2 + 11*k - 25. Let l(t) = t**3 + 12*t**2 - 6*t + 12. Let z(f) = -5*l(f) - 3*p(f). Is z(-15) a multiple of 13?
False
Let s(k) = -6*k - 10*k + 17*k - 3. Does 7 divide s(21)?
False
Let x be ((-3)/((-3)/2))/(15/(-180)). Suppose -5*s + 149 = -2*b, 0 = -3*s - b - 0*b + 96. Let m = x + s. Is m even?
False
Is (-5)/20 - (-4614)/24 a multiple of 2?
True
Let w(s) = -4*s**2 + 45*s - 50*s + 9 + 5*s**2. Is 3 a factor of w(2)?
True
Let j(o) = 14*o**2 - 8*o - 6. Does 19 divide j(4)?
False
Suppose 0 = 4*m - 32 + 64. Let d(l) = -l**3 - 6*l**2 - 4*l - 9. Is 32 a factor of d(m)?
False
Suppose 887 + 219 = 2*t. Is t a multiple of 53?
False
Let x = 19 - 38. Does 12 divide (x/5 - -4) + (-598)/(-10)?
True
Suppose -2*q + q = -3*f + 278, f - 101 = 2*q. Does 5 divide f?
False
Suppose 26*p + 31262 = 100266. Does 12 divide p?
False
Suppose 145*a - 150*a = -2300. Is a a multiple of 10?
True
Let g(y) be the second derivative of -19/3*y**3 - 3*y + 0 + 0*y**2. Is g(-1) a multiple of 10?
False
Let l(z) = z**2 + 57*z + 630. Is l(0) a multiple of 18?
True
Let s(c) = -9*c**3 + 2 - c**2 + c**2 + 8*c**3. Let q be s(0). Suppose 0 = q*n - 78 - 38. Is n a multiple of 14?
False
Let w = 9018 + -5364. Is 63 a factor of w?
True
Let u = 1340 + -1251. Is u a multiple of 2?
False
Suppose -5*s + 3*a + 485 = 0, 4*s - 2*s = a + 193. Is 9 a factor of s?
False
Let d be (-115)/15 + (-4)/3. Is 0 - -48 - (-36)/d a multiple of 10?
False
Suppose 5*v + 590 = 2*w, -5*w + 5*v - 324 + 1769 = 0. Is w a multiple of 19?
True
Suppose -2*i - 4 = -2. Let c be 1/1*(0 - i). Does 18 divide (-1 - -16)*(7 - c)?
True
Suppose -5*m = t - 0*m - 24, -3*t - 2*m = -20. Let w = -14 + 113. Does 11 divide t/3*w/6?
True
Suppose 0 = -5*p + 5*i - 15 + 45, -4*p + 30 = -i. Let l(m) = m**3 - 5*m**2 - 13*m + 8. Does 16 divide l(p)?
True
Suppose -2*i + c + 12 = -c, -5*c = -2*i + 27. Let p(z) be the third derivative of 13*z**5/30 + 2*z**2. Is p(i) a multiple of 15?
False
Let v be (-4)/60*6 + 377/5. Let p = 51 + v. Is p a multiple of 21?
True
Suppose -20 = -2*h + 2. Suppose -4 - h = -3*t. Suppose 2*x - 69 = -t*b + x, 3*x - 64 = -4*b. Is 11 a factor of b?
False
Let x = -54 + 73. Suppose x + 1 = 4*j, -4*n = -j - 43. Does 12 divide n?
True
Let r = 286 - 171. Suppose -39 = -c + r. Is 9 a factor of c?
False
Let d be 0/(-5) + (-2)/(-1). Is 11 a factor of (d/4)/((-6)/(-792))?
True
Let y = 240 - -82. Is y a multiple of 23?
True
Let x(f) be the third derivative of -2/3*f**3 + 0 - 9*f**2 + 1/20*f**5 + 5/24*f**4 + 0*f. Is x(-6) a multiple of 21?
False
Suppose 0 = -2*o + 5*u - u + 1668, -4*o = -u - 3371. Is 54 a factor of o?
False
Suppose 2*s = 2*o - 426 - 1620, -5*o - s = -5103. Is o a multiple of 14?
False
Let h = 27 - 16. Let x = 12 - h. Is 2 a factor of (2 - x)/(2/10)?
False
Let n(z) = 30*z - 15. Let x be (-21)/(-9) - (-8)/12. Is 25 a factor of n(x)?
True
Let a(u) = u**3 + 33*u**2 - 24*u - 85. Is 15 a factor of a(-33)?
False
Suppose -2*x + 75 = 3*y - 51, y = 2*x + 42. Let u = y - 64. Does 10 divide (u - -2)*(-3)/2?
True
Let m = 15 + -19. Let j = -6 + m. Does 33 divide 36/j*(-450)/27?
False
Let l(d) = -14*d + 36. Let p(w) = -27*w + 71. Let i(q) = 11*l(q) - 6*p(q). Is i(11) a multiple of 20?
False
Let o be 5*2/10 + 12. Suppose -4*f + 3*z = -204, 7 = 5*z - o. Is 12 a factor of f?
False
Suppose -2*x + 110 + 38 = 0. Suppose -x = -4*t + 26. Is 5 a factor of t?
True
Let s(u) = u**2 + u + 33. Let b be s(17). Suppose -g + 2*g = -f + 103, 3*f + b = 3*g. Is g a multiple of 18?
True
Let d = 94 - 36. Does 22 divide d?
False
Let c be 7 + -4 + -3 + (-1 - -5). Does 4 divide (1 - -39)/(0 + 8/c)?
True
Suppose -5 = 2*t - 9. Let s(w) = 21*w - 4. Let r be s(t). Let h = r - -2. Does 20 divide h?
True
Let g = -180 + 254. Let x = g + 46. Is 30 a factor of x?
True
Suppose -154 = 94*w - 95*w. Is w a multiple of 65?
False
Let q(v) = 3*v - 7. Let x be q(3). Suppose n - 52 = -n - x*c, -c = 2*n - 54. Let z = 89 - n. Does 18 divide z?
False
Suppose -v = 91 - 591. Suppose 2*m + 3*m = v. Suppose 0*a = 4*a - m. Does 8 divide a?
False
Let y(h) = 3*h**2 - 5*h - 4. Let a(r) = r**3 - 7*r**2 + r - 3. Let j be a(7). Is y(j) a multiple of 16?
False
Let d be 9 - (0 - (1 - 5)). Suppose -4*g + 72 = d*l, 4*g = g + 5*l + 19. Is g a multiple of 7?
False
Suppose 2*y = 4*y, -81 = -3*w + 3*y. Is 18 a factor of (-12)/(-54) + 966/w?
True
Suppose 18*l + 3006 = 20*l. Does 23 divide l?
False
Let c = 447 - 245. Is 16 a factor of c?
False
Suppose -p - 15 = -4*m - 2*p, -5*p = -15. Suppose 4*x + x - 140 = 2*v, -2*v = m*x - 100. Let b = x + -14. Does 4 divide b?
True
Suppose -4*o = -2*f - 12, -3*o = 2*f - 5*f - 6. Let y(t) = 4 + 2*t - 6 + o - 6*t. Is y(-3) a multiple of 14?
True
Suppose 8*l = 976 - 320. Is 8 a factor of l?
False
Let x = -521 + 913. Let o = -280 + x. Is o a multiple of 14?
True
Suppose 13*x + 3600 = 2*z + 11*x, -2*x = -3*z + 5399. Does 7 divide z?
True
Let c(j) = -31*j + 4 - 14*j + 1. Let q be c(-3). Suppose -3*v = -3*a + 147, 0 = -7*a + 4*a - 4*v + q. Is 10 a factor of a?
False
Suppose 38 = 3*g + 2*y, -4*g + 3*g + 5*y - 10 = 0. Suppose 6*r + 96 = g*r. Does 12 divide r?
True
Let l = 1260 - 570. Suppose -v + 4*s + 158 = 0, l = 5*v - 3*s - 66. Does 30 divide v?
True
Suppose -8 = 90*x - 94*x. Suppose -x*b + 388 = 24. Is 28 a factor of b?
False
Suppose g = 5*g + 360. Let r be (24/14 - 2) + (-4250)/119. Let t = r - g. Is 18 a factor of t?
True
Suppose -2*g + 2 = 5*k, -2*k + 3*g - 12 = 7*g. Suppose -372 = -2*v - 4*f, k*v + 2*v + 5*f - 744 = 0. Suppose v = 5*x - 2*x. Is 31 a factor of x?
True
Suppose 4*f - 1917 = -633. Let q = f - 219. Does 17 divide q?
True
Does 29 divide (33/(-22))/(-1*9/2652)?
False
Does 54 divide (52/(-8) - -8)/((-9)/(-3138))?
False
Let s(g) be the third derivative of 0*g + 0 + g**3 + 7*g**2 + 7/60*g**5 - 1/3*g**4. Does 15 divide s(3)?
True
Let d be 1071/42*(86 + -2 + 2). Is d/17 + 2/1 a multiple of 21?
False
Does 17 divide 1*4167/27 - 8/6?
True
Let n(g) be the third derivative of g**5/60 - g**4/6 - 2*g**3 - 5*g**2. Let f be n(-8). Suppose 3*a + 0*a - f = 0. Does 13 divide a?
False
Let m = 248 + -140. Suppose -4*i + 184 - m = 0. Is 19 a factor of i?
True
Suppose -5*q + 5*g + 55 = 0, -2*q + 5 + 7 = 3*g. Is 2 a factor of q/(-9)*-1*23?
False
Suppose -5*i + 2*i + 15 = 0. Suppose i*w - 2*x = 770, -5*w + x = 2*x - 785. Suppose -w = -3*h - 36. Is 15 a factor of h?
False
Let w = -1 + 1. Let k(c) be the first derivative of c**3/3 + 37*c + 3. Is k(w) a multiple of 12?
False
Let f = -9 - -11. Suppose -h = 3*h + u - 10, -2*h = -f*u. Suppose -h*o = -5 + 1. Is o even?
True
Let f = -41 + 11. Let c(x) = x**3 + 5*x**2 + 6*x - 2. Let w be c(-6). Let j = f - w. Does 14 divide j?
False
Let j(r) = -r**2 + r + 1. Let v(i) = i**3 - 4*i**2 + 10*i - 4. Let g(x) = -4*j(x) + v(x). Let a be g(3). Let n = 15 + a. Does 18 divide n?
False
Let i be 4/6*1*501. Let x = i + -179. Is x a multiple of 62?
False
Let x be ((-436)/3)/((-2)/15). Suppose v = 6*v - x. Suppose -v = d - 3*d. Does 31 divide d?
False
Suppose -3 = -2*i + 2*q + 5, 3*i + 6 = -3*q. Suppose 2*y + i = 5*a + 4, 5*y - 2*a = 18. Does 15 divide 238/y + 13/26?
True
Let g(h) = h**2 + 6*h - 3. Let m be ((-46)/2)/((-6)/6). Suppose 9 - m = 2*n. Is g(n) a multiple of 4?
True
Let q be -4*(-1 - -2) - -16. Let s 