 + ((-2)/5)/(-1). Let p = x - -285. Does 17 divide p?
False
Let g be (-1 + 1)*12/(-24). Suppose 4*a - 423 - 97 = g. Suppose -2*t = -88 - a. Is t a multiple of 16?
False
Suppose 17*o - 115 = 38. Suppose 0 = 4*n - 2*n. Suppose -6*r + o*r - 63 = n. Is r a multiple of 12?
False
Suppose 1 - 55 = -6*n. Suppose -420 = 2*z - n*z. Is 6 a factor of z?
True
Let b = 1776 - 663. Is b a multiple of 6?
False
Let n(m) = -m**2 - m + 1. Let v be n(2). Let o = -42 + 152. Is o/(v + 3)*-1 a multiple of 19?
False
Let w(f) = f**3 + 15*f**2 - 19*f + 18. Does 15 divide w(-14)?
True
Let g(w) = -w + 17. Let f be g(-8). Suppose -2*h + 3*a = -46 - 195, -f = -5*a. Does 32 divide h?
True
Suppose -4*a = -3*m - 54, 4*m - 27 - 1 = -3*a. Let q be ((-27)/(-2))/(9/a). Let s = q - -37. Does 15 divide s?
False
Suppose -3*l = -5*u - 4, 0 = -5*u - 16 + 6. Is (260/50)/(l/(-10)) a multiple of 26?
True
Suppose -3193 = -5*s + 2007. Suppose 10*m - s = -3*m. Does 16 divide m?
True
Let t = -6 + 88. Let p = t - 78. Is 2 a factor of p?
True
Suppose 0 = -n + 2*x - 142, -n + x - 269 = n. Let j = 202 + n. Is 10 a factor of j?
True
Let n(v) = -3*v**2 - 2*v - 1. Let d(l) = l**3 - 13*l**2 - 8*l - 4. Let r(t) = -2*d(t) + 9*n(t). Let y be r(-1). Suppose y*s - 11 = 13. Is s a multiple of 3?
True
Let q be (-5)/(10/(-276)) - (-4 - -8). Suppose q = 3*g + 4*j, 4*g = 10*j - 9*j + 204. Does 20 divide g?
False
Let l = -19 + 10. Let g = -11 - l. Is 5 a factor of 0 - ((-2)/g - 13)?
False
Suppose 2*i = -2*o - 108, -98 = -0*i + 2*i - 3*o. Is 4 a factor of (-715)/i - 6/8?
False
Let q be 3 + ((-12)/42 - 2/(-7)). Suppose 0 = -4*u + q*i + 408, 2*u + 4*i - 58 - 124 = 0. Is 11 a factor of u?
True
Suppose -5658 = -16*v + 14854. Is 12 a factor of v?
False
Suppose 0 = 2*r + 3*p - 1223, 4*p = 3*r + p - 1827. Is 13 a factor of r?
False
Let y be (3 + -9)*(1 + 0)/(-3). Suppose -y*s + 606 = 3*s + 3*u, s = -u + 122. Is s a multiple of 24?
True
Let q be (258/12)/((-1)/(-84)). Suppose -q = -3*h - 10038. Does 22 divide (-2)/(-9) - h/126?
True
Let m(h) = 16*h - 5. Let d be 3*1 + (-9)/(-9). Is 13 a factor of m(d)?
False
Let s(q) = -7*q + 54. Let a be s(6). Let w be ((-1)/2*-38)/1. Let j = w - a. Does 2 divide j?
False
Suppose 0 = 3*j - 4*t + 36, -2*j - j = -3*t + 36. Let i be 3/j + 1018/8. Let c = i - 75. Is 13 a factor of c?
True
Let k(d) = 2*d**2 - d + 15. Let n be k(9). Suppose -4*f - n = -7*f. Is f a multiple of 10?
False
Let g = -34 + 43. Suppose 7*t + 210 = g*t. Is 13 a factor of t?
False
Suppose 3*i - 1890 = -18*i. Does 3 divide i?
True
Let j be (1 - 1)*(1 + 0 + 0). Suppose 2*n = j, -n + 388 = 6*z - 2*z. Is z a multiple of 12?
False
Suppose 11*j = -j + 6948. Is 21 a factor of j?
False
Let w = 1586 + 328. Does 11 divide w?
True
Let v be 76/28 + 2/7. Suppose v*s = 142 + 191. Let n = s + -45. Does 24 divide n?
False
Let q(c) be the third derivative of 7*c**4/24 + 5*c**2. Let a be q(-1). Let x(b) = b**2 - 3. Does 23 divide x(a)?
True
Suppose 4*w - w = 15. Suppose -j + 0*q + 32 = -2*q, 2*j = -w*q + 55. Suppose j = i + i. Is 4 a factor of i?
False
Let c = -17 - -188. Does 19 divide c?
True
Let d(q) be the first derivative of -q**3/3 + 3*q**2 + 13*q - 12. Let p(n) = -2*n + 1. Let v be p(-3). Is 2 a factor of d(v)?
True
Let j = -4 - -10. Let s be 446/3 + 3 + 3/9. Suppose -2*u + j*u = s. Does 11 divide u?
False
Suppose 0 = 5*k + 138 + 407. Let n = k + 211. Does 17 divide n?
True
Suppose -3*v + 6 + 0 = 0. Let b(m) = -m**2 - m + 14. Let n be b(-4). Suppose -t - 79 = -v*q + 17, n*t = -5*q + 249. Does 13 divide q?
False
Let z(n) = 158*n**3 - 2*n**2 - 9*n + 16. Is 33 a factor of z(2)?
True
Suppose 4870 = 3*z - a, 16*z - 21*z + 8110 = 5*a. Is 15 a factor of z?
False
Let m be (-14)/(-3 - (-2 - 6/9)). Is (90/(-21))/(1/m*-1) a multiple of 27?
False
Let a(q) = 5*q**3 - 30*q**2 + 2*q - 20. Is a(10) a multiple of 40?
True
Suppose -v - 141 + 146 = 0. Let p(i) = 0*i + i**2 - 3*i - i + 6. Does 6 divide p(v)?
False
Suppose 1056 = -37*h + 45*h. Does 11 divide h?
True
Suppose -3*k = -322 - 1040. Suppose 1386 - k = 4*g. Does 28 divide g?
False
Let d = 455 + 361. Does 81 divide d?
False
Let m = -47 + 279. Is 42 a factor of m?
False
Suppose 2*d = 62 + 266. Let u = -41 + d. Suppose -21 = -3*a + u. Is 21 a factor of a?
False
Suppose 0 = 4*x - 3*x - 15. Is x/(-15)*(0 + -289) a multiple of 18?
False
Let d be -826*1 - (0 - 0). Does 13 divide d/(-10) - 2/(-5)?
False
Let w = -9 + 16. Let u(n) = -w - 8 + 9*n - n - 3*n. Does 9 divide u(8)?
False
Suppose -5*x - 3*d = -x - 39, 5*x = -3*d + 48. Let c(t) = 3*t + 25. Let s be c(x). Does 13 divide 3/(-2 - (-108)/s)?
True
Suppose 0 = -5*v + 4*a + 174, 0 = 3*v - 4*v - 4*a + 54. Let u = 86 - v. Does 5 divide u?
False
Suppose 10*z = 8*z - 202. Let u = z + 237. Suppose 3*t - 4*n = u, -n = 3*t - 0*n - 116. Is 13 a factor of t?
False
Suppose -25 = -2*b - 3*b + 2*v, 0 = -2*v. Suppose -3*o + k = -293, 3*o - b*k = -2*o + 505. Is o a multiple of 12?
True
Let p(t) = 8*t - 1 - 7*t - 25*t**3 - 3*t - 10*t**3. Is 12 a factor of p(-1)?
True
Suppose i - l - 424 = 0, -2*i + 831 = -3*l - 20. Does 7 divide i?
False
Let f(r) = -3*r - 14. Let k(g) = -5*g - 27. Let p(a) = -9*f(a) + 4*k(a). Is p(14) a multiple of 29?
True
Suppose -12*b = -11*b - 559. Is b a multiple of 13?
True
Let w(j) = 17*j + 86. Does 26 divide w(11)?
False
Is 4990/6 - 42/(-18) a multiple of 32?
False
Is 14 a factor of (16/12*7)/((-11)/(-330))?
True
Let l(z) = 6*z**2 + 15*z - 47. Does 32 divide l(7)?
True
Let p = 2120 + -721. Does 80 divide p?
False
Let b(n) = 10*n**2 + 4*n - 3. Does 27 divide b(-7)?
True
Is (-1 + 2)/2 + 410697/106 a multiple of 25?
True
Let w(u) = 12*u**2 + 4*u - 9. Does 37 divide w(3)?
True
Suppose 5*z + 0*z - 31 = -2*w, 5*w = -3*z + 30. Suppose -200 - z = -5*d. Does 9 divide d?
False
Suppose -4*c - 1062 = -13*c. Let n = c + -34. Is n a multiple of 28?
True
Let r(l) = 2*l**2 + 2*l. Let k be r(-2). Suppose 0 = q + q, -k*q = 4*w - 12. Suppose w*b - 5*h = -2*h + 51, 2*h - 6 = 0. Is b a multiple of 10?
True
Let d = 722 + -506. Is d a multiple of 24?
True
Suppose -2*i + c = -5, -2*i + 0 - 1 = -3*c. Suppose 4*y + 8 = -0*y, -144 = -i*t - 2*y. Let a = 37 + t. Does 24 divide a?
False
Suppose 0 + 6 = 2*o. Suppose 5*t + o*g - 618 = 0, 4*g - 259 = -2*t - 9. Is 38 a factor of t?
False
Let q = 24 + -18. Let w(x) = 14*x**3 - 4*x**2 + 3*x + 5. Let f(c) = 15*c**3 - 5*c**2 + 3*c + 6. Let p(k) = q*f(k) - 7*w(k). Does 13 divide p(-2)?
False
Suppose 0 = -p - 2*p - 4*x + 2, 2*p - 5*x = 9. Suppose -5*w - 161 + 15 = -p*r, -5*w + 10 = 0. Suppose 36 = m - v + 2*v, -r = -2*m - 4*v. Does 12 divide m?
False
Suppose 3*t - 2919 = -1956. Is 7 a factor of t?
False
Let r(u) = -u**2 + 5*u - 2. Let c be r(4). Suppose c*d - 3*j = 12, -2*j - 2 = 2*d - 4. Does 25 divide (2 - 5) + d + 83?
False
Suppose -518 = 2*v - 4*v + 2*y, 1290 = 5*v - 4*y. Does 35 divide v?
False
Suppose 422 = s + 4*x - 138, -3*s - 2*x + 1660 = 0. Is 24 a factor of s?
True
Let g = -18 - -46. Suppose -g = 6*y + 128. Is 13 a factor of 4885/65 - (-4)/y?
False
Let r(o) = -o**2 + 20*o + 5. Suppose 5*b - b = -12, 0 = 5*c + b - 447. Suppose 2*t = -3*t + c. Is r(t) a multiple of 12?
False
Let w(h) = 10*h + 5. Let l(b) = -8*b - 6. Let m(s) = -6*l(s) - 5*w(s). Is m(3) a multiple of 5?
True
Let p(k) be the first derivative of -k**4/4 - 8*k**3/3 - 5*k**2/2 - 4*k + 55. Let j = -18 + 10. Does 9 divide p(j)?
True
Suppose k - 6 = -3. Suppose k*d - 20 = -d. Suppose -582 = -q - d*q. Is q a multiple of 17?
False
Let j(g) = 144*g + 10. Let w(x) = 72*x + 5. Let z(c) = 4*j(c) - 9*w(c). Is z(-3) a multiple of 16?
False
Suppose -2*v - 8 = -2. Let z = 7 + v. Suppose z*l - 6*l = -74. Does 9 divide l?
False
Let m = 1334 + -1124. Is m a multiple of 7?
True
Suppose -52000 = 15*m - 31*m. Is 134 a factor of m?
False
Let d = -104 + 130. Let x(i) = -i**3 + 25*i**2 + 25*i + 38. Is x(d) a multiple of 6?
True
Suppose 51*d - 165600 = -29*d. Is d a multiple of 45?
True
Let f(k) = 3*k**2 - k + 1. Suppose 4*c + 1 - 5 = 0. Let x be f(c). Suppose 0 = -3*o - 0*o + 4*w + 52, 0 = -x*o + w + 58. Is 5 a factor of o?
True
Suppose 0 = 8*f - 6*f - 184. Suppose -3*z = -z - f. Does 8 divide z?
False
Let r = 36 - -21. Let l be 77/88 - (-1)/8. Suppose l = q - r. Is 15 a factor of q?
False
Let u = 30 - 50. Let j = 12 - u. Is j a multiple of 16?
True
Suppose 183 = 4*u - 5*k