 5?
False
Let w(y) = y**3 + 2*y**2 + 313. Let l be w(0). Let v = -169 + l. Is v a multiple of 24?
True
Suppose 0 = -3*h + 12, b + 5*h = -63 - 38. Let u = -703 - -873. Let x = u + b. Does 7 divide x?
True
Let z(d) = 53*d**3 - 6*d**2 + 87*d - 347. Is z(4) a multiple of 12?
False
Suppose 0 = -5*i - 5*w + 3*w - 2, -2*w + 6 = i. Let h(f) = 11*f**2 - 8*f + 1. Does 21 divide h(i)?
False
Let o = 39 - 32. Let q(s) = -31*s + 18. Let n(r) = -16*r + 9. Let t(g) = 5*n(g) - 3*q(g). Does 29 divide t(o)?
False
Suppose -24*v + 33255 = 5655. Is v a multiple of 5?
True
Suppose -9*x + 9 = -6*x. Suppose 5*y - 26 = -2*s, 4*s - 4 = -x*y + 5*y. Let m = 23 + y. Does 27 divide m?
True
Let b be (-3)/3*(-3 + 4 + -2). Let z be (b + 0)*10/1*-5. Let q = z - -98. Does 24 divide q?
True
Does 2 divide 5/(-4)*1180/(-59)?
False
Let n(f) = 3*f + 10. Let m = 34 - 40. Let h be n(m). Let l(g) = -9*g + 10. Does 13 divide l(h)?
False
Is 12 a factor of (652/10)/((-89)/30 - -3)?
True
Suppose 4*s + 1460 = 3*u, 51*u + 4*s = 56*u - 2436. Is 8 a factor of u?
True
Suppose 0 = 250*y - 3272119 - 2006381. Is y a multiple of 138?
True
Suppose -41 = -u + 4*v, 2*v = -u - 2*u + 137. Is 1/((-2)/6*u/(-4470)) a multiple of 8?
False
Is 126786/(-153)*(9/(-6))/1 a multiple of 11?
True
Suppose -3389122 = -143*g + 16*g. Does 5 divide g?
False
Let k = -34 - -68. Let f = k + -28. Suppose 0*q + 192 = f*q. Is 15 a factor of q?
False
Suppose 4 = -4*p, 4*h - 16 = -p + 59. Let s(q) = 2*q - 46. Let r be s(h). Let y(i) = -i**3 - 6*i**2 + 10*i - 6. Does 6 divide y(r)?
True
Let m(j) = 17*j**2 + 5*j + 4. Let r be m(3). Suppose 29 = 5*b - 3*h - r, 0 = -5*b - h + 213. Is 9 a factor of (-2)/3 - (-1918)/b?
True
Is 22 a factor of (-104)/260*(-23802 + 7)?
False
Let n(d) = -3*d**3 - 2*d**2 - 8*d - 6. Let u be n(-1). Suppose u*v + 3*f = 2*v + 86, 352 = 4*v + 4*f. Does 3 divide v?
False
Let n(y) = -12*y**3 - 6*y**2 - y + 19. Let f = -754 + 751. Does 24 divide n(f)?
False
Let j(p) = p**3 - 14*p**2 + 13*p + 7. Suppose 5*f + 15 = 4*u + 45, 29 = 2*f - 5*u. Suppose 2*x + 6 = 4*x, f*q + 4*x = 38. Is 4 a factor of j(q)?
False
Suppose 16*a = 9*a - 7. Is 61 a factor of (-21 - -25) + a*3 + 426?
True
Let m = 3333 + -879. Does 70 divide m?
False
Suppose 0 = 5*u - f - 1603, -1601 = 17*u - 22*u + 2*f. Suppose u + 327 = 12*m. Is m a multiple of 27?
True
Let v = 49236 - 34411. Is v a multiple of 17?
False
Is 20 a factor of 441/91 + -5 + (-187216)/(-104)?
True
Suppose 0 = 95*j - 92*j - 3*s - 1095, -2*j + 5*s + 745 = 0. Is 3 a factor of j?
True
Suppose 6*d + 11*x = 6*x + 23266, -3*x = 5*d - 19393. Does 50 divide d?
False
Let f(b) = -b - 7. Suppose 0 = g + 2*g + 18. Let d be f(g). Let t = 15 - d. Is t a multiple of 16?
True
Suppose -4*v - 4*f + 15152 = 0, -80*v + 81*v - 3791 = -2*f. Is 10 a factor of v?
False
Let l = -102 - -70. Let o = l - -115. Suppose s = o - 39. Is 18 a factor of s?
False
Does 11 divide 4/80 + 1461585/300?
False
Let q(k) = -3 + 4*k + 300*k**2 - 91*k**2 + 349*k**2 + 7. Is q(-1) a multiple of 41?
False
Suppose -84*r = 3*s - 83*r - 17864, -4*s + 23825 = -5*r. Is 97 a factor of s?
False
Suppose -4*b - j = -6*j - 449, -3*b = -j - 323. Suppose 116*r = b*r + 520. Is 26 a factor of r?
True
Suppose 3*t - 3 = -2*u, 0 = -u - 0*u + 3*t + 6. Let k(c) = 27*c + 30. Does 15 divide k(u)?
False
Suppose 5*p - 12685 - 2868 = 14807. Is p a multiple of 33?
True
Let q(z) = -2*z**2 + 17*z + 21. Let t be q(11). Let p = t - -109. Is p a multiple of 11?
False
Suppose -52 = 105*v - 118*v. Suppose v*f = 5*z - 3724, 0 = 2*z - z + 4*f - 740. Is 24 a factor of z?
True
Let k = 521 - 1023. Let d = k - -532. Is d a multiple of 2?
True
Let n be (-2302)/(-5) + 33/55. Suppose -287 = -4*d + n. Suppose 11*r - d = 352. Is 7 a factor of r?
True
Suppose -3*a = 5*n - 8625, -760*a + 762*a = 2*n + 5718. Does 75 divide a?
False
Let d be (-10)/(-65) + 9564/26. Suppose -7*p = -d + 137. Is p a multiple of 33?
True
Let x(q) = -2*q**3 - 11*q**2 - 6*q + 1. Let g be x(-5). Let c be 476/52 + g/(-39). Suppose 50 = 10*t - c*t. Is 5 a factor of t?
True
Let t(m) = 205*m**2 - 14*m + 7. Is 6 a factor of t(3)?
False
Suppose 40*d = -51318 + 488358. Does 7 divide d?
False
Suppose 0 = 3*k - 3*q - 57, k + 4*q = 2*q + 22. Suppose k = 32*y - 28*y. Suppose -2*r - 138 = -y*r. Is r a multiple of 23?
True
Suppose 11*x - 14985 = -100*x. Is 15 a factor of x?
True
Let a = -4591 - -16353. Is 34 a factor of a?
False
Suppose -12*s = -11*s + 1393. Let u be (s/(-7))/(-1*(0 + -1)). Let d = u + -75. Does 16 divide d?
False
Suppose 0 = 39*r - 10*r - 583 - 3825. Is 3 a factor of r?
False
Suppose 44*k - 64*k + 27900 = 0. Is 3 a factor of k?
True
Let l = 6249 - 3454. Does 13 divide l?
True
Does 226 divide 62602/(-1939)*-14*2?
True
Let y = -388 + 14710. Is y a multiple of 62?
True
Let o(p) = -7845*p - 4268. Is o(-4) a multiple of 54?
False
Let k(b) = -7*b + 182. Let m be k(28). Let d(h) = -12*h - 140. Is d(m) a multiple of 16?
False
Let d be (-60)/(11 - -1)*(-3)/5. Let u(h) = 7*h**3 - 5*h**2 + 6*h. Let k(t) = 7*t**3 - 5*t**2 + 5*t + 1. Let f(j) = 3*k(j) - 2*u(j). Is f(d) a multiple of 12?
True
Let f = -23 - -27. Suppose 2*l - 160 = l - f*a, -a - 175 = -l. Suppose -4*v + 64 = 2*y, 5*y - v + 5*v = l. Is 18 a factor of y?
True
Let i(u) = u**3 + 8*u**2 + 11*u - 20. Let m be i(-7). Let q = m + 51. Is 11 a factor of (-14)/(-7) + q*14?
True
Let s(d) be the first derivative of d**3 - 9*d**2/2 - 1. Suppose 5 = 5*n, -10*n = k - 11*n + 6. Is s(k) a multiple of 20?
True
Suppose 9*i - 29 = 16. Suppose 0 = 5*a + i*q - 4570, 0 = -2*a + 3*q + 1374 + 479. Is a a multiple of 69?
False
Let g = 215 - 151. Suppose 0 = 5*y - 4*o - 349, 6*o - o - g = -y. Is y a multiple of 51?
False
Suppose -5*b + 183*c + 2690 = 188*c, -b = 4*c - 529. Is 37 a factor of b?
False
Suppose -24*c - 10 = -26*c. Suppose -2*j + 188 = k + 37, -c*j + k = -367. Suppose 77*r = j*r + 72. Does 12 divide r?
True
Does 112 divide (-10)/(-8)*(-112)/(-105)*8004?
False
Let d(c) = -c**3 + 13*c**2 - c + 17. Let u be d(13). Suppose -u*h + 312 = -h. Does 4 divide h?
True
Suppose 0 = 26*n + 45 - 175. Suppose n*r + 555 = 5*q, 6*q = 11*q - r - 551. Is 10 a factor of q?
True
Let k be 808/80*5*4. Suppose 6*l + k = 748. Does 5 divide l?
False
Let l(g) = g**2 - 23*g + 80. Let v be l(19). Suppose v*j - 729 = i, 0*j + 5*i - 699 = -4*j. Does 8 divide j?
False
Let a = -2125 - -7777. Does 36 divide a?
True
Suppose 59*t - 175549 = 131587 - 2047. Does 18 divide t?
False
Suppose 30 = -6*g, -5*o + 23208 = -g - 2627. Is 126 a factor of o?
True
Suppose -2*b = 37*l - 35*l - 3340, -4*b = l - 1673. Suppose -4*x = -291 - l. Does 56 divide x?
False
Suppose 754 + 640 = 2*v. Let t = v - 981. Let p = t + 537. Does 11 divide p?
True
Let c be 2/(-9) - (2614/(-18) - -1). Let d = -51 + c. Is d a multiple of 8?
False
Let m(g) = 62*g**3 + 18*g**2 + 12*g - 2. Let c(u) = -31*u**3 - 10*u**2 - 6*u + 1. Let k(b) = 11*c(b) + 6*m(b). Does 19 divide k(3)?
True
Let p(x) = x**3 + 5*x**2 + 2*x - 4. Let o be p(-3). Let k(m) = -m**3 - 4*m**2 + 4. Let u be k(-4). Is 18 a factor of 1/u - (-198)/o?
False
Suppose 134*g - 138*g = 204. Let r = g - -135. Is 42 a factor of r?
True
Let j(y) = 54*y - 120. Suppose -c + 51 = 47. Is 9 a factor of j(c)?
False
Suppose -7*r + 13*r - 1572 = 0. Let j = r - 182. Is 10 a factor of j?
True
Let z be 1/(3444/(-690) - -5). Let v = -15 + -48. Let h = v + z. Is 13 a factor of h?
True
Suppose 0 = -3*h + 2*u + 11, 0 = 59*h - 58*h - 4*u + 13. Suppose -6*w + h*w = 5*l - 641, -403 = -3*l - 4*w. Is l a multiple of 2?
False
Let r = -164 - -173. Let s(j) = j**3 - 4*j**2 - 23*j + 15. Does 71 divide s(r)?
True
Does 12 divide (10/(-8) - -3)/(18/7704)?
False
Suppose 2*u + 2*n - 7714 = 0, 27 - 7 = -5*n. Is 2 a factor of u?
False
Let v = -12058 - -19894. Does 14 divide v?
False
Let t = -3 - -10. Suppose 24*s = 30*s + 12. Is s/t - 2810/(-35) a multiple of 8?
True
Suppose 6*l = -7*l. Suppose -2*m + l*m - q + 459 = 0, 242 = m + 3*q. Suppose -2*j - m = -785. Is 35 a factor of j?
False
Let i be (6 - 7) + (1 - 2)*2. Let w be (-10)/i*624/40. Suppose -3*x - 7 = -w. Is x a multiple of 6?
False
Let c = -7 - -12. Suppose 33 = k - 4*z, -3*z + 2*z - 165 = -c*k. Suppose -3*p + 18 = -k. Is 3 a factor of p?
False
Suppose 5*a - 28975 = 3*i, 540*i = 5*a + 545*i - 29015. Does 13 divide a?
True
Suppose 688946 = -2875*k +