 722 = c. Does 42 divide i?
False
Is (-9 - 300/(-33)) + 22172/44 a multiple of 6?
True
Is 18 a factor of ((-4)/14)/1 - (-2585200)/1967?
True
Suppose 0*h - 865 = -5*h. Suppose -h - 152 = -5*z. Suppose -z = -5*w + 2*q + q, -2*w = 5*q - 57. Does 16 divide w?
True
Let i = 54 + -29. Suppose 0 = p + 2*j - i, -2*p = -7*p + 3*j + 125. Let q = p - -5. Does 6 divide q?
True
Let v(h) = 3*h + 15. Let p be v(-5). Suppose p*f + 4*f = 268. Suppose 3*u - 5*b - 58 = 0, -3*u = b - 15 - f. Does 11 divide u?
False
Let o = 25 + -41. Let b = o - -11. Let s(c) = -3*c - 2. Does 4 divide s(b)?
False
Suppose -2*c + 11 = 2*l - 31, 21 = c - 3*l. Suppose -2*j - f + c = -0*j, 2*f = 4*j - 38. Is 7 a factor of j?
False
Let p be 0/5 + (1 - -3). Suppose -68 = -p*a - 4. Let r = a + -4. Does 8 divide r?
False
Let b = -24 - -26. Let x = b + 2. Is 15 a factor of 3/x + (-354)/(-8)?
True
Let j(z) be the first derivative of z**2 - 15*z - 1. Let d be j(10). Suppose 2*l = -2*l - d*b + 237, -3*b - 9 = 0. Does 17 divide l?
False
Suppose 5*r = 4*t - 8422, -5*t + 10*r + 10544 = 12*r. Is t a multiple of 34?
True
Let c = -754 + 1324. Suppose 7*d - 438 = c. Is d a multiple of 36?
True
Is 10 a factor of (-56)/(-21)*47*3?
False
Let o = -188 - -240. Is o a multiple of 52?
True
Suppose 10*n = -6*n + 9856. Is 11 a factor of n?
True
Suppose -5*f = 3*c - 486, -5*f + 2*c = c - 478. Does 22 divide f?
False
Let h(k) = -244*k + 236. Is h(-7) a multiple of 27?
True
Suppose 33*x = -5*x + 42978. Is x a multiple of 51?
False
Is 12 a factor of (-5 - (342/(-15))/6)*-120?
True
Suppose 0 = -v + 4*x - 5 - 2, -2*v + 10 = -2*x. Let n(f) = -6*f - 4 + 2 + f**2 + v. Does 5 divide n(8)?
False
Suppose -339 = -3*l + 309. Is l a multiple of 12?
True
Suppose 530 = 3*f - 4*i, 0 = -2*f + i + 171 + 189. Does 26 divide f?
True
Suppose -54*m = -20*m - 50422. Does 34 divide m?
False
Let o = 27 - 23. Suppose -388 = -o*t - 2*y, -2*t + 4*t = 5*y + 218. Is 9 a factor of t?
True
Suppose 0 = -o - 8 + 3. Let m(g) = 10*g + 1. Let t(d) = -11*d - 2. Let n(q) = o*t(q) - 6*m(q). Is 6 a factor of n(-3)?
False
Let i be 5*6*3/30. Does 10 divide i + (-111)/39 + 1036/26?
True
Suppose -5*j - 2*l = -2296, 4*j - 4*l - 2308 = -j. Let o = -268 + j. Is o a multiple of 48?
True
Let u be -4 + 1 + -4 + 5. Let o be -5*4/u - 4. Suppose -54 = -7*c + o*c. Is 16 a factor of c?
False
Let a(v) = 47*v**2 - 48*v + 152. Is a(3) a multiple of 11?
False
Let w(h) = 747*h**2 + 16*h + 16. Is w(-1) a multiple of 9?
True
Suppose 8*u = 3*u - 2*v - 741, -3*v + 6 = 0. Let c = u - -225. Is 12 a factor of c?
False
Suppose -5*f + 3*i - 6*i + 1601 = 0, 2*f - i - 647 = 0. Does 20 divide f?
False
Does 15 divide (18/(-8))/((-8)/4000)?
True
Suppose -8 = -p - 5. Suppose -p*r = -r - 90. Is 15 a factor of r?
True
Suppose -16 = 4*n, 3*h + 1492 = 7*h - 4*n. Is h a multiple of 11?
False
Suppose 2*f = 5*p - 501, -3*f = 5*p - 320 - 166. Suppose 2*l - 99 = -s - 242, -3*s = 2*l + 149. Let d = l + p. Is d a multiple of 29?
True
Let q = 42 - -48. Suppose 24*n - 2160 = 8*n. Let w = n - q. Is w a multiple of 15?
True
Suppose -7*n - 3 = -4*n. Let s = -1 + n. Let t(c) = 9*c**2 + 4*c + 3. Is 11 a factor of t(s)?
False
Let c(m) = -75*m**3 + m**2 - 4*m - 4. Is c(-2) a multiple of 38?
True
Let d(b) = -12*b**3 - 2*b**2 + 3*b - 3. Let a be d(-3). Suppose -2*j + 2*c = -a, -j + 0*j + 2*c = -151. Is 22 a factor of j?
False
Let f(s) = 7*s**2 + 14*s - 23. Does 9 divide f(4)?
False
Let j(l) = l**3 - 17*l**2 - 8*l - 90. Does 8 divide j(19)?
True
Let s = 178 + -174. Let m(v) = -v**2 - 7*v + 2. Let f be m(-5). Suppose -f = -s*n + 2*n. Is 2 a factor of n?
True
Let m(x) = -x**3 - x**2 + x + 42. Suppose 3 = 3*y + 3. Is m(y) a multiple of 4?
False
Suppose -4*m - 20 = 5*v, 4*v + v - 3*m + 20 = 0. Does 8 divide (v - -3)/(1/(-15))?
False
Suppose -70 = -0*a + 5*a. Let y be 6/9*-21*4. Let r = a - y. Does 9 divide r?
False
Suppose 26*l - 6270 = 7*l. Is 8 a factor of l?
False
Suppose 0*s + 320 = s. Suppose -5*w - 11 = -36, 0 = 4*l - 4*w - s. Does 17 divide l?
True
Is 67 a factor of (72/(-54))/(4/(-510))?
False
Let r be 21/(2 + 1) - 2. Suppose 4*z + 5*x - 3 = 12, -3*z - r*x = -15. Suppose z = -2*j - 3*j + 150. Is 15 a factor of j?
True
Suppose 0 = 5*b - 17 - 13. Let o(u) = 3*u + 8. Is o(b) a multiple of 4?
False
Let y be (-18 + 8 + -4)*(-2)/4. Suppose -4*q - y*q = -231. Does 2 divide q?
False
Let y(n) = -n**3 + 35*n**2 + 193*n - 98. Does 15 divide y(37)?
True
Let w = 2738 - 1226. Does 54 divide w?
True
Suppose -v + 3*y = -6*v + 1350, 3*v - 794 = -5*y. Suppose -303 = -6*p + v. Does 24 divide p?
True
Let q(j) = -21 - 13*j - 2*j**2 + 7*j**2 - 4*j**2 - 3*j. Let p be q(-11). Suppose -6*t + 2*t + 4*h = -p, -5*h = -t + 81. Is 12 a factor of t?
False
Suppose k = -3*v - v + 10, 0 = -2*k - 5*v + 14. Suppose 3*s + 3*i = k*i + 741, -s + 2*i = -254. Does 31 divide s?
True
Let o = -25 + 22. Let t be o - (-3 + -88) - 0. Is 4 a factor of (-6)/15 - t/(-20)?
True
Let n(g) = -g**2 + 13*g - 35. Let c be n(8). Does 47 divide (c + -2)/((-3)/2) - -190?
True
Suppose 1925 = -4*b - q + 5890, 3975 = 4*b + 3*q. Does 45 divide b?
True
Suppose -6*s = -2*s. Let a(i) = s + 4*i + 7*i**2 + 1 - 5*i - i**3. Is 25 a factor of a(6)?
False
Suppose 30*x = 70*x - 6880. Does 4 divide x?
True
Suppose -3*a = -0*a - 66. Let r = a + 43. Is 13 a factor of r?
True
Suppose p + 2769 = 2*i + 4*p, 5*p = -5. Does 18 divide i?
True
Let m be 14*(4 - (-45)/(-10)). Let h(g) = g**2 - 6. Is h(m) a multiple of 6?
False
Let j = -32 + 40. Suppose 24 = j*g - 184. Is g a multiple of 13?
True
Let r(v) = 16 + 14*v - 13 + 11*v**2 + 5*v. Let f(s) = 5*s**2 + 10*s + 2. Let o(b) = 9*f(b) - 4*r(b). Is o(-15) a multiple of 21?
True
Let j be 6*1*55/22. Let w = j - -25. Does 10 divide w?
True
Suppose -8*n + 631 = -6337. Does 13 divide n?
True
Let v(u) = 59*u + 172. Is v(5) a multiple of 28?
False
Suppose 2*m - 40 = -26. Suppose 418 = 4*q + m*q. Is 16 a factor of q?
False
Suppose 0*j - 5*j = 0. Suppose j = -c + 12 + 6. Does 6 divide c?
True
Let z(r) = r - 5*r**2 + 41*r**3 + r**2 + 2*r**2. Does 10 divide z(1)?
True
Let i = -148 - -274. Let m = i + -47. Is m a multiple of 10?
False
Suppose -4 - 8 = -3*f, 0 = 5*n - 5*f - 720. Let z = -56 + 59. Suppose z*b - n = i, 3*i - 4 = 2. Does 13 divide b?
False
Let t be (-4)/6 + 28/6. Let c = 26 - 26. Suppose c = -t*l + 129 + 47. Is l a multiple of 36?
False
Let t(a) = -a - 10. Let z be t(-10). Let x be -3 - (-3 - z)*12. Suppose 72 = 3*g - 5*h, x = 2*g + 5*h + 10. Is 16 a factor of g?
False
Let q(i) = 73*i**3 - 2*i**2 - 4*i + 4. Is q(1) a multiple of 4?
False
Let k = -1 - -5. Suppose -k*w + 229 = 13. Is 18 a factor of w?
True
Let b = 4 - 1. Suppose -4*v = -b*v - 5. Does 8 divide (4/2 - v) + 11?
True
Suppose 5784 = 4*s - 4*w, s - 224 - 1198 = -5*w. Is 68 a factor of s?
False
Let t = 255 - -43. Is 111 a factor of t?
False
Suppose 3*r = -0*r + 9. Let g be (6/(-4))/(r/(-18)). Let w = 27 - g. Is 7 a factor of w?
False
Let z(l) = -l**3 + 6*l**2 - 4*l - 6. Let r be z(5). Let w = r - -4. Suppose 11*o = w*o + 384. Is 9 a factor of o?
False
Suppose 782 = 31*r - 2628. Does 2 divide r?
True
Let k = 60 - 38. Suppose k = 5*a + 7. Suppose -a - 2 = -c. Is 5 a factor of c?
True
Let b(d) = -28*d - 8. Let p be b(4). Let w = -58 - p. Does 6 divide w?
False
Let q be (-66)/(-12) - 3/2. Suppose -4*r = -4*k + 32, q*r + 41 = 5*k + 5. Suppose 0 = -k*v - v + 75. Is v a multiple of 4?
False
Let t be (13/26)/((-378)/(-376) - 1). Suppose -5*m - w = -t, -2*m = -0*m + 4*w - 52. Is m a multiple of 2?
True
Suppose v = -106 + 307. Does 8 divide v?
False
Let n(m) = -6*m + 15. Let b be n(6). Let y(j) = j**3 + 22*j**2 + 15*j + 52. Is y(b) a multiple of 21?
False
Suppose -3*w + 570 + 543 = 0. Does 8 divide w?
False
Does 7 divide (17 - 14)/(6/896)?
True
Let f be (-2)/3 - 56/36*-3. Suppose -39 = -d - 5*b, -2*b + b = -f*d + 156. Is d a multiple of 13?
True
Let x(b) = -23*b**2 + 4. Let p(q) = -47*q**2 - q + 9. Let d(h) = 2*p(h) - 5*x(h). Is 19 a factor of d(2)?
False
Suppose 2*o + 4*d - 54 = 0, -3*o + o = -5*d - 36. Let a = o + -23. Suppose 2*r - 4*r + 174 = a. Does 23 divide r?
False
Suppose 4*c + 8424 = 5*o, 4*c = 12 - 16. Is o a multiple of 4?
True
Is ((-816)/(-192))/(2/72) a multiple of 17?
True
Let b = -10 + 722. Does 89 divide b?
True
Suppose -3*h = 15, t - 5*t + 3*h + 7 = 0. Is (-340)/t*(-4)