de r?
False
Is -2*(-4 + 3) + 338 - -1 a multiple of 31?
True
Let o(d) = 3*d - 7. Let p be o(3). Suppose -4*i + 6 + p = 0. Suppose 0 = 2*q - i*k - 124, -5*q = -q + 2*k - 272. Is q a multiple of 17?
False
Suppose -3*s = -0*s - 4*b - 219, 63 = s + 2*b. Suppose 4*n = n + 3*z + s, 0 = n - 3*z - 31. Suppose -v = 15 - n. Is 4 a factor of v?
True
Let h(p) = 12*p - 409. Is h(37) a multiple of 5?
True
Suppose 0 = 9*w + 28 - 100. Suppose 12*s - w*s = -3*g + 1044, -2*s = -3*g - 504. Is 13 a factor of s?
False
Let b = 8 + -5. Suppose -4*y + 2*f + 206 = 0, -b*f = 4*y - 2*y - 99. Is y a multiple of 19?
False
Let p(r) = 31*r**2 - 4*r - 5. Is 63 a factor of p(2)?
False
Let z(q) = -4*q - 17. Let i be z(-6). Let t = 10 + i. Does 17 divide t?
True
Suppose 20*a = 17*a + 120. Is 6 a factor of (16/20)/(2/a)?
False
Suppose -291*q = -287*q - 6544. Does 77 divide q?
False
Let t = 3 - 3. Suppose -3*l = -t*l. Suppose -4*o + 95 = 5*f, l*o = 5*o + 4*f - 130. Does 6 divide o?
True
Let j = -5 + 1. Is (38/j)/(3/(-18)) a multiple of 19?
True
Suppose x = 5*l - 506, 4*l - 80 - 348 = -5*x. Is l a multiple of 13?
False
Suppose 4*f = -q + 134, 2*q + f - 121 - 133 = 0. Is 21 a factor of q?
True
Let m = 4 + 0. Let w be -2*(1 + (-10)/m). Suppose -w*r = -6*r + 48. Is 16 a factor of r?
True
Let i(b) = -2*b**3 - 12*b**2 - 8*b + 1. Is i(-8) a multiple of 8?
False
Suppose -2722 = -9*v + 1418. Is 55 a factor of v?
False
Let h(g) = g**3 + 10*g**2 + 8*g - 9. Let v be h(-9). Suppose -5*w + 4 = -16, v = 3*a + 4*w - 49. Let f = 25 - a. Is 5 a factor of f?
False
Let g be (-2)/3 + (-51)/(-9). Let c(p) be the second derivative of p**5/20 - 5*p**4/12 + p**3/3 + p**2 + 20*p. Does 7 divide c(g)?
False
Let h be (-2*196/24)/(1/(-9)). Suppose -2*g = -4*z - 377 + h, 0 = 2*z + 10. Is g a multiple of 5?
True
Suppose 2*x - 1344 = -10*x. Is 8 a factor of x?
True
Let w = -154 + 433. Is 15 a factor of w?
False
Suppose -3*u - 1194 = 3*u. Is ((-4 - -1) + u)/(-2) a multiple of 24?
False
Suppose -3*g - 4739 = -10*g. Suppose 4*w - 7*w + g = 4*x, -2*x + 336 = 4*w. Is 47 a factor of x?
False
Let p = -268 - -1364. Is 35 a factor of p?
False
Suppose -3*j = -4*l - 35, -2*l - 2*l = j - 1. Suppose 0 = 5*w + 2*r - 19, w = 4*r - 2*r - 1. Suppose -3*p = b - 11 - j, 0 = w*b - p - 60. Does 10 divide b?
True
Let l(f) = 18*f**2 + 25*f - 51. Is 65 a factor of l(2)?
False
Suppose 25 = -3*a + 10. Let r = 51 - a. Does 11 divide (-1 + r)*10/25?
True
Let m = -24 + 283. Is m a multiple of 28?
False
Let l = 64 + -61. Suppose -l*x + 860 = -2*y, -4*y + 1426 = -0*x + 5*x. Does 43 divide x?
False
Let i(r) = 2*r + 3. Let k be i(-2). Let o be (3/(-9))/(k/51). Let g = 1 + o. Is 18 a factor of g?
True
Is 28 a factor of (-45)/(-20) - 2 - 3835/(-4)?
False
Let j be 16 - 1 - (-3 - -2). Suppose -4*m = -0 - j. Suppose -2*i - 3*v = -17, 6*i - 5*v = m*i + 25. Is 5 a factor of i?
True
Let k = 8 - 19. Let t(r) = -5*r**2 + 21*r - 5. Let h(w) = -w**2 + w + 1. Let i(n) = 6*h(n) - t(n). Does 18 divide i(k)?
False
Suppose 3*z - 2*q = 7*z - 54, 2*z - 5*q = -3. Is 4 a factor of z?
False
Let v(z) = -z. Let f be 2/1 + 1 + 2. Let p be (2/(-5))/(f/75). Does 3 divide v(p)?
True
Suppose -m = 2*g - 22, 2*g - 5*g - 3*m = -30. Is 10 a factor of ((-30)/25)/(g/(-800))?
True
Let j(s) = s**3 - s - 1. Let g(v) = -8*v**3 - 7*v**2 + 7*v + 3. Let c(p) = g(p) + 6*j(p). Let i be c(-5). Let n = i - 29. Is 19 a factor of n?
True
Let u = -10 + 19. Let a = u - -26. Suppose -a*v = -40*v + 360. Does 24 divide v?
True
Let x = -39 + 37. Is x/(-8) + (8 - (-5272)/32) a multiple of 16?
False
Let x = 286 + -142. Let b = 171 - x. Is b a multiple of 9?
True
Suppose 12 = 6*h - 0*h. Suppose h*y - 28 = 24. Is y a multiple of 25?
False
Let h be 2/6 - (-2)/3. Let y be -3*(-2 - -5)*h. Is -3*(150/y + -1) a multiple of 20?
False
Let l = 2 + -2. Let q(r) = 29*r**3 - r**2 - 4*r - 30*r**3 + 57 - 13 + 5*r. Does 12 divide q(l)?
False
Suppose -h - 3 + 6 = 0. Let v(x) = 4*x**2 - 3*x + 4. Is v(h) a multiple of 10?
False
Suppose 0 = 5*c - 26 + 1. Suppose 0*m = c*m - 850. Does 11 divide m/5 + -2 + 1?
True
Let x(h) = -5*h - 2. Let a be x(4). Suppose 4*g = 13*g - 666. Let p = g + a. Is p a multiple of 13?
True
Let y = 1210 - 262. Does 65 divide y?
False
Suppose -4*j - 11 = 13. Let h be j - -3 - (5 + 0). Let w = h - -72. Is w a multiple of 16?
True
Suppose -8*d = d + 297. Let f = -43 - d. Is 4 a factor of 0 + f*4/(-2)?
True
Let n = -61 + 521. Does 17 divide n?
False
Suppose 14 - 71 = -i. Let r = i + 20. Is 19 a factor of r?
False
Suppose -6*l = -3*l - 12. Let i(n) = n**3 - 5*n**2 + 3*n - 1. Let u be i(l). Does 2 divide u/(-2) - 4/(-8)?
False
Suppose k + 3*d = -540, -5*d + d - 2656 = 5*k. Is (1/2)/((-8)/k) a multiple of 33?
True
Suppose 4*v - 28 + 1 = -s, -v - s = -6. Let c be ((-4)/6)/(v/(-42)). Is (-92 - 8)*(-3)/c a multiple of 11?
False
Let j(i) = -14*i + 378. Does 18 divide j(0)?
True
Does 13 divide 6 + (1 - 3)/((-8)/2168)?
False
Is 33 a factor of 1773/9 - (-2 - -1)?
True
Is (3 + (0 - 1823))*12/(-15) a multiple of 26?
True
Let z be (65 - 0)/(16/160). Suppose -z = -3*t - 254. Is t a multiple of 33?
True
Let x(t) = -3*t**3 - t**2 - 3*t + 5. Let q be x(0). Suppose -11 = -5*y + a + 1, 5*a = 15. Suppose -4*b = -q*v + 101, -5*v + 24 + 49 = y*b. Does 17 divide v?
True
Let b(t) = -2*t**3 - 2*t**2 + t - 2. Let d be b(-2). Suppose 0*m - 54 = -3*m - x, 2*m + d*x = 36. Is m a multiple of 2?
True
Suppose -12*z = 900 + 1908. Let a = z + 407. Does 7 divide a?
False
Let w = -2069 + 2306. Is 7 a factor of w?
False
Suppose 0 = -5*n - 2*x + 11, 0*n + n - 3*x + 8 = 0. Let f be (6 + -12)*n/2. Let t(q) = -q**3 - 2*q**2 - 2*q - 7. Is t(f) a multiple of 8?
True
Let l(b) be the second derivative of -5*b**7/168 + b**6/360 + 7*b**3/6 - 4*b. Let o(z) be the second derivative of l(z). Is o(-1) a multiple of 13?
True
Let p(l) = -5*l + 4 + 2*l - 1 - 2. Let b be p(-4). Let y = b + 11. Is 15 a factor of y?
False
Let q(l) = -60*l - 13. Let h be q(8). Let a = h - -221. Is 34 a factor of (-1)/(1092/a + 4)?
True
Suppose 3*k = -5*q - 3, 0 = k - 2*q + 5*q - 3. Does 24 divide k/(-8)*(31 + 1)?
True
Suppose -4*c - c - 5*q = -35, 2*c - 2*q = 6. Suppose -576 = c*p - 3*t, 0*t = p + 4*t + 129. Let j = -60 - p. Is 19 a factor of j?
True
Let d = 39 - 37. Suppose d*q - 860 = -2*q. Is 43 a factor of q?
True
Let o be 2 - (2/(-2) + -1). Let u(t) = -92*t + 376*t - 97*t - 5 - 90*t - 93*t. Does 10 divide u(o)?
False
Suppose 3*s = -2*s + 2*d + 9, 0 = -4*s + 4*d. Suppose -s*k - 77 + 16 = -2*b, b + 3*k = 35. Is b a multiple of 4?
True
Let g(l) = l**3 - l**2 - 6*l + 5. Let s be g(3). Suppose 2*w = -s*j + 239, -4*w + 3*j = -301 - 164. Does 39 divide w?
True
Let w(p) = 33*p + 13. Let a be 10/(-45) - (-29)/9. Is 14 a factor of w(a)?
True
Let g(m) = -m**3 + 4*m**2 + 20*m - 5. Is 20 a factor of g(6)?
False
Let h(o) = 2*o**2 - 8*o + 3. Let t be h(4). Is 2 a factor of (2 + t/(-6))*(1 - -1)?
False
Let m(f) be the second derivative of -f**5/20 - f**4/4 - f**3/2 - f**2/2 - 6*f. Let l be m(-3). Suppose 5*s + 2*r - 17 = 0, -s = 5*r - l - 0. Is s even?
False
Suppose 4 = 2*k + 2. Is 8 a factor of 1265/35 - k/7?
False
Let w(n) = n**3 - 13*n**2 + 3*n - 24. Is w(15) a multiple of 70?
False
Is (245/(-105))/(1/(-333)) a multiple of 7?
True
Suppose -5*b - 3*f + 1054 = 0, -90*b - 4*f - 856 = -94*b. Is 9 a factor of b?
False
Let g = 2543 - 2179. Is g a multiple of 14?
True
Suppose -g + 4 = 3*k, -2*g + 4*g - 8 = 5*k. Suppose 110 = g*j + 22. Is j a multiple of 11?
True
Let b = 0 + -6. Let a(l) = l**3 - l**2 + l - 1. Let v(r) = -8*r**2 - 4*r - 9. Let f(d) = a(d) - v(d). Does 7 divide f(b)?
True
Let r(t) = 2*t**2 + 4*t + 20. Is r(6) a multiple of 29?
True
Let y(c) = c**2 - 2*c - 7. Let w be y(5). Let b = w - 4. Suppose 0*m + l = b*m - 31, 3*l - 3 = 0. Is m a multiple of 4?
True
Suppose 0 = -10*o - 559 - 311. Let n = 123 + o. Does 3 divide n?
True
Let q be (5 - 7) + 0*2/(-4). Is 18 a factor of (18 + 90)*(-1)/4*q?
True
Let v = 46 - 24. Let u = 16 - v. Is (u/4)/((-2)/124) a multiple of 31?
True
Let u be 2 + (-3 - -7)/4. Let t(m) = -m - 1. Let l be t(u). Does 7 divide (-1)/l + (-165)/(-12)?
True
Is 2 a factor of 15 - -38 - (-2 - -3)?
True
Suppose 12 = -2*a + 3*t, 0*t + t = 5*a + 4. Suppose 4*k - m - m = 120, a = -k - 3*m + 16. Is 6 a factor of k?
False
Let l = 16 - 10. Let w(f) = l*f**2 + 4*f +