es 7 divide j?
False
Let y = -1926 + 4126. Is y a multiple of 8?
True
Suppose r + 4 = 0, 2*r = 2*z - 22718 - 10712. Does 14 divide z?
False
Suppose 0 = -3*i + 4*i + 2*x - 11, -6 = -2*x. Is 42 a factor of (-8*1)/(1593/(-315) + i)?
False
Is (24/(-108))/((-8)/18288) a multiple of 12?
False
Suppose -4*y + 23476 = 3*g, -4*g + 24499 + 6849 = -4*y. Suppose -g = -17*q + 13775. Is q a multiple of 31?
True
Is ((-6)/(18/1641))/(7/(-14)) a multiple of 65?
False
Let j(f) be the third derivative of f**5/60 - 7*f**4/12 - 28*f**3/3 + 2*f**2 + 37*f. Is j(30) a multiple of 32?
False
Let c be (8240/(-28) - 2/(-7))/(-1). Suppose -d + c = z, -4*d - 3*z + 251 = -926. Let p = -125 + d. Does 34 divide p?
True
Let y(l) = -l**3 - 6*l**2 - 3*l - 4. Let i(b) = b**3 - 5*b**2 + 2*b + 1. Let h be i(2). Let r be y(h). Suppose 0 = -4*p + r + 374. Is p a multiple of 40?
False
Let k = 2249 + -2229. Let j be (-7 - -1)*(142 - -2). Does 32 divide j/(-30)*k/6?
True
Let q(f) be the second derivative of -f**4/12 - 17*f**3/6 + 14*f**2 - 4*f. Let y be q(-11). Suppose -h + 100 = 2*a - y, 5*h = -5*a + 495. Is a a multiple of 10?
False
Suppose -2*l + 170 = 4*d, -2*d = -7*l + 3*l - 110. Let f = d + -26. Let r = 103 + f. Is 25 a factor of r?
False
Let m(t) = t**2 + 3*t - 16. Let k be m(-6). Suppose -k*d + 7*d = -p + 17, 4*p - 17 = -3*d. Suppose x - 55 = -5*r, -4*r = d*x + 2*x - 296. Is x a multiple of 20?
True
Suppose -r + 4*b = -7408, -25*r = -20*r - 3*b - 37006. Is r a multiple of 37?
True
Let x = -29791 - -41824. Is 44 a factor of x?
False
Suppose 4*m - 26*b + 25*b - 26513 = 0, 5*m - 4*b - 33133 = 0. Does 13 divide m?
False
Let y(j) = j**3 + 3*j**2 + j - 2. Let p be y(-2). Suppose -4*d = 11 + 5, 3*c - 3*d - 15 = p. Does 13 divide 95 - (3 - c)*2?
True
Does 3 divide (-24)/(-44) + 2220608/374?
False
Suppose 105*t - 2*p - 39486 = 101*t, -4*t + 5*p = -39471. Is 30 a factor of t?
False
Let n(c) = -2*c**3 - 3*c**2. Let l = -28 + 28. Suppose -4*g + 2*r = -0*r + 6, l = 5*g + 2*r + 21. Does 6 divide n(g)?
False
Let o(d) = -6327*d - 5258. Is o(-4) a multiple of 202?
False
Let z(d) = 12*d**2 + 39*d + 39. Let b(i) be the first derivative of -19*i**3/3 - 29*i**2 - 59*i - 8. Let r(t) = -5*b(t) - 8*z(t). Does 15 divide r(-20)?
False
Let y be 0/1*((3 - 2) + -2). Does 34 divide ((-3318)/(-7) - y) + 1?
False
Suppose 0 = 2*w - i - 117, i + i = -3*w + 172. Let m = w - -487. Does 77 divide m?
False
Suppose 11*t + 15 = 16*t. Let z(y) = y**2 - 3*y - 1. Let u be z(t). Is 5 a factor of 3322/55 - ((-4)/10)/u?
True
Let n(d) = 678*d**2 + 18*d + 7. Let c(r) = -1017*r**2 - 26*r - 10. Let k(f) = -5*c(f) - 7*n(f). Is k(-1) a multiple of 20?
False
Let d(x) = x + 37. Let f be d(-15). Let a(b) = -b**2 + 27*b - 42. Is a(f) a multiple of 6?
False
Let x be 6*64*34/4. Suppose -12*k + 0*k + x = 0. Is k a multiple of 28?
False
Let p(y) = -2*y**3 + 19 + y**3 + 10*y**2 - 11 + 2*y. Let w be (-15)/12*(1 + -9). Is p(w) a multiple of 7?
True
Let v = -13014 + 28736. Does 56 divide v?
False
Let s(x) = -2*x - 6. Let r be s(-7). Is 16 a factor of r/28 + (-2230)/(-35)?
True
Let r(j) = -38*j**2 + 2265*j - 28. Does 9 divide r(13)?
True
Let u(p) = p**3 - 15*p**2 + 10*p. Let r be u(17). Let v = r + -345. Does 16 divide v?
False
Suppose 164 = t - 520 + 27. Does 219 divide t?
True
Suppose 3*q + 4*f = -22, 3*q - f + 14 = -3*f. Let m be (-10)/4*(6/(-15) + q). Suppose 0*y + 384 = m*y. Is y a multiple of 20?
False
Let q(x) = 7*x - 5. Let a be (-60)/(-6) - (-1 + 5). Let l be q(a). Let g = l - -91. Is g a multiple of 29?
False
Let q = 83 + -379. Let m = q - -176. Let r = -93 - m. Does 8 divide r?
False
Suppose 0 = 140*t + 59*t - 7026292. Is t a multiple of 97?
True
Suppose -129*h + 3153628 + 414383 = 0. Is 17 a factor of h?
True
Let w(h) = 224*h + 28. Let k(s) = 55*s + 7. Let y(f) = -21*k(f) + 5*w(f). Suppose -2*d - 4*v = -3*d - 18, d - 3*v = -14. Is y(d) a multiple of 15?
False
Suppose 11*f - 110 - 99 = 0. Let t = 11 + f. Suppose -3*o + t = c, 0 = o + 2*o + 2*c - 33. Is 9 a factor of o?
True
Let u(q) = 32*q**2 - 190*q + 2. Let s be u(6). Let x(c) = -115*c**3 + c**2 - 1. Let z be x(-1). Let m = z - s. Is 10 a factor of m?
False
Let t(v) = 8*v**2 + 4*v - 64. Let m be t(7). Let c = -254 + m. Is c a multiple of 18?
False
Suppose 5*p = -4*w + 9, 2*p + 0*p - 18 = 2*w. Suppose -3*t - 716 = -p*n, 4*n + 4*t - 135 = 425. Let g = n + -65. Does 11 divide g?
True
Let m(r) = -r**3 + r**2 + 3*r + 1. Let f be m(-1). Suppose f = -3*z - 4*w + 9*w + 274, -3*z = 4*w - 310. Let j = 117 - z. Does 16 divide j?
False
Let g(f) = f**3 - 16*f**2 + f + 12. Let u(w) = w**3 + 13*w**2 + w + 19. Let r be u(-13). Suppose -2*n + 11 = 5*c - r, -55 = -4*n - 3*c. Does 28 divide g(n)?
True
Suppose -753 = 6*j - 999. Is j a multiple of 41?
True
Suppose -t = 2*s - 916, -4*t = t + 5*s - 4570. Is t a multiple of 16?
True
Let r(w) = 27*w**3 - 18*w**2 - 55*w - 3. Does 19 divide r(9)?
True
Let u(z) = -11521*z**3 + 4*z**2 + 3*z - 1. Is 7 a factor of u(-1)?
False
Let s(w) = -5*w**3 - 5*w**2 + 33*w + 405. Does 17 divide s(-10)?
False
Let r be ((-35)/(-14))/((-3)/(-18)*3). Is 61 a factor of 7316/12 - ((-14)/(-3) - r)?
True
Suppose -125*p = -119*p - 146940. Is p a multiple of 158?
True
Let r be (3 - (-3 - (-20)/3))*3. Let x be ((-2)/(-4))/((-3)/36). Is (3/(r + 1))/(9/x) a multiple of 2?
True
Let t(q) be the second derivative of -q**5/20 + 2*q**4 - 5*q**3/2 - 41*q**2/2 - 252*q. Does 4 divide t(23)?
False
Suppose 5*o = 4*h + o + 4, -3*h = o - 17. Suppose 0 = h*r + 20, -2*r = j + 8 + 6. Is (27 - j)/((-3)/(-3)) a multiple of 23?
False
Is 5 a factor of (2/(-16))/((-64)/541184)?
False
Is 19126536/1980 - 2/(-15) a multiple of 78?
False
Suppose -3084 = 139*f - 144*f + m, -5*m - 1229 = -2*f. Is f a multiple of 20?
False
Let f be ((-13)/(-52))/((2/56)/1). Suppose f*h = 1254 + 671. Suppose z - 52 = h. Does 26 divide z?
False
Let c(x) = 13*x - 11. Suppose -67 = -5*s + 48. Let h = s - 14. Is c(h) a multiple of 49?
False
Let i be 5 - 4*(-6)/(-12). Is 28 a factor of i - -193*(8 + -7)?
True
Let t = -9735 - -34005. Does 197 divide t?
False
Let x(k) = -5050*k + 18. Is x(-1) a multiple of 88?
False
Let l be 34590/150 - 6/(-10)*-1. Suppose -l = -2*r - a + 6*a, 2*a = -8. Is 51/((-5)/r*-9) a multiple of 17?
True
Suppose 14*g = -168 + 28. Is (-1196)/(-8) - (-1 + 5/g) a multiple of 12?
False
Let b be 15/4 + ((-161)/28 - -5). Let f(n) = 13*n**3 - n**2 - 5*n + 9. Does 21 divide f(b)?
True
Let u = 59 + -57. Suppose -c - 49 = u*y - 6*y, 48 = 3*y - 3*c. Is y a multiple of 2?
False
Let g(x) = x**3 - 7*x**2 + x + 6. Let z be g(7). Does 29 divide (174/21)/(z/91)?
True
Let l = -1178 + 2028. Let j = 1321 - l. Is j a multiple of 8?
False
Suppose 42100 - 20572 = 8*o. Is o even?
False
Suppose -8*g - 142 = 1506. Let w = 344 + g. Is w a multiple of 19?
False
Let c be -154 + (-5)/((-40)/48). Let l = -112 - c. Is 36 a factor of l?
True
Let n(a) = 5 + a**3 + 103*a**2 - 89*a**2 - 17*a + 4 + 4. Is 22 a factor of n(-15)?
False
Is 10 a factor of (18/(-12))/((-6)/1 - 1464365/(-244068))?
False
Is 60 a factor of 1942*((-38)/(-380))/(2/110)?
False
Suppose -2*w - 3*t + 1040 = -w, 4160 = 4*w + t. Is w a multiple of 18?
False
Let d(x) = -25*x**3 + 2*x**2 + 2*x + 1. Let b be 4 + -8 + 10/5. Let g be d(b). Let v = g + 115. Does 12 divide v?
False
Let h be (2/3)/(1/(-51)). Let c = 56 + h. Does 25 divide (-1*c/(-3))/((-19)/(-228))?
False
Suppose 0 = -4*z - 2*c + 1306, -4*z + 65 = 5*c - 1256. Let i be (-1)/((-976)/z + 3). Let p = -54 + i. Is 27 a factor of p?
True
Suppose -l = -5*b - 44, 3*b - 2*l = -7*l - 4. Does 14 divide 106 - (-4 + b - -6)?
True
Suppose 3*t - 71 = -5*r, 0 = -3*t + 3*r - 4*r + 55. Suppose 0 = -6*y + t*y - 5819. Is y a multiple of 23?
True
Suppose 75*x + 76957 - 355807 = 0. Does 13 divide x?
True
Let d be (8/(-6))/(-1 - 744/(-747)). Suppose d + 1900 = 6*c. Does 12 divide c?
True
Is 21 a factor of (-338)/5239 - (-2605308)/93?
True
Let a(u) be the second derivative of -u**6/80 + u**5/10 + 11*u**4/12 - u. Let x(r) be the third derivative of a(r). Is 10 a factor of x(-5)?
False
Suppose 2611*c = 2596*c + 84165. Is 121 a factor of c?
False
Suppose 25840 = 30*q + 8*q. Does 41 divide q?
False
Suppose -2*p + 30 = r + 2*p, 0 = -3*r - 5*p + 62. Suppose r*w = -36 - 160. Let o = w - -158. Is 48 a factor of o?
True
Suppose 24 = 6*d, 3*h = 5*d + 758