 3480. Is u a multiple of 58?
True
Let r(v) = -3*v**3 + v**2 + 6*v + 1. Let d(x) = -x**3 - 6*x**2 + 9*x + 11. Let q be d(-7). Is r(q) a multiple of 17?
False
Let c = -472 - -505. Is c a multiple of 17?
False
Let z(y) = 3*y - 13 + y - 1 + 2*y. Is z(4) a multiple of 2?
True
Let t(z) = -3*z**2 + 4*z + 5. Let n be t(-2). Let c = 19 + n. Suppose -c - 28 = -2*q - 2*g, 2*q - 47 = g. Is q a multiple of 7?
True
Let s(c) = -40*c - 20. Is 18 a factor of s(-23)?
True
Let z be (-3852)/(-20) + 4/10. Let v be 2/(-8) + z/4. Suppose 0 = -4*d + 104 + v. Is 9 a factor of d?
False
Let v = 464 + -255. Suppose 0 = -4*w + 19 + v. Is w a multiple of 13?
False
Suppose -3*d - 5*z + 236 = 0, -80 = -0*d - d - 2*z. Is d a multiple of 4?
True
Suppose 4*g - 20 = 2*v, 5*v + g + 18 = -10. Let q be v/(-27) + (-86)/(-18). Suppose -15 - 415 = -q*h. Is h a multiple of 22?
False
Let z = -14 + 36. Suppose s - z = -8. Is s a multiple of 3?
False
Let k = -4 + 6. Suppose k*a = 4*z - 188, 2*z = -a + 12 + 74. Let t = -24 + z. Is 10 a factor of t?
False
Suppose -3*t + 89 - 11 = 0. Does 3 divide t?
False
Suppose -3*h + r = -289 - 1192, -r - 5 = 0. Is h a multiple of 14?
False
Let b = 27 + -29. Let w(u) = 10*u**2 - 3*u - 3. Is w(b) a multiple of 20?
False
Let o(y) = -y**3 - 29*y**2 + 99*y + 66. Is 35 a factor of o(-34)?
False
Let j be (-14)/(-4)*8/7. Suppose 19 - 91 = -j*d. Does 8 divide d?
False
Suppose 3*q - j + 761 = 4*q, -4*j + 8 = 0. Is q a multiple of 23?
True
Let g(n) = n**3 - 6*n**2 + 33*n + 27. Is g(9) a multiple of 81?
True
Suppose 10*d = 7*d + 2*n + 669, 5*n = d - 236. Is d a multiple of 13?
True
Let k = 24 - 20. Suppose 227 = 4*c + w, -k*c + 160 = 3*w - 57. Suppose -8*t = -6*t - c. Is 14 a factor of t?
False
Let a(j) = j**3 - 4*j**2 - j - 6. Suppose -4*c - v + 25 = 0, 2*v = -2*c + 4*v + 10. Is a(c) a multiple of 12?
True
Let n = -40 - -40. Suppose n = -4*y + 11*y - 189. Is y a multiple of 9?
True
Let v(x) = -17*x - 9. Let k(l) = -18*l - 10. Let b(c) = 5*k(c) - 6*v(c). Let i be b(7). Suppose 0 = 3*p - i - 86. Is p a multiple of 14?
False
Let i be -4*5/5 - -3. Let y = 18 - i. Is y a multiple of 19?
True
Suppose 3 = -2*j + 3*m + 29, -4*j - 5*m = -52. Suppose -28 = j*a - 17*a. Suppose -a*z = 5*l - 2*z - 90, -5*z + 18 = l. Is l a multiple of 10?
False
Suppose -286 - 1122 = -11*q. Is q a multiple of 8?
True
Suppose 0 = 2*d + 3*q - 1274, 3*q = -4*d - 886 + 3434. Is d a multiple of 17?
False
Let i = 21 - 12. Let o(n) = 2*n**2 - 10*n - 10. Let q be o(i). Let m = q + -14. Is 14 a factor of m?
False
Let f be (-2)/8 + 372/16. Let s = 15 - 13. Is s - (-1)/(1/f) a multiple of 7?
False
Suppose 21 = 3*i + 15. Let h be -1 - 15/((-6)/i). Does 6 divide -3 + -20*(3 - h)?
False
Let c be 4/6 + ((-35875)/(-21) - -6). Suppose -r = 5*n - 4*r - 1735, -5*n - r = -c. Is 43 a factor of n?
True
Let z = 274 - 143. Let k = z + -61. Let g = k - 7. Does 21 divide g?
True
Suppose 47*r = 18*r + 22243. Does 5 divide r?
False
Let h = 1 + -1. Suppose h*j - j = -5*i + 63, 0 = i - 2*j - 18. Is 3 a factor of i?
True
Is 2 a factor of 162/27 + (170 - 0)?
True
Suppose 4*k + 222 = -558. Let f = -136 - k. Is f a multiple of 19?
False
Suppose -18*s + 8027 + 8821 = 0. Is s a multiple of 18?
True
Let x(m) = 4*m**3 - 6*m**2 - 7*m - 5. Let a(b) = 7*b**3 - 13*b**2 - 13*b - 11. Let g(y) = -6*a(y) + 13*x(y). Is g(3) a multiple of 29?
True
Suppose 5*y = -k - 27, 4*k = 9*y - 4*y + 17. Is (k/(-5))/(7/700) a multiple of 10?
True
Let t be -30*1 + -3 + 1. Let m = t + 82. Does 5 divide m?
True
Let o(v) = -51*v - 2. Let l(s) = 50*s + 2. Let z(a) = -3*l(a) - 2*o(a). Is 26 a factor of z(-2)?
False
Suppose 9*z - 15628 = -2794. Is 23 a factor of z?
True
Suppose -j = -6*j + 15. Let f(t) = 4*t - 7*t**2 + 2 + 3*t**j + 4*t - 2*t**3. Is 3 a factor of f(6)?
False
Let v(y) = -2*y**3 + 8*y**2 + 8*y - 10. Is v(-8) a multiple of 17?
True
Suppose l - 5*l - 84 = 0. Suppose 2*z + 2*z = 28. Is 3 a factor of (-6)/l + 47/z?
False
Suppose 3*w - 2*x + 35 = -x, -w + 3*x = 25. Let j = 50 - w. Does 20 divide j?
True
Let g be (-390)/(-104) - (-10)/8. Let m(a) = 37*a - 71. Is 10 a factor of m(g)?
False
Let v = 29 - -47. Suppose -25*n = -29*n + v. Does 19 divide n?
True
Suppose -1127 + 4116 = 49*k. Is 61 a factor of k?
True
Let g = 133 + -84. Is g even?
False
Let h(a) = 6*a**2 + a. Let l be h(-1). Let b be l/((-15)/84) - 0. Is (-736)/b - 4/14 a multiple of 13?
True
Suppose -20 = -5*k - f, 5*f = k - 4*k + 34. Suppose k*m - 225 = -3*x - 0*m, 2*x + 3*m - 147 = 0. Suppose -b + x = b. Is 17 a factor of b?
False
Let a(y) = 4*y**3 - 12*y**2 + 3*y - 10. Is a(6) a multiple of 17?
False
Let h(l) = l**3 + 5*l**2 + 2*l - 1. Suppose 2*k = k - 4. Let f(w) = 2*w + 5. Let q be f(k). Does 11 divide h(q)?
True
Suppose 8*a + 520 = 21*a. Is a a multiple of 6?
False
Suppose -23*f + 124928 = 44428. Is 20 a factor of f?
True
Let i = -230 - -351. Is 12 a factor of i?
False
Let c be (-6)/(-27) + (-1)/(18/(-140)). Suppose 13*l - c*l - 150 = 0. Is l a multiple of 30?
True
Let z(k) = 55*k + 72. Is 69 a factor of z(15)?
True
Let m = -87 + 362. Does 4 divide m?
False
Let l(t) = -t**3 + 7*t**2 + 4. Let c = 27 + -20. Let z be l(c). Suppose z*o + 0*o = 108. Does 9 divide o?
True
Is 2/8 + 22840/32 a multiple of 51?
True
Suppose 2*o - 147 = 9*o. Let k be (o/(-2))/(5/50). Is k - (-5 + 4 - -4) a multiple of 34?
True
Let f(c) = -114*c**3 - c + 1. Let s be f(1). Let k = s - -170. Is k a multiple of 15?
False
Let w = 17 + -13. Let a be ((-12)/8)/(-3)*w. Suppose -a*l = -6*l - 2*h + 82, 2*h - 60 = -3*l. Is 11 a factor of l?
True
Let r = 210 + -126. Is 4 a factor of r?
True
Suppose 908 = 16*p - 3140. Does 5 divide p?
False
Let a(g) = -1. Let h(o) = -o**3 + 15*o**2 - 17*o + 4. Let b(m) = -a(m) - h(m). Suppose 22 = 2*n - 6. Does 6 divide b(n)?
False
Suppose -42*s = -8401 - 16211. Is 9 a factor of s?
False
Suppose -29 = -8*t + 75. Suppose -t*g = -10*g - 147. Is g a multiple of 16?
False
Let h(l) = -3*l**3 - 25*l**2 - 119*l + 18. Is h(-7) a multiple of 17?
False
Let n = 18 + -20. Let c be 3/((-27)/(-12) + n). Is 7 a factor of (-4)/(c/(-9)) + 18?
True
Suppose -4*q + 24 = m + 2*m, -5*m + 6 = q. Suppose -d = q*u - u - 172, 172 = d - 4*u. Suppose -h = 3*h - d. Does 19 divide h?
False
Suppose 480 = g - 3*q, -9*q - 1900 = -4*g - 7*q. Does 17 divide g?
False
Suppose 9*a - 1116 = 5*a. Is a a multiple of 9?
True
Let a(o) = -7*o - 4. Suppose 2*p + 3 = -s, 4*s - 14 + 2 = -2*p. Does 3 divide a(p)?
True
Let b(g) = 30*g**2 - 23*g - 118. Is b(-8) a multiple of 50?
False
Suppose -75 = -4*i - i + 2*w, 75 = 5*i + 5*w. Let l = 41 - i. Is 13 a factor of l?
True
Let t(d) = -d**3 + 6*d - 2. Let u be t(8). Is 11 a factor of u/(-7) + 44/(-77)?
True
Let h(j) = 36*j + 84. Is h(39) a multiple of 48?
True
Let f(t) = 4*t - 25. Let i be f(10). Suppose -3*d + 204 - i = 0. Is d a multiple of 21?
True
Let n(i) = -i**2 + 3*i - 3. Let r = 12 - 5. Let q be n(r). Let k = -14 - q. Does 7 divide k?
False
Let j(a) = -5*a + 5. Let i be j(-5). Let b = -17 + i. Let d = b - 5. Is d a multiple of 3?
False
Suppose 0 = -3*z - 2*a + 6*a + 1930, 4*z - 3*a = 2578. Is 7 a factor of z?
False
Suppose 1 = -p, 5*p - 128 = 5*y - 43. Let a be (y/(-4))/((-36)/(-192)). Let g = a + -4. Is 5 a factor of g?
True
Let f be 18/4 + 7/14. Suppose f*a = 5*v - 1825, 5*a = -5 + 20. Suppose -5*r - 53 = -v. Does 23 divide r?
False
Let y be 2/(((-8)/14)/(-2)). Let q = y - 3. Is q a multiple of 2?
True
Suppose 4*y - 7*y + 135 = 0. Suppose -2*w = -7*w + y. Does 3 divide w?
True
Let g be 8/(-6)*(2 - -1). Let p(o) = 5 - 8*o + 5 - 5 - 2*o. Is p(g) a multiple of 15?
True
Suppose -32*g - 1590 = -37*g. Is g a multiple of 33?
False
Suppose -5*f + 2226 = -2*x, -4*x - x + 2205 = 5*f. Suppose -2*b - 104 = -n + 59, 0 = 3*n + 3*b - f. Is n a multiple of 17?
True
Suppose 3*x - 18 = -3. Let p(w) = w + 1. Let s be p(3). Suppose 3*m = -2*a + x*m + 54, s*a - 5*m - 110 = 0. Is 5 a factor of a?
True
Let c = 37 + -37. Suppose -4*f + 2*b = -c*b - 442, 3*f = -2*b + 314. Does 27 divide f?
True
Is 17 a factor of 80/70 - (-6802)/14?
False
Suppose 0 = -17*j + 13*j - 228. Let q = j + 97. Does 8 divide q?
True
Suppose 0 = 2*f - t - 181, t = 4*f + 2*t - 359. Is f a multiple of 9?
True
Suppose -5*d + 3202 = -9008. Is 37 a factor of d?
True
Let w(z) = 2*z**3 + 13*z + 5. Does 10 divide w(5)?
True
Suppose -5*r = -