 u?
False
Suppose g - 69 = -3*q + 6, 108 = 4*q + 4*g. Does 5 divide q?
False
Let z(m) = 8*m - 76. Is 28 a factor of z(34)?
True
Let q(y) = 12*y**3. Let j be q(-1). Let g = j + 17. Suppose c + g*n - 21 = 6, 5*c - 2*n - 108 = 0. Does 11 divide c?
True
Suppose 5*b + 104 = 13*b. Does 9 divide b?
False
Let q(i) = 12*i**2 - 2. Let g be q(-3). Suppose 2*s - 5*s - 15 = -3*m, -4*m + 12 = 4*s. Suppose -k + 123 = m*j, 2*k = 3*j - 0*j - g. Is 16 a factor of j?
True
Suppose -3*v + 120 = -2*v + 2*a, -360 = -3*v + 2*a. Suppose 4*z - v = -0*z. Is 10 a factor of z?
True
Suppose 4*x + 29 = 93. Does 8 divide x?
True
Let o = -34 - -92. Is (o - -1) + (4 - 4) a multiple of 18?
False
Let f be (15/10)/(12/(-16)). Does 11 divide 26*(-3)/(-6) + f?
True
Suppose 20 = -4*u, 2*u - u = -2*v + 7. Suppose -2*w - 20 = -v*w + 4*a, -3*w - 5*a = 9. Does 5 divide 2/w*14/2?
False
Let m be 2/(5/(590/(-4))). Suppose s + 4 = 0, 30 = -5*j - 4*s - 46. Let y = j - m. Is y a multiple of 21?
False
Let v be 0/5 + -2*1. Let k be v + (0 - -2) + -14. Is 12 a factor of 2/3*-3 - k?
True
Does 57 divide 171/1 - (5 - 5)?
True
Suppose 0 = -5*d - 54 + 4. Let r = d - -15. Does 2 divide r?
False
Let s(w) = -w. Let m be s(0). Let q(o) = 2*o - 8 + m*o - 7*o. Is 10 a factor of q(-6)?
False
Suppose 0 = -s - 0*s + 4. Suppose 2*m + s*p = -0 + 6, 0 = 4*m - 5*p + 14. Let n(y) = 13*y**2. Is 13 a factor of n(m)?
True
Does 19 divide 1/(2 - -1)*213?
False
Let t = 8 - -1. Is 3 a factor of t?
True
Is 19 a factor of -30*(44/(-12) + 3)?
False
Suppose s - a + 4*a - 1 = 0, -2*a = -3*s + 14. Suppose -24 = -3*u + 3*j, -2*j - 8 = -0. Is 1/u - (-107)/s a multiple of 11?
False
Suppose 5*t = -5*h + h + 219, t = -5. Is 6 a factor of h?
False
Let q = 22 - 34. Let j = q - -20. Is j a multiple of 5?
False
Is ((-138)/(-8))/(6/16) a multiple of 10?
False
Let m be (-4)/(-1 - -3) + 12. Let s be 1 + 2 + 0/3. Suppose 2*h + 4*q = 4, 3*h + 2*h = s*q + m. Is h a multiple of 2?
True
Is 5/(-2)*108/(-30) a multiple of 3?
True
Let r be (-12)/(-30) - 36/(-10). Suppose 0 = -l + r, 2*m - m = -5*l + 48. Is 14 a factor of m?
True
Is 19 a factor of 2 + (2 - 2) + 74?
True
Let a be 1/((-6)/16)*3. Let d be 14/(-6) + 2/(-3). Does 6 divide (-18)/(-8)*a/d?
True
Suppose -o - 4*o = -220. Is 4 a factor of o?
True
Let z = 3 + -4. Let f be 2 + (-1 - z) + 11. Suppose -4*q + f = 1. Is 3 a factor of q?
True
Suppose -c = -4*h - 13, -c + 10 = 3*h - 4*h. Does 3 divide (2 - 2 - -3) + c?
True
Suppose -3*h = -5*j + 36, -14 - 6 = -4*j - 2*h. Suppose x - j*x + 465 = 0. Does 31 divide x?
True
Let t = 98 - 80. Does 9 divide t?
True
Let x(d) = -d + 48. Is 24 a factor of x(0)?
True
Suppose -25 = -n + 5*j, 2*n - 18 = 2*j + 32. Let y = -14 + n. Does 3 divide y?
False
Suppose -5*x = -20 - 0. Let q = 9 - x. Let k = q + 0. Is 3 a factor of k?
False
Let g be (0*(-2 - -1))/2. Suppose 3 + g = c. Suppose 3*m + k = 1, -2*m = -c*k - 11 - 8. Is m even?
True
Let z(l) = -l**2 - 3*l + 1. Let v be z(-3). Suppose -3 = -x, -3*h + 5 = 5*x - 19. Is 20 a factor of (-40)/(h/(v*-3))?
True
Let h = 719 + -433. Is 15 a factor of h?
False
Does 6 divide (1/(-3))/(2/(-210))?
False
Let a be (9/(-12))/(2/24). Let y = a + -8. Let v = y - -30. Is 13 a factor of v?
True
Let r(z) = -z**3 - 6*z**2 - 2*z - 7. Let m(s) = -s - 1. Let t be m(-4). Suppose -t*c - 3 = 15. Is 3 a factor of r(c)?
False
Let o(r) = -r + 6. Let g be o(0). Suppose -10 = 2*d + 10. Is 3 a factor of (16/d)/(g/(-15))?
False
Let f(t) = -4*t + 15. Is f(-7) a multiple of 13?
False
Is 14 a factor of 99/12*16/6?
False
Suppose 4*d = 5*s, -3*s = 2*s + 2*d. Let o be 14 - (s/(-2) + -2). Let a = 11 + o. Does 15 divide a?
False
Let l(n) = -n**2 + 10*n - 12. Let a be l(9). Let t = a - -20. Is 7 a factor of t?
False
Suppose t = 2 + 7. Is 4 a factor of 8/12*t + 2?
True
Let l(v) = -v**2 + 10*v + 7. Let b be l(5). Suppose 0 = -2*y - 0*y + b. Does 4 divide y?
True
Let j(x) = 7*x - 11. Is j(5) a multiple of 12?
True
Suppose 3*t + 5*j = 481, -179 = -4*t + 3*t + 3*j. Suppose -38 = -5*i + t. Suppose -4*a = -2*q - 110, 2*a - 5*q - 10 = i. Is 24 a factor of a?
False
Let v(n) = 6*n**2 + n**3 - 2 - 1 - 2 - n. Let o be v(-5). Suppose 5*d + 0 - o = 0. Does 3 divide d?
False
Suppose -5*h + 4*h = 4*u - 286, -2*u + 4*h = -152. Does 12 divide u?
True
Suppose 0 = -4*f + 4*t + 288, 303 = -0*f + 4*f + t. Is f a multiple of 25?
True
Let q(l) = l**3 + 1 - 2*l**3 + l**2 + 2 - 5*l + 5*l**2. Is 7 a factor of q(4)?
False
Suppose 18 = -a - 5*b + 1, -3*b - 7 = a. Let c = a - 25. Does 6 divide (-6)/2 + (-1 - c)?
False
Suppose -2 = 2*n, 2*t - 3*n = n + 10. Is 5 a factor of 9 + (t/1)/3?
True
Let m = 112 - 8. Does 38 divide m?
False
Suppose 5*y - 22 = 2*m, 5*m = -3*y - 3 + 41. Does 6 divide y?
True
Let q be (-10)/(-25) + 24/(-10). Is 3 a factor of 21/q*8/(-6)?
False
Let p(j) = -5*j + 19. Let o be p(6). Let z = o - -40. Does 19 divide z?
False
Let l = 3 - -5. Let r = l - -10. Does 11 divide r?
False
Let k be (-8)/(-3) - 8/12. Suppose -4*x + 3*a = k*a - 128, 3*x = 2*a + 91. Is 16 a factor of x?
False
Let i be (-9)/7 + 2/7. Let d be -2 - -3 - (7 - i). Let h = d - -16. Is h a multiple of 6?
False
Let d be ((-14)/21)/((-1)/84). Let g = d - 19. Let a = -25 + g. Is a a multiple of 6?
True
Let m(g) = g**2 - 5*g + 4. Let b be m(5). Let x = b - 7. Is 13 a factor of -39*(1/1)/x?
True
Suppose 3*n = -c + 631, -217 = -n - c + 4*c. Does 58 divide n?
False
Does 18 divide 1296/12 - 1/(-1)?
False
Suppose -2*h - 15 = -7*h. Suppose -47 = -4*m - h*f + 114, 0 = 5*m - 4*f - 178. Is 12 a factor of m?
False
Let s(w) = 5*w - 1. Let g(o) = -8*o + 1. Let b(a) = -5*g(a) - 7*s(a). Is b(3) a multiple of 9?
False
Suppose 20*h = 16*h + 132. Is h a multiple of 2?
False
Let t(j) = -j**2 - 7*j - 9. Let x be t(-6). Let d(p) be the second derivative of -p**3/3 + 3*p. Does 6 divide d(x)?
True
Let n(l) = -l - 3. Let c be n(-8). Suppose 132 = v + 2*v - c*y, 0 = -2*y. Does 11 divide v?
True
Let x = 151 + -66. Is 47 a factor of x?
False
Let y(b) = -b**2 - 10*b + 9. Let p(w) = w**2 + 10*w - 10. Let r(c) = 6*p(c) + 7*y(c). Let a be r(-10). Suppose -a*v + 36 = -v. Is v a multiple of 18?
True
Let n(t) = -t**2. Let i(p) = -3*p**2 - 2*p + 1. Let r(f) = -i(f) + 2*n(f). Let q be r(-3). Is 13 a factor of q*(3 + -2) - -37?
True
Let h(v) = -v - 6. Let g be h(-8). Does 4 divide 1 + 5 - (g - 0)?
True
Let m(j) = -j**3 - 3*j**2 + 6*j + 1. Let a be m(-4). Let l(p) = -4*p - 9 + 19 - 6. Does 16 divide l(a)?
True
Let j be 614/(-14) + 9/(-63). Let c = 62 + j. Is c a multiple of 18?
True
Let y = -341 + 506. Suppose -7*k = -y - 59. Does 16 divide k?
True
Let h = 16 + -11. Let y(v) = -v**2 + 5*v + 2. Let r be y(h). Suppose 4 = q + x, 3*q + r*q + 3*x = 28. Is q a multiple of 8?
True
Let y = -7 - -13. Suppose -y*u - 4*o = -2*u - 16, -5*u - 3*o = -24. Is 2 a factor of u?
True
Let r(z) = 5*z**2 - 7*z - 3. Let o be r(-6). Is 19 a factor of -1 + 2/(6/o)?
False
Let k = 66 + -113. Let y = -27 - k. Is 19 a factor of y?
False
Does 39 divide (234/(-10))/((-174)/(-30) - 6)?
True
Suppose 2*y + 3*y = 4*f + 116, 3*f = -12. Does 10 divide y?
True
Let x(o) = 62*o**2 + 3*o - 4. Does 16 divide x(1)?
False
Let c(o) = o**3 - 5*o**2 + o - 1. Let k be c(5). Suppose r - 156 = -4*x - k*r, 5*x = -4*r + 195. Does 13 divide x?
True
Suppose -5*g = -g - 76. Is 5 a factor of g?
False
Let l = 94 - 14. Is l a multiple of 20?
True
Let y(s) = s**2 - s + 3. Let p be y(0). Suppose -2*w - p = -7. Let v(q) = 6*q + 1. Is v(w) a multiple of 4?
False
Let u be 7*(-5)/((-35)/(-12)). Let i be u/2*5/15. Does 6 divide (2 - 6)/(i/4)?
False
Is 8 a factor of 21 + (-4)/16*0?
False
Let w(c) = -c**2 - c - 2. Let i be w(2). Let a = i + 15. Suppose -2*l + 9 = -a. Is l a multiple of 8?
True
Suppose -t - 50 = -6*t - 5*o, 0 = t + 3*o. Suppose 2*s = -3*w + t, -13 = 3*w + 2. Is s a multiple of 5?
True
Let i be 2/((-3)/((-21)/1)). Let u be 1/(-1) - 1*3. Let q = u + i. Does 5 divide q?
True
Let x = 1 - -1. Suppose 1 + 2 = 5*l + 3*p, 0 = -p - 4. Suppose -l*n - x = -20. Does 6 divide n?
True
Suppose -4*y + 15 = y. Suppose -y*a - u + 15 = 0, -3*a + 2*u + 7 = 1. Suppose -2*n + 0*m = -a*m - 46, 0 = -n - 2*m + 7. Is 11 a factor of n?
False
Let n = 146 - -154. Is 50 a factor of n?
True
Let n = 9 - -10. Let p(z) = -z**3 - 2*z**2 - 2*z + 2. Let c be p(-2). Suppose -3*v + c*l = 2*l - 70, -n = -v - 3*l. Is 11 a factor 