14041 - -1030. Is 11 a factor of i?
False
Let t be (10 + 2 + -10)*3/2. Suppose -t*c = -268 + 184. Is c even?
True
Let a be (-16)/88 - (-5 - 554/22). Suppose 2360 = -20*v + a*v. Is v a multiple of 40?
False
Let v(g) = g + 63 - 108 + 3*g. Let m be v(11). Is (32 - -2) + 3 + m a multiple of 9?
True
Let z(w) = -w**3 + 18*w**2 + 10*w + 37. Let o(x) = -30*x - 102. Let f be o(-4). Is z(f) a multiple of 53?
False
Let f = 24436 + -24230. Does 25 divide f?
False
Let c(d) = -19*d**3 + 10*d**2 + 60*d + 349. Does 68 divide c(-7)?
True
Suppose -3032*o = -3005*o - 132894. Is 157 a factor of o?
False
Let l = -49 + 195. Suppose 55*q = -1094 + 1204. Does 13 divide 2 + l/q + 3?
True
Let i(p) = 162*p**2 + 9*p + 65. Is i(-8) a multiple of 13?
True
Let u be (-2)/(-19) - 33880/(-152). Let p = -96 + u. Let w = p + -94. Is w a multiple of 20?
False
Let r(u) = -11*u**3 - u**2 + 2*u + 4. Let g(w) = 55*w**3 + 4*w**2 - 9*w - 21. Let v(n) = 2*g(n) + 11*r(n). Is v(-3) a multiple of 65?
True
Let u be (-114)/(-4)*-8*(-1)/(-12). Let o(b) = -21*b + 11. Is o(u) a multiple of 10?
True
Let j(i) = 14*i - 28. Let d be j(-3). Let o = d - -331. Is o a multiple of 87?
True
Suppose 5*t - 3*h - 28 = 0, -6*t + 4*t = -2*h - 12. Suppose 7*c - 12*c - 3*o + 626 = 0, -o + 622 = t*c. Is c a multiple of 7?
False
Let l = 133 + -130. Is (-72)/(-90) + l/(30/302) a multiple of 19?
False
Suppose 4*j = -3*v + 27, 8 = 2*j - v - 3*v. Suppose 4*q + 20 = j*q. Suppose q*n - 401 - 79 = 0. Does 2 divide n?
True
Let y(q) = -8*q - 67. Suppose 5*c - 5*t + 54 = -3*t, c + 3 = 3*t. Let s be y(c). Is s/(224/44 - 5) a multiple of 29?
True
Suppose 5*c = 3*x - 1076, 0 = 3*x - 23*c + 22*c - 1072. Is x a multiple of 7?
True
Suppose -8*b + 10*b - 2*h - 7748 = 0, -b + 5*h = -3866. Is 34 a factor of b?
True
Let q(l) = 2701*l - 8025. Is 6 a factor of q(22)?
False
Suppose -92*k + 120737 = -55176 - 43691. Is 183 a factor of k?
False
Suppose -46*k - 7*k + 39347 = -4*k. Does 33 divide k?
False
Suppose -6 = -2*w + 4. Suppose -8*g = -w*g + 12. Let y(h) = 6*h**2 + 2*h + 19. Is y(g) a multiple of 12?
False
Let m = -764 - -252. Let k = -328 - m. Is 46 a factor of k?
True
Let n = -14 - -13. Let j(d) = -74*d + 4. Let p be j(n). Let m = 14 + p. Does 46 divide m?
True
Suppose 8*p = -2*g + 20224, -5*g = 5*p - 4845 - 7795. Is 79 a factor of p?
True
Is 9 a factor of (-3 + -1951)/((-84)/35 - -2)?
False
Let i(p) = 9*p + 183. Let w(t) = -4*t - 92. Let n(c) = -3*i(c) - 7*w(c). Is n(-15) a multiple of 16?
True
Let q(w) = w**3 + 2*w**2 + 2*w + 393. Let c be q(0). Let z = 175 - c. Let o = -73 - z. Is o a multiple of 7?
False
Let j(r) = 3*r**2 + 6*r - 6. Let y = -29 + 32. Let l be j(y). Let d = l + -18. Does 6 divide d?
False
Let s(v) = -9*v**3 + 14*v**2 + 25*v - 50. Is 55 a factor of s(-6)?
False
Let i(n) = 33*n - 366. Is i(30) a multiple of 6?
True
Suppose 5*q + 0*q + f - 2 = 0, 0 = -4*q - 4*f + 8. Suppose -4*n - 3*n + 1855 = q. Suppose -t = -2*b + 179, -4*b - 5*t = -n - 58. Is b a multiple of 18?
False
Suppose -915 = 6*u + 3. Let z = 328 + u. Is 5 a factor of z?
True
Let p = -6078 + 10952. Is p a multiple of 41?
False
Suppose 5*b = -0*w - 2*w + 16630, 0 = 5*b + 5*w - 16645. Let a(i) = i**2 - 35*i + 5. Let o be a(35). Suppose 7*r + o*r = b. Is 22 a factor of r?
False
Suppose 0 = -1136*d + 1152*d - 731120. Is d a multiple of 185?
True
Suppose -11*b + 10051 = -9408. Is 61 a factor of b?
True
Let l(k) = -87*k + 806. Is l(-30) a multiple of 12?
False
Let k be -5 + (-153)/(-68)*(-8)/(-6). Let y(b) = -19*b**3 - b**2 + 3*b + 2. Does 20 divide y(k)?
False
Let p = 2307 + -822. Is 27 a factor of p?
True
Let g be -29*11/1 - 6. Let y = 573 + g. Does 20 divide y?
False
Let u(a) be the third derivative of 37*a**4/24 - 14*a**3 + a**2 - 26*a. Is 48 a factor of u(8)?
False
Suppose -2*t - 22 = -13*t. Let a(b) = 13*b**3 - 3*b**2 - 4*b + 5. Does 37 divide a(t)?
False
Let y be (-215)/(-4) - (-3 + (-99)/(-36)). Let h = 474 - y. Is 12 a factor of h?
True
Let y be (0 - 21 - -1)/(-11 + 10). Suppose -y*j = -22*j + 216. Does 12 divide j?
True
Let p be (-20)/15 - (2 + (-31)/3). Let d(y) = -p*y**3 - 8*y - 16*y - 14 - 10*y**3 + 18*y**3 + 7*y**2. Does 4 divide d(-9)?
True
Let s = 5493 - 3880. Suppose s = 5*d + 593. Does 17 divide d?
True
Let c(j) = 0*j + 4*j + 480 + 0*j + 12*j**2 - 15*j**2. Is 12 a factor of c(0)?
True
Let f = 32310 + -14823. Is f a multiple of 9?
True
Suppose 0 = -2*i - 3*c + 132, -3*c - c + 260 = 4*i. Suppose -9*f + 1269 - i = 0. Suppose 658 - f = 4*o. Does 15 divide o?
False
Let x = 9 - 4. Let n(s) = -2*s**2 + 22*s + 3. Let u be n(11). Is 20 a factor of (u/3 - x) + 24?
True
Let o(k) = -k**3 + 15*k**2 - 25*k - 31. Let y(n) = n**2 - 34*n + 12. Let v be y(34). Is 19 a factor of o(v)?
False
Does 13 divide 17*41 + -89 + 81?
True
Let v = 4 - 3. Let j(y) be the third derivative of 11*y**5/3 + 53*y**2. Does 50 divide j(v)?
False
Let h be (-25)/(-4) + -3 - 6/(-8). Suppose 3*n = -4*u + h*n - 101, -3*u - 2*n = 84. Let d = 121 - u. Is 7 a factor of d?
True
Suppose 5*d - 4*d - 6 = -2*w, -3*d - 12 = -4*w. Suppose 5*h + 2*k = 157, d = -5*h + 6*h + 4*k - 35. Is 6 a factor of h?
False
Let s = 247 + -243. Suppose -680 = -3*z - s*d - 0*d, 3*z - 685 = -5*d. Is 22 a factor of z?
True
Suppose -3*s + 3 + 0 = 0. Suppose -4*k + s + 7 = 0. Does 20 divide 83/(k - 1) + (-9 - -6)?
True
Let w = 9 + -5. Suppose 78 = -5*n + 2*n + 5*b, 5*b - 99 = w*n. Is 2 - n*(-6)/(-9) a multiple of 4?
True
Let g be (-285)/(-7) + 12/42. Suppose 3*j - g = 10. Let w = 23 - j. Is w a multiple of 2?
True
Suppose 16*d + 410 = -3846. Suppose -5*y + 3*x - 234 = -30, -38 = y - 2*x. Does 3 divide d/y + (-2)/6?
True
Suppose -3*k = -d - 34, -2*d + 15 = d. Let p = k - -361. Suppose -11*a + 550 + p = 0. Is 14 a factor of a?
True
Suppose -488 = 5*f - 538. Does 4 divide (360/63)/f + (-1788)/(-7)?
True
Suppose 5*n = s - 42 + 6, 5*s + 36 = -2*n. Let o(v) = -2*v**2 - 6*v - 2. Let i be o(-4). Does 32 divide (-111)/(-1) + (i - n)?
False
Let x = -2050 - -3069. Suppose -2*u + 475 = -5*k, 4*u - 4*k + 99 = x. Is 20 a factor of u?
False
Let s(c) = 4*c**2 - 10*c + 8. Suppose -44 - 40 = -t + 4*u, 0 = 2*t + u - 150. Suppose -80 = -v - t. Does 16 divide s(v)?
True
Suppose -43 = 2*u - 2*w - 125, 0 = -5*w. Let f = u - 57. Is 5 a factor of (-1)/2 - 2*420/f?
False
Does 17 divide 6*(-10)/(-25)*75/20*102?
True
Suppose 0 = 10*a + a + 5060. Let g = -454 - a. Is 3 a factor of g?
True
Suppose 2*t = -0*t - 1513 + 20387. Does 6 divide t?
False
Let j(o) = o**3 + 16*o**2 + 23*o + 8. Suppose -9*v - 83 + 20 = 0. Is j(v) a multiple of 96?
True
Is (-336)/(-21) + -16 + -1*23643/(-3) a multiple of 57?
False
Let c(v) = 100 - 51*v**2 + 35*v + 59*v**2 + 51. Is c(-5) a multiple of 22?
True
Is 28 a factor of ((-27)/(-18) + -2 + -1)*-3136?
True
Let n be (-5384)/(-12) + (2/(-3) - 0). Suppose 6*b - b - n = -x, -4*x = -5*b + 458. Suppose -7*c + b - 20 = 0. Is c a multiple of 2?
True
Suppose 4*i + h = 53, h - 41 = 24*i - 27*i. Suppose 3*n - 2*j = 2348, -777 = -n + 7*j - i*j. Does 17 divide n?
True
Let o be (-1)/((-16)/6 + 3). Let u(p) = -p**3 - 4*p**2 - p + 9. Let h be u(o). Is 4 a factor of 51 - 3/2*(h + -1)?
True
Suppose 0 = 3*q - 21 - 75. Suppose 845 = -27*h + q*h. Is h a multiple of 13?
True
Suppose 4*c = -2*c + 372. Suppose -c*s = -66*s - 16. Is 26 a factor of (2/s - (1 + 1))*-42?
False
Let r(c) = -c**3 + 5*c**2 + 3*c - 8. Let i = 15 - -28. Let v = -39 + i. Is r(v) a multiple of 2?
True
Let p be (((-220)/(-50))/11)/(2/60). Suppose 4*f - p = -2*g + 2, 0 = -5*g - 5*f + 60. Does 17 divide g?
True
Suppose 0*f - 5*f = 225. Let k be ((-140)/(-25))/(-14)*514 + (-2)/5. Let s = f - k. Is s a multiple of 10?
False
Suppose -7*r + 42 = -14*r, -m - 4*r + 8271 = 0. Is m a multiple of 7?
True
Let x(h) = -h**3 + 8*h**2 - h + 10. Let g be x(8). Suppose 277 = 3*s + 4*y - 387, -2*s = -g*y - 466. Suppose -8*f = -5*f - s. Is 11 a factor of f?
False
Let o(k) be the second derivative of -k**6/360 + k**5/8 + k**4/2 - 2*k**3/3 + 10*k. Let p(j) be the second derivative of o(j). Is p(14) a multiple of 10?
False
Let r be 21439/66 + (-3)/(-18). Suppose n + 2*n = -4*w + 260, r = 5*w - 4*n. Suppose h - w = -2*p, -2*p + 2*h = h - 59. Is p a multiple of 5?
False
Let x(a) = 14*a**2 - 82*a - 650. Is 34 a factor of x(-25)?
False
Does 39 divide 75183/627*(25 + -3)?
False
Let y(b) = -b**3 +