 c?
False
Suppose 0 = 26*q - 39*q + 793. Is 3 a factor of q?
False
Suppose -4*p + 97 = -5*s, -p + 4*s + 38 = -0*s. Is p a multiple of 3?
True
Let i be 6/21 - 136/(-14). Let d be (-48)/5 - 4/i. Let p = 5 - d. Does 5 divide p?
True
Suppose 5*j = w + 337, w + 127 = 4*j - 142. Let c = j + 2. Does 10 divide c?
True
Let g(s) = -6*s + 22. Let x be g(-10). Suppose 4*f + x = w, -2*f + 50 = w - 14. Is w a multiple of 35?
True
Suppose 861 - 231 = 7*a. Is a a multiple of 9?
True
Suppose -w + y = -2*y - 126, 710 = 5*w + 5*y. Is 23 a factor of w?
True
Let q(d) = -27*d**3 + 8*d + 15*d**3 + 10*d**2 + 13*d**3 - 4. Let v be q(-6). Suppose -2*s + 6*x = x - v, 92 = 2*s + 3*x. Is s a multiple of 10?
False
Suppose 3*y - 7 = 5. Suppose v = -y*v + 25. Suppose -5*i = -5*l - 0*l + 90, v*l = -2*i + 55. Is l a multiple of 3?
False
Let x(h) = -h**2 - 7*h + 10. Let t be x(-8). Let q be t/10 - 1914/(-30). Suppose 11*j = 7*j + q. Does 10 divide j?
False
Is 56 a factor of -2 - -2572 - (-18)/9?
False
Suppose -1528 = -7*l + 369. Is 9 a factor of l?
False
Let f = 12 + 1. Suppose -f*i + 14*i - 92 = 0. Is 20 a factor of i?
False
Suppose 0 = -14*f + 18127 - 4309. Is 38 a factor of f?
False
Let p = 38 + -29. Suppose -3*z + p = 30. Does 11 divide (-233)/z - (-4)/(-14)?
True
Let a(s) = -s**2 - 8*s - 5. Let r be a(-7). Suppose -3*m - 40 = -5*y, -r*y = 4*m - 3*m - 27. Let d(x) = x**2 - 7*x - 8. Is d(y) a multiple of 12?
True
Let w(a) = a - 27. Let b be w(-22). Let m = b + 212. Does 16 divide m?
False
Suppose -4*t + 44 + 28 = 0. Is (-608)/(-57)*t/4 a multiple of 16?
True
Suppose 3*s + 10 = 142. Let c = s + -28. Does 12 divide c?
False
Suppose -126 = 4*n - 2*c, 3*c = n - 0*n + 44. Let i = -28 - n. Is 12 a factor of 150*i/(-15)*-6?
True
Does 86 divide 215*(4 + (-312)/(-60))?
True
Let m(x) = -x + 6. Let k be m(4). Suppose -3*d - k*h + 6 = -31, 25 = 5*d - 4*h. Is d*(4 + (-40)/12) a multiple of 3?
True
Let q be ((-423)/(-6))/1*(-16)/(-6). Let h = q + -128. Does 6 divide h?
True
Let a(q) = 7*q**3 + 2*q**2 + 6*q + 3. Is 76 a factor of a(3)?
True
Let o(x) = -4*x - 5 + 3 + 1 + 6*x**2 + x**3 - 2. Let p be o(-3). Does 14 divide (0 - 8/(-6))*p?
False
Let t = -16 + 8. Is (-9)/(9/t) - -3 a multiple of 6?
False
Let j(f) = 46*f + 45. Does 17 divide j(19)?
False
Let s(k) = -5*k - 15. Let z(g) = g**3 + 4*g**2 - 8*g - 12. Let q be z(-5). Suppose -19 = q*o - 1. Is s(o) a multiple of 7?
False
Does 4 divide (1726/(-5) - 0)*105/(-42)?
False
Let u(i) = -i**3 + 8*i**2 + 85*i - 7. Let q be u(14). Let b = 1288 - 2044. Does 9 divide ((-3)/6)/(q/b)?
True
Let g = -52 + 55. Suppose 13 - 109 = -3*t + 5*a, -3*t - g*a = -72. Does 27 divide t?
True
Let f = -30 - -28. Is 4 a factor of (-17 - 0)*2/f?
False
Suppose 501*i - 505*i + 2660 = 0. Is 10 a factor of i?
False
Let c = 17 + -15. Let f(q) = q - 2*q**3 - 2*q**c - 5*q**3 + 3*q**3. Is f(-2) a multiple of 7?
False
Suppose 0 = 2*x - 4 - 4. Suppose -x*o + 6 = -2*o. Let s(p) = p**3 - 2*p**2 + 4*p. Is s(o) a multiple of 17?
False
Suppose 91 + 44 = -9*l. Is ((-126)/l)/((-2)/(-10)) a multiple of 12?
False
Let x = -5 - -7. Suppose 2 + x = -w - 2*u, 4*w = 5*u + 23. Suppose -2*h - 8 + w = 0, -t - 5*h - 11 = 0. Is 4 a factor of t?
True
Let l = 1222 + -711. Does 5 divide l?
False
Let n = 1981 - 1180. Does 89 divide n?
True
Let y(t) = -t**3 - 2*t**2 + 3*t + 3. Let q be y(-3). Suppose -1 = -2*v - q. Is ((-52)/(-6))/(v/(-6)) a multiple of 26?
True
Suppose -2*w - 1 = k, -3*w + 9 = -0*w. Is (21 - 0) + k + 10 a multiple of 8?
True
Let y be (-57)/38*(-92)/6. Suppose 4*v - y = 9. Let s = 38 + v. Does 11 divide s?
False
Let b = 25 - 21. Suppose -2*u + 6*u + 4*p + 20 = 0, b*u = 2*p + 10. Is 11 a factor of u*3/9 - -49?
False
Let o(p) = 12*p**2 - 4 - 49*p - 50*p - 2 + 102*p. Is 14 a factor of o(-3)?
False
Let f = -1613 + 2352. Is 4 a factor of f?
False
Suppose 5*n = -v + 1465, 2900 = 2*v + 16*n - 12*n. Is v a multiple of 10?
True
Let d(o) = o**3 - 14*o**2 + 3*o + 7. Let i be d(14). Suppose -2*f - 5*n + i = 0, 91 = 5*f - n + 3*n. Is f a multiple of 13?
False
Suppose 5*j = -15, 2*c - 89 = j - 0. Is 4 a factor of c?
False
Let i(h) = h**3 + 9*h**2 + 11*h + 19. Let a be i(-8). Is 4 a factor of (-20)/(-3)*(-9)/a?
True
Is 53 a factor of (-5)/10 - (-5754)/12?
False
Let z(d) = -2*d - 21. Let j be z(-11). Suppose -1 - j = -k. Suppose 4*h + 88 = k*b, 3*h - 209 = -4*b - 0*b. Does 10 divide b?
True
Let h = 59 - -26. Suppose -h = -4*k + 31. Is 6 a factor of k?
False
Let m(k) = 21*k + 12. Let t be m(9). Suppose 5*u - t = 2*u. Does 12 divide u?
False
Suppose 5*n = -2*t + 6 - 0, -2*t = 4*n - 4. Suppose 11 = n*y + 5. Suppose 2*c - 3*c + 17 = y*a, 0 = -2*c - 3*a + 40. Does 23 divide c?
True
Let b = 89 - 156. Let r = -14 - b. Suppose -3*l - 3*p + 94 + r = 0, p - 253 = -5*l. Does 13 divide l?
False
Let c be ((-20)/3)/((-2)/(-30)). Let u be ((-150)/(-9))/(-5)*3. Let j = u - c. Is j a multiple of 30?
True
Let q = -103 - -135. Is 16 a factor of q?
True
Let d = 16 + -22. Let a(x) = -x**2 - 9*x - 15. Let v be a(d). Suppose -14 = -u + v. Is 9 a factor of u?
False
Suppose 9719 + 15355 = 63*c. Does 15 divide c?
False
Let p = 269 + -47. Suppose -3*d - 3*y = -p, -125 = -5*d - y + 229. Does 10 divide d?
True
Suppose -5*m = -4 - 21. Suppose -3*r + c + 190 = 0, -m*r + 316 = c - 3*c. Does 10 divide r?
False
Suppose -2*j - 3*q = -0*q - 4, -2*j - 2*q = -4. Suppose -7 = -5*t + j*s, 3*t - 6*t - s = -2. Is t/2*(7 + 213) a multiple of 27?
False
Suppose -1368 = 12*r - 17*r - 2*i, 4*r - 3*i - 1099 = 0. Is r a multiple of 5?
False
Suppose 5*m + 4*r + 3 = 0, 3*m + 2*r = -0*r - 3. Let j be (-4)/1*1 - m. Is 4 a factor of (-1 + -1 - j)*-6?
False
Let u(k) = -20*k**2 - 2*k. Let s be u(2). Let r(m) = 29*m + 2. Let z be r(5). Let p = s + z. Does 21 divide p?
True
Let j = 18 + -12. Suppose -3*d = -4*d - 9. Does 14 divide d/(j/(-2)) - -11?
True
Suppose 3*c + 80 = 11*c. Suppose 6*i = -c*i + 800. Does 3 divide i?
False
Let g(v) = -3*v**2 - 4*v - 12. Let w be g(-4). Let t = 127 + w. Does 19 divide t?
False
Suppose -175 = -q + 8*v - 6*v, -3*q + 530 = -5*v. Is q even?
False
Let y(g) = -2*g + 5. Let f(t) = -t + 1. Let o(r) = 3*f(r) - y(r). Let v be o(-9). Suppose p - v - 9 = 0. Is 16 a factor of p?
True
Let z = 15 - 13. Suppose z*s - 6*s = 4*c - 168, 3*c - 3*s - 114 = 0. Is 20 a factor of c?
True
Suppose -5*f + 26 = 1, -2*z - 5*f + 41 = 0. Let l(m) be the third derivative of m**4/3 - 2*m**3 + 4*m**2. Does 25 divide l(z)?
False
Let r(p) be the third derivative of -7*p**4/24 - 3*p**3/2 - 9*p**2. Let h be r(5). Is 4 a factor of 9/6 + h/(-8)?
False
Let r(s) = -24*s - 9. Is 12 a factor of r(-19)?
False
Suppose -1 = -4*b + 19. Let r(k) = -2*k**3 + 10*k**2 + 5*k + 9. Does 17 divide r(b)?
True
Let b(u) = 3*u + 94. Does 15 divide b(0)?
False
Does 53 divide 4146/(-30)*-5 + -2?
True
Let u(g) = 2*g**2 - 12*g + 38. Does 3 divide u(8)?
False
Is 12 a factor of ((-844)/6)/(-1) + 1/3?
False
Suppose 22*a + 450 = 27*a. Is 10 a factor of a?
True
Suppose 97 = 2*s - 5*g, -g - g + 6 = 0. Suppose 2*d = -4*t + 86, -3*t + 9 = d - s. Does 11 divide t?
True
Suppose 756 = t + 240. Does 6 divide t?
True
Suppose 0 = -4*d + 5*g - 0*g - 181, -2*d - 53 = 5*g. Let r = -35 - d. Suppose 0 = c - r*y - 35, 3*y - 105 = -5*c + 139. Is c a multiple of 14?
False
Let f(l) = 11*l. Let j = -12 - -8. Let p be f(j). Let t = p - -86. Is t a multiple of 14?
True
Let s(q) = -q**3 - 13*q**2 - 4*q - 30. Does 19 divide s(-13)?
False
Suppose 2*k + 15 - 3 = 2*o, -2*o - 2*k = -8. Let h(l) = 3*l**2 + 2*l**2 + o + 4*l + 0*l - 3 + l**3. Does 8 divide h(-3)?
True
Does 21 divide ((-52)/6)/(50/180)*-5?
False
Is ((-7)/(28/36))/(9/(-528)) a multiple of 22?
True
Let i(f) be the third derivative of -f**4/24 + 17*f**3/6 - 4*f**2. Let b be i(12). Suppose 0*n + 30 = b*n. Is n even?
True
Let y(m) = -m + 1. Let s be y(1). Let g(w) = -4*w - 9 + w**2 + 0*w**2 + 3*w + s*w. Is 24 a factor of g(8)?
False
Suppose 4*s = -2*u + 16, -u - s = -4 - 4. Let o be 2*5/8*u. Is 18 a factor of o/(-5)*(-110)/4?
False
Suppose -15*j - 20 = -10*j. Is (-7*j/(-8))/(1/(-6)) a multiple of 5?
False
Let z(y) = y**3 - y**2 - 1. Let v(r) = -2*r**2 + 2*r + 5. Let k(w) = v(w) + 2*z(w). Let o be k(3). Is (144/o)/(4/6) a multiple of 3?
False
Suppose 0 = 3*k + 634 - 142. Let r = 269 + k. Is 21 a factor of r?
True
Suppose -4*x + 3*j = x, 2*x - 3*j - 9 = 0.