le of 57?
False
Let t(x) = x + 8. Let p be t(-2). Suppose p*j - 282 = 3*j - w, 5*w - 175 = -2*j. Is 23 a factor of j?
False
Let l be 0*((-12)/9)/4. Let h be 5/(l + 2 + -1). Suppose 118 = h*t - 2*a, -6 - 39 = -2*t + 3*a. Is t a multiple of 6?
True
Let q(k) = k**2 - 7*k + 2. Let o be q(7). Let f = o - -3. Suppose -n + 5*s - 143 = -4*n, -f*s = 5*n - 225. Is n a multiple of 21?
False
Let v(d) = -37*d - 15. Let w be v(-10). Let t be (-1)/(-5) - 270/(-25). Suppose w = t*m - 6*m. Is m a multiple of 25?
False
Suppose -3*w = 4*q + w - 28, 4*w = 5*q - 8. Suppose q*m - 2*a = 84, 4*m + a = 2*a + 86. Suppose -5*p - 6 + 1 = 0, -m = -i + 4*p. Is 9 a factor of i?
True
Suppose -u + 22 = -3*u. Suppose 2*z - 3*b - 11 = 0, 0 = -4*z - b - 13. Let i = z - u. Is i a multiple of 3?
True
Suppose -3*s - 4*q = -6*s + 3652, 6135 = 5*s + 3*q. Does 7 divide ((-6)/8)/((-27)/s)?
False
Suppose 4*u - 15 = u. Let a be ((-53)/5)/((-1)/u). Suppose -2*f + 49 = -a. Is f a multiple of 14?
False
Let j(d) = -d**2 - 6*d. Let g be j(-5). Suppose g*f + 31 = 321. Does 16 divide f?
False
Let f = -1548 + 2100. Is f a multiple of 6?
True
Let x(t) = 21*t + 4. Let y be x(5). Suppose 2*i - 3 = -y. Let a = 89 + i. Does 18 divide a?
True
Let j(v) = -v**3 + 21*v**2 - 6*v + 16. Is 15 a factor of j(19)?
False
Let h(q) = -14*q - 6. Let c be h(-4). Suppose 3*r = 7*r. Suppose -5*j + r*j = -c. Is j a multiple of 3?
False
Is 24 a factor of 2/(7 + (-1761)/252)?
True
Suppose -3*r + 8 = -n, 0 = 2*r - 7*r - 3*n + 18. Suppose 0 = -r*i + 24 + 9. Does 3 divide i?
False
Let i be (-11)/(-5) - 5/25. Let u = 11 + i. Let s = 1 + u. Is 11 a factor of s?
False
Let s be (10/(-35))/((-2)/14). Suppose -242 = -3*b - 2. Is 9 a factor of (b - (1 + -3))/s?
False
Let c(y) = 30*y - 32*y - 17 - 14*y + 5. Does 15 divide c(-9)?
False
Let w(k) = -k + 5. Let n be w(4). Does 6 divide n/(-3) - 57/(-9)?
True
Let n be (-10)/(-2)*10/10. Suppose -n*m = -m - 440. Does 22 divide m?
True
Is 4257/77 - (-2 - (-48)/21) a multiple of 3?
False
Suppose 6 = -7*j + 10*j. Suppose -f = j*f. Suppose -5*r - 5*s + 4 + 11 = f, -3*r + 27 = -3*s. Is r a multiple of 3?
True
Is 7 a factor of (10/(-36) + 14/(-63))*-374?
False
Suppose -21*g + 18820 = 5*p - 22*g, -4*g = -p + 3764. Is p a multiple of 59?
False
Let b = 620 + -260. Does 15 divide b?
True
Is 15 a factor of (-2)/(-4) - (16191/(-6))/3?
True
Let r(c) = c**3 - 13*c**2 + 10*c + 16. Is 14 a factor of r(15)?
True
Suppose -b - 702 = -3*d, 3*b + 468 = 12*d - 10*d. Is d a multiple of 26?
True
Let y be (-175)/(-42) + 2/(-12). Let o be ((-4)/(-6))/(y/18). Suppose 44 = 4*s - o*s. Does 22 divide s?
True
Suppose 16 = -i + 2*i. Is (i/40)/((-1)/(-160)) a multiple of 16?
True
Let h = -2 - 1. Is 9/6*(-40)/h a multiple of 2?
True
Let w(z) = -58*z + 96. Does 9 divide w(-5)?
False
Suppose 389 = -3*j + 1316. Is j a multiple of 33?
False
Let f(x) = -15*x + 13. Let k(v) = 12 - 22*v + 11*v - 3*v. Let y(p) = 4*f(p) - 5*k(p). Does 11 divide y(7)?
False
Let b(w) = -2*w**2 + 10*w - 12. Let n be b(6). Let h be ((-666)/n)/(9/24). Suppose -3*o + h + 58 = 0. Is 15 a factor of o?
False
Suppose -4*d = -5*k - 17, -4*d - k = -d - 8. Suppose -3*p - 55 - 56 = -5*v, -5*v + 107 = -p. Suppose -4*l = -3*l + f - v, l - 25 = d*f. Does 11 divide l?
True
Let b = -233 + 448. Let s = -162 + b. Is s a multiple of 7?
False
Suppose -q = -3*v + 8 - 29, 4*q - 9 = -3*v. Suppose -d - 2*k + q = -9, -2*d + 34 = 2*k. Is d a multiple of 16?
False
Suppose r = -2*m + 43, 5*r - 95 = -6*m + m. Let z(v) = -9*v + 10. Let i be z(-7). Let p = i - m. Is 14 a factor of p?
False
Suppose 7*u + 15 = 12*u. Is 10*(-3)/(-2) - u a multiple of 6?
True
Suppose 68*i + 390 = 3*i. Let a be (-8)/6*78/4. Is 12 a factor of (a + i)/(0 + -2)?
False
Let n(r) = 31*r**2 + 8*r + 4. Suppose 4*k - 6 = 2*a, 4 = -4*a - 2*k - 8. Does 28 divide n(a)?
False
Let a(w) = -2*w**3 - 12*w**2 + 10*w + 29. Does 85 divide a(-9)?
True
Let j be ((-3)/(-2))/((-9)/(-150) - 0). Suppose 58 = 3*u + j. Is u a multiple of 11?
True
Suppose 3*j + 25 = -2*j + 5*c, 2*j + 2 = 4*c. Let o = 14 + j. Suppose -5*r = -q - 4*q - 595, 0 = -o*r - 3*q + 603. Does 30 divide r?
True
Let m(g) = g - 3. Let t be (-3 + -11)/(-2) + -2. Let a be m(t). Suppose -a*s - 4*y = -0*y - 46, 12 = -s + 5*y. Does 8 divide s?
False
Let x(p) = 21 - 10 - 8 - 140*p. Is x(-1) a multiple of 30?
False
Let w = -460 + 4132. Is 14 a factor of w?
False
Suppose 0 = -14*m + 10*m + 3*j + 177, -3*m + 154 = 2*j. Does 48 divide m?
True
Suppose 2*x + 802 = 2*v, -5*v - x = -1028 - 965. Is 18 a factor of v?
False
Suppose 5*g - 865 = -5*r, 0 = -2*g + 4*g - 2. Suppose 10 = 7*k - r. Is 26 a factor of k?
True
Suppose -433*t - 660 = -437*t. Does 5 divide t?
True
Suppose -o + 10 = y - 4*y, 25 = -4*y - o. Let h = y + 9. Suppose -h*m + 106 = -14. Does 10 divide m?
True
Suppose 44*s - 404730 = -156570. Is s a multiple of 15?
True
Suppose -s - 3579 = -331. Is 14 a factor of s/(-70) - (-1)/(10/(-4))?
False
Let f(g) = 2*g**2 + 2*g - 15. Let v be f(-5). Let l = 1 + v. Is 7 a factor of l?
False
Suppose -228 = 6*i - 8*i. Suppose -y - 3*p = -6*p - 31, 3*y = 2*p + i. Is y a multiple of 15?
False
Suppose -6*b = -11*b - 5. Let h be (-4 + 3)*34*b. Suppose -7*d = -h - 71. Is d a multiple of 15?
True
Let p(i) = -i**3 + 7*i**2 + 7*i - 11. Let f be p(9). Let h = 186 + f. Is h a multiple of 8?
False
Let a(f) = 185*f - 6. Is a(6) a multiple of 16?
True
Let g(t) = t**2 + 7*t. Let d be g(-12). Suppose 5*u = -20, -3*y - 3*u = -y - d. Does 8 divide y?
False
Suppose -5*d - 246 + 1416 = 0. Is d a multiple of 26?
True
Let d = 286 + -178. Is 7 a factor of d?
False
Suppose 2*f + 145 = 3*v, 0 = -2*v - 2*f - 36 + 146. Let i be (44/(-4) - 2) + 5. Let n = v + i. Does 17 divide n?
False
Let n(j) = j - 8. Let t be n(10). Suppose -4*s + i = t*i - 9, -2*s = -4*i. Is s even?
True
Let u(l) = -l**2 - 82*l**3 + 2*l**2 + 1 + 1 - 3*l**2. Is 11 a factor of u(-1)?
False
Let x = -118 + 141. Is 6 a factor of x?
False
Let y = 10 + 42. Suppose -6*q = 22 - y. Suppose -q*u + 228 - 59 = 3*g, 140 = 4*u + 4*g. Is 16 a factor of u?
True
Suppose 5*g + 4 = 19. Suppose -g*i - 7 + 22 = 0. Is 5 a factor of i?
True
Let r(t) = -t**3 + t**2 + 4*t - 3. Let v be r(3). Let d(o) = -3*o**3 - 14*o**2 - 8*o + 9. Let w be d(v). Is w/28 + (-1)/(-2) a multiple of 26?
False
Suppose 5*u + 2*n = 2, 5*u = -n + 2*n - 1. Suppose -5*d - 3*l + 726 = 0, 162 + 566 = 5*d + 4*l. Is 4 a factor of (1 + u)/(12/d)?
True
Let w = -1559 + 3263. Is 12 a factor of w?
True
Suppose 22 = -j + 25. Suppose 20 = j*a + 5. Suppose -4*b + 25 = q - 0*q, -2*b = -a*q + 59. Is q a multiple of 2?
False
Let a = -51 + 131. Suppose a*q + 1326 = 86*q. Is 13 a factor of q?
True
Is 34 a factor of ((-384)/60 - -6) + 7484/10?
True
Let v = 3 - -5. Suppose 12*o = v*o + 16. Suppose o = 4*c - 68. Is 6 a factor of c?
True
Let p(v) = v**3 + 3*v**2 - 10*v - 5. Let g be p(-5). Is 10 a factor of (g/4)/(3/(-312))?
True
Let b = 3 + -17. Let s = 17 + b. Suppose -s*l = -6*l + 48. Is l a multiple of 8?
True
Let q(z) = -88*z + 185. Is q(-15) a multiple of 8?
False
Let o(k) be the first derivative of 97*k**3/3 - k**2 - k + 9. Is o(-1) a multiple of 14?
True
Let c be 4/8*6*1. Let d(v) = -v**2 + v - 3. Let r be d(c). Let y(a) = -a**2 - 12*a - 3. Is 12 a factor of y(r)?
True
Does 121 divide -363*(-2 + 12/9)?
True
Suppose 5 - 2 = -a, -4*a = -2*r + 18. Is 4/(-72)*r + 409/6 a multiple of 17?
True
Suppose 3*p - 229 = 107. Suppose 10*i - 18*i = -p. Is i a multiple of 14?
True
Let v(j) = -8*j**3 + 2*j + 2. Let n be 91/49 - (-1)/7. Suppose 2*r + n*b + 2 = -2*b, 4*r - 2*b + 4 = 0. Does 7 divide v(r)?
False
Suppose 4*a - 65 = 5*a. Does 13 divide ((-6)/5)/6*a?
True
Is 10 a factor of (-15)/2*-28*8/16?
False
Let i be (18/12)/(3/8). Is 4 a factor of 104/i + (-12)/(-6)?
True
Suppose -39 - 703 = -5*a - f, -3*a + 453 = -2*f. Is 8 a factor of a?
False
Let v be (-4)/(((-4)/66)/1). Suppose -d - d = -v. Is d a multiple of 11?
True
Let g(s) be the first derivative of s**4/4 - 4*s**3/3 - s**2/2 + 6*s + 3. Let u be g(3). Let i(d) = -d**3 - 5*d**2 - 6*d - 2. Does 18 divide i(u)?
False
Suppose 145 = -2*t - 149. Let p = t - -192. Does 15 divide p?
True
Suppose -73 - 50 = -s. Does 41 divide s?
True
Suppose 3*m = b + 3239, -350 = 5*m - 3*b - 5755. Is m a multiple of 14?
True
Let s(d) = -d**2 + 7*d - 1. Let n be ((-1)/2)/((-2)/