divide ((5 - t) + 32)/1?
True
Suppose 0 = -n + 3*c + 644 + 1238, -4*n - 2*c + 7542 = 0. Does 14 divide n?
False
Suppose 32495 = 22*u - 5257. Does 39 divide u?
True
Let p(y) = 11*y**2 - y. Let b = -110 + 114. Does 18 divide p(b)?
False
Let s = 114 - -614. Is s a multiple of 13?
True
Suppose 5*m - 290 = 625. Does 27 divide m?
False
Let s(x) = 1016*x**2 - 16*x - 14. Is 18 a factor of s(-1)?
False
Let l = -96 + 60. Let p be l/(-8) - 1/2. Is 2 a factor of 30/(-4)*p/(-6)?
False
Suppose 4*m = 834 - 154. Let l be (m/25)/((-4)/(-10)). Let d = l - 5. Is 7 a factor of d?
False
Let f = -75 - -197. Suppose -3*w + 486 = 2*m, f = 4*w + 5*m - 519. Does 28 divide w?
False
Let s be 5 - (4 + -3 + 3). Let y be s/(-4) - (-50)/8. Suppose -y*w + 41 = -5*w. Is 9 a factor of w?
False
Suppose -22 - 6 = -7*l. Let c(f) = f**3 + 3*f**2 - f + 2. Let v be c(-4). Is 154/l + v/(-20) a multiple of 26?
False
Is 806 + (-6)/5*(-20)/3 a multiple of 14?
False
Let i(s) = -s**2 - 10*s + 15. Let u be i(-11). Let r(o) be the second derivative of 7*o**3/6 + o**2/2 - o. Is 10 a factor of r(u)?
False
Suppose 0 = 5*a + m - 5522, -2438 - 1972 = -4*a + 3*m. Is 46 a factor of a?
True
Let v(i) = -5*i - 44. Does 10 divide v(-12)?
False
Is 37 a factor of (5 - (82 + 3))*-4?
False
Let w(t) = 5*t**2 - 2*t + 7. Let s be w(14). Let z = s - 655. Does 44 divide z?
False
Let h be 0 + 1/3*6. Suppose 0 = 2*u - h*k - 190, 122 = 4*u + 3*k - 286. Is u a multiple of 33?
True
Suppose 4*f = 4*b + 712, 2*b + 3*b + 717 = 4*f. Is f a multiple of 9?
False
Let w be 242/(-8) - 2/(-8). Let d be (-10)/4*1*w. Let r = d - 51. Is r a multiple of 8?
True
Let c(a) be the second derivative of 0 - a - a**2 - 1/10*a**5 - 1/4*a**4 - 1/6*a**3. Is c(-3) a multiple of 14?
True
Suppose 0 = -2*b + 45 - 3. Let u = 32 - b. Is 11 a factor of u?
True
Let s(y) = y**3 + 3*y + 3. Let f be s(-2). Let x = 1 - f. Is x a multiple of 12?
True
Let a(b) = -153*b - 377. Does 37 divide a(-12)?
False
Suppose 2*h + 8 = 4*u, 8 + 0 = 2*h + 4*u. Suppose 0 = x - 2*c - 11 - h, -2*c - 14 = -2*x. Suppose -49 = -x*m - 5*y, 2*m + y = 42 - 7. Is m a multiple of 9?
True
Let k = -49 + 10. Let n = k - -14. Let r = -15 - n. Does 5 divide r?
True
Let s = -157 - -229. Is s a multiple of 8?
True
Let u(x) = x**3 + 3*x**2 - 5*x - 2. Let k be u(-4). Suppose 18 = k*d - 0. Does 9 divide d?
True
Let t = 15 + -16. Is 6 a factor of (-602)/(-14) - 1/t?
False
Suppose 836*i - 835*i = 434. Does 14 divide i?
True
Let o(f) = -f + 2. Let j be o(2). Let k(m) = 2*m - 8*m**2 + 10 - 6*m + j*m - m**3. Is k(-8) a multiple of 14?
True
Suppose -1 = -5*k - s - 9, -k = -5*s + 12. Does 2 divide (-30)/(-25)*(k + 7)?
True
Suppose -108 = 2*w - 5*w - 5*y, 87 = 3*w - 2*y. Let g = w + -21. Does 5 divide g?
True
Let s = -43 - -80. Let q = 47 - s. Is q a multiple of 2?
True
Suppose -l = l. Suppose p - 48 = 2*c, 0 = -l*p + 3*p - 2*c - 136. Is 22 a factor of p?
True
Let k(z) = 0*z + 5 + 2*z + 4*z - 5*z. Is k(2) a multiple of 5?
False
Suppose o + 33 = -2*w, 2*w + 43 = o - 0*o. Let y = w - -19. Suppose -3*d + 5*p + 250 = 2*d, y = -2*p - 2. Is 16 a factor of d?
False
Suppose 154*s - 3696 = 140*s. Does 22 divide s?
True
Suppose 2*l + 890 = 3*l - 3*r, 0 = -r + 2. Is l a multiple of 32?
True
Let m(a) = -554*a - 10. Is m(-1) a multiple of 6?
False
Let v be -3 - (1/(-4) - 93/12). Suppose -h + z + 2*z - 1 = 0, 0 = -2*h + 4*z - 8. Is 12 a factor of v/h - 67/(-2)?
False
Suppose 5 - 1 = -g. Let j(h) = -h**3 - 5*h**2 - 6*h - 5. Let i be j(g). Suppose -i*c - 2*f = -f - 309, 4*c - 5*f - 393 = 0. Is 17 a factor of c?
True
Suppose -3*d = r + 2*d - 18, -4*r - 2*d + 36 = 0. Let y(p) = 8 - 66*p**2 + 33*p**2 - p + 34*p**2. Is 23 a factor of y(r)?
False
Suppose -5*r - 380 = 5*w, 4*w = -w. Let o = 111 + r. Suppose -o*z = -39*z + 320. Is z a multiple of 18?
False
Let m = -254 + 1225. Does 57 divide m?
False
Let o = 30 - 28. Suppose -13 - o = r. Let v = 21 - r. Is v a multiple of 6?
True
Let h be -3 + (9/3 - -2). Suppose -o + 2 = -a + 8, h*o = 4*a - 18. Suppose a*n - 65 = -f - 20, -4*n - 187 = -5*f. Is f a multiple of 13?
True
Let u(c) = 18*c + 15. Let a(b) = -b - 1. Let v(f) = -42*a(f) - 2*u(f). Let h be v(9). Suppose 3*o - h = 2*o. Is o a multiple of 21?
False
Suppose 6*y - 4*y + 4*i - 4 = 0, -5*i = -3*y + 28. Is 22*3 + y/(-4)*-2 a multiple of 23?
True
Let s = 526 + 2744. Suppose -4*n = -s + 1046. Is (-4)/3 + n/12 a multiple of 9?
True
Suppose 4*m = 5*m - 2. Let a(o) = 7*o - 4. Let n be a(m). Let c = n + -8. Does 2 divide c?
True
Let c(o) = 2*o - 3. Let q be c(3). Suppose 0 = -3*g - q*a - 209 - 4, -g + 2*a - 77 = 0. Let k = g + 137. Is k a multiple of 17?
False
Let z = 122 + -26. Does 37 divide ((z + -2)/2)/(3/9)?
False
Let f(c) = -1 + c - 3 - 4*c + c**2 + 8*c. Let v(g) = -g**2 - 3*g + 2. Let t be v(-5). Does 5 divide f(t)?
True
Let h = -1220 + 1266. Is h a multiple of 4?
False
Is 4 a factor of 80 - (-7)/((-28)/(-16))?
True
Suppose 21 = -2*x + 5*x. Let k be (8 - x)*(140 - 0). Suppose 4*l - 4*h = k, 0 = -h + 4 + 1. Is 21 a factor of l?
False
Does 9 divide 51/(-6)*-2*27?
True
Suppose 2*c + 1162 = 4*i + 236, 5*c + 1160 = 5*i. Is 10 a factor of i?
False
Suppose 6*g - 881 = 379. Does 70 divide g?
True
Let u(g) = -g**3 + 12*g - 1. Let a be u(-5). Suppose 0*k - a = -2*k. Suppose -k = -5*h + 53. Does 10 divide h?
False
Is 31 a factor of 664 + 14 + 4 + 0?
True
Let b be (-53)/3 - (-3)/(-9). Let k = b - -9. Is 6/k*873/(-6) a multiple of 26?
False
Suppose 1674*g = 1678*g - 10000. Does 50 divide g?
True
Let t(z) = -z + 14. Let x be (-1)/(4 + (-7)/2). Let r = 5 - x. Does 2 divide t(r)?
False
Let z = 96 + 264. Is z a multiple of 15?
True
Let p(m) be the first derivative of m**4/4 - 10*m**3/3 - 12*m - 8. Let w be p(10). Does 4 divide (w/(-8))/1*10?
False
Suppose 346 + 534 = 8*z. Is z a multiple of 11?
True
Let p(g) = 18*g**2 + 9*g - 5. Is 85 a factor of p(2)?
True
Let b(q) = -6*q - 52. Does 31 divide b(-37)?
False
Suppose -38*q = -12*q - 38532. Is 19 a factor of q?
True
Let t(b) = b**3 - 11*b**2 - 11*b - 6. Let l be t(12). Let s be (l/9)/(1/18). Suppose 0 = 17*y - s*y - 120. Does 13 divide y?
False
Let d(k) be the first derivative of 6*k**2 + 212 + 16*k**2 + k - 205. Is 15 a factor of d(1)?
True
Suppose -3*o = 9, 0 = h - 4*o - 7 - 7. Suppose -3*q = h*q - 380. Is q a multiple of 9?
False
Let r = 21 - 18. Suppose -96 = -r*d - 3*d. Is 4 a factor of d?
True
Suppose 0 = l - 122 - 28. Suppose -7*g = -l - 550. Does 14 divide g?
False
Let u(x) = 6*x - 27. Let f be u(5). Suppose 0 = 3*t - 3*l - 153, 4*t - 189 = 4*l - f*l. Is t a multiple of 23?
True
Let h(w) = -w**3 + 3*w**2 + 7*w - 15. Let p be h(3). Does 3 divide (p/(-10))/((-4)/140)?
True
Let l(d) = d**2 + 10*d + 5. Suppose 4*o - 13 = -i, o = 2*o + 3*i - 6. Suppose 4*p = x + 2*x - 43, -o*p + 3*x = 33. Does 3 divide l(p)?
False
Let k be 1/(4 - 38/10). Suppose -k*p - 5 = -0. Is 9 a factor of 2/p*1 + 59?
False
Let i = -29 + 50. Suppose -i = -q + 2. Is q even?
False
Let a = 20 - 17. Let y(t) = 9*t**2 - 4*t + 4. Let c be y(a). Suppose -3*j + c = 19. Is 9 a factor of j?
True
Suppose -3*g = 12, -6*x - 4*g = -4*x - 642. Is 14 a factor of x?
False
Let n = -12 + 17. Suppose 5*t + 40 = 4*z, 2*z = 4*t + n*z + 1. Is t/20 + (-376)/(-5) a multiple of 25?
True
Suppose -3*f + 6 = 3. Let m = 29 - f. Is m a multiple of 6?
False
Let h be (-2)/(-3) + (-11)/3*-2. Is 1 + h/(-2 - 75/(-36)) a multiple of 26?
False
Suppose 2123 = 2*w - 5*j, -10 = 9*j - 7*j. Does 63 divide w?
False
Suppose 5*r - 5*a = 745, 0*r - a = -3*r + 451. Is 5 a factor of r?
False
Is 47 a factor of ((-330)/30)/(1/(-47))?
True
Does 13 divide (1656/21)/((-68)/14 - -5)?
False
Let h = -9 - -84. Suppose 80*x = h*x + 45. Is x a multiple of 3?
True
Let i = -634 + 1024. Is 3 a factor of i?
True
Suppose 27*w + 2054 = 29405. Is w a multiple of 34?
False
Suppose 6*g - 529 = 503. Is 4 a factor of g?
True
Suppose z - 687 = -4*n - 23, -5*n - 10 = 0. Does 28 divide z?
True
Let b be (12/(-10))/((-3)/20). Let o(q) be the third derivative of q**5/60 - q**4/4 + q**3/6 - 59*q**2 - 1. Is 11 a factor of o(b)?
False
Suppose -l = -4, -p + 3*l + 6 = -52. Does 7 divide p?
True
Let r = 4403 + -1970. Is r a multiple of 34?
False
Let j = -504 + 1801. Does 12 divide j?
False
Let r be (80/2)/((-9)/(-18)). Let t = r - -174. Does 12 divide (-24)/108 + t/9?
False
Let b = -384 + 