f o?
True
Let c(z) = -3*z + 7. Let f be c(2). Let t be 1 + f/1 - (-1)/1. Suppose -3*x + 216 = -5*m, -x = -6*x - t*m + 360. Does 18 divide x?
True
Let q(y) = y**3 - y + 66. Suppose 5*x + 10 = -5*c, -3*c = -6*x + 2*x + 6. Suppose x = -0*z - z. Does 19 divide q(z)?
False
Suppose 6*s - 21*s + 15120 = 0. Suppose -23*z = -2848 + s. Is z a multiple of 40?
True
Suppose -32*x + 79931 = 13019. Is 3 a factor of x?
True
Let y(x) = -509*x**3 - 42*x**2 - 88*x - 8. Does 37 divide y(-5)?
False
Let b = 72 + -26. Suppose w - b = k, 4*k = w + 2*w - 135. Suppose 3*q - 14 = w. Is 3 a factor of q?
True
Let k(z) = -z**2 - 35*z - 123. Let u be k(-29). Is (86/(-6))/((-17)/u) a multiple of 2?
False
Let v(y) = 3133*y - 80. Let i be v(8). Suppose i = 36*w - 0*w. Is w a multiple of 18?
False
Suppose w = -3*l + 584, -1179 = 11*w - 13*w + 5*l. Is w a multiple of 8?
False
Is 5 a factor of (-45)/(2/(-4) + 0)?
True
Suppose -r = 4*w - 1309, 8*w - 13*w = 25. Is r a multiple of 14?
False
Suppose -5*n - 2*n + 231 = 0. Let v = 87 + n. Does 8 divide v?
True
Is -3 + ((-18400)/15 - 8)/(4/(-6)) a multiple of 20?
False
Let r(g) = 21*g**2 - 10*g + 24. Suppose 0 = d + 4*a - 20, 2*d + 0*a = a + 4. Does 14 divide r(d)?
False
Let n(y) = 3179*y + 199. Is n(4) a multiple of 41?
True
Let t(q) = q**2 + 11*q + 20. Let l = 22 - 32. Let d be t(l). Does 5 divide d/1*6/4?
True
Let q = 46503 + -31623. Is 20 a factor of q?
True
Suppose -10 = -r - 5*m - 12, 0 = r + 4*m + 1. Suppose -r*t = 4*f - 94, 5*t - 31 - 118 = f. Is t a multiple of 15?
True
Let b be 0 + 1 + -4 + 13. Let p be b/15 + 124/3 + 2. Suppose 0 = 3*j + p - 200. Is 13 a factor of j?
True
Let g be (-6)/8*-1 + 5019/12. Suppose -4*u + 5*f = -g, 50*u = 46*u + 4*f + 424. Is 37 a factor of u?
True
Suppose -309*n = -360*n + 19686. Does 18 divide n?
False
Let j(g) = -g**3 + 8*g**2 - 10*g + 34. Let i be j(6). Suppose 0 = -2*q - 3*k + 174, 0*q + 5*q + 2*k = 424. Let m = q - i. Does 3 divide m?
False
Let g be 0 - (-672)/15 - 2/(-10). Is 7 a factor of g/30*(-812)/(-6)?
True
Suppose 50*x - 28*x - 120 = 20*x. Is 2 a factor of x?
True
Suppose -149387 - 34523 = -106*b. Is 80 a factor of b?
False
Does 15 divide (-12)/(-150) + 0 + 19829968/400?
True
Suppose 2*o + 433 = 1321. Is (o/(-10))/(1/(-5)) a multiple of 37?
True
Let c be 4638/(-4)*(-3000)/180. Suppose t = 26*t - c. Does 53 divide t?
False
Let u(m) = 24*m - 228. Suppose w = -13*w + 406. Is 9 a factor of u(w)?
True
Let y(z) = -2*z - 49. Let l be y(-3). Let q = 66 + l. Does 2 divide q?
False
Let t(r) be the second derivative of 9*r**6/8 + r**5/20 - r**4/6 + r**3/3 - 29*r**2/2 + 7*r. Let o(l) be the first derivative of t(l). Does 17 divide o(1)?
True
Suppose 31*z = 2*z + 108054. Does 46 divide z?
True
Suppose 88938 = -2*g + 8*g. Is g/45 - ((-24)/(-10) - 2) a multiple of 14?
False
Let y = 1667 + 1953. Is y a multiple of 17?
False
Let n be (-24)/(-4) - -4 - -4. Suppose 5*j - n = 3*j. Suppose -7 - j = -2*w. Is w a multiple of 2?
False
Let i(z) = -530*z - 12455. Is 21 a factor of i(-34)?
True
Let v be (-4 - 9/((-27)/528))/(-2). Is 43 a factor of 18/(3 - 1)*v/(-6)?
True
Let b(w) = -2. Let v(h) = -41*h - 61. Let f(n) = -5*b(n) + v(n). Does 9 divide f(-3)?
True
Suppose 98*t + 313 = 97*t. Let r = -114 - t. Is 22 a factor of r?
False
Suppose 2*f = -0*f + 36. Suppose 12*n - f*n = -1188. Suppose 1001 = 4*z - 4*u + 241, -z = 3*u - n. Is z a multiple of 24?
True
Let f(m) be the second derivative of 191*m**5/20 + 5*m**3/3 - 9*m**2/2 - 126*m. Does 16 divide f(1)?
True
Suppose 4*g - 10 = l, 2*g - l - 14 = 4*l. Suppose -5*b = 3*q - 363, -3*q - g*b = 122 - 494. Is q a multiple of 18?
True
Is 20 a factor of ((-1005)/(-268))/(9/17184)?
True
Let j be ((-4)/12)/((-2)/12). Suppose -j*s = -2*a - 20, -5*a = s - 23 - 11. Let y(t) = 3*t + 10. Is y(s) a multiple of 8?
False
Let r(u) = u**2 + 22*u - 87. Let t be r(-26). Suppose 1496 = -6*j + t*j. Is j a multiple of 8?
True
Let m(k) = k**2 - 15*k + 11. Let t be m(17). Suppose c - 4*c = -t. Suppose -a - c = -47. Is a a multiple of 8?
True
Suppose -18*l + 591448 = 76*l. Does 52 divide l?
True
Let u be 3/((-270)/(-20)) - 202/18. Let n(h) = 2*h**2 + 17*h - 8. Is 19 a factor of n(u)?
False
Let d(b) = b**2 + 12*b + 28. Let v be d(-15). Let g = v + -137. Let p = -43 - g. Does 3 divide p?
True
Let z(d) = -11*d - 69. Let l be z(-18). Is 51 a factor of 6536/l*174/8?
False
Let j(g) be the second derivative of g**5/120 + 7*g**4/8 - 7*g**3/2 - 11*g. Let i(x) be the second derivative of j(x). Is 2 a factor of i(-18)?
False
Let j(t) = t**3 - 32*t**2 + 34*t + 16. Let p be 354/11 - (-60)/(-330). Is 69 a factor of j(p)?
True
Let b(z) = -z + 570. Suppose 36*y - 22*y = 0. Is 15 a factor of b(y)?
True
Let y(c) = -13 + 0 - 48*c + 2*c. Let t(k) = 23*k + 7. Let q(d) = -7*t(d) - 4*y(d). Is q(3) a multiple of 18?
True
Let q be -4 + (15/(-5) - -19). Let r = q - 8. Suppose 232 = r*i + 72. Does 21 divide i?
False
Suppose 9*x + 5*x = 40600. Does 10 divide x?
True
Suppose b - 112 = 2*y, 5*b - 2*y - 571 = -3*y. Let t be -40*(2 + b/(-15)). Suppose -5*j + t = 74. Is 15 a factor of j?
True
Let a be 4/(-70)*5 + (-83166)/(-21). Suppose 3965*m - a*m = 9095. Is m a multiple of 17?
True
Let o be (-11)/1 + 6 - -10. Suppose -71 = o*z - 431. Is 10 a factor of z?
False
Let o = 107 + -109. Let r be o + 9/6 - (-33)/(-6). Does 13 divide (r - 72/16)*(-52)/6?
True
Suppose -87*q = -71298 - 92436. Does 7 divide q?
False
Suppose -2*x = 4*c - 32 - 4, -38 = -2*x - 2*c. Suppose -16*g + 48 = -x*g. Is 4 a factor of (4 + g)*(-3)/6?
True
Let b = 5490 + 340. Is 10 a factor of b?
True
Let q = 150 - 145. Suppose -d - q = -4*i, 5*d - 80 - 15 = -4*i. Is 5 a factor of d?
True
Suppose 6*q - 8*q = -22. Suppose -18 = -4*v + 2*f, 2*v + 10 + q = -5*f. Does 9 divide (2 - 3/v) + 37/2?
False
Suppose 0 = 2*q - 5*a - 7 - 99, 0 = -4*a + 8. Suppose q = d + 4*s, 2*d - 3*s + s - 66 = 0. Let h = -21 + d. Is 17 a factor of h?
True
Let s(d) = -6*d**3 - 87*d**2 - 1. Is s(-16) a multiple of 65?
False
Suppose -5*x + 2*x - 5*q = -9166, x - 3026 = 2*q. Is x a multiple of 15?
False
Suppose 5*t = 2*l, -2*t + 10 + 19 = 5*l. Suppose 4*f = -f + 2*q + 5249, q - 5243 = -l*f. Is f a multiple of 15?
False
Let r be ((-103)/22 - (-6)/33)*2. Let k be r/(9/4) + 577. Let d = k + -357. Is d a multiple of 24?
True
Let l(k) = -10*k - 4. Suppose 0 = -2*n - 7 + 15. Suppose 11*u + 56 = n*u. Does 19 divide l(u)?
True
Does 58 divide 3 - (-7*383 - (57 - 46))?
False
Let g = 528 + -258. Let h = g - 130. Suppose 4*z + h - 412 = 0. Is z a multiple of 9?
False
Let f = 1 - 1. Suppose -29*a + 7 = -225. Suppose f = 4*h + a, 2*d - 4*h - 61 = 23. Does 38 divide d?
True
Suppose 2*c - 4*x = 2876, 0*c + c - 5*x - 1429 = 0. Suppose -5*g + j + j = -1808, 4*g - j - c = 0. Does 36 divide g?
True
Suppose 4*v + 72475 = 3*u, 52*v = 4*u + 47*v - 96636. Is 17 a factor of u?
False
Suppose 2*c - 3976 = -2*i + 2098, -i = 3*c - 9119. Is c even?
False
Suppose -31*s + 84 + 40 = 0. Is 27 a factor of (-674)/(((-6)/3)/(-2 + s))?
False
Suppose 3*j - 81 = -7*m + 5*m, -5*m + 4*j + 191 = 0. Let h(b) = b**3 - 39*b**2 + 21*b + 53. Does 17 divide h(m)?
False
Let t(r) = 112 - 14 + 73 + r**3 + 169. Let x be t(0). Does 4 divide x/51 + (-2)/3?
False
Let z = -11486 - -20364. Does 48 divide z?
False
Let w be ((-70)/(-7))/((-12)/42). Is (78/7)/((100/w)/(-10)) a multiple of 9?
False
Does 16 divide (-92796)/(-10) - 20/(-50)?
True
Let n(j) = -7*j**3 - 2*j**2 - 1. Suppose 0 = 2*i + 2*i - 16, 4*r + 2*i - 200 = 0. Let k = r - 50. Does 5 divide n(k)?
False
Suppose 2*c + 5*l + 10 = 0, 5*c - 17 = l - 3*l. Let i(u) = 3*u**2 + 6*u - 3. Let j be i(c). Suppose w + 260 + 166 = 5*h, -4*w = h - j. Is 14 a factor of h?
False
Does 68 divide ((126/120)/(3/225))/((-3)/(-88))?
False
Let q(a) = 7*a**3 - 1. Let f = -28 + 29. Let r be q(f). Does 2 divide 1*(-2)/r*-39?
False
Let z(b) = 8135*b**3 + b**2 - b + 1. Is 287 a factor of z(1)?
False
Suppose -5*a + 27*a - 704 = 0. Suppose 0 = -6*m + a*m - 10322. Is m a multiple of 10?
False
Is 68 a factor of 1927/(-1435)*-9470 + 12/(-14)?
True
Let l(f) = -2 + 30*f**2 - 29*f**2 + 5*f**3 + 1. Let v be l(-2). Is 11 a factor of (v - 2)*8/(-6)?
False
Suppose -36 = -6*l - 198. Let k = 375 + l. Is 19 a factor of k?
False
Let h = -5583 + 9006. Does 19 divide h?
False
Let v be -8*(20/30 + (-7)/6). Suppose -13*h + v*h - 1773 