. Let i = 89 + k. Is i a multiple of 3?
True
Let v be (-2 - -5)/(3/2). Suppose 108 = 5*x - v*o, -o + 47 = 2*x + 2*o. Is x a multiple of 4?
False
Let m = 133 + 246. Does 45 divide m?
False
Let q(f) be the second derivative of -3/4*f**4 - 1/20*f**5 + 0 + 7/2*f**2 + 0*f**3 + 4*f. Is 3 a factor of q(-9)?
False
Let o = -28 - -36. Suppose -4*c = k + 64, 0 = -o*c + 4*c + k - 56. Is (-8)/20 - 36/c even?
True
Suppose 2*b - 6*b + 16 = 0. Suppose -3*s - 5*f + 0*f = -75, 88 = 5*s - b*f. Suppose 0 = q + 3*x - s, 2*q - 29 = -3*x + 5. Is 14 a factor of q?
True
Let l(v) = 88*v**2 - 36*v - 20. Does 25 divide l(5)?
True
Let b be 10/(8/12*3) + 3. Suppose b*o = o + 805. Does 23 divide o?
True
Let t be 30/(2*-1)*40/(-25). Does 3 divide t + 0/(3 + 1)?
True
Suppose -166 = 9*s - 1696. Does 10 divide s?
True
Suppose 0 = 4*u + 47 - 55. Suppose 3*s - 148 = u*s - 4*z, -2*z = -5*s + 740. Is 37 a factor of s?
True
Let v(z) = 5*z**2 + 8*z - 13. Let p(y) = y**2 + 3*y - 1. Let r be p(-4). Is v(r) a multiple of 28?
True
Let o be 1*-4*(-155)/20. Suppose -6*l + 0*l - 108 = 0. Let a = o + l. Is 7 a factor of a?
False
Suppose -n + 655 = 4*z, -z - 2*z = -4*n + 2620. Suppose 5*y + 20 = n. Is y a multiple of 36?
False
Let q = 1963 + -882. Is q a multiple of 4?
False
Suppose -2*n - 7 + 3 = 0. Let p(x) = -50*x**3 + 3*x**2 - 4. Let q be p(n). Suppose -4*i + q = 72. Is i a multiple of 12?
True
Suppose -6*u + 2779 + 4475 = 0. Is u a multiple of 14?
False
Let l(c) = c**2 - 7. Let i be l(-3). Is 23 a factor of (2 + i - 3)*-3 - -106?
False
Let w be 1 + (1 - -1 - (-2 + -14)). Let f = w - -32. Is 15 a factor of f?
False
Suppose -15*u = -9*u + 648. Let j = -75 - u. Does 6 divide j?
False
Is -7 - (-10 + 6) - -1303 a multiple of 25?
True
Suppose -2*z + 9 = 1. Suppose -2*v = -z*k - 10, 0 = -k - 2 - 2. Let j(f) = 6*f**2 - 5*f + 3. Is j(v) a multiple of 12?
True
Suppose 6*r - 10*r = -1496. Is 9 a factor of r?
False
Let w(q) = 235*q - 23. Does 18 divide w(5)?
True
Suppose 0 = 22*v - 33*v + 1947. Does 25 divide v?
False
Suppose -7*m + 1393 = 91. Does 3 divide m?
True
Suppose -820 = y - 5*y. Does 8 divide y?
False
Suppose 45*m - 43*m - 420 = 0. Is m a multiple of 21?
True
Let p = 13 + 142. Suppose -5*s = -290 - p. Is s a multiple of 12?
False
Let f(b) = b**3 - 3*b**2 + 2. Let k be f(3). Suppose 2*w + 0*z - 3*z = 126, -3*w = k*z - 215. Is 23 a factor of w?
True
Suppose -7230 = 257*f - 267*f. Does 13 divide f?
False
Suppose -4*r - 3*u + 184 = 0, 145 + 35 = 4*r + 2*u. Let b = r - -2. Is b a multiple of 10?
False
Let v = 209 - 113. Is v a multiple of 3?
True
Let z be -1*2*84/(-24). Let k = 16 - 11. Suppose k*s = z + 28. Does 3 divide s?
False
Let u be 2/(-7) - (-6)/21. Suppose -f - 30 = 2*n - 162, -5*f - 4*n + 684 = u. Does 42 divide f?
False
Let d(n) = n**3 + 6*n**2 + 3*n + 3. Let k be d(-5). Let m = 31 - k. Suppose l = -i + m, 4*i - 4*l - 50 = 6. Does 8 divide i?
True
Let c = -624 - -990. Is 4 a factor of c?
False
Let k(y) be the first derivative of y**2/2 + 8*y + 6. Let x be k(-8). Is 26 a factor of 7/(21/156) + x?
True
Let r be (-15)/25 - 9468/20. Let n be (r/15)/(-1)*-5. Let s = -80 - n. Does 26 divide s?
True
Suppose 0 = 2*i + 3 - 9. Let k = 42 + i. Is k a multiple of 5?
True
Suppose -90*c = -85*c + b - 2504, 2*c + 2*b = 1008. Does 25 divide c?
True
Let c be (6/15)/(6/30). Is 45 a factor of ((-1)/(-2) - c)*(-5740)/30?
False
Let u = 7596 + -4956. Is u a multiple of 11?
True
Let u be 16 + -19 - (-16)/2. Suppose -2*m + u*y = -68, -2*y = 2*m - 113 + 31. Is 39 a factor of m?
True
Suppose 2*i + 2*v = 2890, 0*v - 2*v + 7210 = 5*i. Suppose -4*b - 2*b + i = 0. Suppose -u + b = 3*u. Is u a multiple of 15?
True
Suppose -85*h - 4*j = -87*h + 3876, 3*h - 5814 = 3*j. Is h a multiple of 17?
True
Suppose 3*y = 5*g - 3460, 82*g - 80*g - y = 1383. Is g a multiple of 8?
False
Suppose -h = -2*h + 170. Let j = h - 31. Let b = j + -96. Is b a multiple of 16?
False
Let y be (-2 - -1) + 480/5. Suppose -4*k + y + 65 = 0. Is k a multiple of 7?
False
Suppose -10*b + 5*b = -140. Let w(q) = -q**3 + 2*q**2 - 4*q + 7. Let n be w(3). Does 4 divide ((-24)/b)/(1/n)?
True
Let w(p) = -3*p + 1 + 12 + 2*p + 3*p. Let s be w(7). Let m = s + 3. Does 10 divide m?
True
Does 13 divide (-795)/6*(-286)/55?
True
Does 8 divide (-45)/54*-6 + 593?
False
Suppose 3*t = 755 - 125. Does 8 divide t?
False
Let t(c) = -4*c - 5. Let q be t(-3). Suppose 0 = q*g - 9*g. Suppose g = -0*o - 5*o + 315. Does 21 divide o?
True
Suppose 5*p = 2*y + 23, -4*p + 5*y = -0*p - 32. Suppose -21 + 197 = p*i + 2*t, 3*i - 3*t = 186. Is i a multiple of 20?
True
Let d be (3 - -1) + -1 - 2190/15. Let p = 247 + d. Is 13 a factor of p?
True
Let z(x) be the third derivative of 0*x - 1/60*x**5 + 0 + 1/2*x**4 - 1/6*x**3 - 5*x**2. Does 7 divide z(11)?
False
Suppose -6 = -4*a - 2. Let m(f) = f**3 + 3*f**2 + f. Let z(j) = 49*j**3 + 17*j**2 + 3*j + 1. Let x(b) = -5*m(b) + z(b). Is x(a) a multiple of 15?
True
Let t(q) = -q**3 - 3*q**2 - 2*q - 7. Let i be t(-3). Is 18 a factor of 73 - (i + 1 + 1)?
True
Let g(t) = t**3 - 2*t**2 - 2*t - 4. Let f(c) = c**2 - 5*c + 1. Let w be f(4). Let r be (-2)/w - 70/(-21). Does 14 divide g(r)?
False
Is 13 a factor of (8 - 333/45) + (-3244)/(-10)?
True
Let g = 45 - 36. Let y = 8 + g. Suppose 5*a = m - 39, -3*m = -6*m - 5*a + y. Is m a multiple of 14?
True
Let x(n) = n**3 + 8*n**2 + 6*n + 1. Suppose -4*w = 14 + 14. Let c be x(w). Suppose c*v + 40 = 12*v. Is 6 a factor of v?
False
Let r = -15 - -54. Suppose r*x - 38*x = 191. Does 21 divide x?
False
Let s = 3 + -4. Let d be -60 - s - (-10 - -8). Let v = d - -119. Is v a multiple of 21?
False
Let g(p) = p**3 + 2*p**2 - 2*p + 4. Let z be g(4). Let r(y) = y**2 - 6*y - 5. Let v be r(7). Suppose v*q + 2*q = z. Is 14 a factor of q?
False
Let q(m) = -86*m - 234. Does 8 divide q(-5)?
False
Let h be 5*(-8)/((-160)/252). Suppose 2*d - 5*d + h = 0. Does 9 divide d?
False
Let l(w) = -2*w - 7. Let j be l(-5). Suppose -p = j*d - 134, 3*p + 108 = 2*d + 26. Suppose -4*b = -0*b - d. Does 11 divide b?
True
Let l(b) = 54*b**2 - 16*b - 80. Is 95 a factor of l(7)?
False
Suppose -4*u + i + 4319 = 0, 2*u + 5*i - 827 - 1316 = 0. Does 9 divide u?
False
Let k(j) = -j**3 + 8*j**2 + 11*j - 20. Let c be ((-45)/35)/(-3) - 117/(-21). Is 18 a factor of k(c)?
False
Suppose 4*z = 7 + 9. Suppose 4*x = 19 + 53. Suppose -z*i = -x - 78. Is i a multiple of 6?
True
Let x = -130 - -228. Is x a multiple of 7?
True
Suppose 0*w + 216 = 3*u + w, -288 = -4*u - 2*w. Suppose -5*h - h = -u. Is 4 a factor of h?
True
Let f = -8 + -1. Let q be (-4)/(-18) - 304/f. Let x = 51 - q. Is 10 a factor of x?
False
Let o be 0 + 1 + 3 - -3. Suppose o = -x + 2*r, -4*x + 6*r - r = 22. Does 7 divide (-22)/x + (-7)/21?
True
Let z = 757 - 409. Is 67 a factor of z?
False
Suppose r + 10 = -1. Let k = r - -16. Suppose k*h - 194 - 86 = 0. Is h a multiple of 14?
True
Is 47 a factor of 4794/((5*12/(-30))/(-1))?
True
Let b(t) = t - 103 - 3*t + 149 + 0*t. Does 13 divide b(-16)?
True
Suppose 4 = -2*d + 6*d, 4*x - 91 = 5*d. Does 2 divide x?
True
Suppose -8*w = 7*w - 45. Suppose -b = -5*l - 175, 2*l - w*l = -b + 191. Is b a multiple of 29?
False
Suppose 0 = u + 3*l - 422, -29*l = -33*l - 12. Does 42 divide u?
False
Let l(s) = 6*s**2 - s + 7. Suppose 0*y = -4*y - 12. Is 16 a factor of l(y)?
True
Let p(f) be the second derivative of 13*f**3/6 + 51*f**2/2 + 38*f. Is p(6) a multiple of 43?
True
Let r(u) = -u**3 + 4*u**2 + 4. Let o be r(4). Suppose 0*h - 8 = -o*h. Suppose z - 4*z = h*i - 43, -4*z - 5*i + 48 = 0. Does 10 divide z?
False
Let n(u) = 423*u + 7. Does 43 divide n(1)?
True
Let q = -2 - -122. Let h be q/21 - (-6)/21. Suppose -h*o = -4*o - 16. Is 2 a factor of o?
True
Suppose a - 4*u = -4*a + 96, 3*u - 103 = -5*a. Is 4 a factor of a?
True
Let f = 0 - 0. Let l(o) = 2*o - 12*o + 11*o + 12. Is l(f) a multiple of 10?
False
Let r = 58 - -38. Is 3 a factor of r?
True
Suppose 5*b = -v + b + 34, 2*v = -4*b + 60. Suppose -3*u + v + 13 = 0. Is u a multiple of 3?
False
Suppose -2*c + 4*o = -837 + 321, 255 = c - 3*o. Is 6 a factor of c?
True
Suppose -i - 2 = 0, 0 = 2*r - 6*r + 5*i - 14. Let b be (12/24)/((-1)/r). Suppose 3*a = 9, -a - 16 = -b*t + 29. Does 16 divide t?
True
Suppose -q = 2*m - 3, -1 = -4*m - 4*q + 11. Let c = 926 - 923. Suppose c*a - 24 = -o - m*a, 3*o = -a + 112. Is 13 a facto