5*x - 4*t = t - 25. Suppose 0 = -x*j + 3*b + 3, 2*j + 6*b + 4 = 2*b. Suppose 0*q + 5*q - 135 = j. Is 15 a factor of q?
False
Let b = 2 + -2. Suppose b*o - 4*y = o - 13, 4*o + 3*y = 13. Suppose 0 = -3*h - o + 13. Does 2 divide h?
True
Let y = -3 + -8. Let b = 16 + y. Is 5 a factor of b?
True
Let i be 1 + 11 - (-5 - -5). Suppose 4*r - 39 = 5*o, 2*r + i = 3*r + o. Does 5 divide r?
False
Let q be 3*1 - (-6)/6. Suppose 3*v + q*m = 40, -2*v + 4*v - 45 = m. Does 8 divide v?
False
Suppose -p = 3*p - 8. Let c be (10/(-25))/(p/(-1250)). Suppose -5*u + 0*u = -c. Does 14 divide u?
False
Let n(u) be the third derivative of u**5/60 - u**4/12 + 7*u**2. Let v(s) = 4*s**2 - s. Let d be v(-1). Is 5 a factor of n(d)?
True
Let p = 50 - 30. Let c = p - 10. Is 5 a factor of c?
True
Let k = 68 + -2. Is 13 a factor of k?
False
Suppose 40 = j + 3*d + 2*d, 5*d - 5 = 0. Let t = j - -43. Is t a multiple of 26?
True
Suppose l = 31 + 4. Is 15 a factor of l?
False
Let u(m) = -m**3 + 9*m**2 + m - 7. Let c be u(9). Suppose 0 = 2*w - w - c. Suppose w*b = -2*n + 30 + 18, -n + 2*b = -33. Does 11 divide n?
False
Suppose -96 = -3*x - x. Let q = -13 + x. Does 10 divide q?
False
Let o(v) = -v**3 - 7*v**2 + 3*v + 8. Let d = 4 - 11. Let i be o(d). Let s = i - -35. Is s a multiple of 9?
False
Let i be (-120)/(-6)*(-1)/(-2). Let d be 10/(-25) + 24/i. Suppose -4*o - d*y = -2 - 0, -2*y - 10 = 0. Is o even?
False
Is 14 + (0 - 2)/1 a multiple of 6?
True
Let y(l) = -l - 1. Let j(t) = t**3 - 4*t**2 + 4*t - 4. Let u be j(3). Let v(c) = 6*c. Let q(n) = u*v(n) - 4*y(n). Is q(-4) a multiple of 7?
False
Suppose 30 = 4*q + q. Suppose -3*k - q*a + 2*a + 24 = 0, k - 19 = -5*a. Suppose -2*x + b + 68 + k = 0, 0 = 5*b. Is 12 a factor of x?
True
Suppose -2*d = -6*d - j + 300, -4*j = -4*d + 300. Is 15 a factor of d?
True
Let i(m) be the third derivative of 7*m**6/60 - m**5/60 + m**4/24 - 6*m**2. Does 14 divide i(1)?
True
Let b = 3 - -2. Suppose t = 2*g + 67 - 7, g + 282 = b*t. Is 19 a factor of t?
False
Is 3/(-7) + 707/49 a multiple of 4?
False
Suppose -3*x = -4*i + 15, 2*i + 4*x - 8 = -2*i. Suppose i*v - 3*h - 7 = 2, 0 = -2*v - 4*h. Is (v - (0 - 21))*1 a multiple of 16?
False
Let h(n) = 2*n**3 - 22*n**2 + 16*n. Is h(12) a multiple of 32?
True
Let x(l) = -l**2 - 18*l - 3. Does 16 divide x(-11)?
False
Let b(x) = x**3 + 10*x**2 + 10*x + 11. Let z be b(-9). Suppose -z*m + 85 + 21 = 0. Is 24 a factor of m?
False
Let a(d) = d + 10. Let c be a(-8). Suppose -3*o + 3*t + 0*t - 96 = 0, c*o + 67 = -t. Let u = o - -51. Is 18 a factor of u?
True
Let k = 103 - 59. Does 11 divide k?
True
Let q(t) = 9*t - 4. Suppose 5*s = 15 + 5. Does 9 divide q(s)?
False
Suppose 2*u = 13 - 3. Suppose 4*k + h = -3*h + 16, 0 = u*h. Is k a multiple of 3?
False
Let u be -125*(0 - (0 + 1)). Suppose d + d - u = 5*s, 3*s + 284 = 5*d. Let i = d + -33. Does 11 divide i?
True
Let s be (-2*1)/(-2) + 2. Suppose 5*t = -0*t + w + 4, 5*w + 20 = s*t. Suppose -j + t*j = -6. Is 5 a factor of j?
False
Let g(a) = -2*a + 8 + 3*a + 0 + 2. Suppose 2*q + 3*q - 45 = 0. Is 9 a factor of g(q)?
False
Let k = 75 + -48. Is k a multiple of 7?
False
Let x(u) be the first derivative of -3*u**4 + u**2 + 4*u + 4. Let f(d) = -24*d**3 + 4*d + 7. Let c(n) = 3*f(n) - 5*x(n). Is 11 a factor of c(-1)?
True
Suppose -2*p + 167 + 9 = 2*h, 0 = -2*p + 3*h + 156. Let a be (0 + 57/3)*-2. Let d = p + a. Is 18 a factor of d?
False
Suppose 0 = -y + 2*y - 3. Suppose -144 = y*g - 5*g. Suppose -2*r = 2*r - g. Is 8 a factor of r?
False
Let a(i) = 2*i**2 - 2*i + 4. Does 10 divide a(6)?
False
Let i(l) = l**3 + 2*l**2 + l + 2. Is i(5) a multiple of 26?
True
Suppose 0 = d + 3 + 2, -3*x = -2*d + 26. Let g be (-88)/14 + x/(-42). Does 7 divide 6 + -5 - g/1?
True
Let w(j) = -j**2 + 4*j + 1. Let n be w(6). Let o(m) = -m**3 - m**2 + m - 4. Let r be o(0). Does 5 divide 2*n/r*2?
False
Let t(d) = d + 10. Let q be t(-7). Let h(a) = -a**3 + 4*a**2 - 2*a + 3. Let m be h(q). Let s(r) = -r**3 + 8*r**2 - 7*r - 7. Is 10 a factor of s(m)?
False
Let j(n) = n + 48. Suppose 0 = 6*i - 3*i. Is j(i) a multiple of 24?
True
Let u(h) = h**2 + 4*h. Let n(p) = 2*p + 12. Let t be n(-9). Is 12 a factor of u(t)?
True
Suppose 2 = -2*q - 2*u - 0, 2*u - 7 = -5*q. Suppose q*g - 6 = g. Suppose 2*p - 5 = 5*s, g*s - 1 = -2*p + 12. Is p a multiple of 5?
True
Suppose t = 4*t - 126. Is t a multiple of 6?
True
Let a(f) = -3*f - 7*f - 4 + 0. Let b(s) = 30*s + 12. Let g(q) = -10*a(q) - 3*b(q). Does 15 divide g(3)?
False
Is 5 a factor of ((-33)/4)/((-3)/12)?
False
Let u(r) = 14*r - 23. Is u(6) a multiple of 20?
False
Suppose -3*q - 156 = -3*b, 3 + 12 = -3*b. Suppose -2*w + 48 = -2*l, 88 = -4*l - 6*w + 2*w. Let f = l - q. Does 17 divide f?
True
Let q = 157 + -101. Does 14 divide q?
True
Suppose 4*l + 3*n - 60 = 0, -3*n + 78 = 5*l - 0*n. Suppose -4*g + l = j + g, -4*j - 2*g + 72 = 0. Is 17 a factor of j?
False
Suppose 5*h - 2 + 17 = 0. Is 6 a factor of (h + 4)/(3/45)?
False
Suppose 2*n + 3*n = 15. Suppose n*a - g = 14, -24 = -2*a - 3*g - 0*g. Suppose 3*r - a = y - 29, 2*y - 44 = 5*r. Is y a multiple of 10?
False
Suppose 0 = f + 2*f + 3. Let b = -1 + f. Let n = b + 16. Does 7 divide n?
True
Suppose 0 = -5*y + 32 + 8. Let u = y - 5. Suppose 0 = u*r - 4*r + 8. Does 6 divide r?
False
Suppose 0*w - 1708 = -14*w. Does 8 divide w?
False
Suppose 300 = 3*f - 5*a, a - 565 = -5*f - 65. Is f a multiple of 17?
False
Let z(v) = v**2 + 5*v - 4. Is 8 a factor of z(-9)?
True
Suppose -4 = i - 3*i. Suppose -i*d + 27 = d. Let z = d + -2. Is z a multiple of 7?
True
Let h be 0 + 6*1/2. Suppose -a + 88 = h*a. Is a a multiple of 11?
True
Let j(t) = -15*t**3 + t**2 + t + 6. Is 39 a factor of j(-2)?
False
Suppose r = 25 + 8. Suppose 12 = 3*x - r. Is 5 a factor of x?
True
Suppose -3*v = -4*v - 1204. Does 6 divide v/(-98) + (-2)/7?
True
Let x be (-184)/10 - (-2)/5. Let d be 10/4*x/(-15). Suppose d*q - 24 = -q. Does 6 divide q?
True
Let n(p) = 5*p + 2. Let c be n(-3). Let y = c + 23. Is 5 a factor of y?
True
Let y be 2*1/(-1) - 83. Let b = -57 - y. Does 14 divide b?
True
Let b be 5/15 + 260/(-6). Let o = -19 - b. Is o a multiple of 5?
False
Let x(j) = j**2 + 6*j + 2. Let u be x(-5). Let y be (-2 - u)*-2 + 102. Suppose -y = -3*t - 25. Does 9 divide t?
False
Let g(x) = x**2 + 6*x - 6. Let b be g(-5). Let n = -35 - b. Does 18 divide -4 - n - 2*1?
True
Let k = 48 + -8. Is 9 a factor of k?
False
Suppose -2*b + 159 - 25 = 0. Suppose 4*d - 6*d + 48 = 2*t, 0 = 3*d + 4*t - b. Is d a multiple of 13?
False
Suppose 0 = 2*w - 2. Let y be w/(3/6 - 0). Suppose -52 = -2*c - 4*z, 3*z + 70 = 2*c - y*z. Is c a multiple of 20?
False
Suppose -2*w + 4*w + 10 = 0. Let r(a) = -a - 4. Let k be r(w). Suppose -3*b + 37 = k. Does 12 divide b?
True
Let r(i) = 22*i + 2. Let c be r(4). Suppose 0 = p + 22 - c. Is 17 a factor of p?
True
Suppose 3*h - 2*w + 7 = 18, -5*w + 1 = 2*h. Suppose -2*k + 5 + h = 0. Suppose 4*m = -n + 13, -n - k*n + 4*m + 41 = 0. Is 9 a factor of n?
True
Let q(r) = 116*r + 1. Let l be q(-1). Let v(g) = -g**2 - 2*g + 1. Let j be v(-3). Is 1*j/5*l a multiple of 12?
False
Suppose -1 - 3 = 4*s, 2*s = 5*l + 223. Let m = l + 66. Suppose r - 2*j = 11, 5*j = -4*r + 91 - m. Is r a multiple of 15?
True
Let u(z) = -z**3 - 5*z**2 - 6*z - 3. Let c be u(-4). Suppose -88 + 13 = -c*q. Is 7 a factor of q?
False
Let i(c) = 2*c**2 - 5*c - 4. Let n be (-2)/10 + (-202)/(-10). Suppose 3*y - n = -2*y. Does 5 divide i(y)?
False
Let m = -4 + 7. Suppose m - 43 = -2*u. Is 20 a factor of u?
True
Suppose 3*m + 312 = 5*m. Let z = 258 - m. Is 18 a factor of z?
False
Let c = -4 + 8. Let a = 39 - 21. Let l = a - c. Is 7 a factor of l?
True
Let c(a) = -9*a**3 + 5*a**2 + a - 4. Does 14 divide c(-3)?
False
Suppose 5*m = 2*h - 88, -158 = -3*h - 0*h + m. Does 9 divide h?
True
Let c be -2*(-14)/4 + -2. Suppose 3*o = c*q - 195, -3*q + 2*o = -2*q - 46. Is q a multiple of 12?
True
Let y(b) = b**3 - 11*b**2 - 4*b - 2. Let z be y(12). Suppose 4*o + 3*a = -2*a + 106, -z = -4*o + a. Is o a multiple of 19?
False
Let j(l) = 13*l**2. Is 5 a factor of j(-1)?
False
Let h = -95 + 175. Is h a multiple of 21?
False
Suppose 0 = 5*c + 3*p - p - 36, -c - 9 = -5*p. Is c a multiple of 6?
True
Suppose 12 = b - 3*b. Does 4 divide (9/b)/(3/(-30))?
False
Let p be (-4)/10 - (-27)/5. Suppose -5*k - p*a = -25, -2*k - k + 2*a + 20 = 0. Is