or of f?
False
Let g(m) = -602*m**3 + 5*m**2 + 13*m + 6. Is 74 a factor of g(-2)?
False
Suppose -3*a + g - 3*g = -5, 4*a - 5*g - 22 = 0. Let i(y) = y + 5*y + 0 + 6*y - 14. Does 22 divide i(a)?
True
Suppose 5*n = -l - 21, -3*l - 4*n - 8 + 0 = 0. Suppose 1326 = a - l*o + 434, a = 2*o + 896. Is a a multiple of 50?
True
Let k be (15/(-2))/(-3)*46. Suppose -37 - k = -8*v. Let q = 26 - v. Does 6 divide q?
False
Suppose -14*s - 20225 = -122439. Is s a multiple of 9?
False
Let h = 4636 + -2651. Suppose -4*p + 1605 = -w, 0*p + 3*w = -5*p + h. Suppose 4*j + 100 = p. Does 13 divide j?
False
Let c = 380 - -146. Suppose 0 = 5*x - c + 106. Is x a multiple of 7?
True
Let h(z) = 95*z**2 - z + 2. Let n be h(2). Suppose -l + 861 = -4*a + 4*l, 4*a + 5*l = -891. Let x = a + n. Is x a multiple of 14?
False
Is 50 a factor of 398196/108*(60/9)/5?
False
Suppose -18*y = -19365 - 10407. Is 30 a factor of y?
False
Is 14 a factor of 2842*1/(0 + -5 - -6)?
True
Let g = -231 + 233. Suppose n - g*u + 23 = 73, 5*u - 36 = -n. Is 15 a factor of n?
False
Suppose -2*l = -13719 - 5577. Is l a multiple of 18?
True
Let i = 4088 + 20014. Does 13 divide i?
True
Let t(r) = 35*r**3 + 17*r**2 - 13*r + 3. Let c be t(4). Let a = c - 1371. Is 52 a factor of a?
True
Suppose 4*j + 4*c + 23 = 3*j, 3*j + 42 = -3*c. Let d = 15 + j. Suppose 2*f - d*f = -176. Is 10 a factor of f?
False
Let c = 43724 - 14376. Is 5 a factor of c?
False
Suppose -12*o - o = -0*o. Let h(g) = -g**3 - 2*g**2 + g + 640. Does 10 divide h(o)?
True
Let q be 36/(-45) - 158/(-10). Suppose 0 = 7*l - q*l + 32. Is 26 a factor of 105/4 + (-1)/l + 0?
True
Let k(t) = t**2 + t - 53. Let h be k(-8). Suppose -13104 = -23*r - h*r. Does 36 divide r?
True
Suppose -2 = -13*l + 12*l. Let b be (-10179)/(-54) + l*3/4. Let a = b + -70. Is 12 a factor of a?
True
Suppose 3*d - 538 = -2*h, h - 268 = 5*d - 6*d. Let w = h + -70. Is w a multiple of 20?
False
Let r be (-2)/(-4) - 575/10. Let j = 60 + r. Suppose 4*c - 881 = -3*p, j*c - 4*p - 433 - 259 = 0. Does 56 divide c?
True
Let v = 3 + -12. Suppose 1 = 5*j + 31. Is 9 a factor of v/j - ((-102)/4 - 0)?
True
Let i = 55 - 49. Suppose -2*n + 1307 = 5*p, -i = 2*n - 8. Is p a multiple of 9?
True
Suppose 0 = 2*d - 3*h - 1026, -151 = -d - 4*h + 329. Is d a multiple of 12?
True
Is (1 - (1 - 27))/((-3)/(-2007)*3) a multiple of 27?
True
Let r(v) = -v**3 + 4*v**2 + v + 4. Let k be r(4). Let h be (612/k)/(3/4). Suppose 10*d - h - 178 = 0. Does 7 divide d?
True
Let s(k) be the first derivative of -k**2 + k + 19. Let b be s(-1). Suppose a + 1 = 0, -5*h - b*a - a = -636. Is 32 a factor of h?
True
Suppose 0 = -10*i - i + 1562. Suppose 16 - i = -9*g. Let s = g - -26. Does 8 divide s?
True
Suppose 17*g - 10 = 7. Does 4 divide 190*(-2)/(-5) + -4*g?
True
Let x = -96 - -99. Suppose -x*o - 5*o = -6016. Is 47 a factor of o?
True
Let v(d) = -d**3 + 4*d**2 + 15*d - 14. Let f be v(6). Suppose 0 = 2*t + 3*t - 2*b - 1050, -f*b = -3*t + 644. Is t a multiple of 16?
True
Let y = -423 - -413. Is y/(-75) + (-116)/(-30) + 148 a multiple of 2?
True
Let f = -15700 + 25495. Does 15 divide f?
True
Let l be 30/2*30/9. Let s be l*-3*4/(-20)*-2. Let r = 126 + s. Is 10 a factor of r?
False
Is (110338/8 - -1)*400/(-750)*-5 a multiple of 92?
False
Let v(b) = -10*b - 29*b**2 + 2 - 7*b + 19*b. Let w be v(-1). Let r = w + 42. Is 13 a factor of r?
True
Let s(n) = -97*n**2 - 316*n + 3. Does 78 divide s(-3)?
True
Let v(o) = 18*o - 68. Let s be v(-8). Let m = s - -338. Does 6 divide m?
True
Let g be 192/30 + 2/(-5). Let r(l) = -2*l**2 - l. Let a(w) = -13*w**2 - 3*w + 26. Let j(u) = -a(u) + 5*r(u). Does 10 divide j(g)?
True
Let d = 56 + -100. Let s = -32 - d. Is 5 a factor of 280/(-4)*(-6)/s?
True
Let l = 782 + -1311. Let y = 575 - l. Does 69 divide y?
True
Let s be 0 + 2599 + 19 + -14. Suppose -5*u - s = -10*u + 4*y, 4*y + 2084 = 4*u. Is u a multiple of 20?
True
Suppose 8*z - 3*z - 60 = 0. Let i be (-9)/z - 13/4. Is 16 a factor of 49 - 1/i*-4?
True
Let u be (-8)/(-12) - (-6 + (-10)/(-6)). Suppose -125 = -3*s - a + 71, -u*s - 4*a = -322. Is s a multiple of 11?
True
Suppose -73203 = -33*b - 11955. Suppose 19*n - 5592 = b. Is 14 a factor of n?
True
Let b = -743 - -7079. Is 8 a factor of b?
True
Suppose -7*g + 3*g - 8 = 0, 0 = 5*l - 5*g + 10. Let c be 1*(1 + 0) + (l - -4). Is (-4)/8*(-42)/c a multiple of 9?
False
Let b(q) = -2*q**3 - 11*q**2 + 6*q - 14. Let d(n) = -5*n**3 - 32*n**2 + 18*n - 40. Let a(h) = -17*b(h) + 6*d(h). Is 5 a factor of a(5)?
False
Let n be (2 + 1 + 1)*(-3)/2. Is 8 a factor of (4/n)/((-8)/1248)?
True
Suppose -12*q + 85 = -7*q. Let u(v) = -35*v + 78*v - q - 25*v. Does 10 divide u(5)?
False
Suppose -3*y = 4*r - 106318, 2*r + 19397 = -3*y + 72547. Does 16 divide r?
False
Suppose -21*g + 20*g + 158 = 0. Is 7 a factor of (g/(-6) - -6)/(1/(-3))?
False
Suppose 3*m + z - 3*z = 2, 3*z - 2 = 2*m. Suppose -4*g - 77 = d - 241, 6*d - m*g - 1010 = 0. Does 4 divide d?
True
Let r be 4352*(-5)/(50/(-15)). Suppose -20*s = -4*s - r. Is 6 a factor of s?
True
Suppose 4*h + v = 522, -1 = v + 1. Let a = h - 224. Let b = 145 + a. Is b a multiple of 13?
True
Let y be -3 - 5/(-1) - -1. Suppose -4 = j - 3*m, 4*j = y*j + 4*m - 5. Let i = j + 35. Is 3 a factor of i?
False
Is 5913 - (26 - 12) - -5 a multiple of 123?
True
Let j(k) = -k**2 - 23*k - 19. Let d(i) = -2 + i**2 + 24*i + 8 + 4 + 10. Let c(w) = 5*d(w) + 6*j(w). Is c(-17) even?
False
Suppose 0 = -0*q - 4*q - 5*k - 185, -q - 50 = 5*k. Let c = q + 45. Suppose c = -2*l - 5*l + 91. Is l a multiple of 8?
False
Let u = 28 - 6. Suppose u = 11*z - 9*z. Suppose -15 = -t + z. Is 10 a factor of t?
False
Let h(q) be the third derivative of q**5/60 - q**4/12 - q**2 + 9. Does 15 divide h(9)?
False
Let b = 9216 + -5900. Does 81 divide b?
False
Let u(k) = k**3 + 41*k**2 + 22*k + 54. Is u(-20) a multiple of 54?
False
Let n(p) = 80*p + 11. Let r be (-2)/5*(-17 - -2). Does 42 divide n(r)?
False
Is 3 a factor of (504/(-216))/(28/(-69816))?
False
Suppose -11*p + 793 = 199. Is 11 a factor of (0 - -27) + (-30)/(p/9)?
True
Let x = -835 - -814. Let b(p) = -5*p**2 - 109*p - 27. Does 19 divide b(x)?
True
Suppose 34 = 2*g - 3*j, -2*g - 4*j = -14 - 6. Let o be (-6)/g + (-1818)/(-126). Suppose -o*h + 191 = -425. Is 2 a factor of h?
True
Suppose 48 = 4*h - 9*h - 3*r, -r + 4 = 0. Does 12 divide (-113)/(3 + 39/h)?
False
Let h = 11013 - 3494. Is h a multiple of 103?
True
Does 81 divide ((-26)/((-728)/49329))/(39/12 - 3)?
True
Let s = 1419 - -10247. Does 19 divide s?
True
Is (-3)/(-1)*(1393 + (5 - 3)) a multiple of 135?
True
Let l = 4510 - -5035. Is l a multiple of 219?
False
Suppose 3*s + 324 + 372 = 0. Suppose 4*k - 8 = u + 1, u + 5*k = 0. Does 5 divide 15/25 + s/u?
False
Let s = 2 + -8. Let d(n) be the second derivative of n**4/6 + 2*n**3/3 - 21*n**2/2 - 2544*n. Is d(s) a multiple of 5?
False
Is 21 a factor of -1542*(31 + -21 + 5 + -22)?
True
Suppose -5*j - 2*b - 315 = b, 0 = -4*j - 3*b - 249. Let p = -95 - j. Let z = 59 + p. Does 6 divide z?
True
Let h(y) = 5*y**3 - 132*y**2 + 21*y - 90. Is 2 a factor of h(27)?
True
Suppose 8*p - 23940 = 9*p - 16*p. Is 39 a factor of p?
False
Let h(r) = -42*r + 32. Let s(q) = 231*q - 175. Let b(l) = 28*h(l) + 5*s(l). Is 12 a factor of b(-11)?
True
Let h = 128 + 5697. Is h a multiple of 144?
False
Is 54 a factor of (-6)/(-26) + (-13188993)/(-793)?
True
Let g(d) = d**3 - 4*d**2 - 38*d + 2. Let v be g(-4). Suppose v*w - 3960 = 8*w. Does 11 divide w?
True
Does 5 divide (-5)/(2098/(-262) - -8)?
True
Let q(m) = 51*m - 161. Let h(t) = t**2 + 20*t + 58. Let g be h(-17). Is 7 a factor of q(g)?
True
Suppose 14*g - f = 9*g + 41798, -2*g + 4*f + 16712 = 0. Is 22 a factor of g?
True
Suppose 90*b - 93*b = 6, -4*b = 5*j - 13502. Is 14 a factor of j?
True
Let x(s) = -5*s**2 + 101*s + 8. Let m be x(20). Suppose m - 220 = -4*a. Is a a multiple of 12?
True
Let g(u) be the second derivative of 2*u**3/3 + u**2/2 + 6*u. Let l be g(6). Suppose 20*y - 21*y = -l. Does 21 divide y?
False
Let w be 68/7 + ((-116)/(-14) - 8). Does 15 divide ((-22)/w)/((-110)/8250)?
True
Let p = 1037 + 2674. Is 48 a factor of p?
False
Let p(n) = 31*n**2 - 118*n - 46. Is p(11) a multiple of 25?
False
Let k be ((-2)/4)/((-2)/316). Suppose 17*c - 50 = 18. Suppose c*y - k - 233 = 0. Does 13 divide y?
True
Let g(y) = -y**2 + 9*y - 6. Let c be g(9)