7?
False
Suppose 2*d - 8 = -2*c, -5*c + 4*d + 4 + 7 = 0. Suppose -92 = -3*i + c*k + 271, 2*i - 263 = -5*k. Does 31 divide i?
True
Suppose 38*f = -19186 + 68168. Does 17 divide f?
False
Let o be 2*-3*27/(-6). Suppose o = -2*r + 339. Suppose -5*g + r + 179 = 5*m, 4*m = 4*g - 260. Is 26 a factor of g?
False
Suppose 0 = -m + d + 144, -2*m + 3*d = -20 - 268. Does 6 divide m?
True
Let m be (-24)/18 - 67/(-3). Is 6 a factor of (-744)/(-21) - -1*(-9)/m?
False
Let u = 38 + 28. Suppose 5*b + u = -0*w + w, 3*w - 144 = -3*b. Is 17 a factor of w?
True
Let y(w) = -w**3 + 15*w**2 + 3*w - 14. Let b be y(15). Let c = b - 9. Does 18 divide c?
False
Suppose 2*n + j - 1 = 7, 5*n - 2 = 2*j. Suppose -p + n*v + 116 = 0, -3*v + 303 = 3*p - 0*v. Let z = p + -52. Is z a multiple of 13?
False
Suppose -61*w = -77*w + 17520. Is w a multiple of 73?
True
Let y(l) = -l**2 - 12*l. Let n be y(-10). Suppose 0 = -p - 1 - n. Does 8 divide 140/p*36/(-10)?
True
Suppose -5 - 11 = -4*d, 0 = a - 2*d - 67. Is a a multiple of 17?
False
Suppose 0*i + 4212 = 18*i. Does 6 divide i?
True
Suppose 0 = 41*k - 5443 - 47160. Is 6 a factor of k?
False
Does 9 divide -1 + (-21610)/(-115) - (-8)/92?
False
Let n = 40 + -26. Is 42 a factor of (-1 + 50)*12/n?
True
Let h = 500 + -297. Let d = h + -121. Is 47 a factor of d?
False
Suppose 0 = 39*d - 0*d - 58305. Does 9 divide d?
False
Suppose -4*l = -1544 + 312. Suppose 0 = 6*i + 20 - l. Does 24 divide i?
True
Let k = 61 - 60. Is 10 + 31 - (1 - k) a multiple of 35?
False
Let w(t) = t**2 + 2*t - 1. Let d be w(0). Does 7 divide (123/(-9) + d)/(4/(-6))?
False
Let y(r) = r**3 - 5*r**2 - 9*r + 8. Let c be y(6). Let x = 13 - c. Is 4 a factor of x?
False
Suppose 300 = -3*j + 1923. Is j a multiple of 63?
False
Let h(i) = -i**3 + 5*i**2 + 5*i - 6. Let n = -7 + 8. Let z = n - -4. Is 7 a factor of h(z)?
False
Let g = 1247 + -686. Suppose -g = -6*a - 225. Is 14 a factor of a?
True
Let g(z) be the first derivative of -3*z**2 - 33*z - 39. Does 9 divide g(-17)?
False
Let q = 4 + 6. Suppose 0 = -3*n - 2*n + q. Suppose 2*h = 3*t + 80, n*t - 4 = -0*t. Is 18 a factor of h?
False
Let f(x) = x**3 - x**2 + 10*x - 1. Let n be (-8)/28 - 30/(-7). Let o be f(n). Suppose 2*y = 5*i + 6*y - 149, 0 = -3*i - 3*y + o. Is 11 a factor of i?
True
Is 9 a factor of 21/(49/(-7)) + 97*1?
False
Let i(j) be the second derivative of -j**5/10 - j**4/4 - j**3/6 + 3*j**2 - 5*j. Let p be i(-5). Is p/4*6/9 a multiple of 8?
False
Let r be 3/(-6) - 5/(-2). Suppose r*z - 5*z + 4*y = -53, -4*y = 2*z - 22. Does 5 divide z?
True
Suppose -2*i = -6 - 2, -s + 11 = 2*i. Let w be 3 - 1 - (-6 + s). Let m = 58 + w. Is m a multiple of 12?
False
Let x be 60/(-18)*12/10. Does 16 divide 110 + -1*(x - -8)?
False
Let l(u) = 14*u - 4. Let b be l(1). Suppose b*y + 728 = 18*y. Is y a multiple of 17?
False
Let b(k) be the second derivative of -8*k**3/3 + 3*k**2 - k + 2. Does 15 divide b(-9)?
True
Suppose -1325 + 137 = -3*o. Does 22 divide o?
True
Suppose 45*d - 7714 = 31*d. Is 19 a factor of d?
True
Let i(k) = 626*k + 1. Is 18 a factor of i(1)?
False
Let q be ((-2)/(-8)*10)/((-5)/30). Is q/2*76/(-57) even?
True
Let f = -7 + 10. Suppose 0 = -f*y - 2*y + 290. Is 8 a factor of y?
False
Does 11 divide (22/(-5 + 4))/(-1)?
True
Suppose -6 = -r + 3*w, -3*r - 4*w - 10 = -5*r. Suppose 4*u + 42 = 3*z - 35, r*u = 2*z - 58. Does 2 divide (u/50)/(1/(-5))?
True
Suppose 637 = 86*c - 79*c. Does 27 divide c?
False
Suppose -27*f - 5*o + 303 = -26*f, -o - 1191 = -4*f. Is f a multiple of 17?
False
Let q(o) = 3*o**2 - 18*o + 162. Is 12 a factor of q(7)?
False
Let t = 2356 - 2249. Does 3 divide t?
False
Let k(x) be the second derivative of -x**5/10 - x**4/2 + 2*x**3 - 5*x**2/2 - 14*x. Does 19 divide k(-6)?
False
Let d = -4328 - -7027. Is d a multiple of 41?
False
Let w = 12 + -7. Suppose -7*c + 7000 = 21*c. Suppose w*y + 0*k = -2*k + c, -4*k = -20. Does 24 divide y?
True
Let h = -60 - -268. Suppose 2*k + 2*k - h = 0. Is k a multiple of 7?
False
Let z = -10 + 12. Let a be (5/z)/((-1)/(-4)). Is 30 a factor of (158/(-4))/((-5)/a)?
False
Let q(c) = -c**3 + 5*c**2 + 4*c + 14. Let n be q(6). Let g = 29 - -24. Does 14 divide (-2)/(-4)*n*g?
False
Suppose -14 - 31 = 3*w. Is -5*3*25/w a multiple of 5?
True
Let c = 907 - 489. Is c a multiple of 12?
False
Let i be 30/8 + (-4)/(-16). Suppose i*h = 17 + 23. Is h a multiple of 3?
False
Suppose f + 2*u - 1539 + 521 = 0, 0 = 2*f - 2*u - 2036. Does 8 divide f?
False
Suppose 4*y + 3*p + p - 24 = 0, -p + 14 = 3*y. Let x be (-1 + -49 + -3)*-1. Suppose 2*f = y*m - 62, -x = -3*m - m - f. Does 11 divide m?
False
Suppose -3*l = -7 - 44. Let i(k) = 5*k + 5. Is 10 a factor of i(l)?
True
Suppose -3*l + 316 = 5*x + 98, 74 = l + 3*x. Suppose 2*i - 46 = 10*d - 5*d, 5*i - 5*d = 100. Let u = l + i. Is 25 a factor of u?
False
Is (-2 + (-24)/10)/((-66)/1320) a multiple of 11?
True
Let z be (-148)/28 + (-4)/(-14). Does 8 divide (-76)/6*z/((-15)/(-9))?
False
Let k(b) = -b**3 - 6*b**2 + 4. Let c be k(-6). Suppose -6*g + 3 = -3. Suppose c*l = 95 + g. Is 5 a factor of l?
False
Let g = -2 - -4. Suppose -g*i = -i - 4. Suppose -3*c + 2*v = -196, i*c + 4*v - 6*v = 260. Is c a multiple of 16?
True
Is 1510/(26/(-6) - -5) a multiple of 15?
True
Let x be 12 + -5 + 2 + -2. Suppose x*k - 120 - 153 = 0. Is 13 a factor of k?
True
Suppose 4*a - 2*a - 517 = -w, -4*a = -3*w - 1009. Is a a multiple of 29?
False
Let o(f) = 56*f - 13. Let p be o(-2). Let b = p - -350. Does 15 divide b?
True
Let o = 41 - 39. Suppose 3*a + g - 123 = 0, -o*a + 207 = 3*a + g. Is a a multiple of 14?
True
Let p be ((-120)/(-25))/(8/20). Suppose 8*j - p*j = -420. Is j a multiple of 23?
False
Let a(u) = -5 + u + 10 - 31 + u. Is a(14) a multiple of 2?
True
Suppose 4*d - 32 = -4*d. Suppose d*w + 0 = 12. Suppose -4*g + w*g = -85. Does 13 divide g?
False
Let l(p) = 10*p + 25. Let m be l(-10). Let r be (m/25)/((-2)/134). Suppose -2*j = -3*f - 190, -4*j + 181 = -5*f - r. Is 14 a factor of j?
True
Let y(u) = -41*u**3 + 8*u**2 + 8*u + 1. Is y(-2) a multiple of 15?
True
Let s(a) = -a**3 + 4*a**2 - 5*a + 7. Let b be s(3). Does 10 divide (-2 - (-1334)/12) + b/(-6)?
False
Suppose -11*f - 1006 = -6396. Is 70 a factor of f?
True
Let d(v) = -v**3 - 10*v**2 + 5*v + 14. Let k be d(-10). Let j(x) = -56*x**3 - 2*x**2 - x. Let u be j(-1). Let r = u + k. Is 11 a factor of r?
False
Let d(a) = 97*a - 96. Does 34 divide d(8)?
True
Let x(r) = 473*r**3 + 2*r**2 - 3*r + 2. Let n be x(1). Suppose 19*l - 22*l = -n. Is 32 a factor of l?
False
Suppose 2*w + 2*h = 7846, -6*w + 3*h = -2*w - 15671. Does 13 divide w?
False
Let v(f) = 2*f**3 + 4*f**2 - 6*f - 4. Let h be v(-5). Let x = h - -159. Is x a multiple of 7?
True
Let j(m) = -m**3 - 4*m**2 + 14*m + 9. Let t be j(-6). Let x be (-1 - t) + 0 + 3. Suppose 0 = -2*g - x*y + 42, 3 = -4*g - 2*y + 55. Does 6 divide g?
False
Let y be (-14290)/(-65) + 6/39. Suppose y = 11*f - 264. Does 11 divide f?
True
Let k be (-1)/((-4)/142*(-15)/(-30)). Let b = k + -24. Is 9 a factor of b?
False
Let p(h) = 104*h**2 - 55*h - 289. Is 58 a factor of p(-7)?
False
Suppose 2*g = 5 + 3, 0 = 4*a - 5*g + 268. Let o = 10 + -16. Let y = o - a. Is 17 a factor of y?
False
Let v = 16 + 16. Suppose m + b = -b - 4, 5*b = 3*m - v. Suppose 0 = -m*u + 3*w + 26 + 96, 4*u - 5*w = 118. Is 16 a factor of u?
True
Let w = 1393 - 707. Does 2 divide w?
True
Suppose 0 = -10*q + 12*q - 12. Suppose -q*u - 128 + 374 = 0. Suppose 2*w + 3*o + o = 114, 2*o = w - u. Is w a multiple of 17?
False
Suppose j + 4*l = 2*j + 249, 3*j + 727 = 2*l. Let d = -181 - -44. Let t = d - j. Does 24 divide t?
False
Suppose -18*p + 3485 = -2617. Is 32 a factor of p?
False
Suppose 3*b - 2256 = -3*h, -2*h + b + 754 = -h. Is h a multiple of 25?
False
Let b(k) = 352*k - 16. Does 7 divide b(1)?
True
Let t(u) = u - 10. Let n be t(12). Suppose -2 = -3*r - 3*w - 11, -3*w - 11 = n*r. Is 11 a factor of (-4 + 4)/r - -65?
False
Let m(r) = r + 12. Let h be m(-11). Let i(c) = 29*c**2 + c. Is i(h) a multiple of 30?
True
Suppose -3*o - 9 = 0, o = 4*j + 4*o - 2323. Is j a multiple of 11?
True
Suppose 0 = -7*s + 1 - 8. Is (1 + 5)/(s/16*-6) a multiple of 4?
True
Let a be -1*(-2 - -8) + 0. Let h be 9*1*(-2)/a. Suppose h*g - 43 = 5*p, 3*g + 6*p - p - 83 = 0. Does 21 divide g?
True
Let h = 175 + -102. Suppose 4*m + a = -h + 18, 16 = -m + 2*a. Is ((