24 + -22. Suppose 0 = t - 4*y - 91, 4*t - 4*y + s*y - 378 = 0. Does 28 divide t?
False
Suppose 1 = y + c, -4*c + 2*c + 2 = -3*y. Is 26 a factor of -3 + 171/3 + y?
False
Does 17 divide -56*(-3)/(-6)*-17?
True
Suppose 7 + 3 = -5*b. Let q be ((-255)/6)/((-1)/b). Let v = -61 - q. Is 8 a factor of v?
True
Let c(h) = -h**2 + 11*h - 3. Let d be c(11). Let u be -2 + (-5)/(5/d). Let p = u + 7. Is 6 a factor of p?
False
Suppose 0*r + 449 = 2*y - r, 0 = y + 3*r - 221. Suppose 31 = u - s - 84, -y = -2*u - 4*s. Is 14 a factor of u?
False
Suppose -12*m = 19 - 211. Is m a multiple of 14?
False
Suppose 0 = 6*u - 297 - 15. Is 4 a factor of u?
True
Let q = -5 - -2. Is 15 a factor of (1020/18)/((-2)/q)?
False
Suppose 124 - 334 = -6*f. Is f a multiple of 16?
False
Let s be (0/(-6) + -3)/(3/8). Let x(j) = j**3 + 9*j**2 + 6*j + 12. Is x(s) a multiple of 3?
False
Suppose 2*a - 399 = 515. Let y = a - 210. Does 22 divide y?
False
Suppose -600 + 130 = -w. Does 14 divide w?
False
Suppose -3*i = -i. Suppose -h + 35 + 189 = i. Suppose -c = 3*c - h. Does 22 divide c?
False
Suppose -t = -0*t - 5. Suppose -56 = t*f - 166. Suppose -s - 146 = -5*r, -r = -s - f - 4. Is 10 a factor of r?
True
Suppose k - 878 = -3*q, -k + 1121 = 5*q + 241. Does 5 divide k?
True
Let j be (0 - 0/(-2)) + -3. Let q(l) = l**3 - 3*l**2 + 4 - 28*l + l**2 + 29*l - 2*l**3. Does 4 divide q(j)?
False
Let z(w) = 148*w - 74. Does 11 divide z(5)?
False
Let k(n) = n**2 + 11. Let a be k(0). Let u = a + 14. Does 7 divide u?
False
Suppose -5*b + 6 = b. Let u be (17 + b)*(-10)/(-4). Suppose -5*c = -185 - u. Does 23 divide c?
True
Suppose -11*u + 2437 = -1853. Does 30 divide u?
True
Let t(d) = 67*d**2 - 7*d - 5. Does 18 divide t(-2)?
False
Suppose -4*l + 4*z + 40 = 0, 4*l + 3*z = -0*z + 5. Suppose 4*t = -l*w + 380, -w = w - 5*t - 119. Is 24 a factor of w?
True
Let l(s) = -351*s**2 - s - 6. Let i(f) = -70*f**2 - 1. Let t(h) = -11*i(h) + 2*l(h). Let b be t(-1). Is 9 a factor of b/5 + 2/10?
False
Let g = -25 + 55. Suppose -10 + g = 5*w. Suppose 10 = 2*f - 0, w*h - 73 = -5*f. Does 8 divide h?
False
Suppose -4*m + 2*l - 579 = -7*m, 2*m - 385 = -l. Suppose -5*a = -m - 69. Does 13 divide a?
True
Suppose -6*k + 5*k + d = -121, -3*d = k - 117. Is 10 a factor of k?
True
Is 7 a factor of (-187688)/(-216) - (-2)/27?
False
Let j(p) = 58*p**2 + 23*p + 130. Does 46 divide j(-4)?
True
Suppose 4*a - 64 = 5*p, -3*a = -a - 3*p - 32. Is 19 a factor of 60/16 + -3 - (-2676)/a?
False
Suppose 8*a + 3 = 19. Is 23 a factor of 240/12 + 2 + a?
False
Let u(x) = x + 7. Let t be u(0). Is 5 a factor of t/(-14) - 174/(-4)?
False
Suppose 7*y - 5 = 16. Suppose -5*w + y*h + h = -248, 0 = w + 3*h - 61. Does 5 divide w?
False
Let i(q) = -6*q**3 - 2*q**2 + 3*q - 1. Let v be i(1). Does 13 divide 1*(-4)/v + (-1015)/(-21)?
False
Suppose 2502 = 2*s - i, 5*i = 496*s - 499*s + 3766. Does 9 divide s?
False
Let t be 32*2*(-2)/4. Let g = t - -44. Does 4 divide g?
True
Let s(d) = 35*d**3 - 2*d**2 + 15*d - 26. Does 14 divide s(3)?
False
Suppose 2*f + 3*f + 90 = 0. Is (f/12)/((-2)/36) a multiple of 27?
True
Let n(p) = -p**2 + 5*p + 10. Let m be n(6). Suppose -m*h + 3*h + 3 = 0. Suppose -q = r - 38, 47 = h*r - 2*q - 72. Is r a multiple of 7?
False
Suppose -4*w + 766 - 4 = 2*z, 15 = -3*w. Does 16 divide z?
False
Suppose -18 = -3*y - 9. Let r be 2/y + (-22)/33. Suppose r = -l + 2*n + 34, 8*l - 3*l + 5*n = 140. Is 15 a factor of l?
True
Is (-3)/(-2)*7/((-35)/(-180)) a multiple of 6?
True
Let c be 2/(-6)*3 - -254. Suppose -4*o + c + 459 = 0. Is 27 a factor of o?
False
Let z(d) = 15*d**3 - 2*d**2 + 2. Let m be z(3). Suppose 21 = 5*s - m. Let i = -24 + s. Is i a multiple of 13?
False
Let n be (1 + 0)/(5/190). Does 20 divide n/(1/((-25)/(-10)))?
False
Suppose -6*f = 8*f - 1652. Is f a multiple of 7?
False
Let c(b) = -2*b + 111. Is c(5) a multiple of 33?
False
Let d(f) = f**2 + f - 7. Let a be d(-4). Suppose a*i = k + 127, -5*i = -4*i + k - 29. Let s = 47 - i. Does 7 divide s?
True
Let d(o) = -o - 1. Let s be d(-3). Let n(b) = -b**2 - 4*b + 24. Let v be n(3). Suppose -4*g = 3*t + s*t - 301, v*t - 175 = -g. Does 19 divide t?
True
Let v(s) = -s - 23. Let r be v(-7). Is 11 a factor of (-88)/r*(11 - 1)?
True
Let g be 2*35 + (4 - 3)*1. Suppose 5*l + 4*f - 300 = 0, f + 2*f = -l + g. Is 14 a factor of l?
True
Let y = -1306 + 2530. Suppose 5*v - w = 0, 4*v + v - 20 = -3*w. Is (v/(-2))/((-9)/y) a multiple of 17?
True
Suppose 0 = q - 4, 2*r + q - 13 = -r. Suppose 0 = -t - 2*l - 3, -t - l = -r*l - 5. Is (t + 31/(-1))*-1 a multiple of 15?
True
Let y(z) = -4*z + 29. Suppose 2*g + 21 + 22 = 3*d, -5*g + 5*d - 105 = 0. Is y(g) a multiple of 15?
False
Let k be ((-128)/(-80))/((-2)/(-15)). Suppose 0 = -u - 5*w + k, 2*w - 3*w + 48 = 4*u. Is u a multiple of 6?
True
Let p(n) = 3*n**3 - 4*n**2 - 14*n + 38. Is p(8) a multiple of 7?
False
Suppose -210*p = -206*p - 2600. Does 25 divide p?
True
Let l = -1499 + 1857. Is l a multiple of 35?
False
Let u = 294 - 166. Does 9 divide u?
False
Let n(x) be the second derivative of 3*x + 0 + 1/2*x**3 + 5/2*x**2. Is 17 a factor of n(4)?
True
Let v(b) = -9*b - 3. Let j = 11 + -9. Suppose -j*c + 6 = -2*s + 22, 0 = -2*c + 3*s - 17. Is v(c) a multiple of 12?
True
Suppose 0 = 15*g - 18*g + 48. Is g even?
True
Suppose -15*t - 294 = -20*t + 4*p, 2*p = -t + 70. Is t a multiple of 37?
False
Is (-112665)/58*(-8)/10 a multiple of 111?
True
Let k be (3 + (-132)/28)*7. Is (-30)/(-8) + (-3)/k a multiple of 2?
True
Let p = 2 + 2. Suppose p*z - 3*z - 75 = 0. Does 25 divide z?
True
Let i be (3 - 8) + 3 - (-428 + 3). Suppose 6*v - i = 699. Is v a multiple of 21?
False
Let l = 502 - 91. Is 3 a factor of l?
True
Let l = 21 - 11. Suppose 0 = l*g - 5*g - 75. Is g a multiple of 15?
True
Suppose -j = -5*q - 30, -2*j + j = -4*q - 24. Let g be (8/q)/(2/6). Is 0 + 297/3 + g a multiple of 19?
True
Let c be (2 + 6)*-1*1. Let d(b) = -b**2 - 1. Let n(x) = -8*x**2 - 10*x. Let r(m) = 6*d(m) - n(m). Is r(c) a multiple of 15?
False
Suppose 5*p + 2257 = 5*o - 218, 5 = -p. Is 7 a factor of o?
True
Let x(c) = 52*c + 4. Let m be x(5). Suppose 0 = -j + 5*j - m. Is 15 a factor of j?
False
Suppose -1208 = 4*w - 8*w. Let o = w + -143. Suppose -3*h + 3*f = -o, 2*f - 100 = -2*h + f. Is h a multiple of 16?
False
Suppose 25 = -88*q + 89*q. Suppose q*u - 23*u - 404 = 0. Is u a multiple of 10?
False
Let y(w) = w**3 - 6*w**2 - 25*w + 103. Is 7 a factor of y(9)?
False
Let w(p) = -144*p**2 + 5*p - 23 + 5*p + 12*p + 143*p**2. Does 6 divide w(20)?
False
Let k(z) = z**3 + z**2 - z + 4. Let x be k(0). Suppose 290 = x*o - 486. Does 26 divide o?
False
Let k(d) = -27*d**3 - 2*d**2 - 10*d - 9. Is k(-3) a multiple of 117?
False
Does 3 divide (43/129)/(2/84)?
False
Let h = -1052 + 3143. Does 104 divide h?
False
Let x(a) = a**3 - 6*a**2 + 3*a + 806. Is 26 a factor of x(0)?
True
Suppose 0*c - c + 133 = 2*v, -379 = -3*c + 4*v. Is 14 a factor of c?
False
Suppose -9628 = -4*v - 5*m, -5*v + 12429 = -4*m + 353. Is v a multiple of 7?
False
Suppose -g + 4*f = 21, g + 5*f + 30 = -4*g. Does 9 divide (-165)/g - (-4)/6?
False
Let z(b) = b**3 + 7*b**2 + 5*b + 6. Let h be z(9). Suppose -h = -4*x - w, x + x - w - 681 = 0. Is x a multiple of 46?
False
Suppose 0 = -3*b + 4*l + 2480, 0 = 6*b - b + 4*l - 4176. Does 13 divide b?
True
Let a(m) = -85*m + 5. Let r be a(4). Let y = -146 - r. Does 13 divide y?
False
Let y(z) = z**3 + 7*z**2 - 2*z + 10. Let f be y(-7). Suppose -79 = -5*c - f. Let j = 12 + c. Is j a multiple of 7?
False
Suppose -5*a + 18 + 47 = 0. Suppose -27 = -w - a. Is w a multiple of 7?
True
Suppose 4*n - 1828 = -5*j, -4*n + 3*j + 1427 + 401 = 0. Is n a multiple of 46?
False
Let g(a) = -10*a**2 + 16*a**2 + 4*a - 4*a**2 + 8. Is 28 a factor of g(-6)?
True
Suppose -c - 28 = 144. Let b = c + 118. Let x = 127 + b. Does 19 divide x?
False
Let s(p) be the first derivative of p**4/4 + 11*p**3/3 + 11*p**2/2 + 7*p + 2. Does 20 divide s(-8)?
False
Let g(h) = h**2 + 29*h - 20. Let t be g(22). Is t/8 + (-3)/(-12) a multiple of 23?
True
Suppose 197 = x + m - 8, -12 = 3*m. Is x a multiple of 11?
True
Suppose 0 = 5*p - 2 - 13. Suppose 2*o + 800 = 4*t + 74, -3*o = p*t - 531. Is t a multiple of 36?
True
Suppose -f = g - 3 + 1, 0 = 5*f + g - 2. Suppose f = 18*b - 14*b - 416. Does 13 divide b?
True
Let x be (1*(1 + -3*5))/(-1). Suppose -7*i = 