f 1/5 + t/20?
True
Let c(t) = t**3 + 5*t**2 - 7*t - 8. Let q be c(-6). Let s be 1/(4*q/(-8)). Is -116*2/(-3 - s) a multiple of 29?
True
Let q(j) = -37*j + 68. Is 61 a factor of q(-13)?
True
Let d = -1 - -2. Let x be d/(-4) + (-7)/(-28). Suppose x*a = 4*a - 76. Does 12 divide a?
False
Suppose 0*s - 2 = -s - x, 2*x = 0. Suppose 2*z - 3*h = 480 + 271, s*h - 386 = -z. Suppose -8*o + z = -4*o. Does 19 divide o?
True
Let l(z) = 8*z + 40. Let h be 120/(-10)*10/(-6). Is l(h) a multiple of 47?
False
Let k = -104 - -62. Let j be ((432/15)/(-9))/((-4)/90). Let r = k + j. Does 15 divide r?
True
Let b(c) be the third derivative of -c**5/60 - 3*c**4/4 + 11*c**3/3 - 6*c**2. Is b(-18) a multiple of 8?
False
Let c = 177 + -60. Is 9 a factor of c?
True
Suppose 179*h - 192*h + 11687 = 0. Does 25 divide h?
False
Let b = -21 - -35. Suppose x + 0*x - b = 0. Is ((-2)/4)/((-1)/x) a multiple of 2?
False
Let l = 183 - 57. Let f = -77 + l. Is f a multiple of 7?
True
Let n be (-3 - -4)*24 - 0. Let o = -16 + n. Is o a multiple of 4?
True
Suppose -12*d = -6208 + 1444. Is 10 a factor of d?
False
Let u = 45 - 133. Let g = u - -218. Is 15 a factor of g?
False
Suppose 27*k = -25*k - 6292. Let y = -409 - -221. Let w = k - y. Does 16 divide w?
False
Let j be 1/4 + 2872/32. Suppose 0 = -2*h - 2*h + 540. Let c = h - j. Does 15 divide c?
True
Let d(o) = 2*o**2 + 4*o + 3. Let v(j) = 2*j - 2. Let b be v(-1). Let k be d(b). Let g = 43 - k. Is 12 a factor of g?
True
Let w(k) be the third derivative of -k**4/8 - 2*k**3/3 - k**2. Suppose -5*r - 32 = -6*f + 2*f, -2*r = 4*f - 4. Is 3 a factor of w(r)?
False
Suppose -5*i = 5*y + 25, 24 - 8 = -4*y. Let l be 5/3*(-3)/(-9)*18. Let p = l - i. Is p a multiple of 3?
False
Is 98 a factor of 33808/15 - 2/(-15)?
True
Suppose 4*d - 5*c - 1408 = 911, -2*d + 1157 = -3*c. Is d a multiple of 55?
False
Suppose 0 = 16*p - 18*p + 8. Suppose 6*w - 280 = p*w. Is 35 a factor of w?
True
Suppose -2*f - 5*r - 76 = 0, -4*r = 3*f - f + 72. Let h(a) = 8*a. Let o be h(-2). Is 6 a factor of (f/o)/(1/12)?
False
Let z(j) = -6*j - 20. Let p be z(-4). Suppose -p*t = o - 102, 0 = -3*o - 4*t + 359 - 85. Is o a multiple of 43?
True
Suppose -15 = 3*k, 337 - 1722 = -5*m - 3*k. Is 28 a factor of m?
True
Suppose -9 = 5*a - 19. Suppose 3*r - 3*u = 387, -768 = -4*r + a*u - 262. Is 33 a factor of r?
False
Let p = 274 - 402. Let k be ((-27)/6 - -4)*p. Suppose 56 = 2*d - k. Is 23 a factor of d?
False
Suppose -102 + 8 = -2*l - 3*a, l - 47 = -4*a. Does 16 divide l?
False
Suppose -5*j + 12 = 2*d, 5*d + 12 = 2*d. Let c(z) = -z**2 + 6*z + 4. Is 12 a factor of c(j)?
True
Suppose 0 = 3*q - 40 + 13. Let i(b) = -3*b - 1. Let c be i(q). Is 7/(c/(-120)) - 4 a multiple of 10?
False
Suppose -2*r + 17*m = 13*m - 1598, -4*r - 4*m = -3244. Is r a multiple of 20?
False
Let c(p) = -6*p - 33. Let i be c(-6). Suppose -7*j + 2*j = -2*a + 155, -i*a + 275 = j. Does 6 divide a?
True
Suppose 3*u - 384 = 192. Is 8 a factor of u?
True
Suppose -3*z - 2*z = -2*o + 114, 62 = o - 5*z. Let w = o + 109. Is w a multiple of 23?
True
Suppose 0 = 5*v - 3*d - 1480, -4*d + 3*d = 2*v - 592. Suppose -6*k = -9*k. Suppose k = -8*m - 80 + v. Is 9 a factor of m?
True
Suppose -6 + 107 = i - 2*u, -5*i + 530 = -5*u. Suppose -n = 2*n + i. Is -1*(n - 3)/2 a multiple of 20?
True
Let v(k) be the second derivative of -k**3/6 - 7*k**2/2 - 3*k. Let b be v(-7). Is b/(-6) - -1*55 a multiple of 11?
True
Let n(b) = -1 + 2 - 2 + 7*b. Let m be n(1). Is (-3)/2*(-44)/m a multiple of 8?
False
Let m(l) = 4*l**2 - 2*l. Let h be m(2). Let b(x) = x**3 - 120*x + 134*x - 9 - 4*x**2 - 9*x**2. Does 7 divide b(h)?
False
Suppose -5*f = -25, 2*f = 5*m - 3*f - 405. Suppose 119*u + 80 = 121*u. Let r = m - u. Is 23 a factor of r?
True
Let p(s) = -s**3 + 11*s**2 - 10*s + 8. Suppose -4*o + 5*j + 10 = -o, -3*o + 2*j = -22. Let v be p(o). Is 18 a factor of v/6*243/18?
True
Suppose h - 40 = -36. Suppose -h*v = 2*q + 2*q - 128, -q + v + 28 = 0. Is 12 a factor of q?
False
Suppose 31*j + 1870 = 36*j. Let u = -242 + j. Does 11 divide u?
True
Suppose p + 5*h + 1 = 0, 3*p + 3 = -2*h - h. Let s be 24 - (-3 + (-3)/p). Let y = -10 + s. Is y a multiple of 7?
True
Suppose 3941 = -9*m + 9782. Does 49 divide m?
False
Suppose v = 5*a + 2 + 13, 3*v - 15 = 5*a. Suppose -m - 2*i + 3*i - 33 = v, -3*i = 9. Let w = m - -67. Does 14 divide w?
False
Let b(k) = 20*k**3 + 2*k - 1. Let a be 148/28 - (-6)/(-21). Suppose 4*r - c - 24 = -5*c, -26 = -r - a*c. Is b(r) a multiple of 7?
True
Let z(u) = -5*u + 18. Let f(o) = -6*o + 17. Let c(l) = -4*f(l) + 5*z(l). Is c(8) a multiple of 5?
False
Is 9 a factor of 1/1 + 1589 + (-324 - -324)?
False
Let y(n) = n**2 + 4*n - 1. Let f be y(-5). Suppose 0 = 3*l - 4*a - f + 2, 3 = 4*l - 5*a. Suppose -m + l*m + 3*b - 25 = 0, -m = -5*b - 41. Is 9 a factor of m?
False
Suppose 0 = 2*b + 2, -6*d = -d + 2*b - 133. Is 9 a factor of d?
True
Suppose a - 4 = -a. Suppose -a*r - 4 = -4*r. Suppose -50 = -2*f - r*m, -m + 210 = 5*f + 85. Is f a multiple of 7?
False
Let x(i) = 2*i**2 - 8*i + 11. Let r be x(3). Suppose r*j + 5*p - 97 = 3, 0 = 5*j - 2*p - 107. Does 3 divide j?
True
Suppose 4*o - 665 = -177. Is o a multiple of 14?
False
Suppose 85*n = 75*n + 4130. Is 59 a factor of n?
True
Let j(c) = 4*c + 2 - 8 + 3 - 2*c. Let q be j(4). Suppose -3*v = -q*a - 60, 9 = -v - a + 21. Is v a multiple of 2?
False
Suppose -544 = -3*w - 268. Is w a multiple of 6?
False
Is ((-182)/28)/(266/(-88) - -3) a multiple of 11?
True
Let g be -1 + 4 + -5 + 5. Suppose 2*r - 2*c - 27 = -7, g*r - 5*c - 40 = 0. Suppose 2*o = -r*x + 292, 116 = -0*x + 2*x + o. Is x a multiple of 30?
True
Let s = 75 + -16. Let u be (s/3)/((-2)/6). Let q = 87 + u. Is 10 a factor of q?
False
Suppose w - 150 = 434. Does 13 divide w?
False
Suppose -7*c + 4628 = -14888. Does 30 divide c?
False
Suppose -8*i = -10*i + 1528. Let d = i - 368. Is d a multiple of 35?
False
Let v(k) = k**3 - 7*k**2 + k - 5. Let c be v(7). Let m = c + 1. Suppose -m*r + 15 = 0, 0*j + 3*j = -3*r + 159. Is 16 a factor of j?
True
Suppose 4*a - 2*a = 0. Suppose -c - 3*y + 56 = a, 0 = -c - 8*y + 3*y + 56. Is 10 a factor of c?
False
Let u(i) = -i**2 - 11*i - 13. Let q be u(-9). Suppose -5*g + 2 = -2*g - 5*t, -1 = q*g - 4*t. Is g*43*(2 + -3) a multiple of 23?
False
Suppose 0 = 5*z - v - 13, -2*z + v = 6*v + 11. Suppose y + 15 = -4*r, -r = z*y - y. Does 8 divide (-3)/(-5) + 77/y?
True
Is 10 a factor of ((-553520)/(-24))/10 + 8/12?
False
Let n = -16 - -18. Suppose 2*r - n = u - 3*u, 3*u = -2*r + 4. Suppose -5*x = -5*q + 110, -2*q - x = u*x - 34. Is 10 a factor of q?
True
Let q = -3461 + 5646. Is 115 a factor of q?
True
Let g be 75/2 + 1/2. Let m = 6 - 4. Suppose -2*h - 2*u + g = 0, -14 = -h + m*u - 4. Does 7 divide h?
False
Suppose 23*l = 34*l - 1001. Does 4 divide l?
False
Suppose 2*q - 5*c + 123 = 0, 0 = -q - 4*q - 3*c - 354. Let x = q + 36. Is 11 a factor of (x/(-6))/(-1)*-10?
True
Suppose 337 + 167 = 9*v. Does 8 divide v?
True
Let h(r) = -r**3 - 2*r**2 - r + 80. Suppose -k = -2*k. Is 41 a factor of h(k)?
False
Suppose -1560*c + 1552*c = -2328. Does 10 divide c?
False
Suppose -b + 3221 = 2*w, 2*w + 16069 = b + 4*b. Is b a multiple of 52?
False
Let v(y) = 2*y**2 - 22*y - 12. Suppose 0 = 7*q - 4*q - 36. Is v(q) a multiple of 12?
True
Suppose -5*w + 151 = 4*m - 0*w, 0 = -5*m + 4*w + 199. Does 13 divide m?
True
Let b(g) = -5*g - 3 + 4 + g**2 + 2*g - 5. Let r be b(4). Suppose r*p + 5*h + 165 = 2*p, 10 = -2*h. Does 14 divide p?
True
Let x(z) = -z**3 + 15*z**2 + 22*z + 14. Let h be x(16). Suppose -5*v = -p - h, -p = 4*v - 2*p - 89. Suppose -d = -v - 35. Is 28 a factor of d?
True
Let t be 10/2*(-11)/(110/(-516)). Let i = -146 + t. Is i a multiple of 16?
True
Let l(g) = -g - 6*g - 3 - 2 - g. Is 2 a factor of l(-2)?
False
Let l be ((12/8)/(-3))/(2/(-2156)). Suppose 5*y - 337 = -3*o, 2*y + y + l = 5*o. Does 14 divide o?
False
Let d be -6 + 2 - 0 - -8. Is 25 a factor of 2/d + (-894)/(-12)?
True
Suppose 7*l = 10*l - 261. Does 8 divide l?
False
Let k(h) = -2*h - 2 - h + 0*h**3 + 9*h - 6*h**2 + h**3. Let m be k(5). Suppose -m*o = -2*o + 4*t - 68, 5*o - 428 = 2*t. Is o a multiple of 28?
True
Let d(m) be the second derivative of m**5/20 - m**4/4 - 2*m**3/3 + 7*m**2/2 - 5*m. Is d(7) a multiple of 21?
False
Let n(g) = -g**3 - 9*g**2 - 2*g + 13. Let l(r) = r**2 + r - 3