4?
True
Suppose -39*o = -5533 - 3819 - 5624. Does 5 divide o?
False
Let a = -683 + 1765. Suppose 3*h = -2*n + n + a, 2*h = -2*n + 724. Is 30 a factor of h?
True
Suppose 8 = 2*y + 4*v - 12, 0 = 3*y + 2*v - 22. Suppose y*k - 35 = 199. Is 13 a factor of k?
True
Let j = 193 + -265. Does 22 divide j/(-132) - (-10158)/11?
True
Let m = -35 + 297. Suppose 5*h - m = -82. Is 4 a factor of h?
True
Suppose s + 5*f = 7*f + 6247, s + 3*f = 6252. Does 22 divide s?
False
Suppose 5*w - 4180 = 3*l, 2508 = 3*w - l + 7*l. Is w a multiple of 22?
True
Suppose 4587084 + 1318176 = 265*b. Is b a multiple of 18?
True
Let q(h) be the second derivative of -25*h + 0 + h**2 - 2/3*h**3. Is q(-11) a multiple of 23?
True
Suppose -23 = 17*s - 125. Is 652/s*3 + 3 - 5 a multiple of 18?
True
Suppose -317*v + 5455 = k - 312*v, -3*k + 4*v + 16308 = 0. Is 32 a factor of k?
True
Let w(r) = 7*r**2 - r. Let g be w(-2). Suppose -11*i + g = -8*i. Is 20 a factor of i*((-2)/1 + 8)?
True
Let k(p) = p**2 + 6*p - 17. Let b be k(6). Suppose -4*s + b = -229. Does 23 divide s?
False
Let x(m) = m**2 + 12*m - 1. Let c be x(-11). Does 55 divide c/(-2)*146*1/6?
False
Let x = 268 - 44. Let i = x + -190. Does 17 divide i?
True
Suppose 21*p = 4*s + 16*p - 9933, p = -s + 2481. Does 6 divide s?
False
Suppose 1101 - 7626 = -9*q. Suppose 3*h - v - 2801 + 622 = 0, -h + q = -v. Is h a multiple of 12?
False
Suppose 3*a = 5*u + 1114, 3*a = a + 3*u + 742. Let t = a + -221. Is t a multiple of 13?
False
Suppose 51*s = -49*s + 986100. Is s a multiple of 19?
True
Suppose -4485 = -2*c + 5*y, -12 = -4*y - 0. Does 9 divide c?
True
Suppose -204*y = 187*y - 399*y + 110352. Does 57 divide y?
True
Suppose 208*u = 188*u + 306020. Does 107 divide u?
True
Suppose 4*r = 5*b + 161, 9*r = b + 6*r + 30. Let g(p) = -p**2 - 33*p + 139. Does 23 divide g(b)?
False
Let v = -131 - 134. Is 40 a factor of -12*(0 - v/(-15) - -1)?
True
Is 13 a factor of 323892/10 - (-2196)/1220?
False
Is 23 a factor of (-99 - 3)/(351/(-26793))?
False
Suppose -5*p = -4*q + 23 - 15, 4*p - 6 = -3*q. Suppose p = -l + 5, 21*k - 936 = 17*k + 4*l. Is k a multiple of 6?
False
Let h(k) = 24*k - 26. Let q(m) = 168*m - 184. Let z(j) = 20*h(j) - 3*q(j). Is z(-2) a multiple of 53?
False
Let r be (-105)/(-2) + (-10)/20. Does 54 divide 3556/6 - r/78?
False
Let b = 584 - 321. Let y = b + 84. Is y a multiple of 40?
False
Let w = -14772 + 23497. Is 11 a factor of w?
False
Let c(r) = -r + 15. Let o be c(12). Suppose b - 11 = -3*z, 0*z + 2*b = o*z - 23. Suppose z*h = -15, -m + 40 = 3*m - 4*h. Does 4 divide m?
False
Suppose -36*x + 33*x - 3 = 0. Let v be 180/70*1*x*7. Does 17 divide (34/5)/(v/(-90))?
True
Let z(g) = g**3 + 12*g**2 - 28*g + 6. Let b be z(-7). Suppose 0*j + 2*j - 183 = 3*s, -3*s + b = 5*j. Does 11 divide j?
False
Let w(s) = s**3 - 9*s**2 + 15*s + 9. Let q be w(7). Let c = q + -16. Suppose c = -13*n + 658 + 122. Does 15 divide n?
True
Suppose w + 310 = j, -5*w + 1264 = 5*j - 286. Is j a multiple of 62?
True
Let f = 230 + -228. Suppose 97 = g - 4*z, g - 62 = -z - f*z. Does 7 divide g?
True
Suppose 0*b - 5*b = -20, 4*b = -t - 343. Let r = t + 564. Does 37 divide r?
False
Suppose 0 = 245*x - 1340371 + 537261. Is x a multiple of 209?
False
Let x(h) = -42*h - 50. Suppose -4*j + 50 = -7*j - 4*t, 3*t = 12. Does 14 divide x(j)?
False
Let w(b) be the first derivative of -b**4/4 + 2*b**3 + 5*b**2 - 6*b - 13. Let x be w(7). Suppose -120 = -x*n + 13*n. Is 10 a factor of n?
True
Let a(c) = c**2 + 15*c + 120. Let z be (-3 - 1 - -5) + -28. Does 9 divide a(z)?
False
Let g(c) = -2*c**2 + 16*c - 21. Let h be g(6). Suppose -h*p + 428 = -460. Is 37 a factor of p?
True
Is -3 + -1 + (90*88 - 12) a multiple of 8?
True
Suppose 5*o = -23*d + 24*d + 12312, -4932 = -2*o + 4*d. Suppose 1378 + o = 6*a. Is a a multiple of 32?
True
Let c(i) = i**2 + 21*i + 22. Let k be c(-22). Suppose 53*z = k*z + 63. Does 2 divide z?
False
Let p(f) = -f**2 - 5*f - 3. Let l be ((-12)/(-10))/((-2)/5). Let n be p(l). Suppose w + 480 = n*m + 4*w, m - 2*w - 163 = 0. Is m a multiple of 7?
True
Suppose 13200 = 6*m - 3828. Is 43 a factor of m?
True
Let z = -438 + 443. Suppose -540 = -z*h - 2*y, 3*y - 6*y + 121 = h. Is 3 a factor of h?
False
Does 90 divide 225*40/(-1900)*-19?
True
Let f be (-3)/6*(-15)/((-90)/66576). Is (f/228)/(1/(-3)) a multiple of 23?
False
Let f(v) = 332*v**2 + 726*v - 14. Is f(-13) a multiple of 32?
True
Let x = 9303 - 7305. Is 111 a factor of x?
True
Suppose -3*r = -0*r + 6. Let q be (10 - -2) + r + 6/3. Is 14 a factor of 1029/q + 1/4?
False
Let x be (3 + 3 - 7) + -3. Let n(s) = -24*s + 15. Does 6 divide n(x)?
False
Let x = 918 - -4797. Is 6 a factor of x?
False
Suppose 3*g - 791 = -3*w + 829, g + 2 = 0. Let u = w + -464. Is u a multiple of 39?
True
Let u(v) = v**2 + 6*v - 1. Let l be u(-8). Let k = l + -10. Suppose 5*w - 2*x - 75 = -7*x, 5*w = k*x + 65. Is 4 a factor of w?
False
Let r = -2817 - -3577. Does 9 divide r?
False
Let w(o) = 91*o**2 - 80*o + 546. Is 8 a factor of w(7)?
False
Let o = 20781 + -14283. Is o a multiple of 23?
False
Suppose 0 = -6*x + 13*x - 56. Suppose 0 = 4*n + 4*w - 16, 10*w - x*w + 2 = 0. Suppose n*d = v + 566, -2*d + 3*v - 4*v = -232. Is 17 a factor of d?
False
Let t(f) = 208*f**2 + 290*f + 1752. Is t(-6) a multiple of 150?
True
Let k = -44 - -39. Suppose 0*g = 3*g - 9. Is (-40)/(k/g - -1) a multiple of 15?
True
Suppose -2*z = 10*z - 328440. Suppose 49*l - z = 15*l. Does 55 divide l?
False
Let q = -384 - -387. Let y(u) = -u**3 - 7*u**2 - 7*u - 3. Let r be y(-6). Suppose q*z = 4*a + 143, -z - r*a + 35 = 2*a. Is 15 a factor of z?
True
Let s(z) = 36*z**2 - 143*z - 1461. Is 43 a factor of s(-10)?
True
Suppose 0 = 2*p + 3*t - 2781 - 5275, -5*t = -10. Is 27 a factor of p?
False
Let r(x) = 51*x**2 - 88*x - 942. Does 13 divide r(-12)?
False
Let y(x) = -700*x + 6436. Is 141 a factor of y(-11)?
False
Suppose -44418 = -3*d - 3*g, -7*g = -10*g - 12. Is 29 a factor of d?
False
Let l(a) = a**3 - 19*a**2 + 35*a + 22. Let r be l(16). Let f = r + 217. Does 8 divide f?
False
Let v(m) = -m - 1. Let u(r) = 88*r + 88. Let h(j) = 2*u(j) + 154*v(j). Is 9 a factor of h(8)?
True
Suppose p = d + 2790, -9*p + 3*d = -14*p + 13910. Is 103 a factor of p?
False
Suppose -19*u + 15*u + 4*i = -21380, 2*i = -3*u + 16015. Is u a multiple of 181?
False
Suppose -6*j = 5 - 23. Suppose j*k - 42 = r, 5*k - 3*r + 32 - 102 = 0. Suppose 12*z = k*z - 492. Does 35 divide z?
False
Let d = 5724 - 2409. Suppose -4*y + 1553 = -d. Suppose 6*z + 257 = y. Is z a multiple of 16?
True
Let f = -5512 + 8116. Is 7 a factor of f?
True
Let j(k) = 1191*k**2 - 332*k - 5. Is 7 a factor of j(2)?
True
Let t(u) = -4*u + 15. Let m(v) = v + 8. Let b be m(18). Let z(s) = -17*s + 60. Let r(o) = b*t(o) - 6*z(o). Is 5 a factor of r(10)?
True
Let r = 145 + -146. Let d be 9*50 + 3 + 0 + r. Suppose 4*c + 4*s = d, -4*s = -c - s + 129. Is 10 a factor of c?
False
Suppose -206 = -3*a - 2*d, -26*a = -23*a - d - 221. Suppose c - 84 = -5*y, 0 = -7*c + 6*c - y + a. Is c a multiple of 3?
True
Let d(w) = 83*w**2 + 8*w + 43. Is d(-7) a multiple of 9?
False
Let j(b) be the second derivative of -b**4/8 - 20*b**3/3 - 10*b**2 + 8*b. Let s(p) be the first derivative of j(p). Does 11 divide s(-17)?
True
Let q = 755 + -311. Let c be (-18)/(-2)*(-1515)/45. Let f = c + q. Does 22 divide f?
False
Let a = 3 + -1. Suppose a*y = 68 + 82. Let u = y - 37. Is 10 a factor of u?
False
Let d(x) = 15*x. Let w be d(10). Suppose h - 2*n - 428 = 0, -h + w = 5*n - 250. Is 37 a factor of h?
False
Let h be ((-6)/4)/(27/12)*9. Does 54 divide 86602/(-159)*h/4?
False
Let t(x) = -4*x**3 + 6*x + 52. Let n(m) = 5*m**3 - 7*m - 53. Let y(j) = -3*n(j) - 4*t(j). Does 12 divide y(8)?
False
Suppose 11*b + 343 - 9440 = 0. Does 37 divide b?
False
Let m(i) = 32*i**2 - 89*i - 681. Is m(-8) a multiple of 99?
True
Let i = -2698 - -2882. Is 9 a factor of i?
False
Suppose 5*d = 20*d + 16*d - 48701. Is d a multiple of 14?
False
Suppose 0 = 5*k - c - 37584, -7002 = -k + 5*c + 558. Does 116 divide k?
False
Suppose 61*l + 41580 = 66*l. Suppose 20*v - l = -8*v. Is v a multiple of 3?
True
Suppose 0 = -7*s + 8*s + 2, 2*a + 2*s - 6 = 0. Suppose 18*b - a*b - 1690 = 0. Is b a multiple of 10?
True
Let v = 35 + -33. Let h be (-3)/(-12) - (46/(-8) + v). Suppose -h*x = -6*x + 238. Does 26 divide x?
False
L