or of (-10 - 58/(-6))*-639?
False
Let m = 21395 - 12249. Is m a multiple of 34?
True
Let k be (-5*4/(-60))/((-3)/18). Is 17/(k/13 + (-63)/(-156)) a multiple of 34?
True
Is 82 a factor of 22/2*329/517 + -4 - -10136?
False
Suppose -178 - 62 = -12*s. Does 40 divide 96*(s/(-3))/(-1)?
True
Let i(k) = 6*k**2 + 38*k + 12. Is i(-46) a multiple of 137?
True
Let u(i) = -54 + 59 - 4*i - 2*i**2 + i**2. Let k be u(-5). Is (124/(-4) - k)*9/(-3) a multiple of 31?
True
Let h be 4/14 + 144/(-14) + 4. Let i(z) = z**2 - 11*z - 14. Let v be i(h). Suppose v = 7*s - 220. Does 18 divide s?
False
Let v(u) = 4*u**2 - 53*u + 148. Let p be v(34). Suppose 6*j - p - 2070 = 0. Does 24 divide j?
True
Suppose -2*m - 9*p + 14*p = -6763, -5*m + 16894 = p. Is m a multiple of 17?
False
Let a(k) = 9*k**2 + 53*k - 1. Let p be a(-6). Suppose -i + 2*q = 85 - 365, -4*i + 1159 = p*q. Is i a multiple of 22?
True
Let p be ((-1)/(-1))/(-8 + 17992/2248). Suppose 0 = 284*s - p*s - 1590. Is s a multiple of 10?
True
Let k(t) = 95*t**2 + 14*t + 38. Let j be k(-5). Suppose -12*i + 10*i = 5*f - j, 3*f - 2*i = 1393. Does 28 divide f?
False
Is (-4)/(-22) + 17/(2057/553674) a multiple of 44?
True
Suppose 3*c - 2*c = -c. Suppose 15*z - z - 2982 = c. Is z a multiple of 14?
False
Let m be (-1 - -16)*((-34)/10 + 3). Does 14 divide 2/(7/(-291)*m/21)?
False
Let u(t) = -t**3 + 13*t**2 - 12*t + 19. Let a(r) = -2*r**3 + 25*r**2 - 24*r + 39. Let s(w) = 2*a(w) - 5*u(w). Let k be s(14). Does 5 divide (-15 - -17)*k/(-2)?
True
Suppose -3*u + 18639 = -r, r - 5*r + 12412 = 2*u. Suppose -4788 - u = -10*q. Is q a multiple of 22?
True
Suppose 0 = 4*w - v - 47970, 2*w - 13*v = -15*v + 23980. Is w a multiple of 275?
False
Let z(n) = 7*n**2 - 6*n - 57. Is z(29) a multiple of 2?
True
Let p = 2819 + -1155. Does 9 divide p?
False
Let h = 4545 - 1854. Is 13 a factor of h?
True
Does 32 divide (-6 - -55388 - 5) + -17?
True
Suppose 4*l - 391 = -5*z, 0 = -z - 0*z + 4*l + 59. Let g = 484 - 555. Let f = g + z. Does 3 divide f?
False
Let h = -97 + 103. Suppose 2*m - h = 2. Suppose 4*z - 959 = -7*a + 2*a, 0 = -5*z - m*a + 1192. Does 28 divide z?
False
Does 65 divide 19/(-19)*-3*975?
True
Let y be (491/4)/(0 - (-9)/900). Suppose 1075 = -16*q + y. Is 16 a factor of q?
False
Let o = -2193 - -3617. Is 18 a factor of o?
False
Let j be ((-729)/135)/(6/(-50)). Is (-62368)/(-240) - (-3)/(j/2) a multiple of 7?
False
Let x be (-3)/((3/10)/(-1)). Let i(q) = 9*q + 40 - 19 + x*q. Is i(6) a multiple of 45?
True
Suppose 0 = -6*d + 12 + 18. Suppose -7*i + 115 = -2*i + 5*y, i + d*y = 7. Is 4 a factor of i?
False
Suppose 4*d - 345 = -5*p + 244, d + p - 146 = 0. Let r = d + -131. Let n(y) = 33*y + 10. Is 33 a factor of n(r)?
False
Let d be (0 - (-2 + (3 - 3))) + 2. Let u(c) = -2*c + 11. Let t be u(d). Suppose -4*f - 452 = -t*y, y = -f + 39 + 121. Is y a multiple of 12?
True
Let x(p) be the third derivative of 7*p**4/3 - 4*p**3/3 + 173*p**2. Does 8 divide x(2)?
True
Let k = 7553 - -1151. Does 7 divide k?
False
Let o(g) = -9*g**2 + 6*g - 30. Let p(t) = -9*t**2 + 5*t - 29. Let q(z) = 3*o(z) - 4*p(z). Is 35 a factor of q(-5)?
False
Suppose 3 = 25*g - 26*g. Let s be ((-12)/(-10))/((-1)/(10/g)). Suppose 0 = 3*u - a - 36, -14 = -s*u - 4*a + 18. Is 3 a factor of u?
False
Is 19717*3/2*(60/(-9))/(-10) a multiple of 26?
False
Let w = 3970 - 3350. Is w a multiple of 241?
False
Let x(h) = -21*h + 297. Does 13 divide x(-23)?
True
Let g(p) = -12*p**3 - 31*p**2 - 6*p - 27. Let f(r) = -7*r**3 - 16*r**2 - 3*r - 14. Let u(d) = -5*f(d) + 3*g(d). Is u(-13) a multiple of 3?
False
Let t(g) = 59*g**2 + 2*g - 1. Suppose -3*o + 59 = 5*h, -5*o + 85 = h - 6*h. Suppose -o*r + 16*r = -2. Is t(r) a multiple of 3?
True
Suppose -2*q = 43 - 369. Suppose 2*n - q = 91. Is n a multiple of 14?
False
Let i = 3 + -3. Let j be -2 + i/(-1) - -17. Suppose -2*f + 55 = j. Does 4 divide f?
True
Let t(m) = 36*m**2 + 23*m + 254. Is 127 a factor of t(17)?
True
Suppose 7*f - 381 = -283. Suppose -9*l + 1656 = f*l. Is l a multiple of 3?
True
Let d(g) be the first derivative of -127*g**2/2 - g + 369. Let u = -2 - -1. Does 22 divide d(u)?
False
Suppose o + 2*d + 48 = 0, 2*d = 4*o + 61 + 111. Let m = o - -158. Is m a multiple of 38?
True
Let w(d) = d**2 - 2*d + 4. Suppose -3*f = 2*p - 18, 3*f + 0*p - 27 = -5*p. Suppose 7*t + f = 88. Is w(t) a multiple of 22?
False
Let r(p) = -p - 9. Let l be r(-7). Let i be (1*(-12)/(-8) + -3)*6. Is 8 a factor of (46 - i) + (1/1 - l)?
False
Let b = -305 + 1035. Let l = b - -480. Is 10 a factor of l?
True
Suppose 2*t = 4, -131*p + 132*p - 3031 = -5*t. Is p a multiple of 14?
False
Let a(i) = 2880*i + 773. Does 200 divide a(5)?
False
Let u = -12724 - -19060. Is u a multiple of 44?
True
Suppose 88*t - 109*t + 71358 = 0. Does 98 divide t?
False
Let o(j) = -2*j**3 - 10*j**2 + 3*j + 4. Let g be o(-9). Suppose g = 22*b - 9693. Is 12 a factor of b?
False
Let f = 6994 + -2214. Is f a multiple of 9?
False
Let n be 3 - 0 - (-189 - (1 + 3)). Suppose -2*c = 4*j - n, -3*c + j + 206 = -c. Is 34 a factor of c?
True
Let t(u) be the second derivative of u**5/20 - 3*u**4/2 + 14*u**3/3 + 2*u**2 - 23*u. Let h be t(22). Does 4 divide (-4)/10 - h/(-90)?
True
Suppose -14*c + 7872 = 4*s - 11*c, 7872 = 4*s - 4*c. Is s a multiple of 10?
False
Let c(a) = -8*a - 36. Let m be c(-5). Does 70 divide (5 - m) + 909 + 0?
True
Let z be (-7)/7*(-55)/(-5). Let d(v) = -9*v + 77. Is 8 a factor of d(z)?
True
Let z = 25 + -22. Suppose z*c = -325 - 599. Let s = 434 + c. Does 18 divide s?
True
Let w be 4/(-10) + (-5592)/(-5). Let i = w + -642. Is i a multiple of 17?
True
Let n be (-2 + -1)*22/4*4. Let g = n + 116. Let p = 27 + g. Is p a multiple of 20?
False
Suppose -3*s = 7*s + 15*s - 23250. Does 7 divide s?
False
Let u be -1 - ((-60)/4)/5. Suppose -j = -u*j + 29. Let y = 5 + j. Is 4 a factor of y?
False
Does 88 divide 772/(4*6/42)?
False
Suppose 719*s = 724*s - 25. Suppose -3*k + s*k - 297 = 5*m, -2*k + 276 = 2*m. Does 5 divide k?
False
Let l(d) be the second derivative of 3*d**3/2 - 19*d**2/2 + 8*d - 1. Is l(18) a multiple of 11?
True
Let u = 3475 - -1251. Does 11 divide u?
False
Suppose 4*r + r + 2*v - 7111 = 0, 2850 = 2*r - 2*v. Suppose 2*z - r = -5*g, -8*z = -6*z + 2*g - 1426. Is z a multiple of 14?
True
Let b = -11245 - -11545. Does 10 divide b?
True
Let i be 4*5/(80/12). Suppose -2*b - 9*l = -1429, 1405 = 2*b - 2*l + i*l. Is 6 a factor of b?
False
Let t = -1 - -7. Let c(v) = -v**3 + 7*v**2 + 5*v - 1. Let u be c(t). Does 9 divide (3 - (-985)/u) + (-2)/13?
True
Suppose 2*z = -4*f - 0 - 6, -z = 3*f + 4. Let l(k) = -k**3 - 2*k**2 + 2*k + 2. Let h be l(2). Let i = z - h. Does 9 divide i?
True
Let w = 5 + 7. Let u(d) be the second derivative of -d**4/12 + 5*d**3/2 + 7*d**2 - 7*d - 1. Is 19 a factor of u(w)?
False
Suppose 5*p + 2*i + 882 = 0, 0*i = -3*p + 5*i - 492. Let v be 92/((-4)/6 - 0). Let j = v - p. Is 18 a factor of j?
True
Let y(j) = 2*j**2 - 6. Let m be y(3). Suppose -3*b + 51 - m = 0. Suppose -b*w + 14*w = 18. Is 9 a factor of w?
True
Suppose -329582 = -179*k - 59292. Does 10 divide k?
True
Does 62 divide (6/(-9)*-6 - 0/9) + 2724?
True
Suppose g + 6 = 1, -5*m = -2*g. Let b = m + -2. Is b/(-14) + (3 - 1298/(-14)) a multiple of 32?
True
Suppose -4*h - 2324 = -2*i, 174*i - 169*i = 4*h + 5804. Is 4 a factor of i?
True
Suppose -8*v + 17 - 9 = 0. Is 29 + -35 - (-156 + v) a multiple of 32?
False
Let c(b) = 626*b**2 + 22*b - 789. Is c(-11) a multiple of 35?
False
Let n(z) = 77*z**2 - 429*z. Is 55 a factor of n(7)?
True
Let u be (-21)/(-2)*2/3. Let v(q) = 10 - q + 8*q**2 - 305*q**3 - 5*q + 147*q**3 + 157*q**3. Does 13 divide v(u)?
False
Suppose -2*r = -5*m + 19, r - 2 = -2*m - r. Let a(z) = -10*z**2 + z + 10. Let s be a(m). Let x = 118 - s. Is x a multiple of 39?
True
Let i(z) = 611*z**2 + 17*z + 42. Is i(-3) a multiple of 6?
True
Suppose -46*z + 20*z + 8762 = 0. Let y = z - -23. Does 10 divide y?
True
Suppose -15*r + 3897 = -27408. Let b = -1377 + r. Is 5 a factor of b?
True
Suppose -174*h - 347472 = -198*h. Is h a multiple of 127?
True
Suppose 9*a = -3*q + 6*a + 3, 3*q = -4*a. Suppose 4*o - 1726 - 1033 = 3*v, -3*v + 2777 = q*o. Is o a multiple of 54?
False
Suppose 7 = 2*p + 2*d + d, 0 = 4*p + 2*d - 26. Let u(r) = -7 - 15 + 172*r - 168*r. Is 9 a factor of u(p)?
False
Does 52 divide 173439/27*((-2)/12 + (-