4*u + 2*s - 10892 = 0. Is u a multiple of 7?
False
Let h(v) = 1756*v + 976. Is 9 a factor of h(5)?
True
Let l = 294 - 170. Let f = 61 + l. Does 23 divide f?
False
Suppose 4*r = 2*q + 4, -3*q + r - 8 = q. Let a be q + 2/(10/25). Is (-16)/((-7)/2 + a) a multiple of 4?
True
Suppose 7797*c = 7805*c - 204600. Is c a multiple of 25?
True
Suppose 5*u - 4*w - 21 - 14 = 0, 0 = 5*u - 3*w - 30. Let q be (60/8 + -6)*(u + -1). Suppose -q*v - 15 = -4*v. Is v a multiple of 11?
False
Let k(h) = -h**2 + h + 114. Let j be k(0). Suppose 5*y = 2*l - 484, 2*l - 4*y - 602 = -j. Does 28 divide l?
True
Suppose 0 = 2*p + q - 653, p - 4*p - 3*q + 987 = 0. Is (-8)/(-5 - 11)*p a multiple of 8?
False
Let t(q) = -809*q + 2631. Is 256 a factor of t(-10)?
False
Let h = -626 + 615. Let i(a) = -35*a + 79. Is 8 a factor of i(h)?
True
Let q(k) = -k**3 - 4*k**2 + 4*k - 1. Let m(y) = y - 17. Let s be m(12). Let f be q(s). Suppose 0 = c - f*c + 162. Is c a multiple of 27?
True
Let q(p) = -2*p**2 - 9*p + 8. Let t be q(-4). Let y(a) = -t*a - 184 + 198 + a. Is 6 a factor of y(-6)?
False
Is 42 a factor of (-426596)/(-22) - (-1008)/3696?
False
Suppose -6744 = 2*h - 7*h - 3*b, 3*h - 4035 = 2*b. Suppose 4*t + 27 - h = 0. Does 22 divide t?
True
Suppose 22*r = -7*r + 31668. Does 3 divide r?
True
Is 1/18 - (-2493645)/378 a multiple of 2?
False
Let s = 470 + -61. Let g = s - 125. Does 32 divide g?
False
Suppose 0 = 80*v - 76*v + 24. Is ((2 + -5)/v)/((-2)/(-1040)) a multiple of 20?
True
Suppose 3*q - 8*w + 13*w + 1594 = 0, 0 = -4*w + 4. Is 77 a factor of (-178596)/q + (-2)/26?
False
Let n = 1209 + 21879. Does 148 divide n?
True
Let t be -5*2648/(-60)*3. Suppose -5*f + t = m, -3*f + 817 + 1193 = 3*m. Does 28 divide m?
True
Let r = -286 + -69. Let v = -264 - r. Is v a multiple of 13?
True
Let j(y) = -207*y - 10027. Is j(-102) a multiple of 81?
False
Suppose 4*x - 8 = -5*g + x, g - 24 = 5*x. Suppose 8*p + 19 = 51. Suppose 3*k - 5*d - 185 = 0, -5*d = -g*k - p*d + 241. Does 15 divide k?
True
Let u = 3734 - 426. Is u a multiple of 82?
False
Let k(y) = 120*y**3 - 2*y**2 + 3*y - 1. Let q be k(1). Suppose 310 = -5*p + q. Let c = 45 + p. Does 3 divide c?
False
Let q(x) = -20796*x - 1109. Is q(-3) a multiple of 19?
False
Let a = 583 - -4178. Does 33 divide a?
False
Suppose -6*c + 10*c = -4*j + 2684, -j + 679 = -3*c. Let i = j + -496. Does 6 divide i?
False
Let b(w) = 8*w - 8*w + 7*w + 195. Does 13 divide b(0)?
True
Let p(m) = -29*m - 167. Let s be p(-6). Does 12 divide 612 + 0 + s + 5?
True
Let d(q) = q**3 - 5*q**2 + 5*q - 3. Let m be d(4). Suppose -m = k - 4. Suppose -170 = -k*b - 68. Is 6 a factor of b?
False
Suppose 107 = -2*s + 113. Suppose -s*t = 4*c - 196, 3*c + 228 = -6*t + 10*t. Does 6 divide t?
True
Let b = 188 + -185. Suppose 3*a + t = 23 + 97, b*t = 5*a - 186. Is 7 a factor of a?
False
Suppose -5*c - 235 - 25 = 0. Let f = -11 - c. Is 5 a factor of f?
False
Let z(u) = -9*u**3 - 2*u - 1. Let g be z(-1). Suppose -73 - 57 = -g*v. Is 3 a factor of v?
False
Let y(k) = k**2 - 7*k - 7. Let h(j) = 2*j + 1. Let p(d) = -h(d) - y(d). Let x(t) = -2*t**2 + 11*t + 13. Let i(l) = -14*p(l) + 6*x(l). Does 32 divide i(11)?
True
Suppose -19*j - 3267 = -4*k - 14*j, -3*j = -k + 801. Does 36 divide k?
True
Let c(h) = -9*h + 81. Let x(u) = 2*u - 16. Let y(i) = -5*c(i) - 24*x(i). Let j be y(-12). Suppose -5*p - r + 418 = 0, 0*r = -5*r + j. Does 18 divide p?
False
Suppose g - 12 = x + 687, -1426 = -2*g - 5*x. Is g even?
False
Let i = -383 - -271. Let g = -46 + 26. Does 10 divide (i/(-20))/((-4)/g)?
False
Suppose 8*q = 13*q - 105. Let o(t) = 3*t + q - 13*t + 20 + t. Does 7 divide o(-5)?
False
Let f = 458 + -642. Let a = -142 - f. Does 9 divide a?
False
Suppose 5*t - 560 = -3*j, -3*j - 240 = -2*t - j. Suppose -2*p + 16 = 2*p. Suppose -m - a + 5 = -19, -5*m - p*a = -t. Is m a multiple of 10?
False
Suppose 6*h = 2*h + 8. Suppose -h*n - 2*n + 330 = 3*m, -3*n = m - 250. Does 4 divide n?
True
Suppose 78*y + x = 69*y + 130900, -x = -5*y + 72716. Is 101 a factor of y?
True
Let z = -8948 + 14735. Is z a multiple of 13?
False
Let d(o) = o + 3. Let q be d(-3). Let m(c) be the first derivative of -c**4/4 + c**3/3 + c**2/2 + 114*c - 7. Is m(q) a multiple of 12?
False
Let f be -1 + 1 + 4 + -8 + -25. Let v be (f/(-3))/(0 + 1/9). Let j = v + 297. Is j a multiple of 64?
True
Let m(a) = 69*a + 275. Let z be m(-5). Does 45 divide z/3*(-336)/20?
False
Suppose 0 = 71*k - 78*k + 13627 + 44. Does 63 divide k?
True
Suppose -26*b + 138167 = -2051. Is 11 a factor of b?
False
Let q(u) be the second derivative of u**4/4 - 13*u**3/2 - 20*u**2 + 2*u - 21. Is q(18) a multiple of 26?
False
Let h = 96 - 112. Let p(o) = -7*o - 16. Does 24 divide p(h)?
True
Suppose -4*k + 2*k = 3*k. Suppose k*d + 10 = -4*d + 2*u, 0 = 3*u + 15. Let r = 25 - d. Is r a multiple of 10?
True
Suppose -2*f = 3*f - 140. Suppose -3*g = 0, f + 12 = 5*n - 3*g. Let o(p) = 11*p - 14. Is o(n) a multiple of 6?
False
Suppose 2*c + 2*r + 7 - 1 = 0, 5*c - 4*r - 12 = 0. Suppose 64 = -c*n + 4*n. Suppose n*d - 418 = 5*d. Is d a multiple of 17?
False
Let y(t) = -3 + 33*t**2 - 78*t**2 + 5*t - 2 - 7*t. Let j(p) = 68*p**2 + 3*p + 8. Let o(c) = -5*j(c) - 8*y(c). Does 19 divide o(-1)?
True
Suppose 8*p = -18*p + 71708. Is 14 a factor of p?
True
Let z = -2893 - -5798. Is z a multiple of 101?
False
Let c be (-16653)/(-26) - 2/4. Suppose 9*d = 4*d - 10. Is 32 a factor of ((-3)/d)/(6/c)?
True
Suppose 3*d = 5*r - 8462, 5*r - 1328*d = -1331*d + 8438. Is r a multiple of 62?
False
Suppose 0 = -7*u - 8281 + 27545. Suppose -24*y = -8*y - u. Does 86 divide y?
True
Suppose 3*p + 5*x = 56346, 67*p - 5*x - 37614 = 65*p. Does 36 divide p?
True
Let v(j) = 336*j**3 + 2*j**2 - 6*j + 5. Let i be v(2). Let l = i + -1273. Does 82 divide l?
False
Let z = -2655 + 5393. Does 12 divide z?
False
Let c(v) = v**2 + v + 3. Let s be c(0). Let k = -1143 - -1251. Suppose -s*y = y - k. Is y a multiple of 4?
False
Let n = 2717 - -1850. Is 234 a factor of n?
False
Let k be (-2)/(110/913) + 3/5. Let x(z) = -z**3 - 8*z**2 - 7*z + 4. Let q be x(-6). Let s = k - q. Does 4 divide s?
False
Let f = 166 - 170. Does 3 divide ((-16)/f)/((-8)/(-204))?
True
Let q = -6698 + 12382. Is 29 a factor of q?
True
Suppose -3242 = -x + 3*n, 0 = 4*x - 31*n + 27*n - 12960. Does 30 divide x?
False
Is 3 a factor of (2115/10 - 18) + (-7)/2 + 2?
True
Let d(l) = 544*l + 3915. Is 2 a factor of d(-7)?
False
Let c be 3*(-70 + (-3)/(-1)). Is (c/(-6) - 4)/(1/4) a multiple of 15?
False
Suppose -u + 9*o - 14*o = -22, -4*o + 8 = -4*u. Suppose 3*w = -l + 192, -u*l - 6*w + 384 = -11*w. Is l a multiple of 48?
True
Let r = -2632 - -4760. Is 8 a factor of r?
True
Let t be 2100 + ((-42)/28)/(3/8). Suppose 15326 = 10*a + t. Is 79 a factor of a?
False
Let t(f) = f**2 - 8*f + 38. Suppose 34 = 2*q - 5*o + 4, -q + o = -12. Does 29 divide t(q)?
True
Let z be ((-52)/(-13))/(2/4). Suppose q - 1026 = -z*q. Is q a multiple of 19?
True
Suppose 4*d - 31 = -p, -d - 2*p + 10 = -4*p. Let z(b) = b**2 - 6*b + 20. Let r be z(d). Is (-6)/54 + 1480/r even?
False
Let h(a) = -6*a**2 - 7*a. Let c be h(-5). Let g be ((-2456)/(-28))/((-4)/(-14)). Let q = c + g. Is 32 a factor of q?
True
Suppose 4*v - 21 = -3*u, 0 = -u - 5*v + 8 + 10. Is 10 a factor of u/2 + 8865/30?
False
Let f(s) = 297*s + 408. Is 69 a factor of f(9)?
False
Suppose -2*g = -7*g. Suppose -t - 4 - 31 = w, -3*t - 4*w - 103 = g. Let n = 43 + t. Is n a multiple of 6?
True
Suppose 160 + 45 = 3*z - 2*w, 5*z = 3*w + 342. Suppose y - 2*y + 115 = 5*v, 3*v - z = -2*y. Let u = 52 - v. Is 4 a factor of u?
False
Let k = 726 + 2218. Is k a multiple of 32?
True
Let a = 77 - 72. Suppose -a*v + 4*m - 2*m + 347 = 0, -m = -v + 67. Is v a multiple of 62?
False
Let q = -416 - -604. Suppose 2*d + 2*y = -y - 193, 2*d = 2*y - q. Let n = 10 - d. Is 8 a factor of n?
False
Let t = -1 - -25. Suppose -o = -2*z + 4 + 6, 0 = 5*z - 2*o - t. Suppose -4*v + 4*c + 207 = v, 0 = -z*c - 12. Does 14 divide v?
False
Suppose n = 4*h - 28683, 8*h - 2*n = 13*h - 35870. Is 16 a factor of h?
False
Let w = -119 - -1280. Is 22 a factor of w?
False
Suppose 122*k - 52720 = 111492. Is 164 a factor of k?
False
Is 692/(4/(9/9)) a multiple of 23?
False
Let b(d) = -d**3 + d + 59. Let y be b(0). Suppose y + 3 = -l. Is l*4/32*-4 a multiple of 31?
True
Suppose -5*q + 3*n + 5619 = 0, -