t y = -1 - 2. Let i(u) = -u**3 + u**2 + 4*u. Is i(y) a multiple of 5?
False
Let u = 502 - 72. Does 86 divide u?
True
Let f be (18/15)/(3/50). Suppose 22*q - f*q - 240 = 0. Is q a multiple of 12?
True
Suppose -19*t = -22*t - 45. Is 12 a factor of 2322/16 + t/120?
False
Suppose -9 = 4*q + 5*d, 12 = q - 4*d - 12. Suppose 0 = 5*a + 2*f - 881, -3*f = q*a - 4*f - 697. Is a a multiple of 35?
True
Suppose 3720 = 4*z - 5*y, -9*y = -z - 8*y + 931. Does 20 divide z?
False
Let c = 13 - 8. Suppose -a = -32 - c. Is 19 a factor of a?
False
Let j = 575 - 350. Does 8 divide j?
False
Is (225/2)/((-81)/(-108)) a multiple of 50?
True
Let a(w) = 4*w**3 + 5*w**2 + 4*w - 14. Is a(5) a multiple of 77?
False
Let a = 218 + -146. Is a a multiple of 8?
True
Let d(r) = 9*r**2 - 11*r + 39. Does 10 divide d(4)?
False
Suppose 38*b - 33*b = 0. Suppose -288 = -6*g - b*g. Is 12 a factor of g?
True
Let g(i) = 182*i**2 + 9*i + 11. Let o(t) = -91*t**2 - 4*t - 5. Let y(p) = -4*g(p) - 9*o(p). Is y(1) a multiple of 17?
False
Let j(g) = g - 2. Let d be j(1). Let u be 9 + d/(4/12). Is 2 + -4*(-3)/u a multiple of 4?
True
Suppose -1450 = -3*l + 182. Is 32 a factor of l?
True
Let k be 19 + 1*(-2 - -1). Let z = 26 - k. Suppose -3*r - 100 = -z*r. Is r a multiple of 10?
True
Let h be 0 + 2 - 7/((-14)/(-10)). Does 7 divide 52 - ((-3 + -3)/h - -1)?
True
Suppose 4880 = 3*p + 15*z - 19*z, 3*z - 4845 = -3*p. Does 14 divide p?
False
Let u = 312 - 244. Is 17 a factor of u?
True
Let d(m) = m**2 - 18*m + 10. Let l be d(18). Is (5/l)/(2/20) a multiple of 5?
True
Let c = 398 + -12. Is 6 a factor of c?
False
Is 86 a factor of 2/5*(-1159580)/(-296)?
False
Let t(y) = 11*y**2 + 5*y - 4. Does 5 divide t(1)?
False
Suppose -3*h + 10 + 2 = 0. Suppose 2*x = h*x - 30. Is (-4)/(-6) - (-530)/x a multiple of 9?
True
Suppose 0 = -9*g + 4*g + 145. Suppose -4*d = -5*s - 53, 0 = -3*s + 5*d - 8 - g. Let u = s - -18. Does 4 divide u?
False
Let p = 177 + 79. Is p a multiple of 64?
True
Let w(n) = -21*n**3 - 6*n**2 - 33*n - 122. Is w(-4) a multiple of 46?
False
Let g be ((-65)/26)/((-102)/52 + 2). Let o = g + 154. Is o a multiple of 12?
False
Let v(a) = 3*a**2 - 21*a + 5. Let f be v(14). Let q = -92 + f. Is q a multiple of 13?
False
Let m(g) be the third derivative of g**6/120 + 19*g**5/60 + 11*g**4/12 - 13*g**3/3 + 25*g**2. Is 65 a factor of m(-16)?
True
Suppose -4*i + 20 = i, 0 = -2*b - 5*i - 328. Does 17 divide (1*b)/(-2) + -2?
True
Let y = -396 + 401. Let b(g) = 3*g**3 + 13*g**2 - 3*g + 19. Let i(w) = -2*w**3 - 7*w**2 + w - 9. Let h(p) = -3*b(p) - 5*i(p). Is h(y) a multiple of 19?
False
Suppose 195 - 29 = 3*o - v, 0 = -3*v + 6. Does 13 divide o?
False
Suppose 0 = -23*v - 2*v + 9100. Is v a multiple of 26?
True
Suppose -2*h = 12 - 4. Let c be ((-12)/8)/((-2)/h). Does 7 divide c/6*1*-56?
True
Let h(b) = b**2 + 9*b + 18. Let p be h(-7). Suppose 3 = -2*y - 3*q, 0 = 4*y + y - p*q - 27. Let g = 24 + y. Does 8 divide g?
False
Let z(m) = 6*m + 174. Does 31 divide z(28)?
False
Suppose 4*v - 6 - 34 = 0. Is 4/v + (-1565)/(-25) + 2 a multiple of 13?
True
Suppose 300*d + 16389 = 327*d. Is 64 a factor of d?
False
Let m(t) = 5*t + 5. Let c(d) = -2*d - 16. Let l be c(-10). Suppose -3*x - 2*w - 3*w = -7, -5*w + 11 = l*x. Is m(x) a multiple of 7?
False
Suppose 3*v + 1560 + 1779 = 5*h, v + 667 = h. Suppose u - 264 = n, -2*u + h - 113 = 5*n. Is u a multiple of 18?
False
Let v(w) = -12*w**3 + 3*w**2 - 3*w + 1. Let c be v(-3). Suppose 0 = 3*z - c + 25. Suppose 2*q + 2*q = z. Does 20 divide q?
False
Let q = 361 - 241. Suppose 480 = 4*j - q. Is 12 a factor of j?
False
Let n(z) = z**2 + 2*z - 5. Let q = -3 - -8. Suppose 0 = 2*b - q + 17. Is n(b) a multiple of 14?
False
Let v be 10/(-7)*(-11 - -4). Let z(d) = -d**3 + 10*d**2 + 8*d - 11. Does 23 divide z(v)?
True
Suppose 0*l + 2*l = -3*p + 853, -5*p + 5 = 0. Is 36 a factor of l?
False
Suppose 5*p + 53 = y + 33, -2*p - 152 = -4*y. Does 10 divide y?
True
Let x(r) = 28*r**2 + 0*r - 2*r - 35*r**2 - r**3. Let f be (-7)/(-2)*-2*1. Is x(f) a multiple of 14?
True
Suppose 4*h = 16, -4*m + 0*h + 3*h = -1220. Does 11 divide m?
True
Is 0 - (2 - (-5 - -87)) a multiple of 4?
True
Suppose -11*t + 515 = -23069. Does 105 divide t?
False
Does 14 divide 10 + -15 + 1/2*386?
False
Suppose 14 = -4*k - 14. Let y be (14/4)/(k/(-28)). Suppose -d = -46 + y. Is d a multiple of 8?
True
Suppose 3*l - 8 = -l. Let y = 41 - 38. Suppose -a - l*a + 145 = 4*o, 0 = -y*o + a + 125. Is 23 a factor of o?
False
Suppose 9*x - 301 = 1859. Is x a multiple of 48?
True
Let d(c) be the third derivative of 0*c + 0 - 8*c**2 + 1/24*c**4 + 1/60*c**5 - 8/3*c**3. Is d(8) a multiple of 10?
False
Let k(o) be the first derivative of 19*o**3/3 - 4*o**2 - 3*o - 2. Let s be k(6). Is 17 a factor of s/12 - 6/8?
False
Let o(h) = -h**3 - 10*h**2 - h + 5. Let q be o(-8). Let s = 142 + q. Does 4 divide s?
False
Let i = -810 - -1209. Suppose j + v = 6*v + 139, 3*j = -3*v + i. Does 8 divide j?
False
Suppose 10 = h - 67. Let o be 2/(-14) + 165/h. Suppose -10 - 6 = -o*r. Is 8 a factor of r?
True
Suppose -4*k + 1234 = -2*m - 4652, -4*k + 5884 = -4*m. Is k a multiple of 11?
False
Let h be (-60)/18*(-3 - -6). Let m(u) = u**2 - 7*u - 2. Is m(h) a multiple of 8?
True
Suppose 0*q + 2 = -q. Let m be 27/5 - q/(-5). Suppose m*p = 2*p + 108. Is 12 a factor of p?
True
Suppose -4*c + 1141 = 4*f - 775, -5*c = f - 495. Is f a multiple of 15?
False
Let z be 4 + (-1)/2*2. Let r = z - 1. Is 20 a factor of 1 - r - 165/(-5)?
False
Is 87 a factor of (-46872)/(-45) + (-3)/5 - -3?
True
Let t(l) = l + 2. Let o be t(-12). Let b be (108/90)/((-6)/o). Is 27 a factor of (-36)/((-12)/(-9) - b)?
True
Let k be 85 + (2 - (-4)/3*-3). Let q = k + -44. Is 12 a factor of q?
False
Suppose 5*k - 4*l = 24, -2*l + 32 = k + 2*k. Let y = k - -59. Is 9 a factor of y?
False
Does 3 divide (2 - (5 + -1)) + 2*37?
True
Let v(s) = -6*s - 3*s + 9*s - 25*s + 9. Does 41 divide v(-6)?
False
Suppose 3*h = 6*h. Is 8 a factor of (-80)/(h - 4) - -4?
True
Let n be (-66)/10 - 6/15. Let c = -7 - n. Suppose -5*l + 123 + 137 = c. Does 26 divide l?
True
Suppose -a = 4*p + a - 14, -a = -5*p + 21. Let s(f) = f**3 - 5*f. Does 22 divide s(p)?
True
Let n(b) = -44*b**2 - 15*b + 13. Let x(j) = -22*j**2 - 7*j + 6. Let d(q) = 6*n(q) - 13*x(q). Let v = -2 + 3. Is d(v) a multiple of 23?
True
Suppose 2655 = 5*g + 5*h, -10*g + 13*g = h + 1593. Is g a multiple of 14?
False
Suppose -490 = 5*w - 5*n, 4*n = -0*w + w + 98. Let o = 175 + w. Does 28 divide o?
False
Let o(i) = i - i + 5*i - 7*i**2 + 2*i**3 - i**3 + 5. Let p be o(6). Is 3*((p - -3) + 2) a multiple of 6?
True
Let l = -306 - -2442. Does 12 divide l?
True
Let c = -10 - -33. Suppose -2*d = -137 + c. Suppose -4*n + 59 + d = 0. Is n a multiple of 11?
False
Suppose -3*d - 135 = 5*f - 2*f, 5*d + f = -225. Is 37 a factor of (120/d)/(1/(-48))?
False
Is 57 a factor of ((-1)/(1/(-342)*2))/1?
True
Let t(o) = 3048*o**2 + 13*o - 14. Is 10 a factor of t(1)?
False
Suppose -98*g + 1768 = -81*g. Is 13 a factor of g?
True
Suppose 16*x = 6*x. Does 8 divide (-1 - (2 + x))/(6/(-226))?
False
Let d(o) = o**3 - 5*o**2 + 3*o. Let h be d(2). Suppose -y - 5*u = -4, -5*y + 11*u - 9*u - 88 = 0. Does 23 divide (y/h)/((-10)/(-270))?
False
Let o(t) = -50*t - 85. Is o(-12) a multiple of 39?
False
Suppose 5*o - 6 = 4*y - 19, 0 = 4*y + 2*o + 22. Let f = y - -28. Is f a multiple of 8?
False
Suppose -7*p - 96 = -544. Does 20 divide (42/(-4))/((-12)/p)?
False
Suppose 5*s + 14 - 34 = 0, 4*w - 3*s - 692 = 0. Suppose 29*v = 21*v + w. Does 22 divide v?
True
Suppose -13 + 53 = 5*n. Let m be 188/16 + 2/n. Suppose -16 = -5*t - k + m, 14 = t - 4*k. Does 4 divide t?
False
Let c(l) = 4*l**3 - 13*l**2 - 17*l + 4. Let t(y) = 3*y**3 - 13*y**2 - 18*y + 5. Let q(g) = -4*c(g) + 5*t(g). Is q(-11) a multiple of 9?
True
Let o be ((-6)/(-12))/((-2)/(-4)). Let t(m) = -43 + 0*m**2 + 17*m**2 + 44. Is t(o) a multiple of 9?
True
Let q = -6 - -6. Suppose 3 = w - q*w. Let b = 19 - w. Is b a multiple of 16?
True
Suppose 193*u = 197*u - 1056. Is 11 a factor of u?
True
Let r = -5 - -3. Let v(g) = 20*g - 3. Let y be v(r). Let d = y + 121. Is 23 a factor of d?
False
Is 59 a factor of (227/2)/((-36)/(-72))?
False
Suppose 4*v - v - 624 = 0. Suppose 0*x - v = -2*x. Suppose 0*n + 2*n = x. Does 13 divide n?
True
Let c(t) = -t**3 - 4*t**2 - 2*t - 4.