114)/(-3762)*(0 + -2 + 1))?
True
Let h be ((-29)/2)/(1/(-2)). Let g = 31 - h. Is 20 a factor of (-15)/g*(-264)/15?
False
Let b = -5 - -5. Suppose -280 = -3*j - 4*u, b*u + 458 = 5*j - 2*u. Is 1 + (j - (-1 + 3)) a multiple of 16?
False
Let z = 44 + -44. Suppose 10 + z = -5*x. Is 32 a factor of ((-3)/(-1) + -329)/x?
False
Suppose 251*c = 168*c + 370512. Does 48 divide c?
True
Is 17 a factor of (-4)/18 - (1 + 23104)/(0 + -9)?
True
Suppose 2*n = 5*x + 49565, -2*x = -5*n + 51980 + 72006. Does 25 divide n?
True
Let h(j) = -j**3 + 13*j**2 + 49*j - 12. Let f be h(16). Suppose f*z = 499 + 741. Is 12 a factor of z?
False
Let m be 3 - (2 - (3 + -4)). Let b(n) = n**3 + n**2 + 144. Let r be b(m). Suppose -3*z + r = -3*p, -2*p - 3 = -3*z + 141. Does 6 divide z?
True
Let j(i) = -i**3 + 27*i**2 + 217*i + 133. Does 5 divide j(30)?
False
Let x(y) = -y**3 + 15*y**2 + 35*y - 18. Let h be x(17). Let o = 6 - h. Let k = o - -34. Is k a multiple of 16?
False
Suppose -3*l + 5*z = -6*l + 972, 2*l - 648 = 5*z. Is l a multiple of 10?
False
Let q(f) = -13 + 71*f - 16 - 14 - 3 - 15. Is q(5) a multiple of 58?
False
Suppose 0 = -102*n + 464350 - 117142. Is n a multiple of 37?
True
Suppose 0 = -2*l - 22 + 34. Suppose l*d - a = 2*d + 836, -3*a - 618 = -3*d. Suppose 5*p = y + 331, 0 = -5*p + 5*y + 125 + d. Does 22 divide p?
True
Let n(y) = -7872*y - 2584. Is n(-3) a multiple of 204?
False
Let q(i) = -i**3 - 51*i**2 + 170*i - 483. Does 8 divide q(-55)?
False
Suppose 23*h - 20 = 19*h. Suppose 3*u = -h*u - 448. Is 5 a factor of 0 + 12/(-4) - u?
False
Suppose x - 5*c + 8*c - 17 = 0, 4*c = -4*x + 60. Let k(o) = -o**2 + 25*o - 82. Is 8 a factor of k(x)?
True
Let r(o) = 70*o - 13. Let c(f) = -7*f**3 - f**2 + 1. Let v be c(-1). Let x be r(v). Suppose -2*i + 5*g = i - x, i - 2*g = 160. Is i a multiple of 29?
False
Let x = 2009 - 1792. Is 119 a factor of x?
False
Suppose -12*n + 3221 + 1639 = 0. Let g = 575 - n. Does 21 divide g?
False
Let z be (-42)/((4/20)/(2/(-5))). Suppose 2*t - 3*u + 167 = 0, -5*u - 91 = t - 4*u. Let m = z - t. Is m a multiple of 35?
False
Let u be 7/56*-4*-562. Let p = -27 + u. Does 36 divide p?
False
Let a(n) be the first derivative of -n**4/4 - 5*n**3/3 - 3*n**2/2 - 7*n - 13. Let d be a(-5). Suppose 6*q - d*q = -26. Does 7 divide q?
False
Suppose 2*y - 4*g + 1048 = -2*g, 0 = y + 4*g + 534. Let t = y - -819. Does 6 divide t?
False
Let u = 1963 - -1740. Is 23 a factor of u?
True
Let k be (-10)/(-3)*216/(-90). Let i = k - 85. Let t = 157 + i. Is t a multiple of 13?
False
Let b(i) = 1760*i**2 - 2167*i - 3. Does 8 divide b(3)?
True
Let y(f) = 15*f + 109. Let i be y(-7). Let t = 212 + -15. Suppose -4*n = -4*a - 752, i*a = -6*n + 7*n - t. Does 37 divide n?
True
Let t = 64 + -62. Suppose t*m - 448 = -2*o, o - 2*o = 4*m - 221. Is o a multiple of 9?
True
Let n(k) = 8*k**2 + 34*k + 691. Is n(-13) a multiple of 21?
False
Suppose 20*g - 1113 = 707. Let n(u) = -u - 4. Let z be n(-6). Is 13 a factor of (-1 + 5)*g/z?
True
Suppose -4*c = 16, -24 - 3 = -3*p + 3*c. Suppose 4*t + 0 - p = -3*j, -5 = 2*t + 3*j. Suppose -41 = -t*h + 199. Is 16 a factor of h?
True
Let o be (95/25 + -5)/(2/(-235)). Let d = o + -98. Let a = d - -8. Does 11 divide a?
False
Let q = -622 + 629. Let s(z) = 15*z**2 - 3*z + 49. Is 8 a factor of s(q)?
False
Let o = -285 + 290. Suppose -53*y + 57*y + 35 = o*x, -4*x + 28 = -4*y. Is x even?
False
Suppose 4*v - 3315 = v. Suppose -3*n - 2*n + v = 0. Suppose -5*i + 2*c + n = 0, 53 = i - 0*c + 4*c. Is i a multiple of 15?
True
Suppose 2*k + 25 = -g, -2*k = 3*g - 4*g + 19. Let i be (((-3498)/9)/k)/(4/(-18)). Let j = -111 - i. Is j a multiple of 29?
False
Suppose -47*c + 51*c = -3*h + 9052, h - c = 3029. Does 33 divide h?
False
Let v(x) be the third derivative of 71*x**5/20 - x**3/6 + 79*x**2. Is 5 a factor of v(-1)?
False
Let k(m) = 11 + 172*m - 160*m + 2*m**2 - m**2 + 5. Does 8 divide k(12)?
True
Let a(i) = 2*i**3 + 7*i**2 - 7*i + 3. Let u be a(-4). Suppose 0 = -u*g + 3*g + 3840. Is g a multiple of 22?
False
Suppose 13*f = k + 9*f - 9520, 0 = 5*k - f - 47581. Is k a multiple of 12?
True
Let z(u) = u**3 + 8*u**2 - 2*u + 17. Suppose 2*t = -3*p + 5*p - 14, 0 = 3*t - 5*p + 21. Is 4 a factor of z(t)?
True
Let v = 14216 - 6306. Does 35 divide v?
True
Let t(d) = -4*d**3 - 29*d**2 + 27*d + 10. Does 56 divide t(-10)?
True
Suppose -1933 - 944 = -21*g. Suppose -135*y - 1178 = -g*y. Is 45 a factor of y?
False
Suppose q - 31 + 14 = 0. Let b(z) = -z + 19. Let a be b(q). Suppose -c - 3*p + 58 = 0, -71 = -a*c - 0*p + 3*p. Is 7 a factor of c?
False
Let t(h) = -2*h**3 - 7*h**2 - 2*h - 12. Suppose 0 = 5*x + 15, 11 = 5*p + 4*x + 48. Is t(p) a multiple of 47?
False
Suppose -29*f + 108672 = -9880. Is f a multiple of 66?
False
Suppose -1116857 = 40*s - 243*s + 466543. Does 52 divide s?
True
Let j(u) = u**3 + 11*u**2 - 3*u - 22. Let t = -12 + 37. Suppose -t = 4*g + 19. Is 6 a factor of j(g)?
False
Let j be (323/(-19))/((-2)/8). Let f = j + 127. Suppose -30 = -5*h + f. Does 41 divide h?
False
Does 86 divide (-8)/80*76686*(-4)/(24/10)?
False
Suppose 5*r - 45118 = -2*b, -r - 25*b = -13*b - 9070. Is 13 a factor of r?
True
Let y be (-14)/(-3)*(-3)/1. Suppose 11*m + 200 = m. Is 2 a factor of y/35*m/1?
True
Let t = -122 - -122. Suppose -12 = -x - x + 4*b, -4*b - 12 = t. Suppose -m - 130 = -r - x, 4*r - 540 = -m. Is r a multiple of 12?
False
Suppose 31 = 3*a + 1. Suppose -267 = -a*r - 57. Is r a multiple of 5?
False
Let o(r) = -r**3 - 3*r**2 - 11*r - 9. Suppose 0 = 17*n + 1 + 67. Does 6 divide o(n)?
False
Let o(p) = 8*p**2 - 3*p - 1. Suppose -4 = -5*s + 16. Suppose 0*y - s*i + 1 = 5*y, i = -y + 1. Is o(y) a multiple of 40?
True
Is 75 a factor of 4 - (-1 - -5 - -1 - 5251)?
True
Let u(j) = 59*j**2 - 20*j - 43. Let i be u(-2). Let q = 414 - i. Is q a multiple of 47?
False
Let w = 31 - 65. Let n = 318 + w. Does 9 divide n?
False
Suppose -2*c - 1582 = 5*c. Let t = c + 346. Does 14 divide t?
False
Let x = 1785 + -625. Does 5 divide x?
True
Suppose -644*w + 644760 = -590*w. Is 17 a factor of w?
False
Let r(a) = -55*a + 341. Let c(x) = -27*x + 169. Let h(s) = -7*c(s) + 4*r(s). Does 55 divide h(-19)?
True
Let g(v) = -3*v + 23. Let l be g(7). Suppose 0 = -2*u + l, -3*x - 3*u - u + 13 = 0. Is 23 a factor of 250 + x + (-1 - 3)?
False
Let t(f) = -13*f - 4. Let b be ((-4)/(-6))/(752/(-372) - -2). Let p = b + 29. Is 2 a factor of t(p)?
True
Suppose -b + 4 = 0, 229 = -4*x - 5*b - 87. Let k(l) = 24*l - 1. Let o be k(-1). Is 12 a factor of (-5)/(o/x)*(2 + -7)?
True
Let f = 174 + -172. Is (-117)/f*(-90)/15 a multiple of 13?
True
Suppose 1099 = 15*i - 401. Suppose 3*w - 1005 = 4*k + i, w + 4*k = 347. Is w a multiple of 11?
True
Let a(s) = s**2 + 18*s + 28. Let n(c) = -1819 + 1819 + c. Let r(g) = -a(g) - 3*n(g). Is r(-14) a multiple of 14?
True
Let m = -19 + 50. Let f be (234/(-63))/((-4)/7)*6. Let z = f + m. Is 14 a factor of z?
True
Suppose -b = -22*s + 20*s - 296, 3*b - 906 = -3*s. Suppose 308*r - b*r = 10472. Is 35 a factor of r?
False
Suppose 10*o + 76721 - 199314 = 88747. Is o a multiple of 16?
False
Let z(a) = -15 - 1 - 8 - 34*a. Let j be z(-20). Is 41 a factor of j/20*(-25)/(-10)?
True
Suppose -3*o - 1272 = o. Suppose -3*x = 4*g - 8*g + 500, -4*g = 4. Let b = x - o. Is 30 a factor of b?
True
Let m(q) = -q**2 + 5*q**2 + q**2 + 3*q. Suppose 1 + 7 = -4*p. Is 3 a factor of m(p)?
False
Suppose 2*s + 3*g - 216 - 239 = 0, 4*s + g - 915 = 0. Let q be (430/15 - (-4)/(-6)) + -3. Let v = s - q. Is 17 a factor of v?
True
Let v(k) = -29*k - 30. Let h be v(-6). Let b = h + 1638. Is b a multiple of 11?
True
Let q = 3891 - 3825. Does 2 divide q?
True
Suppose -8*u + 12 = -4*u. Suppose -h + 5*b + 2 = -3*h, 0 = 3*h + 3*b + u. Is (1/(h/26))/(84/(-42)) a multiple of 8?
False
Let r be 2 + 6 - 5 - -2*57. Suppose q - r = -0*q. Is q a multiple of 34?
False
Suppose 4*v + 4*x + 1860 = 0, 5*v - x + 306 = -2025. Let f = -405 - v. Does 4 divide f?
False
Let h be (-22)/(-4) - (-2)/(-4). Suppose -h*m + z + 1118 = 3*z, 4*z = -5*m + 1116. Suppose -v = -5*x + 384, -3*x + 0*x = v - m. Does 19 divide x?
True
Is (6 + 126/(-24))*-4 - (4 - 16295) a multiple of 71?
False
Suppose -5*x + 5*v = -109100, 87322 = 4*x + 33*v - 31*v. Is x a multiple of 13?
True
Let p be ((-468)/(-78))/(-1 - (-10)/4). Suppose -3*x + 3*i + 3 = 0, -3*x + 4*x - 5*i + 11 = 0. Su