
Let r = 216 + -213. Is 74 a factor of 110/38 - r - 11252/(-38)?
True
Suppose 18 = -i + 120. Suppose 15*b = 18*b - i. Let p = b - 10. Is 8 a factor of p?
True
Let g(z) = 188*z**2 + 16*z - 85. Is 14 a factor of g(4)?
False
Let n(k) = 672*k**2 - 30*k + 25. Is n(5) a multiple of 23?
True
Suppose -3*x - l - 9474 = -31162, 2*x = 3*l + 14466. Is x even?
True
Suppose 60208 = 10*r - 4*r - 4*n, -r = -3*n - 10044. Does 132 divide r?
True
Suppose 2*c + 1739 = 4*o - 3599, -o + 1318 = 5*c. Does 43 divide o?
True
Let m(q) = q**3 - 3*q**2 - 9*q + 10. Let g be m(-5). Let j = g - -232. Let v = 183 - j. Does 24 divide v?
True
Let k(n) = -51*n**3 - 3*n**2 + 15*n + 269. Is k(-7) a multiple of 20?
False
Suppose 0 = -429*f + 590230 + 765839. Does 6 divide f?
False
Let n = -50377 - -76217. Is 76 a factor of n?
True
Let p = -14 + 1. Let m be ((-54)/(-4))/(((-39)/36)/p). Suppose 0 = 3*r - 6*r + m. Is r a multiple of 14?
False
Let n(z) = -z**3 - 6*z**2 - 7*z + 1. Let h = 9 + -14. Let v be n(h). Suppose 0 = -x + 56 - v. Does 9 divide x?
True
Suppose 3*s = -u + 45589, 0 = 3*u - 5*u + 3*s + 91115. Does 45 divide u?
False
Suppose 200*k - 851934 = 519666. Is k a multiple of 45?
False
Suppose -11*w = -16*w + 3*k + 814, -5*k = -4*w + 659. Let d be ((-158)/(-5))/((-6)/(-30)). Suppose 3*v - 255 = -5*j + w, 2*j - 3*v = d. Is 41 a factor of j?
True
Let d = 123 + -252. Let k = d - -261. Is 6 a factor of k?
True
Suppose 2*q = 2*j + 12561 - 124901, 0 = 5*q - 10. Does 31 divide j?
True
Suppose 4*k + 3*k = -15757. Let s = k - -4139. Does 30 divide s?
False
Suppose -217*v + 806403 = 134*v - 100230. Is 41 a factor of v?
True
Let z = -24 + 15. Let q be (-6)/(-9) + (-5178)/z. Suppose j + 5*j = q. Is 16 a factor of j?
True
Let v(t) = -437*t - 1723. Does 21 divide v(-5)?
True
Let f be 20 + 23/((-46)/12). Does 23 divide ((-4340)/(-98))/(1/f)?
False
Let i(m) = -155*m + 17. Does 19 divide i(-83)?
True
Suppose s + 2 = 4. Suppose 43 = s*m - 5. Suppose 0 = -0*a - a + m. Is a a multiple of 24?
True
Let f(q) = 3*q**2 - 83*q - 58. Let n(o) = -9*o**2 + 249*o + 168. Let z(u) = 7*f(u) + 2*n(u). Is 10 a factor of z(30)?
True
Let x(l) = 4*l**3 + l**2. Let j(v) = v**3 - v - 1. Let u(h) = 2*j(h) + x(h). Let y be u(-1). Is y - ((-92 - 0) + -3) a multiple of 10?
True
Let k = 22 + 44. Let c be 299 - 1 - (7 - 3). Suppose 3*q = k + c. Does 12 divide q?
True
Let m be -2 - 2 - (3 + 4 + -11). Is 13 a factor of 3*271 + 3/15*m?
False
Let c = -5558 - -7460. Does 6 divide c?
True
Let c(j) = -377*j - 2289. Is c(-21) a multiple of 14?
True
Let t(w) = w**2 - 24*w - 49. Let b be t(26). Let z be 786*(-1 - 12/(-9)) + b. Is 53 a factor of (0 - -1*z)*60/75?
True
Let j = 45 - 49. Does 24 divide (((-3960)/42)/(-11))/(j/(-42))?
False
Let c(y) = -57*y + 28*y + 0 + 3. Is c(-5) a multiple of 37?
True
Suppose 4*q - 90 = 226. Suppose 5*w + 334 = 4*l, 2*l = 3*l + w - q. Is 27 a factor of l?
True
Let x(v) = 378*v**2 - 133*v + 1430. Does 25 divide x(10)?
True
Suppose -3*s - 3*n + 111 = 0, 2*s = -4*n + 3*n + 76. Let j = -36 + s. Suppose -4*r = -z + 3*z - 434, -327 = -3*r - j*z. Is 18 a factor of r?
True
Suppose 56*x - 38*x + 54*x = 275112. Is x a multiple of 15?
False
Suppose -2022 = -2*f + 5*o, 182*f - 184*f = 4*o - 2022. Is f a multiple of 8?
False
Suppose -13512 = -22*b - 2974. Is b a multiple of 13?
False
Suppose -31*g + 0*g = 9*g - 567280. Is g a multiple of 74?
False
Let w = -15877 + 24265. Is w a multiple of 76?
False
Let p(c) = 2327*c**2 - 40*c + 10. Is p(2) a multiple of 10?
False
Let a = 411 - 337. Suppose 2*m - a = 3*i, 4*m + i - 6*i - 150 = 0. Is m a multiple of 2?
True
Let l(i) = -i**2 + i + 21. Let b be l(-5). Does 7 divide -1*(554/(-3) - (-3)/b)?
False
Let t(n) = -45*n - n**2 + 104 - 266 + 113 + 89. Is 8 a factor of t(-43)?
False
Let k be 386/6*(-96)/32. Suppose 3*o = g + 108, 5*g + o + 367 = g. Let s = g - k. Is s a multiple of 16?
False
Is 9 a factor of 430171/28 - (20 + -12)/32?
True
Suppose 2*n + 25096 = 5*i, 2*n + 4859 = i - 165. Is i a multiple of 26?
True
Suppose -837 = -30*k - 3807. Let y = 171 - k. Is 22 a factor of y?
False
Let w = 3 + 2. Suppose -4*g + w*g - 3*x = 84, -g - 5*x = -116. Suppose -b - i = -g, b - 4*b = 4*i - 286. Does 14 divide b?
True
Let u(a) = 7*a**2 - 15*a**2 - 2*a + 5*a**2 + 7*a**2 - 6. Does 6 divide u(-3)?
True
Let g(f) = 120*f**3 + 3*f - 2. Let l(d) = -d**2 + 4*d + 12. Let h be l(-4). Let w be ((-2)/(-8))/((-5)/h). Does 11 divide g(w)?
True
Let h(u) = 20*u**2 + 16*u - 1. Let o be h(-9). Suppose -2*z = 3*c + o - 4801, -c + 5*z + 1120 = 0. Does 10 divide c?
True
Let z(y) = -y**2 - 4*y + 1. Let a(p) = p**2 + 4*p. Let r(q) = -6*a(q) - 5*z(q). Let g be r(-8). Let s = 13 - g. Does 10 divide s?
True
Suppose -42 = -12*c + 18. Suppose c*a = 901 + 664. Suppose 818 = 5*r + a. Does 10 divide r?
False
Let r = 146 - -61. Let p be 1*(-6)/12*-228. Let c = r - p. Does 51 divide c?
False
Suppose -5*j = -x + 241, 5*x - 1139 = 6*j - 3*j. Is 15 a factor of x?
False
Let o = -3755 - -4975. Is 12 a factor of o?
False
Let s = 3547 + 3005. Is 56 a factor of s?
True
Let d be -3 - (-2)/(-5)*5. Let r be d/(15/114) + 3. Let y = r + 95. Is 30 a factor of y?
True
Let a(j) = 6*j**2 + 2*j + 13. Suppose 5*q - 3*k = 2, -2*k - 6 = q - 2*q. Does 33 divide a(q)?
True
Is (-4 + -1070)*7/(-14) even?
False
Let w be 13/1 + -6 + (8 - 0). Suppose w = 6*h - 9. Suppose -5*k + 3*k + 98 = h*d, 0 = 5*d - 10. Is 9 a factor of k?
True
Let h be (-2)/10 - ((-22)/10 - -1). Does 11 divide -67*5*(0 - h)?
False
Suppose 3*u + 3*i + 31 = 8*i, -4*i + 8 = -u. Let a = -8 - u. Suppose 0 = 3*w - 4*w - 5*v - 4, -a*w + 56 = 2*v. Is 15 a factor of w?
False
Suppose -5*x = 4*x + 1242. Let w = 192 + x. Is w even?
True
Suppose -m - 4 = -h, 5*m = -3*h + 7*h - 16. Suppose h*i = -20, 4*i - 3*i - 3970 = -5*g. Is g a multiple of 15?
True
Let x = -14242 + 18736. Is 34 a factor of x?
False
Let t(r) = 2*r**2 + 5*r. Let m be t(5). Let d = m + 16. Is 13 a factor of d?
True
Suppose -9*y + 13*y - 208 = 0. Let f(w) = -w**3 + 52*w**2 - w + 64. Is 3 a factor of f(y)?
True
Suppose -61845 = -4*l + x, -l - 459*x = -460*x - 15456. Does 12 divide l?
False
Suppose 28 = 2*o - 0*o. Suppose 160 - o = -2*t. Let a = t + 165. Does 4 divide a?
True
Let p(a) = -a**3 - a**2 - 2*a + 234. Let z be p(0). Let i = 719 - z. Let s = i + -140. Is s a multiple of 17?
False
Suppose 2*m + m = -l + 265, -762 = -3*l + 2*m. Let h be 2 + 1 + (0 - -2). Suppose -h*q + l = -154. Is 8 a factor of q?
False
Let f = 1912 - -321. Is f a multiple of 26?
False
Let d be ((-26)/(-4))/((-4)/(-8)). Suppose 10*f = d*f - 108. Does 18 divide ((-2)/6)/1 + 3900/f?
True
Is 36 a factor of ((-2942)/(-3) + (-14 - -16))/((-52)/(-1404))?
True
Suppose -237*f + 233*f = -12. Does 10 divide 4 - ((-10)/15 + (-3076)/f)?
True
Let u = -55 - 19. Let v = u - -72. Does 39 divide (7 - 124)/(v/4*2)?
True
Suppose 5*v = 8 + 2. Let t(s) = s + v*s + 18 + 8*s. Is t(6) a multiple of 4?
True
Suppose -17*a + 122098 + 59890 = 31810. Is 274 a factor of a?
False
Let s(g) = 16*g**2 - 609*g + 89. Does 16 divide s(51)?
False
Suppose -k + 45 = -21*y + 18*y, 3*k + 3*y = 135. Let h = 30 + -19. Let a = k - h. Is a a multiple of 8?
False
Let y(s) = -7*s**2 - 5*s + 74. Let q be y(-8). Let u = 424 + q. Does 6 divide u?
True
Let x(j) = 4*j - 26. Let k = 41 - 30. Let l be x(k). Suppose -330 = -l*s + 13*s. Does 17 divide s?
False
Suppose 5*b + v - 2*v = 3379, 2*b - v - 1351 = 0. Is b a multiple of 4?
True
Let d be 424/(-1060) + 0 + 224/10. Does 27 divide (648/14)/(d/231)?
True
Suppose -6768 + 1098 = -15*a. Does 9 divide a?
True
Let l(r) = -199*r - 39 + 26*r + 71*r - 2*r**2 + r**2 + 76*r. Suppose 2*z = -15 - 9. Is 43 a factor of l(z)?
True
Let a(b) = 24*b**2 - 2*b. Let f = 22 - 23. Let p be a(f). Suppose x - p - 89 = 0. Is x a multiple of 16?
False
Let h = 7895 + -11219. Is 8/(-12) - 11/(198/h) a multiple of 4?
True
Suppose 0 = -2*g + 3*v + 9, 0 = 4*g - 5*g + 5*v + 22. Let r(z) = 4*z - 17. Let w(n) = n - 1. Let f(s) = -r(s) + 2*w(s). Does 7 divide f(g)?
True
Suppose 0 = -41*b + 1199645 - 331347. Is 267 a factor of b?
False
Let w = -13075 + 16723. Is w a multiple of 16?
True
Let q be ((-4)/(-6))/((-30)/(-135)). Let a(i) = 142*i - 62. Does 26 divide a(q)?
True
Let m be (90/(-8))/(1/4). Let y = -40 - m. Suppose 0 = 3*b - 47 + y. Is 11 a factor of b?
False
Let z = 33 -