or of h(-7)?
True
Suppose -4*x = -4 - 4. Suppose x = n - 4. Does 17 divide ((-8)/n)/((-4)/102)?
True
Let u(b) = b + 5 + 28 - 6. Is u(9) a multiple of 5?
False
Let k be (0 - 4) + -3 + 3. Let c(r) = 6*r**2 + r + 8. Let f be c(k). Suppose a = 4*t, 5*t - f = -3*a - 2*a. Is 2 a factor of a?
True
Let q(z) = -3*z**2 - 1. Let s be q(1). Let y be 15/(-1)*s/10. Let m = 71 + y. Does 12 divide m?
False
Suppose 0 = 15*v - 471 - 339. Let r = v + -34. Is 5 a factor of r?
True
Let a = 449 - 75. Is 34 a factor of a?
True
Suppose 8265 = 214*l - 199*l. Is l a multiple of 19?
True
Suppose 3*a - 320 = 8*a. Let d = -32 - a. Is d a multiple of 26?
False
Let o = 5 + -7. Let l(z) be the first derivative of -17*z**2/2 - 4*z + 5. Does 15 divide l(o)?
True
Let w = 597 - 389. Does 19 divide w?
False
Let x(p) = -2*p**3 - 3*p**2 + 10*p. Let h be x(-7). Let b = h - 134. Is b a multiple of 11?
False
Suppose -13 = k - 23. Suppose -5*w - 735 = -k*w. Is w a multiple of 21?
True
Let j(w) = -w**3 + 8*w**2 - 5*w - 6. Let s be j(6). Let p be (-2238)/s + 2/12. Let r = -43 - p. Does 7 divide r?
False
Let g(q) = 107*q**2 + 19*q + 5. Is g(-2) a multiple of 5?
True
Suppose 0 = -2*f - 5*h - 6, -20 = -5*f - 0*f + 5*h. Let v(y) = 33*y**3 + 6*y + 4 - 34*y**3 + 6*y**f + 2. Is v(6) a multiple of 24?
False
Suppose -5*d = -5*v - 335, 0 - 205 = -3*d + 2*v. Let i = 168 - d. Is i a multiple of 21?
False
Let a(o) = -3*o**2 - 10*o + 621. Is a(0) a multiple of 55?
False
Let p(o) = 3*o + 33. Suppose -4*u - 33 = -5*s, -4*u + 12 = s - 3*u. Is p(s) a multiple of 15?
True
Suppose 2 = 2*f + 5*o, 6*o + 6 = 3*o. Suppose m = 4*m - f. Suppose 5*k + 4*j = 29, m*j + 12 = 2*k - 14. Is 2 a factor of k?
False
Let q = -663 + 1077. Is 46 a factor of q?
True
Let r be (-1)/(-2) - (-171)/(-6). Let o = 144 - r. Is o a multiple of 31?
False
Suppose 0*k - 4*l + 109 = -3*k, 0 = -3*l + 12. Let i = k + 77. Suppose -3*q + 59 = -i. Does 35 divide q?
True
Let v be (5 - 2)/1 + 11. Let q be (-38)/v + (-2)/7. Is 1 - (26/(-2) - q) a multiple of 6?
False
Suppose 7 - 2 = q. Let u(p) = 7*p + q - p - 4*p - p. Is 5 a factor of u(10)?
True
Let b be (-6)/((-3)/(-9)*-3). Suppose -4*n - 212 = -b*n. Is n a multiple of 13?
False
Let w(s) = s**3 + 4*s**2 + s + 4. Let h be w(-4). Suppose 4*p = u + 4*u - 70, h = 4*p + 3*u + 54. Is 8 a factor of (34/(-5))/(6/p)?
False
Suppose 0 = -3*z + 70 + 41. Suppose -w = -46 - z. Is 26 a factor of w?
False
Suppose -4*g + 64 = -3*z, -5*g - 2*z + 94 = 14. Let r = g + 2. Is r a multiple of 7?
False
Let w = -10 + 17. Suppose p = -2 + w. Is 21 a factor of 3 - p - -3 - -41?
True
Let f(g) = -g**3 - 3*g**2 - 2*g - 3. Let c be f(-2). Let i = 95 + c. Does 19 divide i?
False
Let w be (-20)/(-25) - (-1572)/10. Let d = 227 - w. Let x = d - -10. Is x a multiple of 25?
False
Suppose -u + 21*k + 156 = 17*k, -290 = -2*u - 3*k. Does 4 divide u?
True
Suppose -2*h = -3*h - 27. Let y = h - -95. Suppose 3*x - y + 11 = 0. Is x a multiple of 5?
False
Suppose 2*g = 4*g - 3*k - 507, -2*g - 2*k = -502. Let c = g + -144. Is 12 a factor of c?
True
Is 14*(-3)/6 + 157 a multiple of 10?
True
Suppose 5*k = 4*t + 28 + 291, -t - 197 = -3*k. Let l = k - 37. Is l a multiple of 6?
True
Suppose -13*x - 87 = -2*r - 12*x, x = 5*r - 213. Is r even?
True
Suppose x = -7 + 4. Suppose -q + 71*y - 76*y = -13, 3*y - 5 = -2*q. Is ((-2070)/(-27))/(q/x) a multiple of 23?
True
Let f(g) = g - 1. Let o be f(11). Let u(v) = -o - 6*v**2 + 3*v + 2*v**3 + 7 - v. Is 13 a factor of u(4)?
False
Does 14 divide (-2944)/(-4) + 6/1?
True
Is (-240)/(10 + 1272/(-126)) a multiple of 35?
True
Let d = 128 - 123. Is 22 a factor of (d/((-15)/(-28)))/((-10)/(-255))?
False
Let d(i) = -i**2 + 5 - i - 25 + 12*i + 4*i. Is 10 a factor of d(10)?
True
Suppose -19*x = -10*x - 4122. Does 11 divide x?
False
Let q = 3 - -39. Let t = q - 32. Does 10 divide t?
True
Suppose p - 3*h + 27 = 3*p, 0 = -5*h + 5. Let n be (-1209)/(-6) - p/(-8). Suppose 0 = 5*s + 3 - n. Is s a multiple of 20?
True
Suppose -27*h + 1434 + 4047 = 0. Does 7 divide h?
True
Let b(w) = 207*w - 3. Is 34 a factor of b(3)?
False
Suppose 0*n + 3*n = -3, -5*y - 4*n + 5041 = 0. Does 97 divide y?
False
Suppose 0 = -5*d + 10 - 70. Let r = 4 - d. Is 4 a factor of r?
True
Let g = 71 + -78. Let i = g - -53. Is i a multiple of 23?
True
Suppose 12 = 7*w - 10*w, 5*v + 5*w = 215. Is 3 a factor of v?
False
Suppose 3*c = 19*v - 22*v + 819, -1090 = -4*v - 2*c. Is v a multiple of 6?
False
Suppose -r + 49 = 13. Is 22 a factor of r?
False
Is (188/8)/(-1 - (-231)/228) a multiple of 19?
True
Suppose 139 + 141 = 2*s. Does 3 divide s?
False
Suppose d = -4*w + 787 + 619, -3*w = 4*d - 1061. Is 39 a factor of w?
True
Suppose 7*b - 4 = 24. Is 44 a factor of b/(-12) - 3966/(-18)?
True
Let h(c) be the third derivative of 5*c**4/12 + c**3/3 + 5*c**2. Let q(u) = 10*u + 2. Let z(a) = 4*h(a) - 5*q(a). Is 9 a factor of z(-4)?
False
Does 7 divide 175/(-35) + -2 + 249?
False
Let g = -4 + 25. Let i(p) = -3*p + 47. Let x be i(10). Let q = g - x. Does 3 divide q?
False
Let i(j) = -j**3 - 8*j**2 + 10*j + 11. Let q be i(-9). Suppose 0*d + 4*d = q*r + 12, 3*d + 46 = -4*r. Is (-238)/(-5) - r/25 a multiple of 14?
False
Let j be (12/18)/((-2)/(-9)). Is (100/j)/((-32)/(-48)) a multiple of 10?
True
Let h(v) = -v**2 + 111*v + 34. Is h(24) a multiple of 11?
False
Let j = -6 - -8. Let r(v) = 4 - 6*v**3 + 10*v**j - 12*v**2 - 4. Is r(-2) a multiple of 11?
False
Suppose -3*d + 2*k = -62, -5*d + 2*k = -0*d - 110. Is d a multiple of 6?
True
Let p be 1134*-1*(1 + -2). Suppose p = r + 5*r. Does 27 divide r?
True
Let t(l) = -l**3 - l**2. Let w(j) = 7*j**3 - 6*j**2 - 8*j + 6. Let x(c) = 6*t(c) + w(c). Does 8 divide x(13)?
False
Let o = 94 + -258. Let v = 300 + o. Is v a multiple of 34?
True
Let g = 17 - 12. Suppose 0 = -y - g - 2. Let m = 4 - y. Does 11 divide m?
True
Let i = 7 - 13. Let w be (i + 5)/(1/(-1)). Suppose -2*l = -3 - w. Is 2 a factor of l?
True
Let n be 2*(4/8)/((-3)/(-6)). Is -13*((-1)/n)/(4/8) a multiple of 13?
True
Suppose 3 = -2*a - 0*t - 3*t, -5*t + 5 = 5*a. Is 20 a factor of (-12)/(-24) - ((-471)/a - 1)?
True
Let w = -26 + 28. Suppose 5*j - c = 2*c + 366, -165 = -w*j - 5*c. Suppose -3*o + j = 12. Is o a multiple of 21?
True
Suppose -t - 3*v + 278 + 469 = 0, 5*t - 5*v = 3835. Suppose 390 = 9*g - t. Is g a multiple of 32?
True
Suppose -3*n + 4*s + 179 + 31 = 0, 0 = -n - s + 63. Suppose -i = -n - 5. Does 33 divide i?
False
Suppose -996 - 124 = -16*d. Does 19 divide d?
False
Let r = 7 - -93. Does 9 divide r?
False
Suppose 230*f - 292 = 234*f. Let x = f - -259. Is 12 a factor of x?
False
Suppose p + 0*p - 208 = -4*r, 0 = -5*r + 5. Is 33 a factor of p?
False
Let g = 310 + -155. Suppose -8*r + 165 + g = 0. Is r a multiple of 40?
True
Suppose 2262 = 16*g - 634. Is 1/((-2)/(-2))*(g - 2) a multiple of 21?
False
Suppose 3*s - 8*s = -165. Does 11 divide (-3 - 13/(-3))*s?
True
Suppose -1 = -4*i + 47. Suppose -10*d - 208 = -i*d. Is d a multiple of 8?
True
Suppose 28*c + 962 - 3342 = 0. Does 3 divide c?
False
Suppose 8*i - d = 10*i - 82, -5*i = 3*d - 204. Does 42 divide i?
True
Let d(n) = n**2 - 16 - 3*n**2 - 6*n + 10 + 3*n**2. Does 9 divide d(9)?
False
Suppose -962*g + 4990 = -952*g. Is g a multiple of 24?
False
Let a(y) be the third derivative of y**7/560 - y**6/240 + y**5/20 + 2*y**2. Let p(d) be the third derivative of a(d). Does 12 divide p(3)?
True
Suppose -64*y = -46*y - 9360. Is 26 a factor of y?
True
Suppose -6*m = -0*m - 3876. Is 34 a factor of m?
True
Let b = 568 + 1636. Does 58 divide b?
True
Suppose 287 = -3*u - 4*t, -2*u + 3*t - 199 = -2*t. Suppose 140 = b - 0*b. Let n = u + b. Does 13 divide n?
False
Suppose -19*s + 11592 = 17*s. Does 23 divide s?
True
Suppose -2*w + 386 = 124. Let a = -36 + w. Let z = -43 + a. Is 19 a factor of z?
False
Let y = 11 + -12. Let q be (-16)/(-4)*y/(-1). Suppose 0 = q*g - 15 - 9. Is g a multiple of 3?
True
Let h = -2 + 6. Suppose -5*g - 33 = 5*n + 27, 5*n - h*g + 24 = 0. Does 22 divide (-462)/(-14)*n/(-6)?
True
Let c be (-2 - -2)/1 - 0. Suppose -4*k = -q - 92, -5*q - 46 = -2*k - c*k. Suppose -k = z - 3*y - 58, 0 = 2*z - y - 75. Does 19 divide z?
True
Let j = 6 - 8. Let q(s) = -26*s - 7. Is q(j) a multiple of 15?
True
Let n be 9 + (-2 - -4 - 4). Let s(x) be the third derivative of x**4/12 - 5*x**3/6 + 4*x**2. Is 3 a factor of s(n)?
Tru