s 11 divide f(z)?
True
Let h be (1/(-1) - -2) + (-1 - 1). Is 10 a factor of ((250/(-15))/h)/(6/9)?
False
Let r(x) = -x + 13. Is r(-11) a multiple of 4?
True
Suppose 7*u - 5776 = -337. Is 37 a factor of u?
True
Suppose -3*n = 6, -n = 3*m - 2*n - 3368. Is m a multiple of 33?
True
Suppose -98*r = 4*u - 97*r - 4096, -4*u + 4108 = 4*r. Is 33 a factor of u?
True
Suppose 5*h - 216 = i, 236*h - 240*h + 2*i + 168 = 0. Is h a multiple of 14?
False
Let l be 1 - (-5 + 3 + (2 - 2)). Suppose l*u - 15 = 2*u. Is u a multiple of 15?
True
Let y(z) = z**2 - 36*z - 256. Is y(44) a multiple of 8?
True
Let c(o) = -15*o + 12. Let f be c(-6). Suppose -8*w + 2*w + f = 0. Is 14 a factor of w?
False
Let t = -7142 - -10290. Is t a multiple of 48?
False
Suppose -6*k - t = -7*k + 581, -4*k - 3*t = -2352. Is 39 a factor of k?
True
Suppose -2112 = -23*m + 7088. Is m a multiple of 10?
True
Suppose 3*n - 4*n - u = -14, -n = 4*u - 11. Suppose -8*q = -9*q - n. Is (48/(-15))/(6/q) a multiple of 4?
True
Suppose -283*s + 1308 = -280*s. Is s a multiple of 6?
False
Let o(b) = -2*b**2 + 15*b - 1. Let m be o(12). Let k = -73 - m. Suppose 4*u + g = 9 + k, 5 = 5*g. Does 11 divide u?
True
Let k be (-2 + 60/25)/((-2)/(-5)). Is 39 a factor of (10 + -8 - (-270)/k) + -2?
False
Let t = -1113 - -1423. Does 4 divide t?
False
Let d(n) = -n**2 - 12*n + 9. Let h = 20 - 23. Let i(s) = -s**3 - 5*s**2 - 3*s. Let y be i(h). Does 9 divide d(y)?
True
Let y be 48/(-18)*(-66)/8. Suppose 4*h + 8 = -a + 42, -3*h + y = -a. Suppose b - 8 = h. Does 4 divide b?
True
Suppose -n - 259 = -3*l, -l = 2*l - 5*n - 275. Is 13 a factor of l?
False
Let i(b) = 335*b**2 - b + 1. Is 7 a factor of i(-1)?
False
Is 3 a factor of (-5)/35 - (-1557)/21?
False
Suppose -f = 2, -5*f + 4 - 29 = -5*r. Suppose 0 = -n + r*n - 50. Is 5 a factor of n?
True
Let m(b) = b**2 + 5*b - 13. Let a be m(-6). Is 7/(-2)*(a + 6)*4 a multiple of 4?
False
Let q(z) = 9*z**2 - 93*z + 29. Does 6 divide q(15)?
False
Let d(z) = -4*z**3 - z**2 - 37*z - 12. Does 12 divide d(-5)?
True
Let v be (-2 + 1 + 2)*-2. Does 6 divide v/(-14) - 4525/(-175)?
False
Suppose -5*v + 1107 = -4*r, 2 = 3*r + 11. Is v a multiple of 34?
False
Suppose 220 = 3*j - 2*x, 5*x = 2*x - 6. Does 4 divide j?
True
Let o(w) = -395*w + 594. Does 19 divide o(-6)?
True
Suppose 21*r = 16183 + 30983. Is 77 a factor of r?
False
Let b(c) = -12*c + 10. Let g be b(-10). Suppose -7*n + 844 = g. Is n a multiple of 9?
False
Suppose 638*m + 1890 = 643*m. Is m a multiple of 9?
True
Let a(n) = 6*n**2 - n + 2. Let i = 38 - 34. Suppose 4*c = 16, i*c = -4*r + 18 + 6. Is a(r) a multiple of 4?
True
Does 45 divide 83/(-332) + (-3962)/(-8)?
True
Suppose -4*y + 30 = y. Suppose 4*d + y = 26. Suppose h = -4*v + 42 + 2, d*h = 2*v + 308. Is 30 a factor of h?
True
Let g be 1*19*2/2. Let s(i) be the third derivative of i**6/120 - 3*i**5/10 - 19*i**4/24 + 11*i**3/6 + 38*i**2 + 4*i. Is s(g) a multiple of 8?
False
Let u = -831 + 1515. Is u a multiple of 50?
False
Let m(l) = l**3 + 6*l**2 - 9*l + 4. Let g(u) = 6*u**3 + 29*u**2 - 46*u + 19. Let y(r) = -2*g(r) + 11*m(r). Does 9 divide y(6)?
True
Let l(f) = f**3 + 15*f**2 - 14*f - 15. Let h be 1/(4 - 183/45). Is 39 a factor of l(h)?
True
Let i(o) = -2*o**3 - 5*o**2 + 14*o + 22. Is 7 a factor of i(-4)?
True
Suppose 6*i + 554 = 7*i. Suppose -i = -5*u + 4*b, -u + 42 = 2*b - 66. Does 22 divide u?
True
Suppose 3*n = -5 + 2. Let k be (-1)/n + (-16 - -18). Is -72*(-1 - k - -3) a multiple of 15?
False
Let m(v) = 1. Let r(g) = g**2 + 3. Let u(w) = 4*m(w) - r(w). Let b be u(-2). Let z = 27 + b. Is 9 a factor of z?
False
Let l be (-8)/12*-6 + -2. Suppose -2*b + 661 = 5*r, -69 = -r - l*b + 68. Suppose -5*y + 99 = -r. Does 13 divide y?
False
Suppose 219 = 6*x - 429. Is x a multiple of 9?
True
Let x(v) = v**3 - 10*v**2 + 10*v - 1. Let k be x(9). Suppose 3*d + 455 = k*d. Is 13 a factor of d?
True
Suppose -85*n = -72*n - 13156. Does 44 divide n?
True
Let g = -36 + 57. Is 2 - (2 + -2 - -1 - g) a multiple of 22?
True
Suppose 4*t = 10*t + 18. Does 24 divide -96*(28/(-8) - 1 - t)?
True
Let u = 190 + 488. Suppose 3*l - u = -5*f, -4*l + 139 = -2*f + 405. Does 21 divide f?
False
Suppose 62*u - 66*u + 20 = 0, -2*z - u + 2475 = 0. Is z a multiple of 9?
False
Let r(u) = u**3 + 7*u**2 - 9*u + 12. Let k be -58*(-5)/(-50) - 1/5. Is 34 a factor of r(k)?
True
Suppose -5*b - 25 = -0*b. Let s(v) = v**3 - v**2 + 3*v + 10. Let t(h) = h**3 + 2*h + 9. Let c(z) = 3*s(z) - 4*t(z). Does 13 divide c(b)?
True
Suppose 5*c - 1507 = -3*w + 535, 3*c + 2*w = 1225. Does 48 divide c?
False
Suppose -12*q + 508 = -104. Is 16 a factor of q?
False
Let v = -3 - -1. Let r be 1 + v + 0 - -1. Suppose 88 = 4*u - r*u. Does 11 divide u?
True
Let c(d) = 13*d - 74. Let p be c(6). Suppose p*b + 2*b = 1776. Does 37 divide b?
True
Suppose c + 0*c + 4 = 0. Does 7 divide c/30 + (-428)/(-60)?
True
Let o(y) = 2*y**2 - 11. Is 16 a factor of o(-7)?
False
Let r(u) = 3*u + 20. Let y be r(-9). Is -1 - -144 - (y + 4)/(-1) a multiple of 24?
False
Suppose 702 = 2*v + 52. Is v a multiple of 25?
True
Suppose -v = -3*m + 7 + 3, -16 = -3*m - 2*v. Let j be m - (3 - (-1 + 3)). Is 5 a factor of ((-52)/j)/((-4)/6)?
False
Suppose 2*a - 361 = -5*s, -4*s - 319 = -4*a + 333. Is 14 a factor of a?
True
Let x(z) = 42*z**3 + z - 1. Let m be x(1). Suppose -m - 78 = -3*k. Suppose -12*t + k = -10*t. Is t a multiple of 10?
True
Let d(k) = -2*k - 6. Suppose -5*i - w = 15, -5*i - 4*w - w = -5. Let v be -20 - i*4/8. Does 10 divide d(v)?
True
Let x = 19 + 7. Does 3 divide x?
False
Let u(n) = 3*n**2 - 34 + 34 + 2*n. Is 28 a factor of u(-4)?
False
Let q(l) = 8*l**2 - 33*l + 88. Is 10 a factor of q(11)?
False
Let v(j) = 35*j**2 + 4*j + 41. Is 20 a factor of v(-6)?
False
Let d be (-1)/(-5) + 174/5. Let l = d - 17. Suppose -q + 36 + l = 0. Is 27 a factor of q?
True
Let w(g) = -3*g**3 + 2*g**2 + g. Let h be w(2). Let q = -10 - h. Suppose q*m + 22 = 2*r + 2*m, -3*r - 2*m = -28. Is r a multiple of 5?
True
Let n be (3 - 0 - 338) + 3. Let z = 506 + n. Suppose 5*i - z - 61 = 0. Is 18 a factor of i?
False
Suppose -5*l = 2*z - 789, 3*l + 2*l = 2*z - 759. Does 30 divide z?
False
Let d = 45 - 34. Suppose -7*a + 3*y = -d*a + 522, 0 = a + 2*y - 133. Is 8 a factor of a?
False
Suppose -10969 + 409 = -10*n. Is n a multiple of 16?
True
Let y = -417 + 441. Does 6 divide y?
True
Suppose 4*o + 2*f = 0, 0*o + 4 = -4*o - f. Is 532/10 + o/10 a multiple of 24?
False
Suppose 4*k = m + 2175, 5*k - 2661 = 2*m + 54. Is k a multiple of 35?
False
Let l(o) = 5*o + 4. Let d be l(6). Let s = d + -11. Does 23 divide s?
True
Suppose 5*o = 3*u + 159, -3*o + 21 = -u - 76. Let a = 58 - o. Does 6 divide a?
False
Suppose y = 3*y - 1320. Let w = -528 - y. Does 13 divide 6/(-10) - w/30?
True
Let n(l) = 28*l - 38. Is n(11) a multiple of 6?
True
Let h(m) = 45*m - 9. Let x = 79 + -114. Let g = -33 - x. Is h(g) a multiple of 27?
True
Let u be 1*((-18)/(-3) + -4). Suppose -102 = -u*y + 54. Is y a multiple of 13?
True
Is 15 a factor of (1250 + -2)/((-60)/24 - -4)?
False
Let i = -15 + 21. Suppose 4*x - 14 = i. Suppose 325 = 3*c - 2*j, -x*c + j - 3*j = -515. Does 34 divide c?
False
Let v(l) = 3*l**3 - 7*l**2 + 11*l - 49. Is v(6) a multiple of 16?
False
Let k = -18 + 17. Is 36 a factor of k + -1 + (-32)/(-4)*37?
False
Suppose r + 20 = 4*s, 3*r - 4*r = 5*s - 25. Suppose -s*c + 329 = 2*t, -109 - 75 = -t + 4*c. Is 28 a factor of t?
False
Suppose -2*x = -2*n + 154, -3*n + 5*x = -102 - 127. Is 5 a factor of 3/(-5) + n/5?
True
Let m be ((-2 - -69)/1)/(-1). Let a = m + 200. Is a a multiple of 18?
False
Suppose -22*i + 18*i - 5*f = -3682, -4596 = -5*i - 3*f. Is 5 a factor of i?
False
Is (25/75)/((-2)/(-1776)) a multiple of 16?
False
Let m be ((-4)/10)/1 + 111/15. Suppose -m*z + 4*z = -291. Is 21 a factor of z?
False
Let a be 21 + -2 + 3 + 2. Suppose a = 4*f + 2*u, f - u - 3 = 6. Suppose f*q - 64 = 3*q. Does 4 divide q?
True
Does 3 divide (-12)/42 + 745/35?
True
Is 4 a factor of 4 + (-1884)/(-2) - -11?
False
Let w be 22/8 - (3/(-12) + 1). Suppose h - 11 = -w. Is h a multiple of 9?
True
Let o(y) = -4*y + 4. Suppose 5*j - 10 + 5 = 0. Let k(h) = -6*h**2 - h. Let t be k(j). Is o(t) a multiple of 16?
True
Suppose -324 = 2*a + b, -a - 6*b = -2*b + 148. Is -7 + 10 - (0/1 + a) a multiple of 34?
False
Suppose -31 = -3*n + r - 0*r, -4*r = 2*n - 