- -2). Suppose z + 3 = -j*n + 120, n = 5*z + 39. Is n a multiple of 12?
True
Suppose -2*u + 2*s = -232, -3*u + 370 = 7*s - 28. Does 8 divide u?
False
Let s be 1*(1 + 138*1). Let z = 238 + s. Suppose 2*u = -2*u + 3*f + z, 353 = 4*u + 5*f. Does 23 divide u?
True
Let x be (-7 + -2)/(-1) + -2. Let n be 2818/12 + 13/78. Suppose -n = x*t - 12*t. Is t a multiple of 10?
False
Let n = 76 - -4. Is n a multiple of 6?
False
Let m(y) = -284*y + 20. Does 10 divide m(-3)?
False
Suppose 2*v = 5*l - 5, -v - 4*v - 2*l = -31. Let d(n) = -n**2 + 14*n + 5. Let o be d(14). Suppose 11 + 5 = -3*z + v*g, -25 = -o*g. Is 2 a factor of z?
False
Does 6 divide (-33)/(-22) - (-354)/4*1?
True
Let h = 14 - 26. Let p be (h/(-16))/((-2)/16). Does 27 divide (-446)/p - (-2)/(-6)?
False
Let d(a) = a + a**3 + 91 - 4*a**3 - a**2 - 91. Let w be d(-2). Suppose 3*y - 5*k - w - 1 = 0, 4*y + 5*k = 2. Is 3 a factor of y?
True
Suppose -644 = 2*s - 3*d - 2036, 710 = s + 2*d. Is 9 a factor of s?
True
Suppose 0 = 4*y + b - 0*b - 754, 5*b = -5*y + 935. Suppose -2*n - 3*l = -40 - 57, -4*n + y = l. Is 4 a factor of n?
False
Suppose -2*t - 3*j + 195 = 0, 5*t = -3*j + 170 + 340. Is t a multiple of 5?
True
Let h be (-212)/26 - 30/(-195). Let k(l) = l**3 + 9*l**2 + 7*l + 16. Is 6 a factor of k(h)?
True
Let m be 7 + 1 + -1*2. Suppose 4*y - 5*y - 4*x + m = 0, -3*x = 4*y - 11. Let d(f) = 9*f**2 + 3*f - 1. Does 13 divide d(y)?
False
Suppose -4*u + 3*r = -r - 188, 242 = 5*u + 2*r. Suppose -3*p + 364 = 2*n + u, p + 5*n = 88. Does 27 divide p?
True
Suppose p + 2*n = 7, 0 = -p + 2*p + 4*n + 3. Suppose 18*w - p*w = 30. Is w a multiple of 10?
True
Is 105/140 - 1153/(-4) a multiple of 10?
False
Let m(g) = -g**3 + 3*g**2 + 2*g - 3. Let o be m(3). Suppose 0 = 7*n + 24 + 4. Does 10 divide n/o*75/(-10)?
True
Let w = 126 - -59. Is 37 a factor of w?
True
Let m(r) = r**3 - 3*r**2 - 2*r + 9. Let j be m(3). Suppose -a - j*y = 8 - 32, -2*y - 2 = 0. Is 27 a factor of a?
True
Let k = -1103 + 1328. Is k even?
False
Let i(h) = 2*h**3 - h**2 - 14*h + 20. Let a(b) = -b**3 + 7*b - 10. Let j(q) = -9*a(q) - 4*i(q). Does 13 divide j(3)?
True
Suppose 2*z + 1071 = 5883. Does 19 divide z?
False
Suppose r - 12 = 5*r - 4*a, 0 = r - 4*a + 15. Let x(d) = 120*d**2 + 2*d - 2. Does 15 divide x(r)?
True
Let w be ((-36)/(-20))/(3/165). Let d = w + -14. Is 40 a factor of d?
False
Is 13 a factor of (0 + -1 - 21)/(4/(-104))?
True
Let f(r) = 78*r**2 - 5*r + 3. Does 15 divide f(3)?
True
Let w(y) = 2*y + 2. Let m be w(5). Suppose -3*h + m = h. Suppose j - 22 = -n, h*n - 12 = -0*n. Does 7 divide j?
False
Let b = -91 - -28. Let s = -30 - b. Is 14 a factor of s?
False
Suppose -4*x = 2*t - 1992, 2492 = 5*x - 20*t + 23*t. Does 8 divide x?
True
Let v(d) = -d**3 + 20*d**2 + 2*d - 34. Let k be v(20). Is 9 a factor of k/4 + 609/14?
True
Let u(v) = v**2 - 6*v - 3*v + 5 + 5*v - 2. Let p be u(4). Is 18 a factor of ((-9)/4)/(p/(-72))?
True
Suppose 0 = -0*z - 5*z + 15. Let h be (8/(-14))/((-2)/14). Does 6 divide 6/h*2 + z?
True
Suppose -4*q - 101 = 4*l - 1557, 0 = -4*l. Does 13 divide q?
True
Let m = 51 - 41. Suppose m*u - 3*u - 567 = 0. Does 27 divide u?
True
Let r(w) = -6*w - 23. Let n be r(-14). Suppose -4*p = 2*v - p - n, -5 = -5*p. Is 9 a factor of v?
False
Let p be 60/(-27) + 6/27. Let c(f) = f + 2. Let u be c(p). Does 6 divide u - -6*(3 - -1)?
True
Let i(y) = 22*y + 49. Is i(1) a multiple of 28?
False
Let n = 1430 - 845. Is 39 a factor of n?
True
Let m = 115 - -295. Does 82 divide m?
True
Let o(q) be the first derivative of 35*q**3/3 + 3*q**2/2 + 2*q - 16. Does 4 divide o(-1)?
False
Let f(b) = -b**2 - 5*b - 7. Let a be f(-5). Let o(y) = y**3 + 6*y**2 - 4*y + 24. Let v be o(a). Let s(w) = w**3 + 5*w**2 - 4*w. Is s(v) a multiple of 15?
True
Let u = -559 - -959. Suppose -6*k + u = -k. Is k a multiple of 20?
True
Let l = 0 + -3. Is 15 a factor of ((-2 + l)*-3)/((-10)/(-10))?
True
Does 7 divide 535 - (12/9)/((-19)/57)?
True
Let s(n) = 3*n**2 + 6*n - 6. Let x(o) = -13*o**2 - 24*o + 24. Let z(f) = 9*s(f) + 2*x(f). Is z(-9) a multiple of 11?
False
Suppose 14*g - 97 = 631. Is 26 a factor of g?
True
Suppose 7*t - 33 = 4*t - 3*u, -4*u - 16 = -2*t. Suppose 12*q - t = 10*q. Is q a multiple of 5?
True
Suppose -3*p - 361 + 58 = 0. Let r = p + 141. Is r a multiple of 10?
True
Suppose 16*s - 6387 = 1677. Is 19 a factor of s?
False
Let a = -50 + 34. Let m be a/12*252/(-8). Suppose 0 = 3*g + 2*l - 7*l - 39, -3*g + 4*l + m = 0. Does 9 divide g?
True
Suppose 5*k - 4 = -3*f + 33, -k + 21 = 4*f. Suppose s - 12 = -f. Suppose -72 = -5*c + s. Does 8 divide c?
True
Let h = 8 - 4. Let w(a) = 15*a + 8. Let t be w(h). Suppose -x = 4*u - 2*x - 76, x - t = -4*u. Is u a multiple of 12?
False
Suppose 0 = -5*i - 4*d + 61, i + 8*d + 7 = 12*d. Suppose -4*c - 7 - 1 = 0. Let b = i - c. Does 11 divide b?
True
Is 8 a factor of 72/(-14)*((-15)/1 - -1)?
True
Let m(o) = 13*o - 18. Let i be m(-6). Let k be 17*(0 + (-3 - 1)). Let v = k - i. Is v a multiple of 7?
True
Suppose -8*n + 3*n = -5. Let t be n*((-2)/1)/(-2). Is t - -6 - (-13 + 17) even?
False
Suppose b = -3*k + 2951, 15*k = 14*k - 3*b + 997. Is 5 a factor of k?
False
Let l(g) = -2*g - 12. Let x be l(-8). Let s be 2/(-4) + 22/x. Suppose n + 8 = -n, 4*n = s*f - 66. Is 2 a factor of f?
True
Let v(b) = 64*b**2 - 31*b - 7. Is v(10) a multiple of 20?
False
Let b(n) = -n + 22. Suppose 2*k = -3*t + 53, 2*k = -t + 4*k + 23. Let o be b(t). Suppose -5*j - 115 = -o*s, 4*s + 0*s - 160 = 5*j. Is s a multiple of 13?
False
Is 3 a factor of (-180)/(0 - 3)*6/10?
True
Let f = -25 - -23. Let b be -2 + -1 - (-1 - f). Is 17 a factor of (166/10 + b)*5?
False
Suppose 21 = 7*m - 21. Suppose -s - m = -2*s. Is 2 a factor of s?
True
Suppose 21 = -3*k + 3*l, -2*l = -2*k - 5*l + 11. Let m be k/5 + (-12)/(-5). Suppose a - 90 = -m*a. Is a a multiple of 15?
True
Let h = 332 + -194. Is h a multiple of 5?
False
Suppose 31 - 131 = -2*h. Is h a multiple of 2?
True
Let s(h) = -57*h**3 - 5*h**2 - 3*h + 2. Let a be s(-3). Let t be a/20 - (-1)/(-4). Suppose 0 = 2*c + 23 - t. Does 13 divide c?
True
Suppose 0 = -5*p + 5*m + 300, 2*p + 3*p - 288 = 2*m. Let t = -6 + 8. Suppose -x - p = -t*x. Is x a multiple of 32?
False
Let r be 1998/8 - 2/(-8). Suppose 2*q = 2*m - 112 - 10, 4*m - 2*q - r = 0. Does 32 divide m?
True
Let c(j) = 9*j - 14. Let d be c(-3). Let h = d + 71. Is h a multiple of 3?
True
Suppose -38 = -y + 3*s + 16, 4*y + 5*s - 199 = 0. Let j = y + 229. Is j a multiple of 10?
True
Let i = -18 + 18. Suppose i = 5*t - 6*s + 3*s - 167, s + 33 = t. Let o = t + -16. Does 9 divide o?
True
Suppose -x + 4*x = 6. Suppose -x*a - 7 + 273 = 0. Suppose -2*r + 77 + a = 0. Is 29 a factor of r?
False
Let x = 158 + 292. Is 75 a factor of x?
True
Let d = 471 - 209. Is 9 a factor of d?
False
Let r = 398 + -384. Is 14 a factor of r?
True
Let i = -363 + 1484. Does 7 divide i?
False
Let l = 6225 - 4146. Is 5 a factor of l?
False
Let s = 74 + -67. Suppose 93 = s*q - 327. Is 12 a factor of q?
True
Let y(d) = d**2 - 14*d + 16. Let m be y(14). Suppose -596 = -m*u + 396. Is u a multiple of 3?
False
Suppose 2*a + 9 = -5*c, -2*a = a - 2*c - 15. Suppose -a*u + 16 + 5 = 0. Suppose -3*f = -u*f + 180. Does 27 divide f?
False
Let p(b) = -13*b**2 + 6*b - 1. Let x(k) = -51*k**2 + 23*k - 3. Let u(o) = 22*p(o) - 6*x(o). Does 24 divide u(-2)?
False
Suppose 2*o + 2*k = -o + 221, 3*o - 211 = -4*k. Let p = -35 + o. Does 21 divide p?
True
Let v be (-1 - 4/2)/(-3). Suppose -2*i - v = -9, 2*l = i + 132. Suppose -4*c - 2*z + 166 = 0, -5*c + l = -z - 150. Does 15 divide c?
False
Suppose -3*f = n - 143, 0 = -f + 5*f + 3*n - 189. Is f a multiple of 48?
True
Let y = 70 + -6. Suppose -y - 152 = -3*b. Suppose 3*n = 4*n - b. Does 18 divide n?
True
Suppose -19 + 28 = r. Is r a multiple of 3?
True
Suppose 0 = -5*u + 143 + 252. Suppose -u - 11 = -5*m. Does 4 divide (48/m)/(4/18)?
True
Let s(t) = 13*t - 16. Is s(7) a multiple of 25?
True
Suppose 11*p + 235 = 730. Is 31 a factor of p?
False
Let v(x) = 6*x - 6. Let b be 2*(4/4 - -1). Let y be -2*b/(-8) - -2. Is 6 a factor of v(y)?
True
Suppose -5*o = 120 + 15. Let y be (-2)/(-3) - 196/(-3). Let k = o + y. Does 12 divide k?
False
Suppose 0 = 5*v - 52 + 22. Suppose 0 = -2*o + v*o + 16. Let w(s) = -5*s + 2. Does 6 divide w(o)?
False
Let m be (32/20)/(3*(-2)/(-30)). Is 12 a factor of 