ose 30*m - c = n*m. Is 6 a factor of m?
False
Let i(u) = 35*u**2 - 428*u - 3794. Does 10 divide i(-9)?
False
Suppose 156 = -20*t - 19*t. Is (-1 - (-2)/(-10))*(-41 + t) a multiple of 18?
True
Let q(f) = -5758*f - 521. Is q(-4) a multiple of 78?
False
Is (-648)/1188 + 15060/22 a multiple of 76?
True
Let c(z) be the third derivative of -z**5/60 - 5*z**4/4 + 125*z**3/6 + 132*z**2. Is c(-28) a multiple of 18?
False
Suppose 50 + 27 = 7*m. Is (-224 - -3 - m)*(-1)/4 a multiple of 4?
False
Let n(q) = q**3 + 28*q**2 + 31*q - 28. Let z be n(-27). Is (-14909)/z + (81/24 - 3) a multiple of 22?
True
Let a(g) = -4*g + 22. Let o be a(4). Does 66 divide o + 522 + 0/(-1)?
True
Does 48 divide (0 - -17) + 92176/7?
False
Suppose 0 = -3*k - 4*f + 40814, -848*f + 27186 = 2*k - 850*f. Does 25 divide k?
False
Suppose n = -5*g + 9520, 5*n + 10655 = 5*g + 1105. Does 43 divide g?
False
Suppose 0 = 2*n + 6, 2*r - 6*r + 3*n = -33. Is ((-4)/r)/(-2) + (-17732)/(-39) a multiple of 35?
True
Suppose -x = -4*w - 107 - 107, -4*x = 2*w - 766. Suppose 0 = -7*r + x + 226. Is r a multiple of 5?
True
Suppose 24597 = 9*i - 28*i + 109527. Does 15 divide i?
True
Let t(f) = f**3 - 14*f**2 + 34*f - 14. Let x be t(11). Let n(b) = 5*b**2 - 2*b**2 - 4*b**3 - 4 - 3*b + 2*b - b**2. Is 25 a factor of n(x)?
True
Let i be 20/70*7*2. Suppose 6 = -m + i*m, 0 = 4*g - 5*m - 10. Suppose -4*c - 195 = -3*d - 28, -250 = -g*d + c. Does 7 divide d?
True
Let w(h) = 38*h**2. Suppose 2*a = -3*u - 3*a + 3, 5*u = 4*a + 5. Is 18 a factor of w(u)?
False
Let a(z) = 2*z**2 - 104*z + 260. Let i be a(49). Suppose -5*k = -20, 0*b + 134 = 3*b + 2*k. Let s = b - i. Is 19 a factor of s?
True
Let n(v) = -v**3 + 22*v**2 - 21*v + 36. Let w(h) be the first derivative of 7*h**2/2 + 7*h + 27. Let a be w(2). Is n(a) a multiple of 3?
True
Suppose 4*v = 9*v - 30. Let c be 0/((v/4)/((-3)/4)). Suppose -4*y + c*y = -3*l + 342, 229 = 2*l - 3*y. Is 12 a factor of l?
False
Is 10 a factor of 9 + 4558 + (-4 - (-42)/7)?
False
Suppose j - x - 197 = 0, -5*j - 2*x + 0*x = -1013. Let w = -1374 - -1237. Let i = j + w. Is 8 a factor of i?
True
Suppose -4*o = 5*w - 57643, -5*o = -2936*w + 2939*w - 34591. Is w a multiple of 23?
False
Suppose -5*h = 15 - 35. Let y(f) = 6*f + 42. Does 20 divide y(h)?
False
Suppose 0 = -4*v + 80 + 44. Suppose 4*t = -2*n - n + 42, -3*t - 2*n + v = 0. Suppose -t*w + 342 + 54 = 0. Is 14 a factor of w?
False
Suppose 9*j = 6*j + 21. Let r(m) = m**2 + 3. Let a be r(j). Let x = a - 19. Does 33 divide x?
True
Suppose -28*k + 55*k - 44854 = -55*k. Is k a multiple of 2?
False
Let t(u) = u**2 - 63*u - 336. Let v be t(-5). Suppose 0 = -4*f - 10*g + 12*g + 690, -v*g + 195 = f. Is 7 a factor of f?
True
Let v be ((-3)/4)/((-2)/8). Suppose 294 = 26*u - 8*u + 24*u. Suppose u*n = v*n + 308. Does 11 divide n?
True
Let h(j) = 2*j**2 + 5*j + 5. Let d(c) = 2*c - 82*c**2 - 2 - 7*c + 83*c**2. Let o be d(3). Is 23 a factor of h(o)?
False
Suppose 4*g = 2*x - 4, -g - 4*g + 5 = 0. Suppose 5*q + 1 + 6 = -x*w, w + 2 = -q. Does 4 divide ((-364)/(-65))/(q + (-8)/10)?
True
Suppose 4*r - 6*v = 55462, -2*r - 6092 = v - 33843. Does 25 divide r?
False
Suppose 13*j - 75999 = 180717 - 65642. Does 230 divide j?
False
Let v(p) = 8*p**2 - 8*p + 2. Let y be v(6). Let l(x) = 87*x - 40. Let n be l(2). Let m = n + y. Is 16 a factor of m?
False
Suppose -3*p - 355 = -2*p - 5*d, 5*p + 1751 = d. Does 2 divide p/50*(-3)/(2 + -1)?
False
Suppose -25*u + 24 = -22*u. Suppose -11*y + u*y - 42 = 0. Let s(m) = -m**2 - 13*m + 31. Is s(y) a multiple of 3?
False
Suppose -3065*f = -3060*f - 3810. Does 127 divide f?
True
Suppose 30*k = 92711 + 119329. Does 78 divide k?
False
Suppose o = -4*z + 767, z + 2*o - o - 194 = 0. Let s = z - 135. Does 11 divide s?
False
Does 40 divide 124490/70 - (-36)/(-84)?
False
Suppose 39*a - 49*a - 433810 = -140*a. Does 47 divide a?
True
Let l = -300 + 576. Suppose 238 = 4*c - 2*u - l, 2*c - 248 = -2*u. Does 17 divide c?
False
Let i = -16 + 20. Suppose 6*n = 4*n - i. Is 8 a factor of -16 + 49 - (-3 - n)?
False
Suppose 0 = 5*b - t - 24, 5*t + 11 = 4*b - 4. Suppose 5*i = 2*z + 1659, -z = 4*i - b*z - 1320. Is 37 a factor of i?
True
Let v(g) be the first derivative of 15*g**3 + 23*g**2/2 + g - 160. Does 37 divide v(-4)?
True
Suppose 53*v = 86*v + 69*v - 1248786. Is v a multiple of 77?
True
Is 8 a factor of 30385/45 - (-10)/(-45)?
False
Let v(r) = r**2 - 2*r - 5. Let p be v(4). Suppose 2*l - 123 = p*t, -l = -2*l - 3. Let q = 94 + t. Is q a multiple of 45?
False
Suppose -6*z = -208 - 140. Suppose 7*l - z - 5661 = 0. Is l a multiple of 99?
False
Is 17 a factor of -18 - -27844 - (2 + (-11 - -3))?
False
Let m be 1/3*15 - 2. Suppose 194 = m*h + 2*h - 2*z, 0 = 2*h - 3*z - 71. Suppose 385 = 5*p + h. Is 23 a factor of p?
True
Suppose 265*g - 267*g - 3570 = -3*p, 0 = -5*g - 15. Is p a multiple of 66?
True
Suppose -3*n - 70 = 4*v, 90 = -6*n + 2*n - 2*v. Is 25 a factor of 6/(-3)*1397/n?
False
Let k(j) = -j**3 - 11*j**2 + 13*j - 3. Let q be (1 - 4)/(3/(-24)*-2). Let z be k(q). Let d(p) = p**2 + 15*p + 35. Does 24 divide d(z)?
False
Suppose -4*n = 0, 3*k = 5*k - 3*n - 72. Let z be (-12)/(-4) + k + 6/3. Suppose 0 = -43*a + z*a + 80. Is 20 a factor of a?
True
Let d(l) = 1 - 2*l - 2 + 9*l**2 - 3. Suppose -s = -57*y + 58*y + 6, -5*s = -y + 6. Does 4 divide d(s)?
True
Let z be 0 + 15 - (31 - 18). Let w = 2 - 0. Is z*6/18*33/w a multiple of 4?
False
Let j be ((-18)/15)/(6/(-20)). Suppose 2*s + d = 13, -3*s + 3*d + 2 = -j. Suppose 3*h = s*h - 176. Is 22 a factor of h?
True
Let g(t) = t**2 - 9*t - 60. Let c be g(13). Let i = 34 + c. Is 26 a factor of i?
True
Suppose -w = 2*s - 2291, -3*s = 2*w - 1502 - 1933. Is s a multiple of 3?
False
Suppose -3*p = -5*a - 0*a - 6, -5*p - 5*a + 10 = 0. Let y be (2/(24/140))/(p/12). Let d = 74 + y. Is 26 a factor of d?
False
Let a(m) = -m**3 + 12*m**2 - 12*m + 13. Let f be a(11). Suppose u - 761 = -5*v + 2*u, -2*v = -f*u - 306. Is 9 a factor of v?
False
Suppose -5*m + 3156 = -2899. Suppose 9*c - 1246 = m. Is 21 a factor of c?
True
Does 8 divide 74451/18 - 3/18?
True
Let u = 202 - 202. Suppose 54*y - 60*y + 216 = u. Is y a multiple of 18?
True
Let n(q) = 32 - 99*q - 45 - 111 - 71. Is 40 a factor of n(-9)?
False
Let x(d) = -d**3 - 4*d**2 - 10*d + 5. Suppose -2 = -2*r + 14. Let v be (r + -5)/3 - 6. Is x(v) a multiple of 20?
True
Let i = 9620 + -1710. Is 14 a factor of i?
True
Suppose 3*z + 3*x - 117 = 0, -5*z + 0*x + 207 = x. Let u = 47 - z. Suppose u*r = r + 56. Does 7 divide r?
True
Let o(t) = -471*t - 24. Does 38 divide o(-32)?
True
Let o(z) = z**2 + 4*z + 7. Let l be o(-2). Suppose -10 = -3*d - 2*y, -d - 5*y = 4 - l. Suppose 0*k = 4*t + 2*k - 20, 0 = -5*t - d*k + 19. Is 3 a factor of t?
False
Suppose 0*a - 882 = -7*a. Suppose d - 42 = -81. Let f = a + d. Is 29 a factor of f?
True
Suppose -220*t + 569675 = -260605. Is 11 a factor of t?
False
Suppose 11*g - 5*s - 99034 - 104093 = 0, -s + 2 = 0. Does 16 divide g?
False
Let q = -60754 + 112779. Is q a multiple of 49?
False
Suppose -6*n - 4 = -7*n. Suppose -5*m - n = -279. Suppose m = 9*p - 44. Is 2 a factor of p?
False
Let z(a) = 5*a**2 - 29*a - 28. Let i be 560/84*(-24)/10. Does 13 divide z(i)?
True
Suppose -3*f + 23 = 3*y - 5*f, -2*f = 8. Let h = -1 + 33. Suppose h = i + 2*l, 7*i + y*l = 3*i + 113. Is i a multiple of 9?
False
Suppose 0 = -3*j - 0*j - g - 28, -30 = 2*j - 5*g. Let n(k) = -79*k - 110. Is 34 a factor of n(j)?
True
Suppose 111*o - 934292 = 559990. Is o a multiple of 106?
True
Let t = -24644 - -31460. Is 10 a factor of t?
False
Let p(d) = 3*d**2 + 20*d + 22. Let g(r) = -2*r**2 + 19*r + 24. Let y be g(11). Is 8 a factor of p(y)?
False
Let d be (12*1/20)/(2/990). Let q = d - -18. Is 7 a factor of q?
True
Let s = -21 - -9. Let z = 0 - s. Suppose 0 = 9*r - 8*r - z. Is r a multiple of 3?
True
Suppose 15*g = -3*f + 16*g + 2042, 2*g - 1364 = -2*f. Suppose -2445 + f = -2*p. Is 14 a factor of p?
True
Let s(k) = 25*k - 187. Let d be 3 + 0 + 5 + -3 + 15. Is s(d) a multiple of 15?
False
Suppose -255*f - 66248 = -283*f. Is 36 a factor of f?
False
Let c be 0 + 6/((-30)/(-35)). Suppose 0 = -3*v + 15, i - 2*v - 18 = -5*v. Suppose -i*q - 240 = -c*q. Is q a multiple of 12?
True
Suppose 4*w + 4*s = 1541 + 775, -2331 = -4*w - s. Is w a multiple of 8?
True
Let n(b) = 90*b**2 - 118*b + 790. Is 9 a 