s 18 a factor of x?
True
Suppose -y + 3*y - 62 = 0. Let j = -10 + y. Suppose -3*k + j = h, 6*h - 82 = 4*h + 4*k. Is h a multiple of 6?
False
Let a(r) = r**2 + 13*r + 12. Let l be a(-13). Let o be (2/4)/(1/l). Suppose o*t - t - 345 = 0. Is 12 a factor of t?
False
Let g(c) be the second derivative of -c**5/120 + 7*c**4/6 - c**3/2 - 10*c. Let w(y) be the second derivative of g(y). Does 8 divide w(-12)?
True
Let i(a) be the second derivative of -a**3/3 - 2*a**2 + 3*a. Let u be i(-4). Is 4 - ((-267)/3 + u) a multiple of 34?
False
Let u = -2058 - -4045. Does 24 divide u?
False
Let d be (-9696)/(-20) + (-2)/(-10). Suppose 5*v = -2*r + 4*v + 181, 5*r - 4*v - d = 0. Does 6 divide r?
False
Let u(w) be the third derivative of -w**6/120 - 17*w**5/60 - 23*w**4/24 - 35*w**3/6 - 8*w**2. Is 25 a factor of u(-16)?
False
Let b(d) = d**3 - 6*d**2 + 5*d - 3. Let m be b(6). Let g = m - 6. Let a = g + 16. Is 13 a factor of a?
False
Suppose 0 = 2*i - 4*b - 510, -7*i + 11*i - 1006 = b. Does 55 divide i?
False
Let c = -19 + 21. Suppose -u + 3*u - 204 = -4*j, -110 = -c*j - 3*u. Is j a multiple of 7?
True
Let b(h) = 5*h**2 - 4*h - 1. Let a be b(-3). Let q = a + -44. Is 4 a factor of q?
True
Let f be (2/(-4))/((-2)/(-4)) - 1. Is 13 a factor of f + 3 - 87/6*-2?
False
Let i be 4/(-10)*-5*1. Let q be i/(-3) - 70/(-6). Suppose -a + q = -5. Does 16 divide a?
True
Let k(c) = c**3 - 9*c**2 - 2*c + 15. Let n be k(9). Let z(v) = 4 - 4 + 4*v + 6*v**2 + 3 - 2*v**2. Is 7 a factor of z(n)?
False
Suppose -3*u + 3 + 0 = 0, 5*k - 29 = -4*u. Let c be (0 + -117)*1/(-1). Suppose -73 - c = -k*h. Is 9 a factor of h?
False
Let r(n) = -38*n**3 - 3*n**2 + 7. Does 5 divide r(-2)?
False
Does 21 divide (-2092)/(-3)*(-18)/(-12)?
False
Let x(g) = -5*g**3 - 19*g**2 + 14*g - 24. Does 12 divide x(-9)?
True
Suppose -20*g + 261 = -19*g. Does 9 divide g?
True
Let c be 2/(-3) + 94/6. Suppose 0 = -2*m + 5*m + 24. Let h = m + c. Is 2 a factor of h?
False
Let d(g) = -g**3 - 12*g**2 + 33*g - 9. Let w be d(-14). Does 33 divide (-10)/6*w - (-2)/6?
True
Suppose -b + 3*m + 354 = 0, -4*m - 1072 = 3*b - 6*b. Is b a multiple of 15?
True
Suppose -95*b = -89*b - 6186. Is b a multiple of 30?
False
Let k be 2/14 - 113/7. Let v be k/(-9) + 18/81. Suppose -22 = -v*o + o. Does 22 divide o?
True
Let v be 0 + -1*5/1. Is (-3 - v)/(1/7 + 0) a multiple of 4?
False
Let m = -31 - 9. Is 4 a factor of (m/15 - -2)*-66?
True
Let p(u) = 10*u + 8. Let z(l) = 21*l + 15. Let j(a) = 9*p(a) - 4*z(a). Does 12 divide j(20)?
True
Suppose -8*t + 4*t = -16. Let o be t/4*(-4 + -1). Does 20 divide 1/5 + (-324)/o?
False
Let x = 139 + 32. Let u = x + -103. Suppose 2*k + 19 = 2*b - 3, -3*b + u = 4*k. Is 5 a factor of b?
False
Let c be ((-2)/(-4))/((-25)/(-1800)). Is 3 a factor of 5*(c/10 + -3)?
True
Let x = 689 - 392. Is 26 a factor of x?
False
Suppose 0 = -13*y + 1353 - 14. Is y even?
False
Let c(u) be the second derivative of u**4/4 + 2*u**3/3 - 6*u**2 + 21*u. Is 12 a factor of c(-6)?
True
Let z = 76 + -74. Suppose 0 = -5*x + 4*n + 220, 3*n + 47 = z*x - 41. Is x a multiple of 6?
False
Let y be (-1)/(1/2) - (-4)/1. Suppose -2*h - y*m - m = -109, 3*h - 166 = -2*m. Is h a multiple of 11?
False
Let j = 140 + -63. Is 7 a factor of j?
True
Suppose 136780 = 53*i - 14588. Is i a multiple of 61?
False
Suppose 34*h - 31*h - 6 = 0, -a + h + 324 = 0. Does 33 divide a?
False
Suppose -5*g + 103 - 327 = 4*p, 2*g = 2*p - 86. Let x = 44 - g. Does 11 divide x?
True
Is 79 a factor of (-1200)/(-5) - -3 - (8 + -2)?
True
Let n be (2 - 2) + (3 - 3). Suppose -11*k + 13*k - 120 = n. Is 12 a factor of k?
True
Let t(l) = -l**2 - l + 3. Let v be t(0). Let h(s) = 29*s - 9. Is 24 a factor of h(v)?
False
Let y(a) = -a + 12. Let d be y(7). Suppose -3*t - 5*f + 118 = 0, -d*t + 94 = f - 132. Is t a multiple of 23?
True
Suppose 14 + 7 = 7*j. Suppose -j*k + 18 = -12. Is 9 a factor of k?
False
Suppose -3*c - 12*s + 8*s = -539, -5 = 5*s. Does 38 divide c?
False
Suppose 5*u = u - 5*g + 1310, 0 = -5*u - 3*g + 1631. Let d = -204 + u. Is d a multiple of 11?
True
Let w be (-16 + 4)/(-4) + 12. Does 7 divide (-10)/w*90/(-4)?
False
Let t(p) = 0*p**3 - 2*p**2 + 3*p**2 - p**3 + 10 + 4*p - 5*p. Let x be t(0). Suppose -35 = -5*f - x. Does 3 divide f?
False
Let a(g) be the third derivative of 7*g**4/24 - g**3/2 + 4*g**2. Let w be a(16). Suppose -5*c + 301 + w = 0. Is c a multiple of 30?
False
Let q(s) = 12*s + 10. Let b be ((-30)/12)/((-3)/(-6)). Let c be q(b). Is 11 a factor of (-4 - c/2) + 0?
False
Suppose -3*y = 2333 - 8339. Is y a multiple of 77?
True
Let i = 19 - 22. Let a = 21 + i. Is 9 a factor of a?
True
Let h = -11 + 5. Let u be (-3)/h + 5/2. Suppose -4*s + u*d + 104 = -32, 0 = 2*d. Does 17 divide s?
True
Let b = -1094 + 2571. Is b a multiple of 11?
False
Suppose -2*r - 2 = 2*q, -r + 0*q + 3*q + 15 = 0. Suppose r*j - 7 = 2*s, 1 = -3*s - 2*j + 10. Let w = s - -6. Is w a multiple of 7?
True
Suppose 5*w - 3*w - 12 = 0. Suppose 5*l - l - w = -m, l = 2*m + 6. Suppose -l*n + 26 = -18. Does 22 divide n?
True
Suppose u = 81 - 24. Suppose 9 - u = -4*z. Is z a multiple of 2?
True
Let c(t) = -t**2 - 4*t + 3. Let a = -8 - -3. Let m be c(a). Is 9 a factor of m + 148/4 + 1?
True
Let n = 244 - 131. Suppose n = -5*v + 508. Is 29 a factor of v?
False
Let c = -2 + 169. Is ((-6)/(-3) - 1)*c a multiple of 13?
False
Suppose 4*c + 5*u = -15545, -c + 4*u = 437 + 3423. Is (-14)/(-63) - c/36 a multiple of 6?
True
Let j = -13 - -17. Suppose -2*o + 3*v = -v - 86, j*v + 12 = 0. Let s = o + -25. Does 6 divide s?
True
Let z(t) be the first derivative of -13*t + 2 + 7/2*t**2. Is 16 a factor of z(9)?
False
Let u = 17 - 12. Suppose -s - q = -15, -61 = 2*s - 6*s - u*q. Is 15 a factor of 4/s - (-2817)/63?
True
Let t(a) = -a + 10. Let i be t(10). Does 13 divide (29 + -3 + i)/1?
True
Let n(h) = -1 + 3*h**2 - 8 - 5*h**2 - 2 - 20*h. Is 3 a factor of n(-9)?
False
Suppose 11*z = 41 + 3. Suppose -n + 3*q - 432 = -z*n, -4*q = 0. Does 24 divide n?
True
Let q(m) = -26*m - 1. Let x be q(-2). Let k = x + -9. Suppose 4*p = 2*p + k. Is p a multiple of 7?
True
Let z be -1 + ((-8)/4 - -3). Let p be -2*(z - 153/6). Suppose -8*g + p + 621 = 0. Is 28 a factor of g?
True
Suppose -3*r = -5*j - 50, -2*r + 28 = -0*r - 2*j. Suppose 0 = 16*x - r*x - 72. Is 3 a factor of x?
True
Suppose -6*c + 20 = -c. Suppose c*t - 28 = 8. Does 4 divide t?
False
Suppose 60*p = 7*p + 19292. Does 14 divide p?
True
Suppose 0 = 7*u - 5 + 40. Is 4 a factor of (((-12)/u)/(-2))/(48/(-1560))?
False
Let z = -1292 + 2109. Is 43 a factor of z?
True
Let q(z) = z**3 - 8*z**2 + 8*z - 4. Let v be q(7). Let r be (-4 - 2)*v/(-3). Does 5 divide (r*11)/(10/5)?
False
Let z be 8/(-68) - (-159)/51. Suppose c + z*c = 3*y + 18, y = -2*c + 14. Does 3 divide 74/4 + c/(-4)?
False
Let r(p) = -86*p - 55. Is 8 a factor of r(-5)?
False
Let s = 2 + -6. Let g = -26 - -50. Let o = s + g. Is 5 a factor of o?
True
Suppose 5*q - 3*b - 30 = -2*b, 4*b = 4*q - 8. Suppose 4*s = q + 53. Suppose -5*v - 4*i + 62 = 0, -3*v + s = -3*i - 2*i. Is v a multiple of 2?
True
Let q = -49 - -53. Suppose q*s - 263 - 269 = 2*c, 536 = 4*s - c. Is 27 a factor of s?
True
Suppose -71*n = -69*n - 1350. Does 25 divide n?
True
Suppose 0*d = -d + 2, -4*d + 1628 = 4*w. Does 13 divide w?
False
Let d = 121 - 40. Suppose 0 = -4*r + d + 123. Is r a multiple of 13?
False
Suppose 132235 = 129*l - 240188. Does 11 divide l?
False
Suppose 24*z - 20*z = -3*d + 3879, -2*d + 2584 = 2*z. Is d a multiple of 30?
False
Let v = -111 - -122. Is v a multiple of 2?
False
Suppose 0 = -17*c - 7*c + 10944. Is c a multiple of 8?
True
Let b(f) be the first derivative of -6*f**2 - 45*f - 55. Is b(-18) a multiple of 19?
True
Suppose 6*x + 382 = 7822. Is x a multiple of 71?
False
Let c be 1 + (6/3 - 4). Let z be c/(-4) + (-14)/(-8). Does 19 divide z - (2 + -3)*32?
False
Let c = 1819 - 1390. Is c a multiple of 73?
False
Does 4 divide (-135)/630 + (-13625)/(-14)?
False
Let u(z) be the first derivative of -z**4/4 + 8*z**3/3 - 3*z**2 + 7*z + 3. Does 8 divide u(6)?
False
Suppose 15 = -5*q, -4*x + 4*q + 19 = 3*q. Let g(j) = j**3 - j + 1. Let l be g(x). Suppose -3*y = m - l, -5*m + 3*y + 235 = 4*y. Is 12 a factor of m?
False
Suppose -3*u + 16 = -u. Suppose 0*s - u = -5*s - 3*m, -8 = 2*m. Suppose 27 + 85 = s*g. Is 14 a factor of g?
True
Let n be (-22)/(-8) + 1