 = t - 29. Is g a multiple of 5?
False
Suppose 534 = -2*o + 474. Suppose 0 = -4*c - 2*n - 38, -c + n - 3 = 5. Let y = c - o. Is 3 a factor of y?
True
Let p be 0/7*1/1. Suppose p = 6*s - 2260 + 280. Does 49 divide s?
False
Let q = 1 + -11. Is (148/5)/(-4*1/q) a multiple of 7?
False
Does 10 divide (-172)/(36/8 + -5)?
False
Let j be 2/6 - (-28)/6. Let y be ((-20)/(-15))/(-6*4/(-144)). Let l = y + j. Is 13 a factor of l?
True
Let a = -423 - -553. Does 13 divide a?
True
Let i be (-116)/(-36) + (-10)/45. Suppose -i*u = 2*u - 10. Suppose u*q - 3*t - 54 - 59 = 0, 2*t = q - 57. Is q a multiple of 17?
False
Let u(g) = -5*g - 15. Let t = 16 - 21. Is u(t) a multiple of 2?
True
Suppose 4*s = -2*r + 3425 + 459, 3*r = 3*s - 2913. Is 5 a factor of s?
False
Let y(g) = 17*g**3 + 6*g**2 + 19*g - 70. Is 25 a factor of y(5)?
True
Let d(k) = -k**2 - 5*k + 9. Let p be d(-5). Suppose p*w - 10*w = 5*o - 522, -2*w - 426 = -4*o. Is o a multiple of 7?
True
Suppose -9*i = -6*i, 0 = -5*f - 4*i + 13020. Is 23 a factor of f?
False
Suppose s - 3*j = -15, -j + 4 = 4*s - 1. Suppose -6*l - l + 763 = s. Is 15 a factor of l?
False
Let f = -554 - -858. Suppose 2*w - f = -w + 5*d, -5*w = 3*d - 450. Suppose -5*l + 225 = -5*m, -w = -6*l + 4*l + m. Is 12 a factor of l?
True
Let s(v) = -6*v**2 - 11*v - 11. Let x be s(-6). Let g = x - -227. Is 7 a factor of g?
False
Suppose -3*t - 3*g = -1086, 1 - 5 = g. Is 35 a factor of t?
False
Let q(t) = t**3 + 6*t**2 + 4. Let z be q(-6). Suppose z*i + i + 50 = 0. Is 16 a factor of (42/(-4))/(5/i)?
False
Let x = 276 - 184. Is x a multiple of 15?
False
Let g = -7 - -10. Suppose 3*k - 7 = m - 2*m, k = m - g. Suppose -4*a + 116 = -m. Does 11 divide a?
False
Let a(l) = -12*l**3 - 4*l**2 + 3*l - 4. Let f(n) = 35*n**3 + 11*n**2 - 8*n + 11. Let c(t) = -11*a(t) - 4*f(t). Does 14 divide c(-2)?
False
Let h(m) = m**2 - 3*m - 21. Suppose 2*u + 5*t = 3*t - 30, 0 = 2*u - 5*t - 5. Is 20 a factor of h(u)?
False
Let h = -13 + 16. Suppose h*q + 40 = -11. Let z = 26 + q. Is z a multiple of 2?
False
Let i be (-2)/(((-24)/33)/4). Let n = i + -10. Is 244/24 + n/(-6) a multiple of 3?
False
Suppose -4 = 3*h + 2*m, 5*h + m = -2*m - 5. Suppose 0 = -h*d - j + 1 + 4, d - 2*j = 0. Suppose d*o - 5*p - 35 = 0, -2*p = 5*o - 99 - 3. Does 20 divide o?
True
Suppose -4*q - 4*f + 5 = 41, 2*f = -4*q - 42. Let a = q + 17. Suppose 2*v - a = 33. Does 5 divide v?
False
Let j = -263 - -277. Is j a multiple of 4?
False
Let t(l) = l**2 + 2*l - 2. Let c be t(-3). Let y = 1 - c. Suppose y = 5*r + 4*v - 161, v - 33 = -r - 0*v. Is r a multiple of 9?
False
Suppose 4*s = 69 - 13. Let u(y) = 9*y + 20 + s*y - 28*y. Is u(-6) a multiple of 26?
False
Let v be (-30)/45 + ((-9776)/(-6))/2. Does 3 divide v/(-11)*2/(-4)?
False
Let c be (-46)/8 + 3 - (-6)/8. Is 3/(-3) - (c + 2 + -4) even?
False
Let c(d) = -d**3 + 54. Let v be c(0). Suppose 0 = -6*r + 3*r + v. Suppose r = i - 10. Does 28 divide i?
True
Suppose 2*y = 7*y + 3*p - 7025, 4*p - 1388 = -y. Is y a multiple of 13?
False
Let a(z) = z - 10. Let n be a(7). Let l(g) = 4*g + 5. Let b be l(n). Let r = 21 + b. Is 14 a factor of r?
True
Suppose 0 = -3*k + 5*c - 66, 2*k + k + 66 = -3*c. Let j be (107/2)/((-11)/k). Suppose j = -26*d + 27*d. Is d a multiple of 24?
False
Let n = 1516 + -548. Is n a multiple of 44?
True
Let k be 1*(2 + 2) + 1. Let u(d) = d**2 - 3*d - 1. Does 2 divide u(k)?
False
Suppose -3*r = 4*k - 2492, 22*k - 27*k = -r + 818. Does 51 divide r?
False
Let k(s) = s + 113. Is 6 a factor of k(24)?
False
Let o = 78 - -37. Does 23 divide o?
True
Suppose -2 = 2*m + 2. Let c be (-21)/(-6) + (-3)/m. Let i(r) = r**2 - 2*r - 5. Is i(c) a multiple of 7?
False
Let h(t) = 13*t**3 + t**2 - t + 1. Let r(c) = 5*c + 2*c + 10 + 0*c**2 + c**2 - 3. Let g be r(-6). Is 4 a factor of h(g)?
False
Let a(o) be the second derivative of o**3/3 + 3*o**2 - 2*o. Let x be a(3). Suppose 0*c = -c + x. Is 4 a factor of c?
True
Suppose 7*f + 4 = 25. Suppose t - 20 = -4*t, -o + 245 = -f*t. Is 24 a factor of o?
False
Is 21 a factor of 5/(15/354) - (-5 + 2)?
False
Suppose 3*t = -3 - 9. Is 17 a factor of (680/(-30))/(t/18)?
True
Suppose -2*x - 3*x + 25 = 0. Let a be (-228)/(-60) + 1/x. Suppose 4*t - 38 = -3*f + 41, 44 = a*t - 4*f. Is 12 a factor of t?
False
Suppose 3*s - 6*s + 48 = 0. Suppose -4*j + 0*j = s, -5*a = 3*j - 238. Is 10 a factor of a?
True
Let p be -143 + 7 - (-2 + 1). Is p*((-3)/2)/(15/6) a multiple of 9?
True
Let z(w) = w**3 + 15*w**2 + 11*w + 9. Is z(-9) a multiple of 12?
True
Suppose -2*n - 2*r = -n + 25, 5*r = 3*n + 119. Let a = n - -64. Suppose d - a - 37 = 0. Is d a multiple of 34?
True
Let g(x) = -6*x - 12. Let m be g(-14). Let w = m + 42. Is 19 a factor of w?
True
Let n(l) = l**3 - l**2 - l - 2. Let b be n(2). Suppose b = c - 4. Is 11 a factor of 2/c + 522/12?
True
Let k = -26 + 29. Let q be (k - 33/6)*-38. Let a = q + -57. Is a a multiple of 19?
True
Does 32 divide (5466 + 2 - 3) + 7?
True
Let f be 3*-2 + (1 - 1). Let c(z) = 10*z - 50. Let j(p) = 7*p - 33. Let k(o) = 5*c(o) - 8*j(o). Does 18 divide k(f)?
False
Let w(b) = 69*b + 1. Let j be w(1). Suppose -2*s + 280 = j. Is s a multiple of 21?
True
Let r = 1074 - 778. Is 4 a factor of r?
True
Suppose 0 = 92*i - 88*i - 544. Is 51 a factor of i?
False
Suppose 4*t - 17*t + 6422 = 0. Is t a multiple of 28?
False
Let i(r) = r**3 - 15*r**2 + 30*r - 19. Let j be i(13). Suppose 3 = -k - 5*u, 6*u - j = -4*k + u. Is 12 a factor of k?
True
Let o(z) = -z**3 - 22*z**2 - 4*z - 22. Does 33 divide o(-22)?
True
Is 8 a factor of (-1*15)/(46/(-230))?
False
Let t = -1002 - -3302. Is 92 a factor of t?
True
Suppose -321*l = -326*l + 65. Let i = -38 + 107. Let b = i - l. Is b a multiple of 20?
False
Let y(b) = -b**3 + 4*b + 3. Let a be y(-2). Let s be (3 - 2) + 0 + 14. Suppose 4*j = a*j + s. Is 5 a factor of j?
True
Suppose -6*p - 32 = -4*p. Does 6 divide (-8)/p - (-91)/2?
False
Suppose 228 = 4*f - 1584. Is 19 a factor of f?
False
Let i = 8 + -3. Is (i + -4)/(3/102) a multiple of 17?
True
Suppose 72 - 233 = -7*u. Does 23 divide u?
True
Suppose 2*x = -d + 10, 0*d - 3*d + 30 = 4*x. Is 49 - d - (-1 + 0 + 1) a multiple of 17?
False
Suppose 20 = 5*s, 2*w - 2*s = -0*w + 638. Does 26 divide w?
False
Let p(t) = t**2 + 10*t - 13. Let h be p(-12). Suppose h*q - 16*q = -780. Is q a multiple of 12?
True
Let w be 224/40 + (-2)/(-5). Suppose w*j + 99 = z + 5*j, 2*z - 193 = 3*j. Is z a multiple of 13?
True
Suppose 0 = 3*w - 42 - 3. Let s = 132 - 47. Let x = s - w. Is x a multiple of 27?
False
Let z = 2160 + 684. Is z a multiple of 12?
True
Let o be 18*(3 - 2) - -3. Let w = o - 9. Is 61 + (-2 - w/(-3)) a multiple of 17?
False
Does 65 divide -1 + 17/15 - (-1228430)/525?
True
Suppose 8*o - 1764 = -10*o. Does 13 divide o?
False
Let q(p) = 33*p + 78. Is 11 a factor of q(10)?
False
Let y(k) = 3*k**3 - 5*k**2 + 10*k - 3. Does 7 divide y(3)?
True
Let y(k) = -5*k - 3. Let i(c) = 15*c + 8. Let f(a) = -a**2 - 13*a + 20. Let l be f(-14). Let v(o) = l*i(o) + 17*y(o). Does 10 divide v(6)?
False
Let g be 3 + -1 - (-1 + 1). Suppose -t = -4*h - 18 - 18, -t = g*h - 30. Does 16 divide t?
True
Let x(j) = -j**3 - 7*j**2 + 8*j + 11. Let n be x(-8). Is 3 a factor of (n + (-5 - -2))*4/8?
False
Let f(x) = 56*x + 3. Suppose -2 = -2*w - 0. Is f(w) a multiple of 11?
False
Let z(j) = -31*j**3 - 5*j**2 + 2*j - 5. Let n(g) = -93*g**3 - 14*g**2 + 6*g - 14. Let b(s) = -4*n(s) + 11*z(s). Let d be b(1). Let y = 45 - d. Does 7 divide y?
True
Suppose -3*y = -5*t + y + 1268, 2*y + 256 = t. Is t a multiple of 39?
False
Let p be -2 + 10/(-3)*6. Let t be (6 - 0)/(4/p). Let d = t - -119. Is d a multiple of 27?
False
Suppose 6*p - 4914 = -p. Does 19 divide p?
False
Is 13 a factor of 1*(-3 - -6) - -143?
False
Suppose -o = 5*c - 5*o + 1066, 4*c - 5*o + 851 = 0. Does 21 divide c/(-10) + 2/(-5)?
True
Let j be 412 - ((-11)/33 - (-10)/3). Let k = j + -241. Is 28 a factor of k?
True
Suppose 2*l - 13 - 9 = 0. Let u = -14 + l. Let n(f) = -f**3 - f**2 + 3*f + 1. Does 4 divide n(u)?
False
Let f = 411 + -387. Is 6 a factor of f?
True
Let c = 338 - -68. Is 6 a factor of c?
False
Suppose 0*i + 19 = i - 5*l, 0 = -2*i + 2*l + 30. Is 3 a factor of i?
False
Let j be (-2)/8 + (-525)/12. Let i = 7 - -102. Let t = j + i. Is 24 a factor of t?
False
Suppose 0*m + 2*m = -3*z + 18, -5*m = -2*z - 7. Suppose -m*h + 6*