of 23?
True
Let a(g) = 8*g**2 - 21*g + 16. Is 81 a factor of a(-37)?
True
Let d(z) = -3 - z**2 + 3*z + 6 - 14*z**3 + z + 1. Let f be d(-2). Suppose -7*n + 3*n = -f. Does 13 divide n?
True
Let t(h) = -2*h**3 - 54*h**2 + 173*h - 7. Is 7 a factor of t(-30)?
True
Let p(t) = 3*t**3 - 38*t**2 + 57*t + 28. Let u(w) = w**3 - 12*w**2 + 19*w + 9. Let f(q) = -4*p(q) + 11*u(q). Does 7 divide f(8)?
False
Let u be ((-45)/216*4)/(2/(-12)). Suppose -450 = -3*w + u*g - 117, -4*g = 4*w - 444. Is w a multiple of 4?
False
Let g(p) = -p**3 - 71*p**2 + 56*p + 334. Is 18 a factor of g(-72)?
False
Suppose 197 = 2*x + 69. Let q = x + 4. Is q a multiple of 10?
False
Let v(f) = 7*f - 42. Let p be v(6). Suppose -m - 2 = -2*m, p = -d + 2*m. Suppose -l + 5*k + 32 = 3*k, -d*k - 36 = -l. Is l even?
True
Let c be 11 - (8/(-16))/(2/(-16)). Suppose 0 = -g - c*g + 720. Is 5 a factor of g?
True
Is 6 a factor of 187056/10 - (-36 - (-2848)/80)?
False
Let a(q) = -q**2 - 6*q - 3. Let f be a(-4). Suppose -5*t = 3*p - 45 + 18, f*t + 5*p - 35 = 0. Suppose -t*g + 6*g = 90. Is 6 a factor of g?
True
Let h = -814 - -818. Let b(p) = -37*p + 190. Does 16 divide b(h)?
False
Is 22 a factor of (-961)/((-14)/(-22) + (234/(-27) - -8))?
False
Let x = 137 + -166. Is x/3*-3 - -1 a multiple of 2?
True
Let n(y) = -y**3 - 11*y**2 + 10*y - 16. Let j be ((-40)/(-35) - 2)/((-1)/(-14)). Let s be n(j). Suppose -4*f + s*f = 624. Does 26 divide f?
True
Suppose -4*u + 26 = 5*t - 0*t, 4*t + 5*u - 28 = 0. Let q = t - -1. Does 5 divide 2*10/(-3)*(0 - q)?
True
Suppose 5*k - 4*h + 7 = 0, k - 2*h + 1 = -4*k. Let u(s) be the first derivative of 79*s**4/4 + 2*s**3/3 - s**2/2 + 2. Does 16 divide u(k)?
True
Let v(w) = 47*w**2 - 3*w. Let z = 66 - 63. Does 18 divide v(z)?
True
Is 2/6 - (-1 + 2)*(-65931)/9 a multiple of 37?
True
Let w(t) = -10*t + 6. Let h be w(-7). Suppose 3*j - g = -49, -2*g = -2*j - 29 - 5. Let p = h + j. Is p a multiple of 15?
True
Let f = -3562 + 3547. Suppose 5*u + 2*j = -j + 23, 0 = 2*j - 2. Is 50 a factor of (-40)/12*u*f?
True
Let f(x) be the third derivative of 0*x + 14*x**2 - 35/6*x**3 - 3/4*x**4 + 0. Is f(-12) a multiple of 12?
False
Suppose 0 = 3*v - 4*k - 7342, 2417 + 33 = v - 4*k. Suppose 32*t - v + 398 = 0. Is 3 a factor of t?
False
Suppose 116*o = 130*o - 490. Let p = 770 - o. Is 7 a factor of p?
True
Suppose 809321 + 141996 = 180*o - 1069723. Is o a multiple of 31?
False
Let n = 5367 - 3581. Does 8 divide n?
False
Let t = 753 - 504. Let v = t + -105. Suppose -2*w + 4*n = -48, 5*w - n = 3*n + v. Is w a multiple of 4?
True
Let d = 323 + -95. Let v = -104 + d. Is v a multiple of 3?
False
Let g(y) = 2*y**2 + 19*y + 40. Let w = -24 + 29. Suppose -s = w + 7. Does 16 divide g(s)?
False
Let r = -845 - -801. Is 36 a factor of 15510/r*(-24)/15?
False
Let m = -75171 - -125577. Does 62 divide m?
True
Suppose -3*f + 3*w - 15 = 0, f = -4*w + 4 + 1. Let y(b) = 136*b**2 + 2*b - 6. Let s be y(f). Suppose 11*v - s = -v. Is 11 a factor of v?
False
Suppose 0*f = 3*f - 30. Suppose 266 = 4*c + f*c. Suppose -2*u + 27 = -o, -4*u + 32 + c = -5*o. Does 2 divide u?
True
Let k(y) = y - 10. Let c be k(13). Suppose 0 = -f, -g - c*f + 105 = -3. Suppose 0*t + g = 4*t. Does 3 divide t?
True
Let d(f) = -3*f**3 - 2*f**2 + 5*f + 4. Let z be d(-1). Suppose 25 = -5*u, 3*l + u - 4*u - 3543 = z. Is 37 a factor of l?
False
Let n be (-4)/(-10) + 128/(-20). Let q(b) = 26*b**2 + 6*b - 15. Is q(n) a multiple of 15?
True
Let t(o) = o**2 - o - 32. Let q be t(-6). Suppose -q*z + 19*z - 3393 = 0. Is 29 a factor of z?
True
Let i(m) = 4*m + 16. Let f be i(4). Suppose 31*x + 210 = f*x. Does 6 divide x?
True
Let t = -4434 - -4521. Is 4 a factor of t?
False
Suppose -3*n + 1 - 7 = -2*k, 0 = 3*n - 6. Suppose -k*i = -62 - 124. Is 2 a factor of i?
False
Let w(v) = -62*v + 2006. Is 48 a factor of w(17)?
False
Let m = -4695 - -15537. Is m a multiple of 39?
True
Suppose 0 = 72*v - 39*v - 48620 - 80311. Is v a multiple of 32?
False
Is 5/(-3)*752445/(-575) a multiple of 10?
False
Does 8 divide 6 - (192330/(-150) + (-1)/(-5))?
True
Let u(i) be the second derivative of 4*i**2 - 15*i + 0 - 5/3*i**3. Is 12 a factor of u(-4)?
True
Suppose 371 = 5*n + w - 109, n - 100 = -w. Suppose 24*c + n = 2*u + 19*c, -5*u = 2*c - 194. Is 20 a factor of u?
True
Suppose -176*c = -168*c - 104. Suppose -19*b + 11680 = c*b. Is b a multiple of 10?
False
Suppose -5*o + 79037 = -358*s + 355*s, 0 = -4*o + 4*s + 63236. Is 145 a factor of o?
True
Suppose 72*m - 18*m + 24*m = 51168. Is m a multiple of 6?
False
Let v(t) = 3*t**3 + 10*t**2 + 87*t - 58. Let j(u) = u**3 + 3*u**2 + 31*u - 19. Let f(c) = 17*j(c) - 6*v(c). Suppose 6 = -y - 4. Is 36 a factor of f(y)?
False
Let s(v) = -v**2 - 18*v + 6. Let c be s(-14). Suppose 5*f - 1025 = -5*o, -o = f - 2*o - 199. Let j = f - c. Is j a multiple of 22?
False
Suppose -75*l + 51*l + 36215 = 3335. Is l a multiple of 3?
False
Let q(b) = 3*b - 30. Suppose -6*l = -2*l + 20, -l = 4*n - 35. Let f be q(n). Suppose -5*x + 58 - 13 = f. Does 3 divide x?
True
Suppose 0 = -5*k - 9 - 21. Let n be k/10 - 119/35. Let r = n - -103. Is 11 a factor of r?
True
Let x = -36 - -11517. Is 43 a factor of x?
True
Suppose 0 = -3*t + m + 6401, 3*m + 2527 = t + 380. Does 13 divide t?
True
Let f(o) = o**2 - o**2 - 21 + 11 + 4*o**2 - 37*o. Is f(17) a multiple of 11?
True
Suppose 193932 + 1103498 = 230*d. Is 2 a factor of d?
False
Is 33 a factor of (1485/(-18))/(-8 + 15/2)?
True
Suppose 566561 + 84383 = 28*a. Does 38 divide a?
False
Let q be (24 - 99)/((-6)/8). Suppose -125 = -7*f + 2*f + 3*i, 0 = -4*f - i + q. Is 5 a factor of f?
True
Let y(d) = 9*d + 127. Let p be y(-14). Is ((-6479)/31)/(p/(-2)) a multiple of 22?
True
Let a be (-30764)/(-10) + 3 + 15/25. Suppose 0 = -4*u + 12*u - a. Does 21 divide u?
False
Suppose 154 = 61*d + 1435. Does 89 divide 6 + -396*28/d?
True
Let m = -425 - -429. Suppose -4*s = o - 846, -m*o - 1574 = s - 5033. Is o a multiple of 56?
False
Suppose -313*f - 7330 = -323*f. Does 8 divide f?
False
Let m(v) = v**2 - 15*v + 484. Is m(36) a multiple of 102?
False
Let u be (-2)/(-4) + 289/(-2) + -3. Let o = -73 - u. Let n = o - 57. Is 4 a factor of n?
False
Suppose 0 = -2*o - 0*o - 3*y + 173, 0 = -4*o - 2*y + 350. Let f = o - 36. Let l = -30 + f. Is 4 a factor of l?
False
Let m = 18 - -2. Let n = m - 16. Suppose 0 = -n*g - 198 + 734. Is g a multiple of 13?
False
Suppose -o - j + 5494 = 0, 77*j - 82*j = 30. Is 20 a factor of o?
True
Does 60 divide 27 + 652960/84 - (-1)/(-3)?
True
Let l(w) = 8*w**2 + 40*w + 2208. Is 219 a factor of l(-41)?
True
Does 14 divide -12 + (11 - -2) + 1 + 2 - -2782?
True
Let h = 11560 - 5041. Is h a multiple of 21?
False
Suppose -5*i = 5*o + 395, 4*i - o + 6*o + 313 = 0. Let r = 91 - i. Suppose 5*x - 192 = r. Is 7 a factor of x?
False
Let c = -42 - -46. Let k be 60/3 - c/(-2). Let z = 46 - k. Does 12 divide z?
True
Let w be ((-244)/10)/((-3)/375). Suppose 2*y - w = -3*y. Is 14 a factor of y?
False
Suppose 0 = -4*q - s + 548, -2*q - 4*s = 2*q - 536. Let x(l) = -13*l - 10*l + q - 12*l + 36*l. Does 23 divide x(0)?
True
Let g = 44964 - 16890. Is g a multiple of 40?
False
Suppose -3*p = 47*p - 38158 - 191342. Is p a multiple of 34?
True
Let b(x) = 355*x + 3654. Does 6 divide b(38)?
False
Suppose -q + b = -2392, 0 = -3*q - q + 3*b + 9574. Is 22 a factor of q?
True
Let u be (66/(-42) - -2) + 6/(-14). Suppose -5*g + 18 = -2, -4*d - 2*g + 1256 = u. Is d a multiple of 24?
True
Let s = 327 + -307. Is 28 a factor of (-36)/60 + 16172/s + 4?
True
Let o(x) = 57*x**2 + 25*x - 108. Is o(12) a multiple of 112?
True
Let n(t) = -9*t - 51. Suppose -54 = 2*k - 2*v, -10*k + 9*k - 35 = v. Is 12 a factor of n(k)?
True
Let j = 117580 - 68604. Is j a multiple of 16?
True
Let k(u) = -20*u + 24. Suppose 0 = 3*w - 22 + 58. Let j be k(w). Let m = j + -188. Does 14 divide m?
False
Let h(v) = -9*v + 10. Let s be h(0). Suppose 4*i - s = 26. Is 6/i - 20/(-15) - -234 a multiple of 40?
False
Suppose 5*z - 5*t = 115, -3*z + 4*t = -t - 63. Suppose -z = 5*o - 86. Let m = 142 - o. Is m a multiple of 12?
False
Suppose l + 17 = 35. Suppose 5*a - 26 = l*a. Is 41 a factor of -3*((-29)/1 - (a + 0))?
False
Suppose -7*t + 103 = 68. Suppose -10*a + t*q = -12*a + 166, 83 = a - 4*q. Is 3 a factor of a?
False
Is 6 a factor of ((-103935)/(-273) + -43)*7/2?
True
Let u(y) = -5*y**