False
Suppose -5*u + 0*u - 10 = 0, 0 = 3*a + u - 7. Suppose a*h + h - t - 898 = 0, -h - t = -227. Suppose -h - 9 = -2*f. Is 39 a factor of f?
True
Let r(v) = 3*v**2 - 11*v + 12. Suppose 8 - 2 = x. Does 27 divide r(x)?
True
Let j be (1 - 6) + 7 + 1. Suppose 4*h + j*t = 1005, -2*h - 4*t = -7*h + 1264. Is h a multiple of 18?
True
Suppose 0 = 5*q + 15, -2*i + 208 = 2*q - 14. Let j = -3 - -164. Let x = j - i. Does 13 divide x?
False
Let s = -9 - -11. Let k = -8 + s. Let u = -2 - k. Does 3 divide u?
False
Let x = 45 - 32. Let v be 4/26 + (-2)/x. Suppose 308 = 4*s - v*s. Is 11 a factor of s?
True
Suppose 3*o - 12057 = -4*z, 0 = 3*z + 5*o - 3177 - 5863. Does 15 divide z?
True
Let v(p) = -65*p - 1. Suppose -r - 9 = 3*m, 3*r = 4*m + 2*r + 5. Let a be (-5)/(-10)*m*1. Is v(a) a multiple of 18?
False
Suppose -12*t + 5*t = -4487. Is 17 a factor of t?
False
Suppose 5280 = -5*n + 25*n. Is n a multiple of 11?
True
Suppose 0*b + 4*b + 3*i - 82 = 0, b - 11 = 4*i. Let w be (4/10)/(2/20). Let q = b - w. Is 11 a factor of q?
False
Let v = 105 + 243. Is 30 a factor of v?
False
Let o = -11 + 15. Suppose 4*s - 45 = 5*f - 304, o*f - 209 = 5*s. Is f a multiple of 17?
True
Suppose -5*j + 391 = 16. Suppose 7*v = 10*v - j. Is v a multiple of 5?
True
Let v = 1507 + 127. Does 22 divide v?
False
Let f(x) = -130*x - 6. Does 31 divide f(-1)?
True
Is (72/(-21))/(26/(-3276)) a multiple of 5?
False
Does 74 divide ((-6 - -4) + 2666)*(-6)/(-9)?
True
Let t(c) = -20*c - 7. Suppose -1 = -a - 8. Does 29 divide t(a)?
False
Suppose -2*p - 3*k = -0*k + 69, -4*p + 4*k = 88. Let b(c) = -c + 19. Let w be b(7). Does 9 divide (p/(-12) + -1)*w?
False
Let z(p) = 3*p**3 - 52*p**2 - 2*p - 15. Let q(h) = -4*h**3 + 78*h**2 + 3*h + 22. Let t(c) = -5*q(c) - 7*z(c). Does 7 divide t(-26)?
True
Suppose 3*z - 480 = -2*a + 744, -3*z = a - 612. Is a a multiple of 34?
True
Let o = 63 - 60. Suppose -2*q + 900 = o*q - 2*v, -336 = -2*q - 4*v. Does 39 divide q?
False
Suppose 4*z = -z + 15. Let i be (0 - (z + -1))*7. Is (-1083)/(-21) + (-6)/i a multiple of 18?
False
Suppose -n = 2 - 6. Suppose 4*m + n*o - 210 = -6, 4*o = -m + 36. Is m a multiple of 14?
True
Is 23/((-1150)/(-40))*21970/4 a multiple of 13?
True
Suppose -6*s - 4*w = -2*s - 164, -w = -5*s + 175. Let a = -24 + s. Suppose g + 4*g = -l + a, l - 40 = 2*g. Is l a multiple of 16?
True
Let n(w) = -10*w**2 + 3*w**2 + 11*w - 3 + w**3 + 2. Is n(7) a multiple of 19?
True
Suppose 1027 = 2*x + 3*o, -1392 = -3*x + 4*o + 157. Let c be x/11 + 14/77. Is 8 a factor of c/(3 - (-2 + 4))?
False
Suppose 15*p - 900 = 14*p + 5*g, -5*p + 2*g + 4454 = 0. Does 57 divide p?
False
Suppose -3*m + 8*m + 378 = 4*k, 5*k - 10 = 0. Let u = m + 96. Is u even?
True
Suppose -h - 15 = 5*i + 39, -i + 36 = -h. Let u = h - -123. Is u a multiple of 17?
False
Let y(j) = j + 19. Let i be y(-16). Let p(c) = -8 + 2 + 5*c - i*c + 3*c**2 - 6*c. Is p(4) a multiple of 13?
True
Let k be 3 - 4/(0 + -1). Suppose -k*m = -m - 8484. Does 5 divide 2/(-11) - m/(-154)?
False
Does 52 divide ((-33)/(-11)*-827)/((-6)/10)?
False
Let n = 1118 - 355. Does 13 divide n?
False
Let u(y) = 12*y**3 + 4*y**2 - 5*y + 1. Let a be u(4). Is (21/(-9) - -2) + a/9 a multiple of 10?
True
Suppose 5*f - 15 = 2*g, 5*g - 7 + 1 = -2*f. Suppose -5*y + 14 + 21 = g. Suppose -6*h = -y*h + 32. Is 9 a factor of h?
False
Let v = 2181 - 1380. Does 14 divide v?
False
Is 21 a factor of (-25)/(-15)*(-15579)/(-45)?
False
Let t(p) = p**3 - 3*p**2 + 1. Let z be t(3). Let o(x) = -163*x**3 - x**2 + x - 1. Let k be o(z). Is 9 a factor of 2/(-6) - k/6?
True
Is 8 a factor of (0 - -1)/(0 - (-3)/120)?
True
Let t = 3510 - 1333. Is 70 a factor of t?
False
Suppose 3*k + 3*q = -0*q + 828, 5*k - 2*q - 1352 = 0. Is 4 a factor of k?
True
Let w(v) = -6*v**3 + 7*v**2 + 7*v + 139. Let q(n) = -5*n**3 + 6*n**2 + 6*n + 139. Let k(g) = 7*q(g) - 6*w(g). Is k(0) a multiple of 18?
False
Let v(y) = -69*y - 598. Does 11 divide v(-14)?
False
Suppose m + 3*m = 5*z - 44, -5*z = 3*m - 37. Let t(u) = -u**3 + 7*u**2 + 10*u + 9. Let k be t(z). Suppose k*v + 95 = 26*v. Is v a multiple of 38?
False
Suppose -3*n - 5*u + 1 = -9, 5*n + u = -20. Let i(m) = -m**2 - 3*m + 12. Let z be i(n). Is z/7 - (-82)/7 a multiple of 6?
True
Let u be 1 + -1 + 474/(-3). Let w = u + 328. Let m = -99 + w. Is m a multiple of 18?
False
Suppose -13 = -7*m + 8*m. Let h = -12 - m. Does 24 divide h*48 + -3 + 3?
True
Let z = 926 + -688. Is 12 a factor of z?
False
Let m = 32 - 32. Suppose 4*i - 1293 - 411 = 0. Suppose 5*c + c - i = m. Is c a multiple of 21?
False
Let x(v) = 401*v**3 + 2*v**2 + 3*v - 1. Is 45 a factor of x(1)?
True
Let r(h) = 12*h - 1. Let i = -6 - -7. Let z be r(i). Suppose -n = -0*n - z. Is n a multiple of 3?
False
Suppose 12*q = 9*q - 6. Let s(u) = -11*u**3 + u**2 - u + 2. Is s(q) a multiple of 16?
True
Let q be 4/18 + 2288/72 + -5. Suppose 0 = -a + 9 + q. Does 9 divide a?
True
Let o = 37 + -51. Let a = 85 + o. Does 39 divide a?
False
Is 20511/27 + (-2)/(-6) a multiple of 44?
False
Suppose 20*t - 14*t + 132 = 0. Does 11 divide 4*t/(-8)*5?
True
Let x(i) = -8*i**3 - i**2 - 2*i + 14. Is x(-5) a multiple of 37?
True
Suppose -92 = -u + 31. Suppose -u = -21*p + 20*p. Is 15 a factor of p?
False
Let n(p) = 75*p**2 - p + 2. Let a(w) be the second derivative of w**4/12 - w**3/3 + w**2/2 + w. Let k be a(2). Is n(k) a multiple of 19?
True
Let p = 106 + -7. Is 11 a factor of p?
True
Suppose 0*z = -4*z + 116. Suppose -3*l - 74 = -5*b, -4*l = 4*b - 101 + z. Is b a multiple of 8?
True
Let a(q) = 5*q**3 + 2*q**2 - q - 2. Let x be a(-1). Is (22/8)/((-1)/x) even?
False
Let h(n) = -n**2 - 2*n**2 + 3*n**2 - n**2 + 13. Let i be h(0). Let t = 44 - i. Is 12 a factor of t?
False
Let t(m) = 3*m - 12. Suppose 174 - 57 = 9*i. Does 9 divide t(i)?
True
Suppose -3*a - 3*c + 255 = 0, 3*c = -a + c + 87. Does 13 divide a?
False
Let w be 46/((32/30)/8). Suppose -d + 5*u + 10 = -37, 5*d - w = 3*u. Suppose -2*z + d = 2*z. Does 4 divide z?
False
Suppose -9*x + 1769 + 3253 = 0. Does 9 divide x?
True
Let d = 39 + -36. Suppose d*f = 4*o + 157, 2*o = -2*f + 136 - 36. Does 18 divide f?
False
Let w be (3 - 2)/(-3) + (-440)/(-15). Suppose w = 6*h - 43. Is 6 a factor of h?
True
Let r(k) = 9*k - 23. Let a be r(23). Let o = a + -76. Is o a multiple of 12?
True
Let r(s) = -14*s**3 - 8*s**2 + 5*s + 28. Does 41 divide r(-5)?
False
Let l = 325 + -199. Does 38 divide l?
False
Let o(z) = -z - 1. Let q(p) = 3*p + 5. Let y(j) = 4*o(j) + q(j). Let k be y(-4). Suppose -3*m = m + 5*w - 70, 5*m - k*w = 65. Is m a multiple of 4?
False
Let q be (-1)/(-3) + (-2560)/(-15). Is 2/(-13) - (-5)/65*q a multiple of 5?
False
Let y(x) = x**3 + 5*x**2 + 3*x - 3. Let d be y(-4). Let w be (-1 + d)*(-1)/(-1). Suppose -s - 1 + 21 = w. Is s a multiple of 4?
True
Suppose 4*j = 4220 + 1252. Does 24 divide j/30 - (-1 - 16/(-10))?
False
Suppose r + 50 = 5*u + 2*r, 2*u - 20 = 2*r. Suppose 0 = 2*m + 4*i - u, -4 = -2*m + 2*i - 0*i. Let b(j) = 3*j**2 + 3. Is b(m) a multiple of 15?
True
Let m = -12 - -37. Let j = m - -16. Let y = j + -16. Is 20 a factor of y?
False
Suppose 0 = -n - 2*n. Suppose n = -4*h + h. Suppose h = 3*x - 2*x - 16. Is 4 a factor of x?
True
Let r(d) = -d**3 + 11*d**2 + 7*d - 16. Let y(p) = 6*p - 7. Let l be y(3). Is 21 a factor of r(l)?
False
Let z = 15 - 40. Let m = 34 + z. Suppose 2*x = 2*y - 70, -3*y - 5*x + 98 - m = 0. Is y a multiple of 13?
False
Let s(f) = f**3 + 3*f**2 - 2*f - 4. Let k be s(-4). Is (-171)/(-6)*(-40)/k a multiple of 32?
False
Suppose -16*t - 746 = -19*t + 5*d, -4*t + 1002 = -3*d. Is 126 a factor of t?
True
Let c be -1 + 5 + -5 + 3. Suppose -7*p = -c*p + 5*w - 455, -2*p + 3*w + 207 = 0. Does 8 divide p?
True
Let a(r) = r**2 + 8*r + 9. Let k be a(-4). Let w be k - -13 - 4*1. Suppose -17 = -w*l + 21. Is l a multiple of 17?
False
Suppose 3*i = 5*i. Suppose i = -2*r - r + 27. Is r a multiple of 7?
False
Suppose 0 = 29*o + 2225 - 54367. Is 39 a factor of o?
False
Let f(n) = n**2 + n - 1. Let q(k) = 8*k**2 + 3*k - 7. Let b(o) = 5*f(o) - q(o). Let y be b(2). Let s = 29 + y. Is s a multiple of 9?
False
Let w be 3*(-1 - 9*-1). Let x = -4 + w. Let j = 54 - x. Is j a multiple of 7?
False
Let a(f) be the second derivative of f**5/20 + f**4/12 - f**3/6 + 19*f**2 - 18*f. Is 5 a factor of a(0)?
False
Let j be ((-6)/(-4))/3*0. Let x = -2 + 7. Suppos