60 + 1520. Is 6 a factor of d?
True
Suppose -286634 = -117*a + 22480. Does 18 divide a?
False
Suppose 11*b + 587 = -975. Does 70 divide 10/(3 + -8) - b?
True
Let q be (52/(-3))/(-2)*3. Is 65 a factor of 321*1 + (q - 22)?
True
Suppose -300 = -3*f - f. Let x = 550 + -1067. Is (-30)/f - x/5 a multiple of 15?
False
Let m = -1427 - -12187. Is m a multiple of 115?
False
Let u(c) = -c**3 - 10*c**2 + 9*c - 15. Let l be u(-9). Let p = 131 - l. Is p a multiple of 22?
True
Suppose 36*o = 1143 + 1017. Suppose -o*v + 338 = -59*v. Is v a multiple of 13?
True
Let b(o) = 1 - 15 + 2*o**3 - 2*o**2 - 3*o**3 - 9*o. Let v be b(-8). Suppose -3*t + 2*j = 4*j - 320, 5*j + v = 4*t. Is 12 a factor of t?
True
Let x(u) = 95*u + 1. Suppose 5*s - 4 = 1. Let k be x(s). Let t = k + 29. Is t a multiple of 18?
False
Suppose 0 = 15*u - 0*u - 60. Suppose 4*i + 0*j = -j + 1240, -4*i = u*j - 1252. Is 23 a factor of i?
False
Suppose 0 = 2*s - 14 - 6. Suppose -548 = -155*k + 148*k - 65. Suppose -s*n + k + 351 = 0. Is n a multiple of 7?
True
Does 28 divide 4/16 - 109884/(-16)?
False
Let b be ((-2)/(-4))/(20/80). Suppose -b*f + 65 = 2*y + y, 3*f + 4*y = 100. Let v = f + 8. Is v a multiple of 6?
True
Let k(i) = i**2 - 6*i + 28. Suppose 0 = -5*w - 5, -a - 5*w + 0*w = 1. Is 20 a factor of k(a)?
True
Let z(n) = 85*n. Let h(k) = 12*k. Let o(a) = -34*h(a) + 5*z(a). Is o(4) a multiple of 12?
False
Is 10 a factor of ((-2)/(-15)*-471)/((-12)/(14400/8))?
True
Let p = 14 - 6. Let q(j) = 41*j + 26. Let n be q(8). Suppose 4*x + p = 0, 0*x - n = -2*c + x. Is c a multiple of 22?
True
Let m(t) be the first derivative of -145*t**2/2 + 30*t + 64. Is 41 a factor of m(-4)?
False
Let a(f) = -234*f**2 + 235*f**2 - 8 - 7*f - 9. Is a(11) a multiple of 4?
False
Suppose -194698 = -16*z - 6*z + 8*z. Is z a multiple of 119?
False
Let o = -1145 + 1340. Does 6 divide o?
False
Let g(y) = 50*y - 16 + 143*y + 22*y + 5*y + 84. Does 39 divide g(3)?
False
Let j = -24121 + 27763. Is j a multiple of 24?
False
Suppose -a - w + 8536 = 0, -229*a + 231*a - 2*w = 17068. Does 87 divide a?
False
Let k = -717 + 705. Let j(t) = 6*t**2 - 12*t - 73. Is j(k) a multiple of 22?
False
Let m(g) be the second derivative of -2*g**3 - 119*g**2/2 - 45*g. Does 22 divide m(-24)?
False
Does 15 divide (-5)/(30/8)*(-56 + -2329)?
True
Let f = 31 + -29. Let a(b) = -2*b**2 + 5*b**2 + 2*b + b**f - 6. Is a(-4) a multiple of 25?
True
Suppose 5*v - 4*j - 2451 = 0, j = -2*j - 12. Does 3 divide v?
False
Let z be 3/12 + (-21)/(-12). Let n(h) = -2 + h - z*h - h + 7. Is 11 a factor of n(-3)?
True
Suppose 3*y - 12112 = q, 2*y + 723 - 8811 = -2*q. Is y a multiple of 12?
False
Suppose -3692*f = -3696*f + 2040. Is f a multiple of 30?
True
Let x = 3762 + -2510. Is 4 a factor of x?
True
Suppose -2*x = -58 + 10. Let u be x/(-8) - 1*-127. Let g = 215 - u. Is 13 a factor of g?
True
Suppose 10*o = 124 - 94. Is -10 - -13 - (-3093)/o a multiple of 31?
False
Suppose 5*l + 8655 = 4*g, 4*l = 168*g - 164*g - 8652. Does 9 divide g?
True
Let l = -47 - -43. Let m be l + 218/9 + (-10)/45. Is 11 a factor of (-22)/(-2)*(m + -11)?
True
Suppose n = 2*i + 228, -152*n + 147*n - 2*i + 1164 = 0. Let s = 563 - n. Is 72 a factor of s?
False
Suppose -u = -7*u + 3419 + 5827. Does 40 divide u?
False
Suppose -7*c + 5527 = -16649. Suppose -8*l + 5*l + c = 0. Does 22 divide l?
True
Let h = 35240 - 25812. Does 43 divide h?
False
Does 36 divide ((-18)/(-45))/((-131764)/(-43920) + -3)?
True
Let b be 7/((-14)/1392)*(-264)/18. Suppose b = 3*y + 13*y. Does 22 divide y?
True
Let p = -145 - -175. Is (-170)/(-3)*p/25 a multiple of 16?
False
Let i be 22/(-33)*(-2 - 401/2). Let o = i + -96. Is o a multiple of 4?
False
Let p = 479 - 1013. Does 19 divide (-20 - -18) + p/(-1)?
True
Let s be 86 + 42/(-7) + 3. Suppose 0 = 2*r + 3*d - 2*d - s, -98 = -2*r + 2*d. Is r even?
True
Let n(x) = x**3 - 11*x**2 - 28*x - 31. Let a be n(15). Suppose 3*o - 7727 = -2291. Suppose 7*u - o = a. Is 47 a factor of u?
False
Let f(c) = -c**3 - 31*c**2 - 32*c - 38. Let r be f(-30). Let j(t) = 29*t - 276. Is j(r) a multiple of 3?
False
Let j(a) = -91*a**2 - 7*a + 1. Let r be j(3). Let w = r + 1244. Does 27 divide w?
True
Let m(c) = c**3 + 9*c**2 - 14*c + 9. Let o be m(-10). Suppose -6*h - o = -1. Does 27 divide ((-162)/4)/(2/h)?
True
Let t be (-5 - 30/(-6))/(-1 - 0). Suppose 121 = -5*g + 2*l, -l + t*l + 48 = -2*g. Does 20 divide (g/(-4))/((-2)/(-64))?
True
Suppose -3*w - 3*t - 45 = 0, 2*w - 5*t = 3*w + 11. Let d(g) = -g**3 - 16*g**2 - 26*g - 38. Is 14 a factor of d(w)?
True
Let p(s) be the first derivative of -27 + 1/2*s**2 - 5/3*s**3 + 0*s + 5/4*s**4. Is 11 a factor of p(2)?
True
Suppose 122 = -f - f + 3*n, -4*n = -2*f - 118. Let z = -1 - f. Suppose 9*d - z - 87 = 0. Is 2 a factor of d?
False
Let b(p) = p**3 - 18*p**2 - 19*p + 3. Let f(g) = 37*g**3 - g**2 + g + 1. Let i be f(1). Suppose 4*z - 2*z - i = 0. Is b(z) even?
False
Let v be ((-6)/(-23))/(-3) + 1476/46. Suppose v*m = 13*m + 20862. Is 61 a factor of m?
True
Suppose i - 4*i = 0, 0*r - r = -3*i. Suppose -z + 1007 = 3*m - 1042, 4*m - 2*z - 2722 = r. Is m a multiple of 62?
True
Let h(q) = -q**3 + 6*q**2 + 16*q - 64. Let w be h(7). Does 25 divide ((-657)/12*1)/(w/4)?
False
Suppose 3*y = -45 + 54. Suppose -y = -5*i - 23, 2*f = -3*i + 196. Is 4 a factor of f?
True
Suppose 0 = 7*x + 140 - 42. Let z(r) = 2*r + 96. Is z(x) a multiple of 17?
True
Let u be 3/(18/(-120)*2). Let l be -110 - (u - -5) - -1. Is (l/(-10))/(6/60) a multiple of 8?
True
Suppose 570*r - a = 565*r + 4193, 1659 = 2*r - 3*a. Is r a multiple of 15?
True
Let f be (12/(8 + -5))/((-6)/93). Let u be 5 - 7 - (2 + -116). Let m = f + u. Is 10 a factor of m?
True
Suppose 11*m - 3308 - 1070 = 0. Is m a multiple of 17?
False
Suppose -4*m = -c + 34007, -5*m = -97*c + 101*c - 135965. Is c a multiple of 91?
False
Let n(i) = 33*i**2 + 6*i + 8. Let d be n(6). Suppose 32*c = 28*c + d. Does 44 divide c?
True
Does 3 divide ((-16)/5)/(968/(-433180))?
False
Let c(g) = -8*g + 624. Let q be 9/((-135)/10) - (-2)/3. Does 16 divide c(q)?
True
Suppose 6*c - 3*r - 33 = 3*c, -c + 26 = -4*r. Let t be (2 + -2)*(72/16 + -4). Suppose t = c*v + 7 - 223. Is v a multiple of 9?
True
Suppose 30 = 3*n - 6. Let a = -8 + n. Suppose 3*s = -3*r + a*r - 14, 10 = 5*s. Does 5 divide r?
True
Let h(m) = -95*m**3 - 2*m**2 - 12*m - 9. Let r(c) = -95*c**3 - c**2 - 10*c - 8. Let x(q) = -3*h(q) + 4*r(q). Is 8 a factor of x(-1)?
True
Let d(y) = 281*y + 11. Is 22 a factor of d(3)?
False
Let d(u) = -5*u**2 - 14*u - 30. Let k(s) = -12*s**2 - 29*s - 59. Let o(v) = -5*d(v) + 2*k(v). Is o(14) a multiple of 33?
True
Let q = 545 - 539. Suppose q*g - 10*g + 75 = 5*t, 0 = -g + 2*t + 35. Is 5 a factor of g?
True
Let l = 4481 - 2371. Does 10 divide l?
True
Let z = 2203 - -3961. Is z a multiple of 23?
True
Let o be 2626/8 - (-1 + 6/24). Suppose w - o = -14. Does 45 divide w?
True
Suppose -157*d + 4*k = -161*d + 30712, 4*d - 2*k - 30730 = 0. Does 20 divide d?
False
Let w(p) be the first derivative of p**2/2 + 14*p - 5. Let g be w(-10). Suppose 2*r - 22 + 4 = 2*m, g = m. Is r a multiple of 6?
False
Let q = 6458 + -2174. Suppose 12*p + 2*p = q. Does 9 divide p?
True
Let a(o) = -o**3 + 30*o**2 - 81*o + 773. Does 72 divide a(28)?
False
Let k(c) = 13*c + 16. Let b be k(-1). Let h(j) = 3*j**3 - 6*j**2 + 9*j + 3. Does 2 divide h(b)?
False
Suppose -5*x + 15 = -0*x. Suppose -m = -5, 27*w - m - 7 = 23*w. Suppose -q - 44 = -s - x*q, 0 = w*s - q - 104. Does 4 divide s?
True
Suppose 0 = -2*j + 47 + 27. Suppose -104*k - 198 = -95*k. Let b = j + k. Does 15 divide b?
True
Suppose -18*t = -19*t - 299. Let z = t + 564. Is 16 a factor of z?
False
Let j(y) = -y**2 + 14*y + 7. Let u be j(11). Suppose -9*o + u = o. Suppose -o*b = b - 155. Is b a multiple of 31?
True
Does 27 divide 25/4*(-2)/5*244730/(-25)?
False
Let s(p) = -362*p + 1387. Is 96 a factor of s(-23)?
False
Suppose 199*v - 333239 = 865736. Is v a multiple of 18?
False
Suppose 0 = 5*n + 213 + 67. Let r be (n/84)/((-2)/150). Suppose -2*i = 2*j - 32, 3*j - 4*i = -5*i + r. Is 2 a factor of j?
False
Suppose -42671 - 42420 = -16*k + 69789. Does 40 divide k?
True
Let x = 2687 - 4722. Let f = -1022 - x. Does 96 divide f?
False
Suppose 58*t - 15147 = 41*t. Is 33 a factor of t?
True
Let u(s) = 547*s - 132. Let m be u(23). Suppose -385 = -23*f + 