actor of t?
False
Let r be 8944/72 + 4/(-18). Suppose -4*g - 34 = -3*g + f, -4*g - r = f. Let j = 179 + g. Does 30 divide j?
False
Suppose -10*k = 13 - 83. Does 12 divide (-13 + k)*(-31 - 1)?
True
Let q(x) = -6*x**2 - 11*x - 4. Let g(h) be the first derivative of -2*h**3 - 5*h**2 - 5*h + 19. Let i(r) = -4*g(r) + 3*q(r). Is 14 a factor of i(-4)?
False
Let i = -7095 + 7089. Let c(v) = -4 + 9 - v + 19. Is 3 a factor of c(i)?
True
Suppose -4*x - 3*b = -7657, 774 = -3*x + 4*b + 6498. Suppose 10*m - x = 308. Does 74 divide m?
True
Suppose -3*t - 22 = -5*t - 2*y, 2 = y. Suppose -2*c = -t + 1, 3*g = 5*c + 571. Does 11 divide g?
False
Let d be -6 + -14855*(-2 - 4). Does 11 divide d/60 + 21/35?
False
Let b(t) = 4*t**2 + t + 2. Let x be b(2). Does 4 divide x/6*6/(-10)*-22?
True
Let o(s) = s**3 - 12*s**2 + 8*s + 16. Let i be o(11). Let n(b) = -2*b**2 - 39*b + 56. Does 13 divide n(i)?
False
Let y = -1 - -5. Suppose -a = y*a + 420. Is 13 a factor of ((-36)/10)/(a/1960)?
False
Let x(a) = -47*a**2. Let n be x(1). Let k = n - -39. Is ((-330)/k)/(9/48) - -2 a multiple of 38?
False
Let x = -608 - -616. Suppose 1918 - 574 = x*f. Does 4 divide f?
True
Let f(v) = 246*v**2 + 105*v + 218. Is 61 a factor of f(-2)?
False
Suppose -265*r + 1358835 = -15720. Is r a multiple of 19?
True
Let m(t) = -t**2 + 6*t + 32. Let u be m(-13). Let y = 227 + u. Does 6 divide y?
True
Let c be 2/(-16) + (-325)/(-104). Suppose -4*f = 5*y - 11, c*f + 1 = -y - f. Suppose -2*u = -2*d + 52, y*d + 2*u - 31 = 22. Is 7 a factor of d?
True
Is 60 a factor of 108*(455/15 - 2)?
True
Let v = -3725 - -5697. Does 30 divide v?
False
Suppose -28*q + 29*q - 81 = 0. Suppose 3*m + 5*x - q = 0, 4*m + 5*x - 47 = 61. Is 5 a factor of -3*1 - m*(-8)/12?
True
Let y = 13497 + -9119. Does 236 divide y?
False
Let h(v) = 464*v**3 + 13*v**2 - 65*v + 1. Is h(4) a multiple of 121?
True
Let a(m) = -1352*m**3 - 2*m**2 + 23*m + 23. Is a(-1) a multiple of 18?
True
Suppose -10*b = -4719 - 19921. Is b a multiple of 14?
True
Suppose 0 = h - 3*m - 2883, -14415 = -5*h + 27*m - 23*m. Does 55 divide h?
False
Let r = -64 + 161. Let s = r - 60. Let p = s + -32. Is p a multiple of 5?
True
Suppose p + 11 = -29*x + 34*x, 17 = 2*p + 3*x. Let k(m) = 10*m**2 + m. Let g be k(-1). Suppose -g*y + p*y = -320. Is y a multiple of 8?
True
Suppose -61*h - 18782 = 15*h - 70766. Is h a multiple of 12?
True
Does 11 divide (19514/(-5))/(((-1)/5)/((-81)/(-162)))?
True
Suppose 1970*w - 2011*w + 148707 = 0. Does 117 divide w?
True
Suppose -287 = 5*c + 1048. Let s = 448 + c. Is 3 a factor of s?
False
Let x(g) = -7*g - 53. Let o be x(-7). Does 6 divide o/(-9) - -1*(-842)/(-9)?
False
Suppose 5*j + 1887 = c, -216*j + 5727 = 3*c - 220*j. Is c a multiple of 8?
False
Let t(m) = 33*m**2 + 3*m + 2. Let x be (3/(-6))/(2/4). Let v be t(x). Suppose -v = 5*u - 267. Is 10 a factor of u?
False
Suppose 5*s + 14*s - 1656765 = -26*s. Is s a multiple of 11?
True
Let s = 1268 - 296. Suppose 0 = 56*t - 50*t - s. Is t a multiple of 15?
False
Suppose 4*n - 11878 + 2826 = 0. Is 8 a factor of n?
False
Let x = -357 + 562. Let j = -102 + x. Let a = j - 72. Is a a multiple of 4?
False
Let q = 59663 - -2108. Does 167 divide q?
False
Suppose 0 = 76*u - 71*u - 15. Suppose -u*b + 65 = 2*b. Suppose 0 = b*o - 5*o - 1184. Is o a multiple of 12?
False
Suppose a - 2799 = 2*t + 2137, -3*a + 14806 = -4*t. Does 29 divide a?
False
Suppose -602*j + 4067 = -595*j. Suppose -3*c + 5*m = -1785, -6*c + 7*c = -3*m + j. Is 10 a factor of c?
True
Let k = 25837 + -13366. Does 26 divide k?
False
Let r = 100 + -21. Suppose 9*y - r = 299. Is y a multiple of 21?
True
Let m = 46 - 28. Let a be m/135 + (-47)/15. Let q(h) = -12*h - 6. Is 6 a factor of q(a)?
True
Let q = -52 - -57. Suppose -2*k - q*v = -536, -8*k + 6*k - 2*v = -524. Does 49 divide k?
False
Let o = -42 - -110. Let r = 57 - 63. Let g = o + r. Is 27 a factor of g?
False
Is 16 a factor of 1 - 20139/(-548)*(-1 - -21)?
True
Suppose 163 = -9*m + 622. Let q = -19 + 6. Let x = m + q. Is x a multiple of 28?
False
Suppose 3*p - 33 = -4*f - 2*p, -2*p + 6 = -2*f. Let m(u) = 0*u - 1 + 4*u**f + 0*u + 6*u**2 - 3*u. Is m(-2) a multiple of 15?
True
Let v = 2034 - 1554. Does 32 divide v?
True
Let w = -460 + 400. Does 15 divide (-15)/(-25) - 9264/w?
False
Suppose 0 = -3*p - 2*p - 30. Let s(q) = -9*q + 2. Let u be s(p). Does 5 divide (-6 - -7)/(2/u)?
False
Suppose -5*f = -6*f - 4*j + 1345, 2*j + 4021 = 3*f. Suppose 161 = 2*c + 3*u - 382, 2*u - f = -5*c. Is 39 a factor of c?
False
Let z = -323 + 349. Suppose -2*a - z*a = -6720. Is 24 a factor of a?
True
Let m = 21 - 38. Let l(f) = -7*f + 30. Is 7 a factor of l(m)?
False
Suppose -10*q + 33087 = -21533. Is q a multiple of 93?
False
Let d(p) = -243*p - 2001. Does 4 divide d(-27)?
True
Suppose -3*z = -2*p + 7969, -10*p - 5*z = -6*p - 15883. Suppose -125 = 6*x - p. Is 19 a factor of x?
False
Let v = -2298 - -4065. Is v a multiple of 31?
True
Let m be (-10)/(-15) + (-56)/(-6). Let s be (-1)/(2/(-75))*8/m. Suppose 2*j - j = f - s, -3*j = 6. Is 13 a factor of f?
False
Let q(p) = -p**3 + 2*p**2 + 25*p + 6. Let s be q(-4). Suppose -6 = s*j, -3*j - 40 + 919 = 4*l. Does 37 divide l?
True
Let j be 136/14 + (-9)/378*-12. Suppose -j*m + 174 = -186. Is 12 a factor of m?
True
Let r be (2 - 5)*10/(-30). Let o be (0 - 0)/((0 - r)*-2). Suppose -3*y = 4*l - 624 + 56, o = l + 2*y - 137. Is l a multiple of 29?
True
Let i(t) = -5*t**2 + 3*t + 5. Let b be i(-3). Let h = b + 113. Suppose -3*o + h = 4. Is 11 a factor of o?
False
Let d(r) = -1767*r - 8837. Does 9 divide d(-12)?
False
Let t(w) = w + 9. Let a(i) = -i + 64. Let n(m) = 5*a(m) - 10*t(m). Does 68 divide n(-30)?
True
Let t(c) = 3*c**2 + 3*c - 6. Let i be t(4). Let j = i + 59. Let x = j + -69. Is x a multiple of 8?
False
Let y = 12023 + -10060. Is y a multiple of 13?
True
Let i(a) = a**3 - 6*a**2 + 6*a. Let p be i(5). Let f(j) = -j**3 + 6*j**2 - 7*j + 6. Let q be f(p). Let u(t) = -t + 16. Does 20 divide u(q)?
True
Let u = -13253 - -18365. Is 9 a factor of u?
True
Let s be ((-2)/3)/(5/285). Let i be 5696/24 - (-3)/(-9). Let p = s + i. Is p a multiple of 13?
False
Let v be 145/58*(-14 - 0). Let t(b) = -17*b + 309. Is t(v) a multiple of 5?
False
Let b(s) = -2*s**2 + 2*s + 3. Let o be b(0). Let w(x) = o*x + 8 - 5*x**2 + 5*x**2 + x**2. Is w(0) a multiple of 8?
True
Let u(c) = 27*c - 12. Let r(t) = -6*t - 14*t - 8*t + 13. Let a(m) = 4*r(m) + 5*u(m). Does 18 divide a(4)?
False
Let s(u) be the first derivative of -u - 25 - 137/2*u**2. Does 26 divide s(-1)?
False
Suppose 9*x - 12*x = a - 514, 0 = 2*a + 3*x - 1028. Let w = -52 + a. Is 33 a factor of w?
True
Suppose 2*b = 5*t - 493 - 270, t = 4*b + 167. Suppose 6*d = -3*s + 4*d + 463, s - d = t. Is 17 a factor of s?
True
Let v(k) = -k**3 + 9*k**2 - 11*k - 14. Let q be v(7). Suppose q*s - 4 - 24 = 0. Suppose -2*t = t, -i + 185 = -s*t. Is 20 a factor of i?
False
Suppose -g - 17 = -3*k, 6*g + 4 = 4*g. Let t be ((-1)/(-3))/(5/90). Suppose t*u = k*u + 46. Is 20 a factor of u?
False
Let c(s) = 118*s**2 + 7*s + 7. Let g be c(-2). Is (-14)/(-4)*(g/35 - -1) a multiple of 5?
True
Let m = -3 + 7. Suppose 1 = -m*y - 3. Does 14 divide y - (-5 + 2) - -12?
True
Let v(f) = -16*f + 5. Let i be v(-4). Let o be 2/(-18) - (-304)/144. Is 14 a factor of 7/(i/(-36) + o)?
True
Let c(t) = t**3 + 32*t**2 + 3*t + 90. Let y(w) = w**3 + 31*w**2 + w + 90. Let h(i) = 6*c(i) - 7*y(i). Is 20 a factor of h(-26)?
True
Let c = -4734 + 5843. Is 12 a factor of c?
False
Let n(r) = -61 - 21 + 10*r**2 - 31*r - 7*r**2. Does 5 divide n(15)?
False
Suppose 75971 = -5*m - t + 321075, -m + t + 49016 = 0. Is 19 a factor of m?
True
Suppose 8*k = 5*k + 21. Let g(q) = -12*q - 6. Let t(m) = 35*m + 18. Let y(j) = k*g(j) + 2*t(j). Is 11 a factor of y(-3)?
False
Let z = 881 - -1251. Is 82 a factor of z?
True
Let h = -34 - -44. Let n be (-51)/(-85) - 84/(-10). Does 8 divide 8/30*n*h?
True
Let x be 4 - -10*(-69)/(-6). Suppose 0 = 113*b - x*b + 504. Is b a multiple of 6?
True
Let r(i) = i**2 - 16*i + 18. Let m be r(15). Let o = 70 - m. Is 8 a factor of o?
False
Let g = -271 + 275. Suppose g*s = 2119 - 195. Is 13 a factor of s?
True
Let i = 157118 - 85778. Is 10 a factor of i?
True
Suppose -54643 = -4*b + f, 723*f - 727*f + 13682 = b. Does 18 divide b?
True
Suppose -2235285 = -532*s + 125199. Does 