f -67*4/8*-2?
False
Let j = -41 - -46. Suppose -3*g + j*g = 5*q - 295, 5*q = 5*g + 295. Is q a multiple of 11?
False
Let r = 15 - 11. Suppose 0 = r*b - 318 + 30. Is 36 a factor of b?
True
Let y(z) = -31*z - 2. Let b(u) = 31*u + 3. Let w(x) = x**2 + 8*x - 5. Let d be w(-9). Let q(v) = d*y(v) + 3*b(v). Does 16 divide q(-1)?
True
Let i = 1174 - 769. Is i a multiple of 6?
False
Let g = -1164 - -1982. Is g a multiple of 59?
False
Let l = -24 - -42. Does 6 divide l?
True
Let d(l) = l**3 - 6*l**2 + 5*l - 4. Let k be d(5). Let i be (k/3)/(2/(-3)). Suppose c - 54 = -i*c. Is 8 a factor of c?
False
Let y = 303 + -219. Does 21 divide y?
True
Let l(x) = 7 + 2*x**3 - 4*x - 13*x + 10*x. Is l(3) a multiple of 8?
True
Suppose 6*m = 33 - 9. Suppose 32 = 6*k - m. Does 3 divide k?
True
Let v(l) = -l**2 - 4*l - 3. Let n be v(-4). Is 124/6 - (21/(-9) - n) a multiple of 5?
True
Let r(b) = b**3 - 37*b**2 + 214*b + 24. Is r(31) a multiple of 9?
False
Suppose -50554 = -21*v - 2*v. Does 14 divide v?
True
Let h = -1042 - -1193. Is h a multiple of 15?
False
Let o be 4*4/16*119. Let d = o + 4. Suppose -2*c - d = -5*c. Is 15 a factor of c?
False
Let o be 34/5 + 1 + (-20)/25. Suppose 0 = -o*q + 15*q - 704. Is 22 a factor of q?
True
Suppose -3*u = 5*p - 555 - 633, -1980 = -5*u - 5*p. Is u a multiple of 15?
False
Let i be -56*(6/(-4))/3. Does 12 divide (i/21)/(1/36)?
True
Let f be (-4)/(40/6) - 184/(-40). Does 13 divide (f/(-3))/(1/(39/(-1)))?
True
Let b(q) = 2*q - 1. Let t be b(-7). Let r = 0 + t. Let g = -9 - r. Is 3 a factor of g?
True
Let r(n) = -n**3 + 21*n**2 - 20*n - 4. Let p be r(20). Let t(s) = s**2 - 2*s + 5. Is t(p) a multiple of 4?
False
Let j be ((-2)/12 - 10/12)*-12. Suppose -j*x + 11*x = -29. Is x a multiple of 4?
False
Let w(s) = s + 48. Let t be w(0). Suppose 2*b = -n + t, 0*b + 5*b = -4*n + 114. Let h = 43 - b. Is h a multiple of 17?
True
Suppose 22*f = 33*f - 4191. Does 4 divide f?
False
Let r be 1/3 - 1050/45. Let t = -2 - r. Is t a multiple of 18?
False
Let c = 94 + -52. Suppose 18*d - 15 = 13*d. Suppose -a = -d - c. Is a a multiple of 15?
True
Suppose 5*f - i - 45 = -132, 3*f = -5*i - 69. Is 42 a factor of 63/2*(-120)/f?
True
Let o(n) = 12*n**3 + 7*n - 5. Is 15 a factor of o(2)?
True
Is -4*(-484)/4 - -1 a multiple of 15?
False
Suppose 5*t - 11 - 4 = 0. Let v(p) = -5 + 4*p - 11*p - t*p. Does 8 divide v(-2)?
False
Let b = 31 + -27. Let k be ((-532)/49)/(b/(-14)). Let p = k + -24. Does 14 divide p?
True
Let y(m) = -m**2 + 48*m - 128. Does 32 divide y(32)?
True
Suppose q - 5*o - 7 = -0, 0 = 5*q + o + 17. Let g = 30 + q. Is g a multiple of 27?
True
Let u = 18 - -301. Is 11 a factor of u?
True
Let v = -498 + 730. Is 17 a factor of v?
False
Let a = 14 + 36. Let f = a + 14. Is 16 a factor of f?
True
Let h be -4*1*23/4. Suppose -2*k - 129 = k. Let j = h - k. Is j a multiple of 5?
True
Let y be (-30)/(-9)*(-60)/(-25). Let i be y/16 + (-66)/4. Let r = i - -58. Is 6 a factor of r?
True
Suppose -5*h + 2*f + 16 = 0, -2*h - 5*f + 7 + 11 = 0. Suppose -83 = -0*r - 3*r - 4*k, -20 = -h*k. Does 7 divide r?
True
Let p = -434 - -448. Is 14 a factor of p?
True
Suppose -5*j - 648 = -2108. Let q = -172 + j. Suppose -34 - q = -7*k. Is k a multiple of 22?
True
Suppose 0 = 7*t - 14 - 0. Does 11 divide t/(-9) - 1192/(-18)?
True
Let p(g) = -g**3 + 18*g**2 + 18*g + 12. Let q be p(19). Is (-3 - -1)*q/(28/16) a multiple of 4?
True
Let l(y) be the third derivative of -y**6/120 - y**5/30 + y**4/4 + y**3/2 + 6*y**2. Let c be l(-3). Does 6 divide (-3)/(1*c/56)?
False
Suppose i = -4*y + 3212, y + 0*y - 786 = 4*i. Is y a multiple of 37?
False
Suppose -2*f + 15 = 3*f, -5*u + f + 422 = 0. Is 15 a factor of u?
False
Let n = 0 + 3. Suppose -n*r - r = -492. Suppose -4*a = -a - r. Is 20 a factor of a?
False
Let x(a) = 11*a**2 - 4*a - 8. Let u(w) = 6*w**2 - 2*w - 4. Let v(k) = 5*u(k) - 2*x(k). Let y be v(4). Let s = y + -55. Does 27 divide s?
False
Suppose 0 = 5*j - w - 1639 - 14, 0 = 3*j - 3*w - 999. Is 12 a factor of j?
False
Suppose -4*r = 4*k - 5 - 3, -3*k - 6 = -r. Is 261/5*(4 - k) a multiple of 29?
True
Let f be -2 - 6/15*10. Let h(z) be the second derivative of -z**3 - 7*z**2 + 2*z. Is h(f) a multiple of 14?
False
Let r = 198 + 42. Does 9 divide r?
False
Let j(y) = -10*y + 27. Let c(d) = -21*d + 55. Let k(o) = 6*c(o) - 13*j(o). Let w be k(5). Let l(g) = 12*g**2 + 1. Is 2 a factor of l(w)?
False
Let r = -22 - -151. Is 4 a factor of r?
False
Let s(m) = -m**2 + 27*m - 33. Suppose 57 = 7*g - 111. Is 13 a factor of s(g)?
True
Let y = 16 + -1. Let t be (12/y)/((-1)/(-25)). Suppose 3*j - 5*q - t = 59, 0 = -4*j - 2*q + 114. Does 25 divide j?
False
Let y = 23 + -18. Suppose y*w - 7*w = -8. Suppose -w*q - 3*m - 43 = -206, 0 = m - 1. Is 8 a factor of q?
True
Let a(g) = -3*g. Let h be a(1). Is 10 a factor of (-69*1/(-1))/(h/(-2))?
False
Is 1/(6/1704*4) even?
False
Does 4 divide (3*(-1617)/(-9))/1?
False
Let q(m) = -28*m**3 - m**2. Let v be q(-1). Is 8*2/(8/v) a multiple of 11?
False
Suppose 0 = -u + 4*m - 15, 5*m - 22 = -2*u - 0. Suppose 4*z - u = 4*d + 5*z, 3*d = z + 1. Is (-75)/(-5) + (0 - d) a multiple of 15?
True
Suppose 3*r = -c + 9, -2*c + 2*r = -0*c + 6. Let t(j) = 2*j + 7. Let y be t(c). Suppose -y*p - 59 = -451. Is 28 a factor of p?
True
Let r = 2560 + -1601. Is r a multiple of 7?
True
Is -6 + -2 + (26 - -1002) a multiple of 30?
True
Let m = 5 - -47. Is m a multiple of 13?
True
Suppose -44 + 151 = z. Let t(a) = 5*a**2 - 28*a + 8. Let u be t(9). Let c = u - z. Is c a multiple of 18?
True
Let l(w) = -w**3 + 14*w**2 - 17*w - 135. Let a be l(12). Suppose -48 = 3*b + 33. Let n = b - a. Does 12 divide n?
True
Let q(w) = 4*w**2 - w - 173. Let j(o) = -o**2 + 58. Let i(b) = 7*j(b) + 2*q(b). Is i(0) a multiple of 12?
True
Suppose 0 = -5*i + 3*u + 45, -i - 5*u + 10 = 1. Suppose 6*j - 9*j + i = 0. Suppose 0 = -j*h + 47 + 16. Does 21 divide h?
True
Let f = -122 + 183. Suppose -187 = -6*x - f. Is 16 a factor of x?
False
Suppose 0 = -r - w + 3 + 119, -5*r + 2*w + 624 = 0. Let s = r + -82. Is 12 a factor of s?
False
Let c be (94/(-2)*1)/(-1). Suppose p - 5*b = -2 + 22, 5*p - b - 124 = 0. Let o = p + c. Does 36 divide o?
True
Suppose -24 = y - 7*y. Is 2 a factor of 3 - 56/(-4) - y?
False
Let q = 15 - 9. Suppose 115 = q*u - u. Suppose 0 = 2*t + 5*l - 29, 5*l - u = -8. Is t a multiple of 7?
True
Let i = 10 + 5. Let v = i - 17. Is 3 a factor of 52/v*2/(-4)?
False
Suppose 0 = -4*o - 2*o + 162. Let f = o + -6. Let k = f - -80. Is k a multiple of 22?
False
Let a(t) = -9*t**2 + 23 - 10*t - 2*t - 8*t**2 + 18*t**2. Is 2 a factor of a(11)?
True
Let i(r) = 137*r**3 + 5*r**2 - 3*r - 4. Is 13 a factor of i(2)?
False
Suppose 8*l - 15 = 3*l. Suppose 0*o + 12 = l*o. Let a = o - 0. Is a a multiple of 4?
True
Let s be (-9)/15 + (-651)/(-35). Let x = s + -17. Is (7 - 6) + x*79 a multiple of 20?
True
Suppose -5*n + 6*n - 3 = 0. Suppose 2*r + 5*z - 21 = 0, 0 = 4*r + 2*z - n - 15. Suppose -24 = -r*h + 9. Is 3 a factor of h?
False
Let y(o) = 2 + 9*o - 2 - 4*o. Let p be y(1). Suppose f - 118 = -p*w, w + 0*w + 3*f = 32. Is w a multiple of 16?
False
Let d = 15 - 31. Let z = 39 - d. Is z a multiple of 9?
False
Let y = 202 + -162. Does 2 divide y?
True
Suppose -186*a = -187*a + 27. Does 13 divide a?
False
Let y = -71 - -75. Suppose 5*k + l = 21 + 17, -y = 2*l. Is 5 a factor of k?
False
Let n be (-3 - (-8)/(-4))/(2 - 3). Suppose f + 220 = n*q + 22, -72 = -2*q + 4*f. Is q a multiple of 6?
False
Let g(u) = -u**3 - 4*u**2 + 18*u + 4. Let n be g(-7). Suppose 6 = d + 4*z - n, 4*z = -2*d + 58. Does 9 divide d?
True
Is 20 a factor of (2 - 1)*4 + 966?
False
Suppose 5*w = -x - 58 + 3, 3*w + 186 = -4*x. Is -1 - 0 - (x + 0) a multiple of 28?
False
Let s = 3103 - 1816. Does 9 divide s?
True
Let b(q) = q - 5. Let p be b(8). Let y = p + 17. Is 20 a factor of y?
True
Let t = 248 - -246. Is t a multiple of 10?
False
Suppose 2*r = 4*h + 20, 2*r + 0*r - 4 = 0. Does 18 divide (-2)/(-15) - (8272/(-60) - h)?
False
Suppose -4*d = -5*q + 633, 3*q - 248 = q - d. Let f(l) = -3*l - 1. Let a be f(-2). Suppose -q = -2*n + a*y, -2*n - 2*y + 119 = -y. Does 30 divide n?
True
Suppose 3*d = 4*f - 2289, -3*f + 1435 + 282 = -2*d. Does 18 divide f?
False
Let a(t) = t**2 + 17*t - 23. Does 59 divide a(-25)?
True
Let v(m) = 2*m**2 + 11*m + 2. Let c be 112/(-7)*1/2. Is v(c) a