, -t = -4*s - b. Is 7 a factor of s - 3/((-6)/2)?
True
Let b(c) = -3*c**2 + 2*c. Let o be b(-2). Let k be o/(-2 - 2/(-2)). Let q = k - 4. Is 8 a factor of q?
False
Let b = -1 - 1. Is 15 a factor of 46 - (b - -3) - 0?
True
Suppose -5*k + 15 + 0 = 0. Suppose k*c + 5*y = 0, -3*c - 3*y = -0*c - 6. Is 20 a factor of (c/(-10))/((-2)/80)?
True
Suppose -5*y + 2*q + 14 = -3*y, 4*y + 5*q - 10 = 0. Let u(t) = t**2 - t - 1. Is 19 a factor of u(y)?
True
Let u(n) = -2*n**3 + n + 1. Let a be u(-1). Suppose a*f + 10 = -0. Does 13 divide (26/(-4))/(f/10)?
True
Let g(o) = o**2 - 4*o - 3. Suppose 0*u - 20 = -5*u. Let x be g(u). Let c = 26 - x. Is 11 a factor of c?
False
Let n be 1*(-3)/6*0. Suppose 5*k + 6 - 21 = n, -3*y - k + 21 = 0. Does 16 divide (-2)/y*0 - -16?
True
Suppose u - 32 - 1 = 0. Does 33 divide u?
True
Suppose -119 = -5*q + 61. Does 18 divide q?
True
Suppose -3*j + 54 = -504. Let v = j - 108. Suppose 4*f = -26 + v. Is 13 a factor of f?
True
Suppose 4 = 3*m - m. Suppose 3*s + m = 44. Is s a multiple of 3?
False
Suppose x - 2*b - 26 = 0, 0*x = 2*x + b - 32. Does 13 divide x?
False
Let j be ((-3)/(-2))/((-3)/(-4)). Suppose 3*l - j = 61. Is l a multiple of 4?
False
Let w = 8 + -8. Suppose -u + w*u - 2*i = -18, 3*u = 3*i + 90. Is 17 a factor of u?
False
Let y be (-3)/1 - (3 - 0). Let o(t) = -12*t**3 - t - 1. Let s be o(-1). Is (1 + (-3)/y)*s a multiple of 6?
True
Let v = -53 + 117. Is v a multiple of 8?
True
Suppose -4*p + 2*t = 18, -p - 2*p = -t + 11. Does 5 divide 9 + 2/(p - -1)?
False
Let z(p) = 55*p**3 + 2*p**2 - p - 2. Let m(n) = 56*n**3 + 2*n**2 - 1. Let u(t) = -3*m(t) + 2*z(t). Is 19 a factor of u(-1)?
True
Let t(k) = k**2 + 5*k + 4. Let q(f) = -6*f + 3. Let a be q(-3). Let j be -14*(a/(-6))/(-7). Is 13 a factor of t(j)?
False
Suppose 0 = -49*f + 46*f + 552. Is 22 a factor of f?
False
Suppose -18*z + 23*z - 545 = 0. Does 49 divide z?
False
Let m(t) = 2*t**2 - 7*t - 6. Is 20 a factor of m(-4)?
False
Suppose 20 = 5*p, 4*t + t + 4*p = 26. Suppose -t*m = -7*m + 5. Is 11 a factor of (1 + (-32)/m)*-1?
False
Suppose 0*o - 3*o = 0. Suppose o = -f + 10 + 20. Does 15 divide f?
True
Suppose 0 = -3*y + 59 + 46. Is y a multiple of 12?
False
Let x be 76/16 + (-3)/(-12). Suppose 2*q = x*q - 84. Is q a multiple of 14?
True
Does 19 divide (14/(-6))/(1/(-42))?
False
Suppose 2*k = 4*s - 208, -5*k - 46 - 58 = -2*s. Is 6 a factor of s?
False
Suppose 3*m = -4*t + 165, 3*t - 2*m - 77 = 51. Let j = t - 26. Is 8 a factor of j?
True
Let r = -150 + 234. Suppose z + 356 = 5*n - 0*n, -n + r = 3*z. Suppose -8*q + 4*q = -n. Is 7 a factor of q?
False
Suppose 2*l - 3*f - 20 = 0, -5*l + 4*l + 5*f + 3 = 0. Suppose 0*w - l = -w. Does 11 divide w?
False
Let v(d) be the second derivative of -5*d**3/6 + d**2 + 2*d. Is 5 a factor of v(-3)?
False
Let t(q) = q**2 - 3*q - 9. Let p be t(6). Suppose -3*i + p + 4 = -2*a, -3*i - a = -25. Is 3 a factor of i?
False
Suppose 0*w = -2*z + 3*w + 176, -z + 88 = -3*w. Does 25 divide z?
False
Let k(o) = 10*o**3 - o. Is 2 a factor of k(1)?
False
Let r(s) = -s + 10. Let n be r(5). Let w = n + -5. Suppose 3*b = 2*v - 22, 3*v + w*b - 44 = -b. Is v a multiple of 5?
False
Let f = -6 - -11. Is 6 a factor of 29/f + 1/5?
True
Let s be (-4)/(-18) - 344/(-72). Suppose -138 = -2*m - 2*m + s*t, 0 = -5*t - 10. Is m a multiple of 16?
True
Suppose -2*u = -5*u + 15. Let y be 73 - (1 + u + -3). Suppose -5*c + 35 + y = 0. Is 16 a factor of c?
False
Let b(d) = 4*d**2 - 2*d + 2. Suppose 3*j - x - 8 - 11 = 0, -33 = -5*j + 2*x. Suppose -j - 5 = 5*v - 5*a, 2*a = 5*v - 2. Is b(v) a multiple of 7?
True
Let f = 28 + -5. Is 5 a factor of f?
False
Let m = -13 - -46. Is m a multiple of 11?
True
Let o = 38 + 64. Is 8 a factor of o?
False
Suppose j = -5*x + 1228, 157 + 4777 = 4*j - 2*x. Does 7 divide 3/4 + j/36?
True
Suppose -6*q + 936 = 7*q. Does 6 divide q?
True
Let w(h) = 3*h. Let o(s) = 14*s + 1. Let a(t) = 3*o(t) - 15*w(t). Let n be a(3). Is (-33)/n*(-6)/(-3) a multiple of 11?
True
Let h(s) = 5*s**2 - s - 3. Is h(-3) a multiple of 16?
False
Let n = 43 + -24. Is n a multiple of 6?
False
Suppose 0 = m + 7. Let a(c) = c**3 + 7*c**2 - c - 3. Does 4 divide a(m)?
True
Let i(w) = -2*w - 2. Suppose x - 3 = -c - c, -4*c + 4*x + 12 = 0. Suppose 9 = -3*v, c*t - 4*v + 0 + 4 = 0. Is 9 a factor of i(t)?
False
Let j(d) = -35*d - 9. Is j(-3) a multiple of 11?
False
Suppose 0 = -c + 15 + 13. Is 14 a factor of c?
True
Suppose 3*p + 2*p = -5*z + 35, -3*p + 5*z - 11 = 0. Is 18 a factor of 20/(-3 - (-12)/p)?
False
Is 9/6*(-2 - -8) a multiple of 4?
False
Let j be (6/(-2))/(3/8). Let p be 12/(-7) - 2/7. Is 3 a factor of j/(-10)*(-15)/p?
True
Let o(r) = r**2 - 3*r - 4. Let w = -3 + 9. Does 6 divide o(w)?
False
Suppose 7*t - 234 = 4*t. Is 26 a factor of t?
True
Let x be (4/(-6))/((-4)/(-6)). Let c = -47 + 23. Is 5 a factor of x - (c/(-3))/(-1)?
False
Suppose -2*c = -0*c. Suppose -2 = -c*r + r. Is 9 a factor of (-3)/((-3)/16) - r?
True
Suppose 3*i + 1125 = 12*i. Does 28 divide i?
False
Suppose 4 = 4*y, 4*y - 76 = -5*l + 108. Does 18 divide l?
True
Is 16 a factor of 4 - 2 - 2 - -48?
True
Let i = -2 + 8. Let u = 17 + i. Suppose 0 = -4*l + u + 1. Is l a multiple of 4?
False
Let v = -149 - -254. Does 35 divide v?
True
Let s = 18 - 0. Is s a multiple of 9?
True
Does 9 divide (66/9)/(2/21)?
False
Suppose -2*m + 44 = m + 5*x, 4*m - 36 = -x. Suppose -m = -3*b + 2*p - 4*p, 4*b - p = 18. Suppose b*v - 3*y - 76 = -5*y, -3*y = 2*v - 42. Is v a multiple of 8?
False
Suppose -60 = -3*k + 2*k. Suppose -5*c + w - 30 = 0, -4*w + k = -5*c - 9*w. Let d(v) = v**2 + 6*v - 1. Is d(c) a multiple of 4?
False
Suppose -6*a - 29 = -155. Is 3 a factor of a?
True
Suppose 3*x + z - 139 = 0, -2*x - 22 + 112 = -2*z. Is x a multiple of 23?
True
Suppose w - 139 = -4*m, -2*m + 7*m - 4*w - 200 = 0. Is m a multiple of 6?
True
Let r = 41 - 13. Does 3 divide r?
False
Let j be 9937/4 + 4/(-16). Does 13 divide j/48 - (-2)/8?
True
Let v(d) = -29*d + 4. Is 2 a factor of v(-1)?
False
Let a = 7 - 3. Suppose -5*n = a*i - 83, -12 = 5*i - i. Is 10 a factor of n?
False
Let j = 5 + -3. Suppose -4*k + 37 = 3*g, -3*g = 2*g + j*k - 57. Is g a multiple of 11?
True
Let k(g) = g**3 - 7*g**2 + 7*g - 3. Let v be k(6). Let o = v + 8. Is 9 a factor of o?
False
Let k(y) = -3*y**2 + 5*y + y**2 - 2 + 4*y**2 - y**2. Let z be k(-4). Let a(t) = -t**3 - 4*t**2 + 8*t + 1. Is a(z) a multiple of 19?
False
Suppose -t - 33 = 2*t. Let u = t - -16. Suppose -u*f = 3*x - 42, f - 92 = -4*x - x. Is x a multiple of 19?
True
Suppose 5*q - 2 = 3*o, q = -3*o + 12 + 10. Let n = o - 4. Suppose -k = -22 + n. Does 12 divide k?
False
Let g = -29 + 49. Is g a multiple of 4?
True
Let h(p) = p**2 + 5*p. Is 12 a factor of h(-8)?
True
Let o = 67 - -9. Does 19 divide o?
True
Is 15 a factor of 1 + -2 - (-92 - -4)?
False
Suppose -4*u = 4*u - 2120. Is u a multiple of 20?
False
Suppose -5*x + 5*m = -2*x - 11, -2*m - 24 = -4*x. Is 5 a factor of x?
False
Suppose -3*d - 22 = -d - 2*i, 2*d + 5*i + 29 = 0. Let j(b) = -b**2 - 6*b + 6. Let r be j(-7). Is r + 0 - (d + 0) a multiple of 8?
False
Suppose -3*c + h + 294 = 0, -c + 2*h + 61 + 37 = 0. Is c a multiple of 22?
False
Suppose -7*u + 84 = -4*u. Is 6 a factor of u?
False
Let o = 2 + -5. Let w = o - -1. Is 0 - (-2)/w - -10 a multiple of 9?
True
Let a = -82 - -592. Let y be 1/3 - a/(-9). Let g = -27 + y. Is g a multiple of 9?
False
Suppose 2*d - 698 = -2*u, -d + 0*d + 340 = 4*u. Does 11 divide d?
True
Let f = -2 + 2. Let b be 17/(f + 1) + -2. Let h = 39 - b. Is 11 a factor of h?
False
Let c(v) = -15*v - 5. Is c(-4) a multiple of 11?
True
Let i = -10 + -6. Let a = i - -31. Does 5 divide a?
True
Let l be (2 + 18/(-8))*-4. Suppose -4*c = -15 - l. Is 4 a factor of c?
True
Let c be ((-4)/(-10))/((-3)/(-15)). Suppose -3*w + 5*m = -35, 26 = -3*w + 5*w - c*m. Does 3 divide 10/w - (-38)/6?
False
Let a be (10/4)/5*0. Does 13 divide 26 - a/(-4 + 2)?
True
Suppose 0*j = -4*j + 16. Let v be j - (1 + -1)/2. Let x(w) = 5*w + 5. Does 15 divide x(v)?
False
Suppose 4*w = -7 + 15. Suppose 25 = b - w. Is 13 a factor of b?
False
Let h be ((-1)/(-3)*-44)/(4/(-6)). Let d be (-10)/4*8/(-10). Suppose -2*r + 48 = -z, -d*z = -r + 8 + h. Is r a multiple of 9?
False
Let h(c) = c**2 - c - 3. Let s be h(0). Let m(d) = 1 - 3 - 6*d - 5*d + 2*d. Is m(s) a multiple of 9?
False
Let z = 1