1529 - 760 = -v + 2*f. Is v a multiple of 25?
False
Let f(s) = -13 + 49 - 4*s - 2*s + 0*s. Let t(i) = -2*i + 12. Let x(c) = 3*f(c) - 8*t(c). Is x(-9) a multiple of 10?
True
Let p be 2/((1/3)/(7/(-7))). Does 10 divide 166*((0 - 27/p) + -3)?
False
Let y(p) = -4*p**3 - 2*p**2 + 9*p + 35. Is y(-5) a multiple of 10?
True
Is 9 a factor of (3 + 0)/(126/99582)?
False
Suppose -2*h - 5*l = -296, 3*h - 6*l - 444 = -8*l. Let v be (104/6)/((-2)/(-9)). Let x = h - v. Is x a multiple of 10?
True
Suppose 4*i - 9 + 1 = 0, -4*v = i - 1678. Is v a multiple of 21?
False
Let l = -44 - 85. Let g = l + 201. Is g a multiple of 18?
True
Let o(y) = 192*y - 92. Is 41 a factor of o(9)?
False
Let r = 3465 - 1063. Does 108 divide r?
False
Let n be (18/15)/(1 - (-11)/(-10)). Does 24 divide (423/6)/((-6)/n)?
False
Suppose 1316 = 3*k + 260. Suppose 0*u + 4*l = -4*u + k, 10 = 5*l. Is u a multiple of 19?
False
Let t(z) be the third derivative of -z**4/24 + 2*z**3/3 - 38*z**2. Is 18 a factor of t(-18)?
False
Suppose -n + 4*n - 192 = 0. Does 32 divide n?
True
Suppose -3*a = 2*l - 104 + 8, 0 = a - 5*l - 49. Is 34 a factor of a?
True
Let m = -11 + 14. Suppose -3*b + m*y = -174, 0*b + 3*b + 4*y = 188. Suppose 5*o = 2*i - i + 162, b = 2*o + 2*i. Is o a multiple of 16?
True
Let x(n) = -4*n**3 + 2*n**2 + 2*n - 1. Let w be x(-2). Suppose -121 = -2*f + 5*t, t + w = 2*f - 66. Does 16 divide f?
True
Suppose 0 = -9*f + 5*f + 12. Let k(h) = 0*h - f + 2*h + 5. Is 9 a factor of k(8)?
True
Let p = 1911 - 1202. Is p a multiple of 68?
False
Let o(g) = -g**2 + 11*g + 29. Let u be o(13). Suppose 2*i - u*i + 132 = -2*p, 0 = -5*i - 4*p + 646. Is 48 a factor of i?
False
Let r = -17 + 17. Suppose r = -10*d + 5*d - 55. Let s(n) = -n. Is 6 a factor of s(d)?
False
Suppose 0 = -x + 3*x + 6, 5*x = r - 14. Suppose 4*a - 5*k + 44 = 0, 44 = -3*a - 3*k + 4*k. Let q = r - a. Is q a multiple of 3?
True
Suppose -5 + 3 = d. Let z be (d - (-9)/(-6))*2. Let t = 0 - z. Does 7 divide t?
True
Let w(v) be the first derivative of v**6/120 - v**5/60 + v**4/8 + v**3/3 - 5*v**2/2 - 3. Let o(h) be the second derivative of w(h). Does 8 divide o(3)?
False
Let l(s) = -s**2 + 2*s + 15. Let k be l(-3). Is 14 a factor of (21 + k)/(3/18)?
True
Let q be (6/4)/(1/2). Suppose 0*m = m - 5, 3*m + 50 = v. Suppose 4*u - 86 = q*x + v, 2*x = 5*u - 194. Is 20 a factor of u?
True
Suppose 2456 = 5*y + 2*p, -5*y + 3*p = -2655 + 214. Does 5 divide y?
True
Let s be (-4)/(-18) - 2/(72/116). Is 50 a factor of (135/(-6) - -1)*(s + -7)?
False
Let x = -386 - -832. Let v be (x/(-3))/(22/(-33)). Let n = v - 130. Is 21 a factor of n?
False
Suppose -j - 5*q = 2*j - 32, -16 = j - 5*q. Is (j - (57 - -1))/(-1) a multiple of 18?
True
Suppose -88 = -4*x - 8. Let v = 28 - x. Let m = v - -19. Is m a multiple of 16?
False
Suppose 0 = m + 4*l - 64, -4*m + 230 = -2*l - 62. Suppose 184 = 3*p + 4*i, p - m = i + 3*i. Is 16 a factor of p?
True
Let y = 1373 - 753. Is 31 a factor of y?
True
Let f be 2295/(-187) + (-9)/(-33). Let b(h) = h + 1. Let o(g) = -21*g - 48. Let w(i) = 18*b(i) + o(i). Is 6 a factor of w(f)?
True
Let m be (-15)/(2/(-2)) + 2. Let v = 47 - -38. Is 22 a factor of m/v + 469/5?
False
Let g(r) = -r**3 + 8*r**2 - 5*r - 13. Let y be (2 + 2)/2 + 4. Is 3 a factor of g(y)?
False
Suppose 0 = 69*z - 76*z + 2625. Is z a multiple of 15?
True
Let h = 11 - -169. Suppose -7*o = -12*o + h. Is o a multiple of 36?
True
Let y be 0/(1/2*2). Suppose y = -5*m + 308 + 292. Is m a multiple of 40?
True
Let t be (-5)/(-2 + (3 - 2)). Suppose -185 = -t*v - 45. Let r = v - 17. Is 5 a factor of r?
False
Let v(z) = -z**2 + 5*z + 1. Let y be v(6). Let w(b) = 2*b + 3. Let t be w(y). Does 13 divide t/((-21)/74)*3?
False
Suppose -2*u = 5*g - 11110, -38*g - 3*u = -42*g + 8865. Does 37 divide g?
True
Let j(i) = -2*i**2 - 8*i - 8. Let f be j(-4). Let u(x) = -x**3 - 8*x**2 - 5*x - 9. Is 10 a factor of u(f)?
False
Is 16 a factor of (1/((-2)/2))/((-24)/23064)?
False
Suppose 5*f - 5*r = 6165, -8*r = -2*f - 11*r + 2461. Is 11 a factor of f?
True
Let x(k) = 173*k**2 - 30*k + 108. Is 21 a factor of x(3)?
True
Let w(q) = -31 - q**2 + q + 146*q**3 + 87 - 23 - 34. Suppose -1 = -f - 0. Is w(f) a multiple of 33?
False
Suppose 2*x + 20 = 2*b, -4*b + 0*b + 8 = 4*x. Is 6 a factor of (5/(40/(-6)))/(b/(-240))?
True
Let r be 5/(-1)*(-78)/65. Suppose o + 4 - r = 0. Suppose -4*i = -o*i + 3*f - 131, -4*i + 255 = -f. Is i a multiple of 19?
False
Let u be 4*1 - (146 + -12). Let c = -43 - u. Does 29 divide c?
True
Let b(n) = n - 1. Let s(m) = -31*m**2 - 6*m + 7. Let d(c) = -5*b(c) - s(c). Does 15 divide d(1)?
True
Let l be 1/(4 - 1)*(-3 - 18). Let b(t) = 2*t**2 + 2*t - 5. Is b(l) a multiple of 17?
False
Let g = 37 + -42. Does 12 divide -3 + (-4*50)/g?
False
Let z = 16 - 14. Suppose o + 5*t = 49, 0 = o - 6*o + z*t + 164. Is 5 a factor of o?
False
Suppose -5*w + 6 - 1 = 4*a, 2*a + 2*w = 4. Suppose -a*m - t - 3*t + 169 = 0, 2*t = -m + 35. Suppose -z + 142 = 4*u - 2*z, -u - z + m = 0. Is 10 a factor of u?
False
Let c(v) = -2*v**2 + 4*v + 13. Does 2 divide c(0)?
False
Let o(z) = -24*z - 20. Let q be o(-23). Suppose 2*i - q = -5*f + 4*i, -436 = -4*f - i. Does 38 divide f?
False
Suppose 0*q - 5*q + 281 = 4*o, -q - 275 = -4*o. Let t = o + 9. Is t a multiple of 13?
True
Suppose 5*c - 451 = -3*n, 135*n - 138*n + c = -475. Is n even?
False
Let i be 3/5 + 13057/55. Does 24 divide -14*1*i/(-28)?
False
Suppose -948*r - 63 = -951*r. Does 3 divide r?
True
Suppose 3*j - 18 = 6*j. Let b be (0 - (-3 - j))*-1. Suppose -4*w + b*y + 45 = 0, -w + y + 10 = -y. Is 4 a factor of w?
True
Let r = -617 + 1966. Is 6 a factor of r?
False
Let c be 2 + (2 - (2 - -3)). Let l be -1 + (9 - 1/c). Suppose 0 = u - l - 3. Does 4 divide u?
True
Let m = -83 + 127. Is 4 a factor of m?
True
Suppose 4*c - 198 = 2*c - 2*u, -5*u = 2*c - 195. Let s = -51 + c. Suppose -o = -23 - s. Is o a multiple of 24?
True
Let h be 12 + -4 + -4 + 32. Suppose -4*m + 2*m + 38 = -4*l, -l = 3*m - h. Is 13 a factor of m?
True
Suppose -2*x = -3*h - 205, -9*x + 7*x + 2*h = -200. Is x a multiple of 12?
False
Suppose -3*y + 5*u = -19, 0 = 2*y - u - 4*u - 21. Let o(m) be the second derivative of -m**3/6 + 3*m**2/2 - 35*m. Is 5 a factor of o(y)?
True
Suppose -y - 3*h + 2539 = h, 4*y + h = 10096. Is y a multiple of 29?
True
Suppose -18*f + 27*f = 10836. Is f a multiple of 43?
True
Suppose -g - 3 = x, -17 = -x + 6*g - 2*g. Suppose 3*a + 10 = x. Let u = 5 + a. Is u even?
True
Let g(u) = 32*u**2 + u + 6. Let b(l) = 95*l**2 + 3*l + 17. Let y(v) = 4*b(v) - 11*g(v). Let k be -2*2/((-12)/(-3)). Is 25 a factor of y(k)?
False
Suppose 0 = 20*f - 15*f - 40. Suppose -6*t = -f*t + 30. Is t a multiple of 7?
False
Suppose 4*f + f - 20 = 0. Suppose -2*n - 3*y - 7 = -24, 31 = f*n + 5*y. Suppose -2*a = -2*j + 108 + 2, 2*j + n*a - 140 = 0. Is j a multiple of 20?
True
Let t = 8 + -18. Is 23 a factor of (115/t)/(3/(-6))?
True
Suppose -h + 440 = 10*h. Does 12 divide h?
False
Let h(p) be the third derivative of -p**4/6 - 3*p**3/2 - 4*p**2. Let x = -14 + 8. Is h(x) a multiple of 4?
False
Does 20 divide 3*(-6)/63 - 44312/(-56)?
False
Let u = -38 - -39. Is (8 - 9)/(u/(-31)) a multiple of 4?
False
Let a = -273 - -539. Is a a multiple of 14?
True
Let p = -25 - -31. Suppose 880 = 4*m + p*m. Does 22 divide m?
True
Let v = 0 - 37. Let f = 24 - v. Let a = f - 40. Is a a multiple of 11?
False
Let f(i) = -i**3 + 9*i**2 + 2. Let v be f(9). Suppose -6 = -v*q + 4. Suppose w + q*a = -5 + 3, 4*a = -3*w + 16. Does 8 divide w?
True
Suppose 664 = b + 3*j, 3*b = 2*j + 2010 - 7. Is b a multiple of 70?
False
Let u(r) = -r**2 + 27*r - 3. Let v be u(18). Let w = v - 90. Is 28 a factor of w?
False
Let l = 741 - 280. Is 7 a factor of l?
False
Let k = 3542 - 1417. Is k a multiple of 85?
True
Does 17 divide (-27 + 1)/(38/(-817))?
False
Let l = 3920 + -2287. Is 39 a factor of l?
False
Let s be 24332/(-42) + (-2)/(-6). Is (4/(-84) - 2/7)*s a multiple of 25?
False
Suppose 9*p + 5*m = 11*p - 588, p - 3*m - 292 = 0. Is 38 a factor of p?
True
Let q be ((-24)/(-10))/((-5)/((-200)/12)). Let u(i) be the first derivative of -i**4/4 + 10*i**3/3 - i**2/2 - i - 4. Is u(q) a multiple of 24?
False
Let s be 2/((-3)/(-30)*4). Suppose s*a - 168 = -0*d - 2*d, -a + 52 = 5*d. Suppose 0*k - a = -4*k. Is k a multiple of 2?
True
Suppose -2*g = -8, -2*g - 