. Suppose r*w - 7 = 9. Does 5 divide (-1)/(w/120*-3)?
True
Let d = 33 - 15. Let c = -12 + d. Suppose 105 = 11*h - c*h. Is h a multiple of 21?
True
Does 22 divide 1625/(-20)*-4 + (2 - 5)?
False
Suppose -q + 6*q = -3*k + 16, 2*k = 4. Let i(p) = 1. Let x(w) = 43*w. Let g(b) = 2*i(b) + x(b). Is 22 a factor of g(q)?
True
Suppose -30*r + 25*r + 4020 = 0. Does 17 divide r?
False
Let l = 229 + -123. Let f be (-32)/(-14) + (-4)/14. Suppose -72 = -2*j - f*s, 3*j - 5*s = l + 34. Is j a multiple of 12?
False
Let n = -1259 - -1675. Is n a multiple of 14?
False
Let o(h) = 32*h + 64. Is o(10) a multiple of 3?
True
Is 4 + (-3)/((-113)/(-58) + -2) a multiple of 62?
True
Suppose 3*p - 3*k + 239 = 1724, 0 = -3*p - 2*k + 1480. Does 19 divide p?
True
Suppose 2*i - 150 = -i. Suppose 0 = 4*r + r - i. Suppose -14 = -f + r. Is f a multiple of 14?
False
Let b = -40 + 70. Is (-4)/b + 6222/90 a multiple of 15?
False
Let m = -31 - -15. Is 9 a factor of 4/((-8)/(-45))*(-10 - m)?
True
Let w(r) = -2*r**3 - 2*r - 3. Suppose 4*g = 3*g + 4*b - 18, -2*g - 16 = -3*b. Let y be w(g). Suppose 3*u - 100 = y. Is 23 a factor of u?
False
Suppose 84 = 4*i - 12. Suppose 5*a = -4*k - i + 89, 0 = 3*k + 15. Let q = 42 - a. Is 14 a factor of q?
False
Let a(f) = -f**3 + 6*f**2 + 4*f + 2. Let d(m) = -m**3 - 8*m**2 - 8*m - 7. Let u be d(-7). Suppose -2*n - 5*h + 18 + 4 = u, -2*h - 8 = -2*n. Does 13 divide a(n)?
True
Let r = -1 + 4. Suppose -2*o - 163 = -5*p, p + 2*o = -r*p + 116. Is 10 a factor of p?
False
Let h(n) = n**2 + 11*n. Let v be h(-11). Suppose -50 - 336 = -4*q + f, v = 2*q + 4*f - 184. Is q a multiple of 3?
True
Let t(g) = 13*g + 39. Is 26 a factor of t(7)?
True
Let a(h) = -h**2 - 54*h - 210. Is a(-43) a multiple of 3?
False
Let o(h) = -4*h**2 - 29*h + 11. Suppose 13*f = 15*f + 14. Does 18 divide o(f)?
True
Let y(w) = -65*w**3 + 2*w**2 + 5*w + 4. Does 2 divide y(-1)?
True
Let h(u) be the first derivative of u**2 - 8*u - 5. Let m(z) = 1. Let i(g) = -h(g) - 5*m(g). Is i(-13) a multiple of 16?
False
Let r(o) = -12*o - 2. Let w be r(-2). Let b(j) = -2*j**3 - j**2 + j + 2. Let a be b(-1). Suppose -a*f + 44 + w = 0. Is 11 a factor of f?
True
Suppose 0 = -2*f + 6*f. Does 9 divide (f + 54)*(-5)/(3 - 8)?
True
Suppose -8*o + 8 = 3*l - 9*o, 5*l - o - 14 = 0. Suppose -r - l*r + 625 = f, 4*r - 4*f = 620. Is r a multiple of 43?
False
Let k(v) = -v**3 + 10*v**2 - 9*v + 3. Suppose r - 11 = -2. Let d be k(r). Suppose 0 = -2*c + 47 - d. Is c a multiple of 11?
True
Let i = -209 - -2955. Is i a multiple of 20?
False
Does 12 divide 2484/15*(-4)/(16/(-20))?
True
Is 12 a factor of (-671)/(-22)*(1 - -1)?
False
Let u(d) = -d**2 + 15*d + 12. Let t be u(16). Is 7 a factor of t/22 - 387/(-11)?
True
Suppose 2*i = -2*w - 0*i + 1888, 0 = -3*w + 5*i + 2848. Is 11 a factor of w?
True
Let l be (-299)/(-11) - 4/22. Let h = 38 - l. Suppose h*m - 96 = 8*m. Does 14 divide m?
False
Let o(y) = -3*y**2 - 13*y + 13. Let z(i) = -i**2 - 6*i + 6. Let n(t) = -2*o(t) + 5*z(t). Let a be 4/2 + 25/5. Is n(a) a multiple of 7?
False
Suppose 0 = 6*f - 6273 - 3819. Does 29 divide f?
True
Let d = 523 - -107. Is 18 a factor of d?
True
Let l(i) = -i**3 - 3*i**2 + 5*i + 8. Let r be l(-4). Suppose -r*j = -0*s + 5*s - 320, 4*s = 0. Is 29 a factor of j?
False
Let r = -24 + 27. Suppose 5*d + 0*d + r*h = 58, -3*d + 3*h + 30 = 0. Does 2 divide d?
False
Let b be ((-2)/(-6))/((-3)/(-11979)). Suppose 517 = 11*y - b. Is y a multiple of 52?
False
Suppose -2*l + 1130 = 3*l. Suppose l - 16 = 3*a. Is 21 a factor of a?
False
Let y = 0 + 4. Suppose -273 = -5*t + 4*m, -2*t + 0*m - y*m + 126 = 0. Suppose 3*q = -2*w + 197, 3*q - 144 = -3*w + t. Is 7 a factor of q?
True
Let h = -413 - -714. Is 6 a factor of h?
False
Suppose 0 = 7*n - 168 - 1505. Is n a multiple of 18?
False
Let c be 8/20 - 891/15. Let j = c - -13. Is 10/20 + j/(-4) a multiple of 12?
True
Suppose 5*d - 2*d + 4439 = 2*z, -2*d = -3*z + 6646. Is 28 a factor of z?
True
Suppose 21 = 3*r + 3*x, 2*r - 2*x = -3*r + 28. Suppose -4*m = 243 + 33. Is m*(-1)/(r - 3) a multiple of 7?
False
Suppose -27*v = -2*v - 2525. Is 11 a factor of v?
False
Suppose 4*x - 1791 = b, 5 = -2*b + 7. Is x a multiple of 16?
True
Let a = 4241 - 2387. Does 43 divide a?
False
Suppose -10*n + 638 = 148. Does 18 divide (-1834)/n*(1 + -8)?
False
Suppose 11 = 3*q + f, 4*q - 5*f + 13 - 53 = 0. Suppose 3*w = -q*l - 41, -4*l - 5 = w + 25. Let d(g) = 2*g**2 + 12*g + 14. Is d(l) a multiple of 22?
False
Let x(d) = d**3 - 10*d**2 + 5*d - 43. Let b be x(12). Let g = b - 127. Is g a multiple of 41?
False
Suppose -8 = 3*q - 20. Suppose 0*b + 504 = q*b. Does 18 divide b?
True
Let b be -1 + (-10)/(-4) + (-7)/(-14). Suppose b*o = -1 + 21. Is o a multiple of 4?
False
Let j(u) = -7 + 18*u - 19*u + 2. Let v be j(-11). Suppose -m - 1 = -v. Does 2 divide m?
False
Let r be 375/4 + 5/20. Suppose -2*v - 2*v = 5*z - 92, 5*z - r = -3*v. Is z a multiple of 5?
True
Suppose -932 = -3*m + 5*c, -1096 = -5*m + 2*c + 432. Is m a multiple of 38?
True
Suppose -3*m = -2*m - 510. Is m/15 + (-5 - -1) a multiple of 21?
False
Suppose -3*q + 1773 = 2*z, 4*q - 2309 = -3*z + 351. Suppose -19*f = -13*f - z. Is f a multiple of 24?
False
Let n = 19 + -17. Suppose -4*z + n*f + 262 = -3*f, -2*z + 5*f = -126. Suppose -k - z = -3*k. Does 25 divide k?
False
Suppose -6*q = 2*a - q + 5, -5 = q. Does 10 divide ((-24)/9)/(a/(-105))?
False
Let m = -1134 - -1657. Is m a multiple of 2?
False
Let g be (4/(-14))/(1/(-7)). Suppose -g*y + 15 - 11 = 0. Suppose p - 68 = -y*q - 0*q, -q = -3*p - 27. Is q a multiple of 11?
True
Suppose -3*t + g + 101 = -899, -3*g + 1020 = 3*t. Does 6 divide t?
False
Suppose 0 = -0*n - 4*n + 32. Suppose 4*b = 6*b - n. Suppose 4*t + b*j = t + 87, -4*t + 116 = 2*j. Is 10 a factor of t?
False
Let x = 21 + -21. Suppose -5*j + 4*j = 2*y - 30, -5*y - j + 81 = x. Does 7 divide y?
False
Let n(t) = t**3 - 6*t**2 + 2*t + 19. Let a be n(5). Let c(h) = h**2 - h - 8. Is c(a) a multiple of 2?
True
Suppose 148 - 8 = 2*x + 2*m, -5*x + 354 = 3*m. Let q(o) = 3*o + 2. Let i be q(-4). Let r = x + i. Is r a multiple of 20?
False
Let s(t) = -18*t**2 + 4*t + 3. Let l be s(-2). Let i = l + 118. Is 18 a factor of i?
False
Let t(s) = -2*s**3 + 3*s**2 + 7*s - 5. Let c be t(5). Let w = -75 - c. Suppose -3*k + w = -125. Does 18 divide k?
False
Let b(j) = 25*j + 1. Let t(k) = -74*k - 2. Let u(o) = -11*b(o) - 4*t(o). Is 12 a factor of u(3)?
True
Suppose 0 = -11*d - 0*d + 22. Suppose 704 = -d*i + 13*i. Is 22 a factor of i?
False
Let t be 23*-1 - (-9 - -6). Does 9 divide (t + 2)*(-1)/2?
True
Suppose -36*z + 10954 + 2150 = 0. Does 11 divide z?
False
Let q be (0 + -2 - -34) + 0. Let u be -5*(q/(-20))/(-4). Does 5 divide (-3)/((-23)/10 - u)?
True
Suppose -5*w - 2*p = -1132, -w + 2*p + 212 = 6*p. Is w a multiple of 6?
True
Let l(i) = 11*i**2 + 5*i + 6. Let x be l(-6). Let r be (-1)/((4/x)/(-1)). Does 10 divide -1 + (r - (0 - -4))?
False
Suppose -15*q + 10*q + 70 = 0. Let m(f) = -f**3 + 14*f**2 + 3*f - 18. Is m(q) a multiple of 8?
True
Let b = 153 - -263. Is 32 a factor of b?
True
Suppose 0 = -24*y - 7*y + 7905. Is 17 a factor of y?
True
Is 16/(5*6/2280) a multiple of 16?
True
Let m = -643 - -682. Is 2 a factor of m?
False
Let c(l) = 86*l - 16. Is 6 a factor of c(2)?
True
Suppose 4*n + 5*l = 354, -5*n + 445 = -118*l + 123*l. Does 7 divide n?
True
Suppose -11*u = -13*u + 10. Suppose -u*d - 65 = -320. Is d a multiple of 27?
False
Let j(g) = -g**3 + 5*g**2 - 2. Let h be j(5). Let m(t) = t**3 + 3*t**2 + 1. Let n be m(h). Let q = 3 + n. Does 8 divide q?
True
Suppose 7*z - 3*z = -752. Suppose 0 = -3*v + 2*v + 3*h - 87, -5*v - 495 = -3*h. Let m = v - z. Is m a multiple of 34?
False
Let i = -406 + 1131. Is 53 a factor of i?
False
Let y(b) = -1534*b + 155. Does 14 divide y(-2)?
False
Is (3 + -13 + -1)/((-17)/2601) a multiple of 99?
True
Suppose 3*o - 4*m = 7*o - 2356, -2*o = -m - 1166. Is o a multiple of 94?
False
Let n be -3 - (0 + -4)*-1. Suppose d + 33 = 2*d + s, -5*d - s = -181. Let u = d - n. Is u a multiple of 11?
True
Let q(u) = u**3 + 20*u**2 + 40*u + 40. Does 53 divide q(-16)?
True
Let h be ((-4)/(-6))/1*3. Suppose -4 = -w + h. Let b(p) = p**3 - 5*p**2 + 3*p - 3. Does 17 divide b(w)?
True
Let b(z) = 24*z. Let i = 13 + 10. Let p = -22 + i. Does 18 divide b(p)?
False
Suppose 0 = -v + 3*k + 63 + 105, 