Suppose 3*y + 3*z = 141, 43 = y - 2*z + 4*z. Suppose -2*i + x + y = 0, -3*i + 73 - 7 = 2*x. Is 2 a factor of i?
True
Let c = 2520 + -1464. Is c a multiple of 24?
True
Suppose 18*p - 728 - 7030 = 0. Does 10 divide p?
False
Let t(q) = -10*q**3 + 2*q**2 + 4*q + 5. Suppose 16*u + 8 = 12*u. Does 7 divide t(u)?
False
Suppose 251 = -0*v - 3*v - 5*b, -3*v = -5*b + 241. Let p = 138 + v. Is 17 a factor of p?
False
Suppose -4*i + 225 = 3*x, 120 = 2*i - 258*x + 262*x. Is i a multiple of 4?
False
Let o be -6 + 2 + (-80)/(-10). Is (1/o - 1)/(13/(-2028)) a multiple of 9?
True
Is 29 a factor of (3 - (-264)/(-16))*-40?
False
Let i(h) = 3*h**3 - 8*h**2 - 13*h - 2. Let f(r) = -r**3 + r - 1. Let m(o) = -4*f(o) - i(o). Is 6 a factor of m(-6)?
True
Let o = -1841 + 2699. Is o a multiple of 78?
True
Suppose 3*h + 2 = 14. Suppose -31 = -5*t - 1. Suppose t = -2*f + h*f. Is f a multiple of 2?
False
Suppose 410 + 2440 = 6*o. Does 5 divide o?
True
Let s(g) = 10*g**2 - 3*g - 2. Let o be s(-3). Let b = 17 + -15. Suppose 2*r = b*m - 56, 2*m = -2*m + r + o. Does 11 divide m?
False
Let c be (-16 - 2)*318/18. Let v = -221 - c. Let b = v - -5. Is b a multiple of 34?
True
Let l(u) = u**2 + u + 19. Let i be l(0). Suppose 3*w - i - 95 = -n, n - 138 = 5*w. Does 41 divide n?
True
Suppose 43*y - 3599 = -1148. Is y a multiple of 19?
True
Let n = -8 + -7. Is 30 a factor of ((-12)/n)/(-1*(-4)/450)?
True
Suppose -96*r - 2877 = -99*r. Does 65 divide r?
False
Suppose -m + 187 = 4*u + 2*m, -4*u = -3*m - 205. Does 12 divide u?
False
Let f be (9/4)/((-3)/(-4)). Suppose -f*j = -205 - 155. Does 15 divide j?
True
Let f = -1650 + 2079. Does 4 divide f?
False
Is 10 a factor of (97/2)/(((-6)/48)/(-1))?
False
Let j(i) = i**2 + i - 3. Suppose 0 = h + 4*h. Let k be j(h). Let y(g) = -24*g - 4. Does 17 divide y(k)?
True
Does 65 divide 559/65 + -8 + (-6494)/(-10)?
True
Suppose 4*b - 3*c - 3541 = 0, -70*b + 3*c = -74*b + 3547. Does 11 divide b?
False
Suppose 2*l - t + 6 = t, 3*l = 4*t - 14. Suppose -3*v - l*v + 345 = 0. Is v a multiple of 23?
True
Let r = 367 + -300. Does 31 divide r?
False
Let f = -2 + 6. Suppose 0 = f*p + 1 - 9. Does 8 divide p/((-3)/(-42 - 0))?
False
Suppose 0 = -5*w + w + f + 18, 3*f + 18 = 3*w. Suppose -8*c + 44 = -w*c - q, 3*c - 5*q = 16. Let z = c - -4. Does 8 divide z?
True
Suppose -1 = 5*j - 221. Is 22 a factor of j?
True
Suppose -13*g + 11*g + 214 = 0. Let c = 13 + g. Let i = c + -81. Does 13 divide i?
True
Suppose 0 = -4*y + 2*p - 4*p + 416, -p = 5*y - 526. Is y a multiple of 38?
False
Let k = -115 - -262. Is k a multiple of 11?
False
Let b = 14 + -12. Let x = 18 - b. Is 16 a factor of x?
True
Let l(a) = -110*a - 33. Let h(w) = 110*w + 32. Let j(f) = -6*h(f) - 5*l(f). Does 25 divide j(-2)?
False
Let i(b) = -13*b + 29*b + 18*b. Is i(1) a multiple of 15?
False
Let s be 42/10 + 5/(-25). Let q be (-101)/(-2) - (-2)/s. Let y = -25 + q. Is 26 a factor of y?
True
Suppose -48100 = -11*w - 39*w. Is w a multiple of 38?
False
Suppose 0 = -3*m + 3*i - 75, -2*m - 86 = 2*m + 3*i. Let c = m + 32. Is c a multiple of 3?
True
Suppose 71 - 369 = -2*x - 4*b, 12 = 3*b. Is x a multiple of 3?
True
Let z(d) = 3*d - 1. Let k be z(-3). Let p = k - 9. Let i = 37 - p. Does 20 divide i?
False
Suppose 5*m - 4*u + 0*u = 30, -u - 24 = -4*m. Suppose -5*f + 0*f + 63 = 3*p, 0 = -2*f - m. Is 13 a factor of p?
True
Let h = -185 - -340. Let m(s) = 13*s**3 + s**2 - 8*s - 10. Let w be m(-2). Let f = w + h. Does 11 divide f?
False
Let z(k) = k**3 + 2*k**2 + 2*k + 19. Is 28 a factor of z(16)?
False
Suppose -3*w + 3*m = 11 - 2, 12 = 5*w + 4*m. Suppose w = 4*g - g - 9. Is 76/g - (-8)/(-24) a multiple of 25?
True
Suppose -g + 3 = -0*g. Suppose g*l - 407 - 493 = 0. Is (3/9)/(4/l) a multiple of 14?
False
Let r(b) = b**2 - 7*b - 10. Let o be r(8). Let n = 1 - o. Suppose n*k - 39 = 33. Is 12 a factor of k?
True
Let i = 4 + 1. Suppose i*t + 0*t = -25. Let q = t + 12. Does 7 divide q?
True
Let k(x) = -x**3 + 20*x**2 - 19*x - 28. Let o be k(19). Does 27 divide (-1 + (-49)/o)*(209 + -1)?
False
Suppose 0 = 3*o - 975 + 537. Does 15 divide o?
False
Does 38 divide ((-2)/6)/(5/(-15))*433?
False
Let x = 32 - 28. Suppose -4*k + 2*k = x*b - 178, 5*k = -15. Does 7 divide b?
False
Let i = -34 - -21. Let a = 108 + i. Is 19 a factor of a?
True
Let h(i) = i + 217. Is h(28) a multiple of 63?
False
Let c be -2 - (3*-1 - -1). Let q be (-10)/(-25) - 46*4/(-40). Suppose q*x = -c*x + 300. Is 15 a factor of x?
True
Let m be (-5 - -8)/(0 - 1). Let u be (-7)/(-2) + m/6. Suppose 9*d + u*t = 4*d + 19, -5*t - 10 = 0. Does 5 divide d?
True
Suppose 7*t - 10*t = -126. Suppose 372 = t*c - 38*c. Does 9 divide c?
False
Suppose -576 - 6 = -v + 3*c, 20 = -5*c. Suppose 0*n = 5*n - v. Does 39 divide n?
False
Is 70 a factor of (-77500)/(-31) + (2 + 2 - 1)?
False
Let j(h) = -2 + 16*h - 15*h + 3 + 9*h**2. Suppose -10 = -d - 2*z + 6*z, -3*d - z = -4. Is 15 a factor of j(d)?
False
Let z(s) = 7*s + 253 + s**2 - 2*s**2 - 251. Is 3 a factor of z(5)?
True
Let v(q) = -q**2 - 17*q - 5. Let g be v(-17). Is -2 - g - 0/(-3) - -14 a multiple of 12?
False
Let r(b) = b**2 + 11*b + 3. Let s be r(-8). Let i = s - -41. Is 8/i - (-118)/5 a multiple of 13?
False
Let d(x) = -x + 6. Let g be d(5). Let m(w) = 9*w + 5*w + w + 1 - 7*w. Is m(g) a multiple of 4?
False
Suppose 5*f = -w - 383, 2*f + 233 = -f + w. Is ((-20)/(-35))/((-2)/f) a multiple of 22?
True
Does 8 divide (-1437)/(-9) - (6/6)/(-3)?
True
Let n = 1 + 41. Does 20 divide n?
False
Suppose 2*u - 10 = 4*u, -2*w + 5*u = 65. Is 9*3/(w/(-10)) a multiple of 3?
True
Let x(l) = -3*l + 30. Suppose 0 = -2*u - k - 44, u + 35 - 3 = 2*k. Does 22 divide x(u)?
False
Suppose -5*y + 1257 = 2*x, 0*y - 3*x = -5*y + 1277. Let w = y - 181. Is 12 a factor of w?
True
Suppose 9544 = 27*u - 8276. Does 11 divide u?
True
Let t = -55 + 80. Does 5 divide t?
True
Let a(t) = -837*t - 138. Does 30 divide a(-4)?
True
Is 4640/12 + 3/9 a multiple of 9?
True
Let i = 14 - -7. Suppose -16*s = -i*s + 385. Does 11 divide s?
True
Let c(p) = 14*p**2 + p - 5. Let t be c(-5). Suppose 3*d = -3*m - m + 645, 2*m - 2*d = t. Let u = m - 115. Is 25 a factor of u?
True
Let l(p) = 39*p**3 + 4*p**2 + 8*p - 11. Is l(1) a multiple of 8?
True
Suppose b = -2*u - 22, -2*u - 7 = 5*b + 15. Let h be (-1 - 30)*(u - -10). Let m = h - 21. Is m a multiple of 3?
False
Let w(y) = y**2 + 3*y - 2. Let a(x) = -2*x**3 + x**2 + 3*x - 1. Let f be a(2). Let k be w(f). Let i = 59 - k. Is 11 a factor of i?
True
Let a be 10/65 - (-96)/52. Suppose -a*o + 132 = -6. Does 21 divide o?
False
Does 15 divide 74 - 68 - (1 + -256)?
False
Suppose 45*f - 265 = 40*f. Suppose -2*i + 49 = 3*b - f, -i + 3*b + 60 = 0. Is i a multiple of 9?
True
Let t(d) = 4*d + 2. Let j be t(-2). Suppose 12*h - 7*h = 20, 4*s = -4*h + 12. Is 2 a factor of (-3)/((j/(-16))/s)?
True
Suppose 0 = 27*i - 7*i - 5220. Is 27 a factor of i?
False
Let h be (-53)/((4 - 7)/15). Let c = h - 122. Suppose 6*k = 2*k - 3*a + 174, 0 = -3*k + 4*a + c. Does 13 divide k?
False
Let b(l) = -8*l**3 + 2*l**2 + l - 2. Let c be b(1). Let f(g) = -3*g**3 - 17*g**2 - 6*g - 3. Is f(c) a multiple of 24?
False
Let h be (-30)/20*(-2)/1. Suppose 0 = -y - h*q + 8, -8 = -y - y - 2*q. Suppose v = 2*n - 4*n + 14, -5*v = y*n - 22. Is n even?
True
Let c = 63 - 60. Let m(x) = 7*x**2 - 7*x + 9. Is m(c) a multiple of 4?
False
Suppose 5*o - 3*o - 12 = 0. Suppose o*n + 42 = 9*n. Is 32 a factor of 4/n + 726/7?
False
Suppose 4*w = g - 2*g + 18, -5*g - 10 = -5*w. Suppose 93 = g*s - 13. Does 5 divide s?
False
Suppose -126*p - 1246 = -133*p. Does 5 divide p?
False
Suppose 0 = f + 277 - 453. Does 7 divide f?
False
Suppose 0 = -5*x, 2 = 5*b - 4*b - 4*x. Suppose n = -b*i + 69, 2*n = 2*i + i - 114. Let s = i + 9. Does 17 divide s?
False
Suppose -1264 = -8*z + 200. Does 11 divide z?
False
Let r(m) be the third derivative of 0 - 1/60*m**5 + 6*m**2 + 0*m + 5/12*m**4 + 1/6*m**3. Is 10 a factor of r(9)?
True
Suppose 3*m - 3070 = -2*m. Does 9 divide m?
False
Let j = 267 - 100. Let t = 327 - j. Is 40 a factor of t?
True
Suppose -338*x = -339*x + 28. Is x a multiple of 7?
True
Let k(y) = -y**3 - y**2 - 1. Let l be k(-2). Suppose -r + l*r = 26. Is r a multiple of 2?
False
Suppose -4576 = 43*p - 56*p. Is p a multiple of 88?
True
Let g = -24 + 29. Suppose -g*t = 3*i - 344, 1 = 5*i - 14. Does 14 divid