le of 19?
False
Let o(q) = 82*q**2 - 601*q - 5529. Is o(-9) a multiple of 19?
False
Suppose p + 4*z = -2*p + 984, 2*z + 984 = 3*p. Let b(g) = 92*g - 825. Let k be b(9). Suppose -5*t + 31 = k*a - 489, p = 3*t + 5*a. Does 6 divide t?
False
Let i(u) = 53*u**2 + 97*u - 38. Is 13 a factor of i(-10)?
False
Suppose 3*u - 6 + 12 = 0. Let o be (-5 - 3*-25) + u. Let v = -39 + o. Is 7 a factor of v?
False
Suppose y + 28*j = 30*j + 8618, -3*j = -3*y + 25842. Is y a multiple of 14?
True
Suppose 24*t - 20*t = -16. Let s be (t/10)/((-3)/(-90)). Is (43 + -5 + 1)/((-9)/s) a multiple of 26?
True
Let s be 4/(-30) - ((-3451)/(-105) + -10). Let j = s - -168. Is j a multiple of 14?
False
Let h(w) be the second derivative of w**5/20 - 19*w**4/12 + 7*w**3/3 - 3*w**2/2 - 21*w. Let o be h(18). Let c = o - -79. Is c a multiple of 3?
False
Let v(r) = 19*r + 4. Let s be v(22). Suppose -2 = -2*z - 0. Suppose 5*t - 2*d = s, 6 = -5*d + z. Is 21 a factor of t?
True
Let z = 105739 + -46233. Does 132 divide z?
False
Suppose 7*p - 115 = 2*p. Suppose 0 = 2*l - l - p. Suppose -g + 77 = -l. Is g a multiple of 20?
True
Suppose 4*s - 9 = q + 8, s = q + 5. Let k be 16/4*(2 + q). Suppose 2*m = -k*m + 90. Is m a multiple of 10?
False
Suppose 162 = -2*r + 510. Let w(m) = -2*m - 13. Let d be w(-13). Suppose 0 = d*f - 15*f + r. Does 11 divide f?
False
Let s(h) = 46*h**2 + 183*h - 45. Is s(-25) a multiple of 190?
True
Let z(j) = 8*j**2 - 7*j + 72. Let y be z(10). Suppose 4*g - y = 334. Is 12 a factor of g?
False
Let m = -31406 + 47468. Is m a multiple of 43?
False
Suppose 29*b - 149789 = 22471. Does 12 divide b?
True
Let j = -163 + 195. Suppose 4*p + 3*l + 33 = -38, -l = -p - 9. Let v = j + p. Is 3 a factor of v?
True
Let k(n) = 17518*n**2 - 31*n + 54. Does 58 divide k(2)?
True
Let v(f) = f**2 - 7*f + 1. Suppose -28*y + 24*y = -44. Is 18 a factor of v(y)?
False
Suppose -u + 0*u + 9 = -v, -3*v = -4*u + 27. Let a(g) = 4*g**2 + 14*g + 12. Let o be a(v). Suppose -4*z = -3*c - 281, 3*z - o = c + c. Is z a multiple of 9?
False
Suppose -4*x = -5*u - 169, 38 = -u - x - 3. Let m = 42 + u. Suppose 25 = 2*o + m. Is o a multiple of 10?
True
Let a(k) be the third derivative of 1/3*k**3 + 1/120*k**6 - 1/3*k**4 + 0 + 0*k - 10*k**2 + 1/12*k**5. Is 6 a factor of a(-6)?
False
Suppose 0 = -6*n - 0*n + 6498. Suppose 0 = 17*y + 97 - n. Is y even?
True
Let s(p) = p**3 + 8*p**2 + 50*p - 276. Is 31 a factor of s(11)?
True
Suppose -5*c - 6 = -5*g - 21, 10 = 5*g. Suppose 3*n = -y - 3*y - 17136, c*y + 5*n = -21420. Is 18 a factor of (-3)/(-5) - y/60?
True
Let i be (-1 + 0)/(5/210). Suppose -3*o = -o + 22. Let l = o - i. Is l a multiple of 24?
False
Let f = 5361 + -3508. Does 6 divide f?
False
Let q be 1/((-6)/(-2030)) - 24/72. Suppose q = 4*w - 1326. Suppose -3*a + w + 88 = 0. Is 42 a factor of a?
True
Let r(h) = 12*h + 3720. Is r(32) a multiple of 72?
True
Suppose -5*v + 3*v + 4*i = -16, v - 4*i - 16 = 0. Suppose v = 3*w - w - 4*z - 494, -5*w = -2*z - 1259. Is w a multiple of 11?
True
Suppose 5*m + 5*g = 34 + 6, 0 = 4*m - 2*g - 8. Let b be (-787)/((-2)/(-2 + m)). Suppose 4*c - b = -143. Is c a multiple of 23?
True
Let d(c) = -8*c**3 + 10*c**2 + 3. Let h be d(3). Let o = 61 - h. Does 4 divide o?
True
Let r(n) = -11*n + 5*n**2 + 4*n**2 - n**3 + 3*n**2 + n**2 - 9. Let v be r(12). Suppose 0 = v*w - 4*x + 114 - 527, -4*x + 302 = 2*w. Is w a multiple of 11?
True
Let l be 30/2*(-112)/(-80). Suppose 0 = 39*i - l*i - 1332. Is i a multiple of 16?
False
Let i be 3198/(-52)*(-4)/(-6). Let h(z) = z**2 + 36*z - 73. Is h(i) even?
True
Suppose 4 = -2*n - 0, -5*s = 3*n - 1399. Let d = s - 62. Suppose -3*k + 21 = -d. Is 16 a factor of k?
True
Let t(j) = -37*j**3 - 52*j**2 - 221*j + 12. Is t(-4) a multiple of 38?
True
Let c(d) = -10468*d - 9953. Does 25 divide c(-6)?
False
Let a(t) = 13*t**3 + t**2 + 62*t - 542. Is a(7) a multiple of 110?
True
Let n(g) = -g**2 - 14*g - 10. Let z be n(-12). Let m = 22 - z. Suppose m*w - 3*w = 495. Does 33 divide w?
True
Suppose -6*x + 4*x + 2 = 0. Let j be (0/(-2)*-1)/(-2 + x). Suppose -57 = -3*w - 2*w + 3*t, -5*w - 4*t + 64 = j. Does 7 divide w?
False
Let i = -11 + 12. Let l be (-2)/(3/(i + -13)). Suppose 32 = p + 5*b, p - 8 - l = 3*b. Does 11 divide p?
True
Is 45 a factor of 100870/231 - ((-2)/3 - (-3)/9)?
False
Suppose -14*z + 30 = -4*z. Is 18 a factor of 1 + 176 + (-12)/z?
False
Let g = -4114 + 6645. Is 20 a factor of g?
False
Let w be ((-7)/14)/((-1)/24). Suppose 3128 = 20*u - w*u. Is 17 a factor of u?
True
Let l = -3162 + 5136. Is l a multiple of 53?
False
Suppose 97692 = 2*s + 4*t, 17*s + 4*t = 22*s - 244132. Does 8 divide s?
True
Let h(v) = -2*v**2 - 32*v - 8. Let z be h(-15). Let b = 16 - z. Is ((-2)/3)/(b/153) a multiple of 15?
False
Let c(g) = 14*g - 118. Let a = -82 - -119. Is c(a) a multiple of 67?
False
Suppose 7229 + 4748 = 5*r + i, -i + 2 = 0. Does 10 divide r?
False
Let q(l) = -12*l + 19. Let v(j) = j. Let n(m) = 4*q(m) + 44*v(m). Is n(-25) a multiple of 29?
False
Let w = -212 - -210. Does 7 divide (-5 + (-984)/16)/(w/4)?
True
Let f be (-13)/(-5) + 9/(-15). Suppose 3*c = y + 8, 5*y - f*c + 29 = 2*c. Let k(j) = j**3 + 6*j**2 + 3*j + 12. Is 6 a factor of k(y)?
False
Let b be (4/(-5))/2*5. Let s be -4 - (-3 + (5 - 3)). Is (-17 + -2 + s)*9/b a multiple of 13?
False
Is ((-7)/21)/(9/(-81))*(1518 + -3) a multiple of 101?
True
Let s = 11690 - 11184. Does 19 divide s?
False
Does 33 divide -4 - 1 - 436488/(-39)?
True
Suppose -343*t - j - 97634 = -348*t, 78116 = 4*t - 3*j. Does 114 divide t?
False
Let r = 294 - 249. Suppose 34*j - r*j + 2508 = 0. Does 12 divide j?
True
Does 99 divide (-7 - -1)/(422/(-104445))?
True
Let j = 27 + -18. Let s be (-2 - -3)/(-1 + 8/j). Let t = s + 78. Is 30 a factor of t?
False
Suppose 2432 = -66*i + 74*i. Let t = -100 + i. Is t a multiple of 17?
True
Is 48 a factor of ((-176208)/30)/((-12)/10) + 12/9?
True
Let r = -37112 - -91822. Is r a multiple of 153?
False
Does 84 divide (8052/(-8))/(36/(-672))?
False
Let n(q) = 11*q - 16. Let w be n(3). Let z(c) = -w*c + 9 + 16*c - 1. Is 4 a factor of z(0)?
True
Let j be 0*((-176)/384 - (-1)/8). Suppose 3*m + 3 = j, 3*m - 467 = -p - 13. Does 43 divide p?
False
Let y = 241 + -236. Suppose -464 = -2*b + k, -2*b + 3*k - 908 = -6*b. Suppose -3*x - b = -y*x. Does 11 divide x?
False
Suppose 0 = 512*c - 447*c - 880685. Is 22 a factor of c?
False
Suppose -845*a + 432*a + 427*a = 18396. Does 4 divide a?
False
Let n = 10976 - 2044. Does 14 divide n?
True
Is (6209/63 + 2/18)*(-8 + 113) a multiple of 148?
True
Let g(s) = 72*s - 394. Is g(7) even?
True
Suppose -4*s = -5*u + 43040, 3*u - 25824 = -23*s + 27*s. Is 32 a factor of u?
True
Let n = 23752 + -11352. Is 50 a factor of n?
True
Suppose -11*n + 4111 + 905 = 0. Does 19 divide (n - -7)*(0 + 1)?
False
Suppose 35 = 2*u + 5. Suppose 43 - u = 7*v. Is 20/16*v + 31 a multiple of 4?
True
Let g(i) = i**3 + 10*i**2 + i - 11. Let u be g(-8). Let o = u + 389. Does 69 divide o?
False
Let r(g) = 21*g + 53. Let l(q) = -q**3 - 5*q**2 - 17*q - 2. Let k(t) = t**2. Let w(n) = -5*k(n) + l(n). Let z be w(-8). Is 22 a factor of r(z)?
False
Suppose 5 = -5*z, 56 = -4*d + z - 3. Let u be 2/d - (-10)/75. Suppose u = -l - 3*j + 52, 5*j = j + 12. Is l a multiple of 17?
False
Suppose -194*c = -190*c + 12, -5*c = f - 255. Let h be 1 - (0/(-1) - 1). Suppose h*n + n = f. Is 18 a factor of n?
True
Let b(h) = h**3 + 55*h**2 - 45*h + 119. Is 118 a factor of b(-52)?
False
Let b(z) = 67*z - 59. Let p(w) = 65*w - 61. Let o(q) = -5*b(q) + 4*p(q). Is 39 a factor of o(-4)?
True
Let x(w) = -11*w**2 - 20*w - 57. Let h be x(-4). Let u = -119 - h. Is u a multiple of 3?
False
Suppose -3*o + 901 + 7163 = 0. Is o even?
True
Let g(t) = t**3 + 20*t**2 - 23*t - 39. Let z be g(-21). Suppose z*y = -3, -2*w + 3*y = -6*w + 3913. Is w a multiple of 34?
False
Suppose -3351*b - 10202 = -3354*b + 2*d, b = 5*d + 3379. Is b a multiple of 46?
True
Suppose -3*b - 1285 + 44202 = 5*h, 3*h - 25753 = b. Is 58 a factor of h?
True
Suppose -49 = 3*r - 424. Let x = r - 84. Does 6 divide x?
False
Suppose -f + 5*w + 52648 = 0, -3*f = w - 3*w - 157996. Does 28 divide f?
True
Suppose 6*d - 17*d + 106546 = 18*d. Is 59 a factor of d?
False
Suppose -l = x - 6*l + 23, 5*x = -3*l + 25. Let w be x/8*(-12 + 8). Does 6 divide (69/(-6) + w)*(-20)/25?
False
Let j = -1