 factor of (1290/o)/((-4)/28)?
False
Let l = -29995 + 50444. Is l a multiple of 11?
True
Is (-434)/(-124) + (-26337)/(-2) a multiple of 74?
True
Let k = -26470 + 31734. Is k a multiple of 94?
True
Suppose 16*t + 10*t - 73625 = -5*t. Is 25 a factor of t?
True
Suppose -4 = -4*v + 16. Let q(h) = -7*h**2 + 16*h - 14. Let x(i) = -22*i**2 + 50*i - 44. Let r(l) = -16*q(l) + 5*x(l). Is 12 a factor of r(v)?
True
Suppose -132 = 6*q - 3*q. Let r be (66/(-15) - -5) + 326/(-10). Let c = r - q. Is 7 a factor of c?
False
Let l(t) = 123*t. Let p(k) = -246*k. Let m(f) = 5*l(f) + 2*p(f). Is 15 a factor of m(3)?
False
Let u(z) = 1432*z**2 + 222*z - 448. Is 108 a factor of u(2)?
True
Let z(h) = -h**2 - 17*h - 26. Suppose -v + 3*r = 28, -3*v = v + 2*r + 56. Let k be z(v). Is (-4)/(-6)*(2 - k) even?
True
Let a be (-250)/(-100)*12/10. Suppose -a*f + 17 + 64 = 0. Is f a multiple of 3?
True
Suppose 467996 + 1690877 = 148*p - 1372999. Does 20 divide p?
False
Let t = -5321 - -5320. Let q(g) = -2*g**2 + 4*g - 6. Let r be q(5). Is 11 a factor of ((-9)/(-2))/((3/r)/t)?
False
Let f(h) = 541*h - 121. Is f(5) a multiple of 3?
False
Let g = -5442 + 13826. Does 101 divide g?
False
Suppose -1104 = -l + 2*t + t, -5*t = -2*l + 2212. Suppose -l = -18*s + 15*s. Does 11 divide s?
False
Suppose -i - 147 - 8 = -4*d, -4*i = -4. Let s = d - 43. Does 18 divide 70*1 - s/2?
True
Suppose 0 = -3*i + 5*v - 9*v + 2143, 2142 = 3*i + 3*v. Suppose -3*d = -439 - i. Does 24 divide d?
True
Suppose -4*j + 3*u = -966, 4*j - 958 = -4*u + 3*u. Suppose -5*h - 3*h = -j. Is 3 a factor of h?
True
Suppose -5*z + 24363 = -v, -23*v + 19500 = 4*z - 27*v. Suppose -44*w + z = -38*w. Is w a multiple of 14?
True
Let y(o) = -29*o - 17. Let d be 3*(-2)/6 - (0 + -4). Suppose 3*q + k + 4*k = -25, d = q - 4*k. Is y(q) a multiple of 25?
False
Let v(l) = 2*l**3 - 5*l**2 + 2*l - 13. Let g be (-8 + 0)/(7 - 9). Let m be v(g). Let d = 30 + m. Is d a multiple of 14?
False
Suppose 42*g - 594299 = -94499. Is g a multiple of 175?
True
Does 71 divide (0 + -104)*(3010/(-56) - -4)?
False
Let v(a) = 17*a - 9*a**2 - 18 - a**3 - 12*a - 9*a + 3. Let x be v(-10). Suppose h - 5*i - x = 0, 5*h + 0*h = -i + 677. Is 27 a factor of h?
True
Suppose 3*v = 5*t - 313, -4*v = -4*t - 2*v + 252. Let f be ((-80)/(-14))/(6/21). Suppose t = m - f. Is 23 a factor of m?
False
Let u(z) = -z**2 - 83*z + 163. Is u(-71) a multiple of 10?
False
Suppose -5*j = j + 36. Let s(m) = 2*m + 14. Let x be s(j). Is (-1 + x/4)/((-2)/672) a multiple of 28?
True
Suppose -576055 = -232*w + 300905. Is 28 a factor of w?
True
Suppose 111*h + 470 = 106*h. Is (1 + h)*(-2 + 6/18) a multiple of 14?
False
Let s(k) = -15*k**3 - 6*k**2 + 22*k + 199. Is s(-7) a multiple of 36?
True
Suppose 3*u - 1482 = -2*k + 981, 3*k + u - 3691 = 0. Is k a multiple of 5?
True
Let d = 14746 - 6006. Is 5 a factor of d?
True
Let z = -2 + -34. Let u = z + 44. Suppose 13*d - u*d = 65. Is 2 a factor of d?
False
Let l(y) = -y**2 - 10*y - 3. Let o be l(-8). Suppose -5*z - 13 = 2*d - 129, 0 = -5*d - 3*z + 271. Let c = d - o. Is c a multiple of 14?
False
Let w be (-15)/(-45)*390/2. Suppose w = -3*m + 776. Is m a multiple of 28?
False
Suppose 4*n + 5*w - 599 - 243 = 0, 2*n = 5*w + 436. Suppose -11*x + n - 48 = 0. Is x a multiple of 15?
True
Suppose -30*i + 369 - 129 = 0. Let f(b) = 3*b**2 + 5*b + 8. Does 24 divide f(i)?
True
Let v(t) be the third derivative of 1/120*t**6 + 0*t - 1/4*t**4 + 4*t**2 + t**3 + 0 - 1/20*t**5. Is v(5) a multiple of 5?
False
Is 1148/(476/1008 + (-4)/18) a multiple of 28?
True
Does 18 divide (-512802)/(-42) + -2 - -9 - 6/(-14)?
False
Let v(o) = -17*o**3 - 76*o**2 - 319*o + 21. Is v(-5) a multiple of 7?
True
Suppose 0 = 8*d - 115 - 109. Is d a multiple of 14?
True
Suppose -4*g + 11 = b, 3*g - b = b + 22. Suppose 0 = -2*f + 6, g*a - 3*a - 2*f = 277. Suppose a = 3*k - 38. Is k a multiple of 7?
False
Suppose -96 = -35*n + 29*n. Is 3/6*8 - (-432 + n) a multiple of 42?
True
Let z be 44 + -14 - (0 + 2/(-2)). Suppose 4*r - z = -o, -4*r + 80 = 2*o - 2*r. Is o a multiple of 43?
True
Suppose -3*r - 835 = -2242. Let n = -93 + r. Is 35 a factor of n?
False
Let a = -30620 - -45404. Does 90 divide a?
False
Suppose -6*p - 110 = -338. Suppose -5*f = 32 + p. Does 39 divide (-1634)/(-14) + (-4)/f?
True
Let n(x) = 10*x**2 - 104*x - 1907. Is n(-49) a multiple of 135?
False
Let c(b) = 2717*b + 1016. Is c(5) a multiple of 31?
True
Let t = -81 + 82. Suppose 76*f = 77*f - t. Let y(d) = 113*d + 1. Is y(f) a multiple of 6?
True
Suppose 189*m - 58*m - 668886 = 0. Does 23 divide m?
True
Suppose 2*z = 5*t - 16538, 22*t - 20*t = -3*z + 6600. Is 174 a factor of t?
True
Is 23/((-230)/(-40695))*4/6 a multiple of 28?
False
Let v = 4363 - -1230. Does 5 divide v?
False
Let c(d) = d**3 + 10*d**2 - 140*d + 1. Does 11 divide c(19)?
True
Is 1095 - (7 + (-10 - -13)) a multiple of 155?
True
Let j(o) = o - 12. Let n be j(13). Let w be -67*((n - -1) + -1). Let k = 79 + w. Is 3 a factor of k?
True
Let v be 231 - (-1*3)/((-39)/(-26)). Let d = 593 - v. Is 18 a factor of d?
True
Let p = 56 + -12. Let g = p + -41. Suppose -230 = -2*h + 2*a, h - g*a - 133 = -8*a. Is h a multiple of 41?
False
Let v = -163 + 93. Let c = -68 - v. Suppose c*g - 49 = -10*f + 5*f, 111 = 3*g - 5*f. Is g a multiple of 8?
True
Let f(x) = 985*x + 867. Does 11 divide f(4)?
True
Let d(h) be the second derivative of -11*h**3/3 + 29*h**2 + 32*h. Let g be d(7). Does 20 divide (1 + 16/(-6))/(4/g)?
True
Let c(j) = -105*j**3 + j**2 + 17*j + 16. Does 8 divide c(-5)?
False
Suppose 5*y + 13 = -277. Let n = 100 + y. Is 21 a factor of n?
True
Let v(n) = n**3 + 42*n**2 - 105*n - 214. Is v(-44) a multiple of 21?
False
Suppose -19*h - 118248 = -27*h. Suppose 3279 = 28*p - h. Is p a multiple of 15?
True
Is 11 a factor of (-1254)/(21*15/(-2310))?
True
Let h(d) = -7*d**3 + 219*d**2 + 41*d - 215. Is 114 a factor of h(27)?
False
Let f(w) = w**2 - 13*w + 15. Let c be f(12). Suppose -2*y - 4 = -0*y, 0 = 5*g - c*y - 686. Is g a multiple of 34?
True
Let l(w) = -8*w**3 + 15*w**2 - 44*w - 13. Let g(i) = -15*i**3 + 30*i**2 - 87*i - 26. Let o(b) = -6*g(b) + 11*l(b). Does 3 divide o(5)?
True
Let d = 567 + -924. Let f be (6 + -91)/((-3)/6 + 1). Let k = f - d. Is k a multiple of 12?
False
Suppose 0 = -34*r + 17*r - 17612. Is (r - 2/(-2))*(-4 - -3) a multiple of 23?
True
Let l = -52 - -25. Let c be 64/24 - 975/(-9). Let u = c - l. Is u a multiple of 32?
False
Let f = 315 + -315. Suppose 5*c = n + 410, f = -4*c + c - n + 238. Is 8 a factor of c?
False
Let y = 929 + -444. Does 6 divide y?
False
Suppose 7*s - 2*s = 15, -4*x = 4*s - 180. Let k = 48 + x. Is 5 a factor of k?
True
Let l(g) be the first derivative of 35*g**3/3 + g**2/2 - 172. Suppose 3*n + 2*t + 3 = 0, -n - 4*t - 2 = -3*t. Is 6 a factor of l(n)?
True
Let h(u) be the second derivative of u**4/12 - 7*u**3/6 + 9*u**2/2 - 33*u. Let s be h(6). Suppose 4*c - s*i - 694 = -i, -c = 2*i - 161. Does 19 divide c?
True
Let o be (-9)/((-90)/(-4)) + 27/5. Suppose -4*h = -o*z - 521, -425 = 4*z + 3*h + 2*h. Let d = z + 169. Is 8 a factor of d?
True
Let x(d) = -8*d - 6. Let j be x(-3). Suppose -j*t = -12*t - 4608. Does 12 divide t?
True
Suppose 5*t + 209 = 5*n - 116, 251 = -4*t + n. Let q = t - -66. Is 5 a factor of (q/6)/(2/63)?
False
Let r(y) = y**2 - 11*y + 11. Suppose -11*v + 19 + 234 = 0. Suppose 9 = 2*t - v. Is 13 a factor of r(t)?
True
Let z(f) = 99*f - 15. Let h be z(7). Suppose -4*t = x - h, x + t - 399 = 264. Let c = x - 470. Is 20 a factor of c?
False
Is (-24008)/(-6) + (-10)/30 a multiple of 27?
False
Suppose 0 = -2*s + x + 7394, -5*x + 18455 = -13*s + 18*s. Is s a multiple of 19?
False
Let j(p) be the second derivative of -p**3/3 + 9*p**2 - 2*p - 203. Let g(t) = -3*t + 6. Let u be g(4). Is 15 a factor of j(u)?
True
Suppose 7 = l - 48*z + 49*z, 0 = 3*l - 3*z - 3. Let u = 24 - 9. Suppose -l*a - 3*t = a - 526, 5*t = -u. Is 29 a factor of a?
False
Suppose 2692 = 4*p - 35*l + 39*l, -1984 = -3*p + 4*l. Is p a multiple of 11?
False
Let s(i) = -3*i**3 - 8*i**2 - 2*i + 17. Let h be 12 + -17 + 0 - (1 - 0). Is s(h) a multiple of 12?
False
Let j = -220 + 260. Suppose 2*x - 64 = 2*v, x + 0*x = -3*v + j. Is x a multiple of 17?
True
Let a be (-7 - -6)/(0 - 2/310). Suppose -13*j + 8*j = -a. Let l = -22 + j. Is l a multiple of 9?
True
Let b be 2/(-7) - 