36 = -5*k + 4*p - 10, 0 = 3*p + 12. Does 16 divide t*(-81)/12*k?
False
Let u(m) = -m**2 - 7*m - 1. Let n be u(-13). Suppose -4*z = -3*z + 5, 2*k + 5*z + 303 = 0. Let h = n - k. Is 12 a factor of h?
True
Suppose 5*x - 6*x = 11. Let o = 5 + x. Does 15 divide 12/8 + (-171)/o?
True
Let i(w) = 15*w**2 - w - 7. Does 73 divide i(-3)?
False
Let s = 1200 + -204. Does 77 divide s?
False
Let k(i) = i + 6. Let o be k(-2). Let p be (o/3)/((-2)/(-3)). Suppose 19 = -g + p*g - 2*z, 0 = 5*g + 5*z - 20. Is 2 a factor of g?
False
Let j = 1 - -1. Suppose 0 = -j*q - q + 291. Let n = q + -69. Is n a multiple of 7?
True
Suppose -11*w - 104 = -1094. Does 6 divide w?
True
Suppose 12 = 4*r - 3*p, -4*p - p = -3*r - 2. Let o(q) be the first derivative of q**4/4 - 5*q**3/3 - q**2 - 6*q + 141. Does 7 divide o(r)?
False
Let v = 65 + -45. Suppose 3*d + 0*y = 4*y + 16, -3*d + 5*y = -v. Suppose d = t + 2*t - 141. Does 26 divide t?
False
Is -7*60/(-84)*(-3304)/(-10) a multiple of 14?
True
Is 98/245 + 5028/5 a multiple of 25?
False
Let p(i) = 6*i - 4. Let x = 9 + -2. Let s be p(x). Suppose 18*m - 20*m = -s. Does 7 divide m?
False
Suppose 0 = -10*t - 4*t + 882. Let g = t - 13. Is g a multiple of 4?
False
Let u(f) = 154*f - 45. Is u(2) a multiple of 22?
False
Suppose -4*t + 0*t + 849 = -3*l, -2*t - 4*l = -408. Does 15 divide t?
True
Let x(n) be the first derivative of n**2/2 - 5*n + 2. Let z be x(10). Suppose 4*d - 195 = -z*i, -i = -2*i + 3. Is 15 a factor of d?
True
Let l(g) = -5*g + 17*g - 5*g - 45. Is 4 a factor of l(7)?
True
Let s = 19 + 3. Let k = s - 20. Suppose -2*a = 2*q - 76, -6*q + k*q = 2*a - 160. Is q a multiple of 11?
False
Suppose 5222 = 14*a - 714. Is a a multiple of 12?
False
Suppose 14*d - 4185 = -13*d. Is 5 a factor of d?
True
Suppose -5*o = -902 - 1328. Does 21 divide o?
False
Let c = 238 - 123. Suppose -4*x + 2*m = -170, -3*x = -0*x - 4*m - c. Is x a multiple of 10?
False
Does 12 divide (-6)/2 + 179 - (2 - 2)?
False
Suppose 0 = -4*t + 16, 0*t + 3*t + 18 = 3*z. Let l(h) = h**3 - 11*h**2 + 14*h - 24. Is l(z) a multiple of 2?
True
Let s(v) = 206*v**2 - 3*v + 2*v - 1 - 162*v**2. Is 7 a factor of s(-1)?
False
Let b = 9 - 12. Let k = 4 - b. Let q = k - 0. Is q a multiple of 4?
False
Is 29 a factor of -145*(-17 + 2 - 2)?
True
Is 13 a factor of 182/21 + -8 + (-776)/(-6)?
True
Let o(h) = -h**2 - 10*h - 3. Suppose 0 = n + 6 - 1. Is o(n) a multiple of 11?
True
Let m be 0 + (-1)/((-4)/(-8)) + -10. Is 302/4 + (-4 + -2)/m a multiple of 19?
True
Suppose -5*q + 134 = 5*t - 91, 4 = -4*t. Suppose q = 2*o - 18. Does 8 divide o?
True
Suppose -5*x - 4*a = a - 125, a - 65 = -3*x. Does 3 divide 3/((-36)/x)*-12?
False
Let j(o) = 7*o + 49. Is j(25) a multiple of 8?
True
Is (-68212)/(-58) + 174/(-2523) a multiple of 84?
True
Suppose -2*y + 2129 + 131 = 0. Suppose 3*x - y = -2*x - 5*z, 0 = -2*x - 4*z + 456. Is x a multiple of 28?
True
Suppose -5*o + 13122 = a, 2*o - 5*a - 3154 - 2111 = 0. Is o a multiple of 75?
True
Suppose -227 = -3*n - 59. Does 18 divide n?
False
Let h(d) = 38*d**2. Suppose -8 = 2*i + 2*i. Let a be (i + (-7)/(-4))*4. Is h(a) a multiple of 19?
True
Let i(y) be the first derivative of -2*y + 1/3*y**3 - 1 + 1/4*y**4 + 3/2*y**2. Does 9 divide i(2)?
False
Let p(g) be the second derivative of 5/6*g**4 + 1/20*g**5 + 8*g - 4*g**2 + 1/3*g**3 + 0. Does 20 divide p(-9)?
False
Suppose 3*v - 5754 = -n + 7*v, -17270 = -3*n + 4*v. Does 36 divide n/20 + (-1)/(-10)?
True
Suppose -164*l - 4*w = -169*l + 3522, -2*l + 1404 = -4*w. Does 26 divide l?
False
Suppose -2*j - 13 = -21. Suppose j*b + 4*s = -0*b + 724, 0 = -2*b + 4*s + 392. Is 20 a factor of b?
False
Let r = 80 + -21. Suppose 3*s + 0*w = w - 188, -r = s - 4*w. Let d = s + 120. Is d a multiple of 32?
False
Suppose -i + 37 = 6*l - 4*l, -5*i = -5*l + 85. Let c be ((-4)/(-18))/(2/l). Suppose -u + 16 = -c*b - 0*b, 14 = u - 3*b. Is 4 a factor of u?
True
Suppose -10*m + 4241 = -2959. Does 48 divide m?
True
Suppose 10 + 0 = p. Does 10 divide p?
True
Suppose -i - 10 = 5*v, -3 = -v - 6. Suppose l - 6 - 3 = i*s, 0 = -l - 3*s + 49. Does 10 divide l?
False
Suppose 0 = 4*m + b - 1 - 0, 0 = -b - 3. Suppose -4*g = 169 - m. Is 4 a factor of (12/(-14))/(3/g)?
True
Let s = 1 + 3. Let c be s/(-10) - (-138)/(-30). Is 8 a factor of (-54)/(c + 3) + 1?
False
Is 90 a factor of (2230 - -20)*20/25?
True
Let t be (-18)/(-24) - 1037/(-4). Is 10 a factor of t/6 - 7/21?
False
Suppose -2*n + 2*w + 1 = -13, -n - 1 = 3*w. Suppose -3*m + 218 = -b - 4*b, 0 = n*m - 5*b - 350. Is 23 a factor of m?
False
Let i be ((-21)/6 - -2)*(-72)/(-27). Is ((-40)/(-25))/(i/(-600)*4) a multiple of 5?
True
Let o = 76 - 74. Suppose 28 = q - o*c - 48, -5*q + 5*c + 370 = 0. Does 8 divide q?
True
Suppose -2*t + 257 + 121 = 0. Suppose 0 = 5*u - t - 546. Does 22 divide u?
False
Let q(y) be the first derivative of 0*y**2 - 1/4*y**4 + 4*y - 5 + 0*y**3. Does 3 divide q(0)?
False
Let x be ((-6)/(-5))/(3/45). Suppose 3*l - 19 - 8 = -4*j, -5 = 5*j - 4*l. Let b = j + x. Does 15 divide b?
False
Let g be 3*(-174)/(-9) - (-2 + 0). Is (-4 - (5 - 6))/((-9)/g) even?
True
Let x(h) = -h**3 + 5*h + 6. Suppose -u + 3*u = 32. Let d = -20 + u. Is 10 a factor of x(d)?
True
Suppose 0 = 175*k - 163*k - 360. Is 8 a factor of k?
False
Let f(q) = 5*q - 1 - 6 - 1. Let n be (4/3)/(1/6). Is 11 a factor of f(n)?
False
Suppose -234*f = -237*f + 720. Does 2 divide f?
True
Let i(b) = b**2 + 2. Suppose 4*f = 16, c = -3*f - 2 - 2. Let g = -9 - c. Is i(g) a multiple of 17?
True
Suppose -98*l + 101*l + m - 10718 = 0, 3556 = l - 3*m. Is l a multiple of 53?
False
Let w(l) = l**2 + 6*l - 85. Is w(-59) a multiple of 39?
True
Let i(z) = -z**3 + 8*z**2 - 7*z + 5. Suppose -8 = 2*f, t - 9 - 14 = 4*f. Let l be i(t). Suppose -q + 109 = l*y, -83 - 14 = -5*y + 2*q. Does 8 divide y?
False
Let k(l) = 479*l - 163. Does 7 divide k(3)?
True
Suppose 5*l - 1078 = -11*k + 12*k, l + 3*k = 222. Does 18 divide l?
True
Let x = 77 + -4. Let r = x + 65. Is r a multiple of 23?
True
Let b(c) be the second derivative of 7*c**3/2 - 5*c**2 - 10*c. Does 17 divide b(5)?
False
Let j(y) = -8 + y**2 + 0*y**2 - 14 - 746*y + 754*y. Does 3 divide j(-12)?
False
Let l be (-4)/(-14) - 2696/28. Suppose 179 - 67 = -2*z - 5*d, 0 = -3*d - 6. Let a = z - l. Does 19 divide a?
False
Let m be (0 - (-6)/4)*2. Suppose m*z - 5*z + 10 = 0. Is 14 a factor of (-7 + z)/((-4)/170)?
False
Suppose 30 = 5*j + 10, 0 = 2*m + 5*j - 690. Is 16 a factor of m?
False
Let z = -119 + 474. Suppose -5*l + z = 10. Does 23 divide l?
True
Suppose -4*t = -2*b - 2, -2*t - 3*b = 2 + 9. Let k be (-22 - 2)*t/(-1). Let o = 49 - k. Is o a multiple of 20?
False
Suppose 0*m + 34 = 4*m - 3*v, 5*v - 10 = 0. Does 8 divide (24/m)/((-6)/(-405))?
False
Suppose 0 = -3*d - d + 12. Let b(p) = d - 4 - 2 - 3*p + 5*p**2. Does 17 divide b(-3)?
True
Let b = -269 + 461. Does 48 divide b?
True
Let l = -33 + 37. Suppose 3*w = -0*w - 2*b + 7, -w - l*b = 1. Is w a multiple of 3?
True
Suppose 0 = 4*s - 4*m - 15416, -s - 1077 + 4934 = 2*m. Is s a multiple of 17?
False
Let y(d) = -34*d + 23. Let g(k) = 11*k - 8. Let b(f) = -17*g(f) - 6*y(f). Is 16 a factor of b(3)?
False
Does 20 divide ((-22)/(-77))/((-2)/(-28)) + 36?
True
Is 30 a factor of (144/(-64))/((-3)/400)?
True
Let m(h) = -7*h - 11. Let i be m(-8). Let q be 6741/i - 2/(-10). Suppose 0 = -5*v - 0*v + q. Is v a multiple of 9?
False
Let i be (-410)/(-35) + 2/7. Let d = i - 9. Suppose 43 - 250 = -d*j. Is j a multiple of 14?
False
Suppose 9*m - 7*m + 10 = 0. Let j(c) = -c**3 - 3*c**2 - 2*c + 2. Let a be j(m). Let o = 12 + a. Is 15 a factor of o?
False
Let u = -83 - -96. Let f = 43 - u. Is 5 a factor of f?
True
Let r(d) = d**2 + 12*d - 6. Let u(v) = -12*v + 5. Let n(s) = -2*r(s) - 3*u(s). Is 2 a factor of n(5)?
False
Let g be (-444)/(-3)*(0 - (-2)/8). Suppose -g - 7 = -2*n. Is 4 a factor of n?
False
Let b = 1398 + -275. Is 22 a factor of b?
False
Let k be (11/2)/((-6)/(-12)). Let u = k + -32. Let v = 6 - u. Does 27 divide v?
True
Let w = 616 + -244. Is w a multiple of 15?
False
Suppose 0 = -9*k + 7*k + 134. Let g = 16 - -93. Let y = g - k. Is 21 a factor of y?
True
Let v = 582 - 480. Is v a multiple of 5?
False
Suppose -m = 4*m - 220. Suppose 5 = -2*l + 57. Let n = m - l. Is n a multiple of 6?
True
Let p(c) = -3*c**2 - 16*c - 11. Let i be p(-8). Let g = 105 + i. Is g a mu