j + a. Does 16 divide q?
False
Let r(x) be the first derivative of 5*x**2/2 + x + 18. Let u be r(3). Let j = u + 29. Is 30 a factor of j?
False
Let h be (-10)/(-10) - 1*166. Let j = -237 - h. Let q = -42 - j. Does 5 divide q?
True
Suppose -2*i = -7*i + 35. Suppose 5*j = 0, -2*z - 15 = -i*z + 5*j. Suppose 2*d + 5*r = -0*d + 246, 4*d + z*r = 478. Does 13 divide d?
False
Suppose 2*f + 4*t = -2*f + 916, 2*f - 454 = -4*t. Suppose 14*d - 3*d = f. Is d a multiple of 2?
False
Suppose 2*y + 6*r - 49752 = 0, 5*y + 2*r - 88946 = 35473. Is 14 a factor of y?
False
Let j = 27 - 20. Let m be 23976/63 + (-4)/j. Suppose 4*b + 0*u - m = 5*u, -5*u + 250 = 3*b. Does 13 divide b?
False
Let r(q) be the second derivative of -q**4/12 + 5*q**3/3 - 8*q**2 + 14*q. Let x be r(11). Does 16 divide 87*(-12)/x - 2/3?
False
Suppose 6131*h = 6145*h - 17402. Is 2 a factor of h?
False
Let a(g) = 0 + 2*g + g**3 + 15 + 0*g**3 + 9*g**2 + 6. Let f be a(-9). Is (f - (-77 - 0)) + 2 a multiple of 8?
False
Let q = 33430 + -28678. Is 108 a factor of q?
True
Let t be (-18262)/69*3/(-2). Let a = t - 298. Is a a multiple of 17?
False
Suppose 10*y - 100 = -10*y. Suppose -y*f + 5326 = -1759. Does 60 divide f?
False
Let h be -5 - 1 - -1 - (25 - 33). Suppose -3 = -n, 132 = 3*p - n + h. Is 6 a factor of p?
False
Let k = -407 - -517. Is k/3*(91/35 + 1) a multiple of 22?
True
Let x be 316/((6/(-4))/(-18 - -15)). Suppose 1545 = -x*a + 635*a. Is 20 a factor of a?
False
Let m be ((-20)/(-8) - -1)*14 - 4. Suppose -21 = -0*k - 3*k. Let c = m - k. Does 19 divide c?
True
Suppose -71940 = -593*i + 582*i. Does 109 divide i?
True
Let l(b) = 9*b**2 + 3*b - 21. Suppose 2*d + t - 20 = 3*t, 3*d - 5*t - 36 = 0. Is l(d) a multiple of 21?
True
Suppose -4*j = j - 5, 466 = -3*g - 5*j. Let h = 391 + g. Is 13 a factor of h?
True
Let k(x) = x**2 + 5*x - 4. Let q be k(-8). Suppose 9*w = -7 - q. Is 38 + (5 - (4 - w)) a multiple of 12?
True
Let b(x) = -127*x + 360. Let m be b(-5). Suppose 3*l + 959 = m. Is l a multiple of 12?
True
Suppose -37*c = -3787 - 10680. Let w = c - -117. Is w a multiple of 42?
False
Let s(z) = -z**3 - 16*z**2 - 17*z + 19. Let y be 679/(-6) - (4 - (-100)/(-24)). Let n = 98 + y. Does 8 divide s(n)?
False
Suppose 9*m = 7*m + 12. Let i = -3 + 5. Suppose 2*f + 47 = -x + m*x, -i*x + 2*f + 14 = 0. Is 2 a factor of x?
False
Let i(k) = k**3 - 11*k**2 - 27*k + 16. Let f be i(13). Suppose -5 = -f*c + 10. Suppose 469 = c*y + h, -5*y + 4*h = -0*y - 449. Is 5 a factor of y?
False
Suppose -4*k = -m - 48, m + 4*m = -k - 156. Let i = m + 53. Suppose -c - 10 = -i. Is 2 a factor of c?
False
Let g be 1/(22/(-52) + (-4)/(-8)). Suppose 0 = g*z - 19*z - 702. Let u = z - -168. Is u a multiple of 6?
False
Is 22/363*-9 - 15346/(-22) a multiple of 4?
False
Let s(v) = 4*v**2 - 2*v - 231. Does 15 divide s(29)?
True
Let m(u) = 41*u**2 - 25 + 2 - u**3 - 22*u - 17*u**2. Let x be m(23). Suppose x = -5*v + 119 + 106. Is v a multiple of 14?
False
Let z = -972 - -5970. Does 34 divide z?
True
Let v(j) = 18*j + 14. Let z be v(1). Let r = z - -75. Is r a multiple of 15?
False
Let d = 4992 + 2011. Is 47 a factor of d?
True
Suppose -4*w - 7 = -27. Let s be 12/w*(-90)/(-27). Is (56/s)/(2/16) a multiple of 19?
False
Let b be 4*((-105)/78 + 4/(-26)). Let c be (-2 + 760/12)/((-2)/b). Let s = c + -75. Is s a multiple of 17?
False
Let a = -10801 + 10903. Is 34 a factor of a?
True
Suppose -3*m - 822 - 2856 = -2*d, 0 = 7*d + 3*m - 12792. Is 8 a factor of d?
False
Suppose -5*y + 1506 = -5*r - 624, -3*r - 1284 = -y. Let c be (r/4)/((-1)/4). Suppose 4*i + h + 215 = 565, 5*i = 3*h + c. Does 27 divide i?
False
Suppose 0 = t + 5*f + 6, -4*t + 7*f - 12*f = 24. Does 5 divide (3 - 1/2)*(68 + t)?
True
Suppose -2*o - 5*g + 5 - 7 = 0, -5*o - 20 = 5*g. Let s(i) = -24*i + 49. Is s(o) a multiple of 46?
False
Suppose -2128*q = -2122*q - 26988. Suppose 3669 = 4*o - 4*h - 823, h + q = 4*o. Is 13 a factor of o?
False
Let g(z) = 2*z**2 + 29*z - 132. Let w be g(-33). Suppose -21*l = -4434 - w. Does 4 divide l?
False
Suppose 2*d = 4*y - 1550, 11*y - 7*y + 1574 = -2*d. Let s = -546 - d. Is 47 a factor of s?
True
Let o = 5733 - 4156. Does 4 divide o?
False
Let g(u) = 178*u**2 + 25*u + 10. Is g(4) a multiple of 29?
True
Let y = -872 + 2413. Is 23 a factor of y?
True
Suppose -4*o + 26 = y, -7 = -3*y - o + 16. Suppose 0 = -3*q + y - 18, 4*x = -2*q + 1528. Is x a multiple of 12?
True
Suppose -692 - 212 = 8*o. Let l = 6 - o. Suppose 91 + l = 2*d. Is 25 a factor of d?
False
Let m(a) = 2*a**2 + a. Let t be m(1). Let p(d) = 2*d**3 - 22*d**2 - d + 11. Let i be p(11). Suppose i = -12*n + t*n + 783. Does 41 divide n?
False
Let u(y) = -98*y - 8678. Does 68 divide u(-121)?
False
Let y = 1970 + -620. Is y a multiple of 55?
False
Suppose 4023 = -12*t + 21*t. Let g = 1003 - t. Is 37 a factor of g?
False
Let k(a) = -2*a**3 - 121*a**2 + 289*a + 273. Is k(-66) a multiple of 15?
True
Let i(g) = 39*g**3 - 91*g**2 + 5*g - 34. Is 78 a factor of i(10)?
False
Let w(b) = -82*b - 14. Let i be w(-17). Suppose i + 60 = 8*a. Is 36 a factor of a?
True
Suppose -4*r + 16872 = 4*o, -8*r - 21084 = -5*o - 10*r. Is 31 a factor of o?
True
Suppose -1978*x + 1964*x = -51240. Does 122 divide x?
True
Let c(a) = -19*a + 48. Let u(i) = 9*i - 24. Let s(z) = 4*c(z) + 7*u(z). Does 20 divide s(0)?
False
Is 84 a factor of (-1 - -13151) + 35/5 + -2?
False
Suppose 5*s - 3*x - 4068 = -594, -5*s - 2*x = -3484. Does 15 divide s?
False
Let s = -341 - -1351. Suppose 11*h = 6*h, 0 = 5*r + 3*h - s. Is r a multiple of 42?
False
Let l be 6/(-27) - 1444/(-18). Let f be (-4)/(5 - (7 - 0)). Suppose 0*c - f*c = -l. Is 10 a factor of c?
True
Let m = -252 + 101. Let j = -135 - m. Is 2 a factor of j?
True
Suppose -60 = -66*x + 64*x. Does 9 divide 42/(4/6 - (-25)/x)?
False
Let b = 12478 - 6763. Does 14 divide b?
False
Let f = 15251 - 9843. Suppose -393*l = -380*l - f. Does 16 divide l?
True
Let m = 209216 - 141530. Is m a multiple of 258?
False
Let a(s) = 2*s**3 - 75*s**2 - 960*s + 26. Is a(53) a multiple of 23?
True
Suppose 0 = -2*g + 3*h + 13, -4*h - 23 = 3*g - 0*h. Is (-2 - (-292)/(-20))*-5 - g a multiple of 3?
True
Is 118 a factor of 48/420*5 + (-52741)/(-7)?
False
Let b(c) = 2*c - 23. Let i be b(14). Suppose 18 = -i*z - 4*m, 0*z - 4*m + 18 = -z. Is 7 a factor of 63/z*(-1)/3*16?
True
Is 28 a factor of (19/((-285)/(-6)) - (-62512)/20) + 1?
False
Suppose 41*q = -87*q + 24*q + 419328. Does 49 divide q?
False
Suppose 2*p = 4*c + 20, 6 = 3*c + 21. Suppose -3*j + 0*j + 5*f + 62 = p, -j + 4 = -5*f. Let o = j - 9. Is o a multiple of 5?
True
Suppose -3*y - 3 = t, 2 = 2*t - 2*y - 8. Suppose 2*u + 20 = 6*u, 35 = 4*k + t*u. Suppose 0 = -k*n + 4*w + 382 - 124, 12 = 4*w. Is n a multiple of 27?
True
Let c(n) = -2*n**2 - 86*n - 118. Let w be c(-42). Is 15 a factor of w/(-119) + (-3)/((-21)/3092)?
False
Let g = 9054 + -7528. Does 10 divide g?
False
Suppose -79 = -7*d + 75. Let f be 1 + 9/(-11) - (-62)/d. Suppose -61 = -f*y + 200. Is y a multiple of 11?
False
Let i(u) = -96*u + 4. Let j(s) = -47*s + 3. Let c(w) = 3*i(w) - 5*j(w). Does 18 divide c(-2)?
False
Suppose g - 157 - 338 = 0. Suppose 7*d = g + 86. Is d a multiple of 16?
False
Let r(p) = -474*p + 211. Is r(-7) a multiple of 124?
False
Let y be (12/(-24))/(0 + (-2)/16). Suppose 3*d + 3 = 2*d, -y*o - 5489 = -5*d. Is 45 a factor of (3/2)/(1 - (-1364)/o)?
False
Suppose 5*y - 5*w - 55 = 0, 3*w = 5*y + 4 - 67. Let p = y - 10. Suppose 25 = p*f - 0*f. Does 5 divide f?
True
Is 99 a factor of -2*(-21)/56 + (-298545)/(-52)?
True
Let i be -1 + 4/4*(0 + 1). Let y be i - -4 - (12 - 13). Does 10 divide 14/(-35) - (-212)/y?
False
Let s(h) = -56*h. Let k be -2 + (-3)/(6/(-2)). Let o be (1/(3 + -4))/(k + 2). Is 7 a factor of s(o)?
True
Suppose -1 - 74 = 15*c, 12287 = 2*h + c. Is h a multiple of 7?
True
Suppose -1736 - 7672 = -49*h. Is h a multiple of 24?
True
Suppose a + 976 = 3*a. Suppose -4*j + 604 = -a. Let u = j + -188. Is 13 a factor of u?
False
Let b(a) = 6*a**2 - 6*a + 292. Does 3 divide b(15)?
False
Suppose -12 - 48 = 6*z. Does 7 divide (-112)/(-120)*z*6/(-4)?
True
Let w = -2521 - -4349. Is 9 a factor of w?
False
Does 166 divide (-6170)/(-4)*(27 + 387/(-15))?
False
Suppose 3*m - 2*z = 31, z - 6*z = 5*m - 10. Let h = 98 - 26. Let t = h + m. Is 24 a factor of t?
False
Let g = 82 - 82. Suppose 0 = -4