ltiple of 13?
False
Suppose -o - 114 = -5*r, -r + 24 = -0*r + o. Suppose -2*c - r = -137. Is c a multiple of 15?
False
Let k(q) = q**3 + 5*q**2 + 2. Let h be k(-5). Suppose -4 = -h*l + 4*l. Is (0 - (l - -5)) + 39 a multiple of 18?
True
Let v be 8649/72 + 2/(-16). Let k = 169 - v. Is 12 a factor of k?
False
Suppose 7*v + 4 = 3*v. Let b be (5 + -9)/(3/(-72)). Is (b/(-20))/(v/5) a multiple of 24?
True
Let m(h) = h**2 + 4. Let w be m(4). Let i = w + -10. Suppose -5*g - 4*a + 131 = -14, 0 = 2*a + i. Is g a multiple of 11?
True
Let x(o) = -o**3 + 9*o**2 + 2. Let f(u) = u**2 - u - 3. Let c be f(-3). Let s be x(c). Suppose s*r - 59 = -7. Is r a multiple of 13?
True
Suppose 123*q - 6450 = -5*j + 119*q, -2*j - 4*q = -2592. Is 13 a factor of j?
False
Suppose 99 - 15 = 3*g. Let l = g + -16. Is 12 a factor of l?
True
Suppose 0 = -5*r - 3*j + 2397, 2*r - j - 965 = 4*j. Does 12 divide r?
True
Suppose -a - l = a - 107, 2*l = -3*a + 159. Does 3 divide a?
False
Suppose 7*x + 572 = 6410. Suppose -12*i + x = 342. Is i a multiple of 5?
False
Suppose -s - 1259 = -3*r + 1407, 3*r + s - 2656 = 0. Is r a multiple of 23?
False
Suppose 4*l + u + 29 = -21, 5*l + 3*u = -66. Let r be 9*(l/(-3))/(-12). Is 60/((-1 - r) + -1) a multiple of 20?
True
Let j(i) = 25*i**2 + 7*i - 3. Suppose 4*q - 5*q = 3. Is j(q) a multiple of 8?
False
Suppose 5*n + 4*u = -2894, -3*n + 3*u + 622 - 2353 = 0. Does 23 divide (-2)/7 - n/14?
False
Let z(u) = u + 10. Let o be z(-7). Suppose o*v = 6*v + 18. Let b(d) = d**3 + 7*d**2 + 3*d + 4. Is b(v) a multiple of 8?
False
Let y(o) = o + 1. Let v be y(-8). Let t(d) = -12*d + 12. Is t(v) a multiple of 32?
True
Let s(y) = -y**3 - 10*y**2 + 11*y + 2. Let u be s(-11). Let r(b) = 3*b + 9*b**u - 1 - 8*b**3 + 4*b + 9*b**3. Is 12 a factor of r(-7)?
True
Suppose -4 = z, 3*i + 15 + 7 = -z. Let u = -3 - i. Suppose -u*d = d - 84. Does 7 divide d?
True
Let f(j) = 3*j**3 + 6*j**2 + 7*j + 12. Let s(u) = 7*u**3 + 12*u**2 + 15*u + 25. Let d(z) = -9*f(z) + 4*s(z). Does 6 divide d(7)?
False
Let u(q) = -5*q - 40. Let k be u(-11). Suppose 130 = k*y - 10*y. Does 13 divide y?
True
Let w be (-20)/30 + ((-32)/6 - -2). Is 6/w + 3*(-342)/(-4) a multiple of 48?
False
Let j = -223 + 409. Is 52 a factor of j?
False
Suppose -3 = 5*f - 13. Suppose -154 + 4 = -f*a. Does 15 divide a?
True
Suppose -3*t + 0*t = -39. Let d = -8 - -28. Let p = d - t. Does 2 divide p?
False
Let s(h) = -14*h - 1. Let i be s(-2). Let v = i - 14. Is 3 a factor of v?
False
Suppose 4*c + 4*b = 2156, b - 2705 = -5*c + 6*b. Does 27 divide c?
True
Let w = 4 - -6. Suppose w = -n + 52. Is n a multiple of 6?
True
Let b = 5 - 11. Let v(g) = g**3 + 17*g**2 + 13*g - 6. Let n be v(b). Suppose -n = -4*q + 2*i, -4*q - 228 = -7*q + 3*i. Is q a multiple of 20?
True
Let d(l) = l**3 + 12*l**2 + l - 11. Let p(x) = x**3 + 11*x**2 - 12. Let u(j) = 4*d(j) - 5*p(j). Is u(-8) a multiple of 12?
True
Is 13 a factor of (3895/(-38))/((-2)/4)?
False
Let h(f) = -11*f - 6. Let l be h(-23). Let j = l - 99. Is j a multiple of 37?
True
Let n(w) = -w**3 - 12*w**2 + 4*w - 37. Let p = 34 + -47. Is n(p) a multiple of 20?
True
Let o(y) = 4*y**3 + 3*y**2 - 3*y + 100. Let b(f) = -3*f**3 - 2*f**2 + 2*f - 100. Let q(g) = -3*b(g) - 2*o(g). Is 21 a factor of q(0)?
False
Let p(j) = -j**3 + 43. Let u be p(0). Let x = 25 + u. Is x a multiple of 12?
False
Let s(g) = -g**2 - 1 + 5 + g**3 + 5*g + g**2 + 6*g**2. Does 8 divide s(-3)?
True
Let r(g) = g**2 + 8*g - 4. Let k be r(-4). Let m = -68 - k. Let f = m + 74. Is 7 a factor of f?
False
Suppose 0 = -h - h - 2*z + 50, -5*z = -h + 19. Suppose 5*m = 2*d - 18, 3*d = 2*m - 2*d + h. Is ((-2)/3)/(m/201) a multiple of 31?
False
Suppose 0 = -10*l + 1258 + 1082. Suppose 0*b - m - 80 = -b, -3*b + m = -l. Is b a multiple of 13?
False
Let l(f) = -4*f + 5 - 3*f - 6*f - 7. Is l(-8) a multiple of 21?
False
Suppose 2*q - 4*q + 20 = 0. Let a be (-40)/q - 160/(-2). Suppose a = -2*t + 4*t. Is 19 a factor of t?
True
Suppose -2*c + 4802 = -27*j + 26*j, -5*j = c - 2390. Does 8 divide c?
True
Let p be 18 - (0/(-4) - -3). Let x be p/(2/(1 + 3)). Suppose u - x = 2*g, u - 12 = g + 18. Does 5 divide u?
True
Suppose 3*s + 2*s - 5*x - 2535 = 0, -2517 = -5*s - x. Let j = 284 - s. Let i = -149 - j. Is 12 a factor of i?
False
Suppose 50 + 85 = 3*f. Suppose -y = -f - 10. Does 11 divide y?
True
Suppose 5*t + 2*w + 0*w - 106 = 0, w - 3 = 0. Suppose 54 = 2*p + t. Is 17 a factor of p?
True
Suppose -5*i - 5*y + 9890 = 0, -6*y = -2*y + 8. Does 45 divide i?
True
Suppose 3 = 3*d, -g + 698 - 29 = -2*d. Is g a multiple of 61?
True
Let z be 3/((-1)/(-172)*4). Let x = z + 85. Suppose -6*k = -56 - x. Is 15 a factor of k?
True
Let s(p) = -16*p + 336. Is s(-19) a multiple of 16?
True
Let m = -249 + 534. Is m a multiple of 15?
True
Let d(b) = -60*b + 660. Is d(-7) a multiple of 55?
False
Let m(t) = 7*t**2 + 9*t + 32. Does 15 divide m(-11)?
True
Let t = -98 - -177. Does 2 divide t?
False
Is 12 a factor of (8/(-2) - (-66)/3)*32?
True
Let a = 103 + -100. Suppose a*t - 170 = 175. Is 23 a factor of t?
True
Suppose -5*f + 0*x - 5*x = -35, f - 22 = -4*x. Let m(b) = 4*b + 6. Let v be m(f). Suppose 0 = -o - 6 + v. Does 6 divide o?
False
Suppose -4*s - 15 = -s, 0 = 5*a - 5*s - 50. Suppose a*t + 3*n = -113, t - 3*n + 33 = -n. Does 20 divide 0 - 2 - (t - -3)?
True
Let l = -63 - -67. Suppose i + 2*b = -2*b + 192, 3*i + l*b = 560. Does 24 divide i?
False
Suppose 0 = 3*t + 4*f - 646, -2*t + 3*t = 5*f + 209. Does 13 divide t?
False
Let u(p) be the first derivative of -p**3/3 - 7*p**2/2 - 6*p + 1. Suppose 14*r = 12*r - 8. Does 2 divide u(r)?
True
Let v be (-10)/25*(-122 + 2). Let n(s) = 8*s. Let x be n(4). Let a = v - x. Is a a multiple of 13?
False
Let g(w) = w**2 + 13*w - 10. Let u be (126/(-24))/((-6)/(-16)). Let b be g(u). Suppose 0*f + 184 = b*f. Is 11 a factor of f?
False
Let l = -13 + 17. Suppose -j - 3*z = 0, -9 - 24 = -5*j - l*z. Suppose -4*u = -u - j, -2*f + 87 = u. Is 14 a factor of f?
True
Let a(o) = 19*o + 17. Let c be (-2)/(-5) - (-344)/40. Let w be a(c). Suppose -5*b + w = -52. Does 12 divide b?
True
Suppose -5*k + 4*z + 19 = 0, 6*z - 8 = 4*z. Let y be 0/((-1)/(-1 + 2)). Suppose -2*h + y*h + x + 49 = 0, 0 = -h - 3*x + k. Is h a multiple of 11?
True
Suppose 5*g = 3*q + 2628, g - 149*q + 150*q = 524. Does 5 divide g?
True
Let u(n) = 29*n**2 + 137*n + 535. Does 24 divide u(-4)?
False
Let b = 587 + -449. Is b a multiple of 10?
False
Let w(l) = -l**3 - 3*l**2 - 12*l - 1. Does 30 divide w(-8)?
False
Let h(k) = -k**2 + 7*k + 12. Let a be h(8). Suppose -4*u - 86 = -2*v, -v - 176 = -5*v + a*u. Suppose 3*s + x - v = 4*x, -x = s - 19. Is 6 a factor of s?
False
Is 51 a factor of (888/(-96))/((-1)/12)?
False
Let f = 19 - -128. Suppose -2*b = b - f. Does 29 divide b?
False
Let t(g) = -2*g - 1. Let a be t(2). Let u(p) = p**3 + 5*p**2 - 3*p - 9. Is u(a) even?
True
Let m(y) = y + 9. Let v be m(-7). Is ((-3)/v)/((-6)/152) a multiple of 4?
False
Let x = 32 + 6. Let i = 46 - x. Is i a multiple of 8?
True
Is 13 a factor of 44/(((-20)/455)/((-2)/7))?
True
Suppose 4*v + n - 76 = -n, 0 = 5*v - n - 81. Suppose 6*t = m + 4*t - v, 84 = 4*m - 4*t. Does 4 divide m?
False
Let g be (-135)/(-25) + -3 - (-6)/10. Suppose 4*x = -g*d + 6*d + 172, -x - 3*d = -28. Does 37 divide x?
False
Let v(h) = 38*h**2 + 14*h + 14*h + 15 - 39*h**2. Is v(15) a multiple of 35?
True
Let v(c) = 3*c**2 - 9*c - 7. Let u be v(4). Let d(h) = 25*h - 21. Does 26 divide d(u)?
True
Suppose 17*r + 2*r - 67260 = 0. Does 104 divide r?
False
Let m = -2122 + 3105. Is 15 a factor of m?
False
Let x(s) = -3 + 3 - 2 - 3*s - 3. Let j(d) = -d. Let v(k) = 4*j(k) - 2*x(k). Is 10 a factor of v(0)?
True
Let c = 353 - 201. Suppose 0 = 5*z - z - c. Is 6 a factor of z?
False
Let r be (-16)/5*(-10 + 0). Suppose -2*j + r = -j. Suppose -2*o + o = -j. Is o a multiple of 16?
True
Let s(z) be the second derivative of z**5/20 + 5*z**4/6 - z**3/6 + 3*z**2 + 14*z. Let l = 0 - 10. Is 4 a factor of s(l)?
True
Is 8 a factor of 20*(59072/40)/13?
True
Does 116 divide 62/155 + (10988/5 - 0)?
False
Let x = -32 - -38. Let g(j) = 93 + x*j + 5*j - 83. Does 27 divide g(7)?
False
Let z(v) = 35*v - 230. Does 5 divide z(13)?
True
Let o(q) = -78*q - 48. Is 27 a factor of o(-5)?
False
Suppose 0 = j - t - 11, -3*j - 5*t + 3 = 2. Suppose 0 = 2*i - i - 60. Suppose 