 + o = -161. Is f a multiple of 4?
False
Suppose 10*c - 5*c = 70. Suppose c*b = 12*b - 90. Let i = -12 - b. Does 3 divide i?
True
Let v = -658 - -568. Is 5062/20 + (2 + 7)/v a multiple of 3?
False
Suppose -1187*a = -1182*a - 120. Suppose -91 = -2*u - 5*c, -3*c = -a + 9. Is u a multiple of 15?
False
Let o(i) = -109*i + 11. Let v be o(-1). Let d = -62 + v. Does 3 divide d?
False
Let t be -85*(-32)/(-12)*9/6. Let s = t + 606. Is 38 a factor of s?
True
Let m be 2*(-3098)/(-24) + (-8)/48. Let l(w) = -76*w + 3. Let o be l(2). Let k = o + m. Is 9 a factor of k?
False
Suppose 505*j + 423632 = 588*j. Is 93 a factor of j?
False
Let q be 41 - (0 + 2) - (6 + -7). Suppose 0 = 5*x + 7*x. Suppose x = -0*w - 2*w + q. Is w a multiple of 8?
False
Suppose -14 = 3*r - 5*a - 34, -4 = 4*r + a. Is 12 + -9 + (184 - -2) + r a multiple of 7?
True
Suppose 146 - 153 = -k. Suppose f + 14 = 3*f - 3*u, -f + 2*u + k = 0. Is f a multiple of 2?
False
Suppose 773 - 20432 = -u. Is 19 a factor of u?
False
Let k = 685 - 487. Suppose -k*v = -203*v + 7300. Is v a multiple of 39?
False
Suppose -d + 3*n + 235 = 0, -431 = -4*d + 4*n + 549. Suppose -l + 3*j = -136, -3*j = 2*l - 6*l + 571. Let f = d - l. Does 35 divide f?
True
Suppose 4*p + 2*r + 7389 - 28405 = 0, -3*p = -r - 15762. Is 19 a factor of p?
False
Is 20854202/1168 - (0 - (-6)/(-16)) a multiple of 12?
False
Suppose -27*y = -34*y + 56. Suppose y*l - 486 = 234. Is l a multiple of 5?
True
Let i = 21295 - -1555. Is i a multiple of 163?
False
Let m be 6/15 - (335016/(-45))/8. Suppose -126*y + 119*y = -m. Is 19 a factor of y?
True
Let j(g) = 36 + 3*g - g**3 - 15*g + g + 18*g**2 - 18*g. Is j(16) a multiple of 4?
True
Let z be (-68 - -2)*(-48)/18. Suppose -z = -2*s + 2*m, 4*m = 4*s - m - 347. Let u = s - 75. Is 6 a factor of u?
True
Let p = 1211 - -395. Does 39 divide p?
False
Let u = 1079 + -327. Suppose u = 3*b + b. Does 4 divide b?
True
Let k(n) = n**2 - 6*n + 7. Suppose -5*x + v - 29 = -2*v, 4*x + 5*v + 1 = 0. Let w be k(x). Suppose -3*y + w - 2 = 0. Is y a multiple of 2?
False
Suppose 104 = -51*x + 25*x. Let n(a) be the first derivative of 5*a**3/3 - 5*a**2/2 - 4*a + 1. Is n(x) a multiple of 24?
True
Suppose -2*a + 214*a - 2493813 = -862897. Is a a multiple of 10?
False
Let l be (0 - -1) + (-1 - -1). Let f be 3 + -7 - (-1 - (3 + -8)). Is 8 a factor of l/(-4) - 882/f?
False
Let a(h) = 57*h**2 - 41*h + 94. Is a(19) a multiple of 17?
False
Let u(h) = -h**2 + 239*h + 338. Is u(66) a multiple of 65?
False
Let f(v) = -18*v**2 + 347*v - 1. Does 104 divide f(9)?
True
Suppose 0 = 2*p - 2*v - 488, 2*p - 2*v + 7*v = 481. Let k = 421 - p. Is k a multiple of 36?
False
Let u(w) = 20*w + 18. Let c = 57 - 40. Let s be u(c). Suppose -3*d = 0, -2*r + d + s = -0*r. Does 11 divide r?
False
Let c(d) = d. Let o(l) = -1. Let q(u) = c(u) + 3*o(u). Let s be q(6). Suppose -s*m - 3*b + 276 = 0, 0 = -m + b + 22 + 64. Is m a multiple of 21?
False
Let t = 3984 - 2807. Does 14 divide t?
False
Let f(d) = 13*d - 107. Suppose 0*l + 4*l = 4*k - 68, -4*k + 2*l = -72. Does 14 divide f(k)?
True
Let r(m) be the first derivative of -m**3/3 - 3*m**2/2 + 42*m - 13. Let i be r(5). Suppose -j + q = -23, i*q = 2*j - 3*q - 55. Is j a multiple of 10?
True
Suppose -14978 + 5396 = -3*d. Suppose 306 = -8*f + d. Suppose 4*a + 89 = f. Does 17 divide a?
True
Let f be (-8)/(-20) - (51/170)/((-9)/138). Suppose -5 = -3*l + 1. Suppose -f*z = -d + 202, -444 = -l*d - 0*d + 2*z. Is d a multiple of 21?
False
Let x(r) = 9*r - 10. Let k be x(6). Let h = -21 + k. Suppose h*p - 20*p = 324. Is 18 a factor of p?
True
Let r be (0 + -1)*(-656 + (-63)/(-7)). Suppose -r = -7*w + 949. Is w a multiple of 48?
False
Suppose 2*g - d - 403 = 0, 5*d + 536 = -5*g + 1506. Suppose 0 = 2*o + h - 6*h - g, 3*h = 3*o - 294. Does 5 divide o?
False
Let n(w) be the second derivative of 34*w**5/15 - w**4/12 - w**3/6 + 13*w**2/2 + 7*w. Let l(z) be the first derivative of n(z). Does 21 divide l(-1)?
False
Let v(g) = 154*g**2 - 54*g - 13. Is v(6) a multiple of 14?
False
Let t = 355 + -363. Let r(z) = -z**3 + 7*z + 15. Does 13 divide r(t)?
False
Suppose 0 = c - 34 + 41, -4*c = -3*r + 43945. Does 9 divide r?
False
Suppose -2*o + 5429 = 3*u, -1584 = -o - 4*u + 1128. Suppose o = 12*d - 4604. Is d a multiple of 7?
False
Suppose 2*x + 3*x - 3645 = 0. Suppose x = -5*r + 9679. Suppose 12*z - 118 = r. Is 14 a factor of z?
False
Let h(z) = 6*z - 22. Let y be h(5). Let s(j) = 9*j + 16. Let q be s(y). Let o = 157 - q. Is 23 a factor of o?
True
Let u = -3361 + 3847. Does 10 divide u?
False
Let z = -43 + -307. Let b be (6/(-5))/(21/z). Suppose 288 = b*i - 18*i. Is i a multiple of 24?
True
Let q(c) = -2*c + 15. Let g be q(-3). Let p = 26 - g. Suppose -5*u = p*j - 185, -11 = j + 5*u - 36. Is j a multiple of 8?
True
Let q(n) = -n**3 + 14*n**2 + 14*n + 16. Let r be q(14). Suppose 0 = -7*x + 89 + r. Let o = 12 + x. Does 11 divide o?
True
Let i = 4291 + -3691. Does 42 divide i?
False
Let a(r) = -11 + 4 + 6*r - 10. Suppose -182 = 32*j - 58*j. Is a(j) a multiple of 4?
False
Let p be 1485/(-22)*8/10 + -2. Is -3 - 27/(-8) - 44331/p a multiple of 33?
True
Let z(g) = 3*g**2 - 10*g - 86. Let b be z(20). Suppose 4*o = b + 1758. Is 16 a factor of o?
False
Let h(b) = -b**3 - 6*b**2 - b - 24. Let x(p) = p**3 + 6*p**2 - 7*p - 50. Let d be x(-6). Is h(d) a multiple of 2?
True
Let j be 72/(-60)*(-590)/(-16)*-44. Suppose 4*i = -3*q + 8*q - j, -1146 = -3*q - 5*i. Is q a multiple of 43?
True
Suppose -3*x - 5*p + 1079 + 1190 = 0, -x = -2*p - 771. Suppose 18*d - x = 17*d - 3*f, -5*d - 3*f = -3779. Does 13 divide d?
True
Does 21 divide (14 - 350)/(-16)*(264 + (2 - 3))?
True
Suppose 0 = -4*f + 9*f - 175. Let v = f + -33. Suppose -5*y - 58 = -v*l, l - 4*y - 11 = 15. Does 17 divide l?
True
Let j be (-594)/36*16/6. Let b = 30 + j. Is (-550)/b - (-40)/(-140) a multiple of 6?
False
Suppose 5*x + 31 = -3*p, -1 = x - 4*p - 4. Let z be x/((-10)/(-4)) + 4. Suppose -v = d + z*v - 8, -d + 32 = -3*v. Is 10 a factor of d?
True
Suppose -88*u + 93*u = 10. Suppose u*z = -2*x + 274, 5*z + 283 - 958 = -3*x. Is z a multiple of 11?
True
Let a be 2/3*618/4. Let i = 894 + -985. Let d = i + a. Is d a multiple of 3?
True
Let j(i) = 34*i - 131. Let u be j(4). Suppose 2*n = -u*k + 3*n + 1931, 4 = -4*n. Is 14 a factor of k?
False
Suppose -4*s + 10*x - 14*x = -24, 5*s + 2*x = 30. Suppose c - 2*f - 27 = -7*f, 2*c = f + 21. Suppose s*b = c + 6. Is b even?
False
Let i(c) = 55*c + 24. Let a be i(-5). Let d = a - 261. Does 11 divide (6/4)/((-12)/d)?
False
Let c(d) = -809*d - 404. Does 21 divide c(-4)?
False
Suppose 3*l - 5*t - 32 = -t, 7 = l - 5*t. Let h be l*(0 + 12/8). Let n = 132 + h. Is 25 a factor of n?
True
Is 4 a factor of 12/18 + (-17006)/(-33)?
True
Let f = 482 - 297. Suppose 247 = 3*w - f. Does 9 divide w?
True
Suppose 57*a - 62 = 26*a. Does 5 divide 452 + -4 - (-1*a + -2)?
False
Let q be (-5 + -75)/((-6)/45). Suppose 6*g + 2*g = q. Let o = -49 + g. Does 3 divide o?
False
Let k(i) = 73*i + 254. Does 19 divide k(87)?
False
Suppose n + 325 = -2*k, 3*n + 2*k + 70 = -889. Let y = n + 504. Is y a multiple of 4?
False
Suppose 0 = 3*m + 2*s - 19, 0 = 3*m - 2*s - 1 - 10. Let u be (-13)/(0 - (m + -3 + -1)). Suppose 6*w - 149 = u. Is 9 a factor of w?
True
Let w(j) = 14*j**2 - 3*j - 4*j + 38*j**3 + 32 - 37*j**3 - 7*j**2. Is 3 a factor of w(-8)?
True
Suppose -7*l = -16*l + 270. Suppose 0 = l*w - 25*w - 30. Does 24 divide (-25)/((16/24)/((-8)/w))?
False
Suppose 6*n + 30 = 0, -12*r + 8*r - n = -12595. Is 25 a factor of r?
True
Suppose -385 = -b + 2*h, 5*b - 88 - 1850 = -3*h. Is b a multiple of 35?
False
Let x(j) = 3*j**2 + 5*j + 2. Let g be x(-2). Suppose -2*z + 4*h + 4 = 0, -g*z = z - 4*h - 10. Suppose i + 2*u - 59 = 7*u, z*i - u - 82 = 0. Is 13 a factor of i?
True
Let y(i) = -752 + 502 + 23*i + 382 + 5*i**2. Is 4 a factor of y(-10)?
False
Let q(v) = 2*v**2 - 38*v + 39. Let f be q(18). Suppose f*j - 2304 = -9*j. Is 3 a factor of j?
True
Suppose 5*x + 20 = l, 2*l = -4*x + 12 + 14. Suppose o = -5*t + 2*t + 16, 2*t = -5*o + l. Suppose 0 = t*a - 3*a - 148. Does 8 divide a?
False
Suppose 2*n - 117 - 29 = 0. Let f be (14016/365)/(8/20). Let q = n + f. Is 13 a factor of q?
True
Suppose i - 10817 = -3*u + 4907, 5*i - 78680 = -3*u. Is i a multiple of 56?
False
Suppose 5*g - 2*c = 35, -8*c + 5*c - 5 