 - 22*t = -p. Is t a multiple of 14?
False
Suppose -h + 119958 = 9*u - 4*u, 4*u + h - 95966 = 0. Suppose 33*f - u = 36926. Is 14 a factor of f?
False
Let s = 213 - 52. Let t(f) = f**2 + f - 88. Let q be t(-10). Suppose v - s = b, -812 = -0*v - 5*v - q*b. Is v a multiple of 19?
False
Suppose -248 = -5*y - 3*r, -29 = -y - 3*r + 23. Suppose 0 = -10*n - 51 - y. Is (66/n)/(3/(-15)) a multiple of 8?
False
Let h = -405 - -3486. Is h a multiple of 79?
True
Let k be (-2)/(-12) + (-348)/(-72). Suppose -k*z - 21 = -s, -3*s + 5*z - z + 41 = 0. Does 3 divide s?
False
Suppose -35*x - 50110 + 535280 = 0. Is x a multiple of 29?
True
Let c be (-26)/(-4)*72/6. Suppose 6*v = -c + 708. Let r = v - 49. Is 14 a factor of r?
True
Suppose 0 = -21*n + 95*n - 761608. Is 62 a factor of n?
True
Let g = 2 - 2. Let d be g*2/(-8)*1. Suppose d = 2*q + 3*q - 25. Does 3 divide q?
False
Let k = -143 + 184. Suppose 44*j = k*j + 1530. Is j a multiple of 17?
True
Let m(h) = 12*h + 10. Let c be m(8). Let w = 238 - c. Is w a multiple of 44?
True
Suppose 6*q = q. Suppose 4*l - 2*f - 12 = q, 3*l - 18 = -2*f - 2. Let s(x) = 4*x**3 - 5*x**2 - 5*x + 6. Does 27 divide s(l)?
True
Let w(f) = f**3 - 16*f**2 - 31*f - 76. Suppose -3*o = -5*o - 4*k + 38, -3*k = 2*o - 38. Is w(o) a multiple of 38?
True
Suppose -43 + 571 = -8*a. Let i = a + 101. Suppose 825 = -30*j + i*j. Is 11 a factor of j?
True
Let d be ((-4)/(-6))/((-2)/3). Let q be -1*(3 - 2)*(-6)/d. Does 12 divide 23 + 4 + q - 3?
False
Is (-9 + 120/12)*4969 a multiple of 33?
False
Let d be (-107 - -11) + (-1 - 2). Let h be -3*(-6)/d - 1474/(-121). Suppose -h*f - f = -1781. Is f a multiple of 16?
False
Suppose 3*f + 4*q + 135 = 4*f, q = -f + 120. Suppose 2*g - 230 = 2*t, -g - 8 = -4*t - f. Suppose -5*u + 0*u = -4*m - 602, -m = u - g. Is u a multiple of 8?
False
Let o(z) = 3*z**2 + 4*z - 11. Let a(x) = 0*x + 16*x - 8*x - 3*x - 11 + x**2. Let c be a(-7). Is 6 a factor of o(c)?
False
Suppose -3*i + 25 = 19. Suppose 2*h - 3*y + i = 0, -8 + 27 = 3*h + y. Suppose -h*m + 114 = -2*m. Is m a multiple of 7?
False
Suppose 3126 = -5*w - 2*m, -4*m + 3025 - 541 = -4*w. Let t be w/(-21) - 10/(-35). Suppose u - t + 10 = 0. Is 12 a factor of u?
False
Suppose 5*g + 1867 = d, 48*d - 44*d + 4*g - 7564 = 0. Is 51 a factor of d?
True
Let h = -461 - -459. Is 10 a factor of h*94/2*(-105)/30?
False
Suppose -4*v = 7*v - 33. Let m(l) = -37*l**v + 41*l**3 + 0 - 5*l + 5. Does 14 divide m(3)?
True
Suppose -681*y = -627*y - 102546. Does 4 divide y?
False
Does 15 divide (14 - -117446)/10 + 5?
False
Let d be 0/1*(-16 - -15). Let w be 12 - -4 - (d + 1). Suppose 5*c - 3*a = 413 + 161, w = -5*a. Is c a multiple of 9?
False
Let s(f) = -f + 92. Let m be s(20). Is (m/(-15))/(14/(-455)) - 0 a multiple of 13?
True
Suppose -21 = 3*b - 5*p, -41*b - 6 = -39*b - 2*p. Suppose 2*i + i = 261. Suppose -2*g + 5*d + 192 = 0, -4*g + 283 = -b*d - i. Is g a multiple of 13?
True
Let m(j) = j**3 + j**2 + 2*j - 1. Let o(d) = -2*d**3 - d**2 - 4*d + 3. Let v(h) = -13*m(h) - 6*o(h). Let i be 867/(-119) - (-4)/14. Is 3 a factor of v(i)?
True
Is 36 a factor of (-245)/(-98) - (0 + (-3899)/2)?
False
Does 11 divide 4401 + (15 - 31) - 4/(-1)?
True
Suppose -i - 595 = -k + 962, 4647 = 3*k + 3*i. Suppose -k = -5*a - 3*j, -2*a + 2*j = j - 619. Is a a multiple of 43?
False
Let w = -92 - -217. Let d = 173 - w. Is 8 a factor of d?
True
Let z be 9 - (-690)/(-10) - -10. Suppose 0 = -0*r + 3*r - 5*m + 279, 3*r = -m - 297. Let x = z - r. Is x a multiple of 9?
False
Let y(j) = j**2 + 8*j - 6. Suppose 4*c = 4*w + 48, -5*c = -0 - 15. Let f be y(w). Suppose -3*i - 1114 = -5*x, f*i + 6 + 3 = 0. Is 17 a factor of x?
True
Let r(p) = -1246*p**3 + 2*p**2 + 19*p + 8. Does 72 divide r(-2)?
False
Suppose 20 = -5*a, 7*a - 3*a - 2032 = -4*w. Is w/28 + 4/(-14) a multiple of 3?
True
Let x(g) = 50*g + 5 - 10 - 58*g - 21. Is 3 a factor of x(-10)?
True
Is (19422/702)/(1 + (-316)/318) a multiple of 38?
False
Is 21 a factor of ((-22)/6)/(556/(-70056))?
True
Let i(g) = -32*g**3 + 2*g**2 - 11*g + 15. Let n be (4 - 2 - 0) + 5 + -1. Let o be i(n). Is 2*(-2)/18 - o/27 a multiple of 33?
False
Let f = -32 - -11. Let z = 34 + f. Is z even?
False
Let j = -383 - -494. Is (j/2)/((-12)/(-16)) a multiple of 4?
False
Let a be 86/387 - (-8134)/9. Suppose a = -4*u + 12*u. Does 17 divide u?
False
Let b = 5 + 13. Let n be (-1)/(-3) + 30/b. Suppose q = -2*x + 153, -2*x - n*x = -4*q - 276. Is x a multiple of 9?
False
Let o be (-642)/24*(-8 - -4). Let n = o + -73. Is 2 a factor of n?
True
Suppose -z - 4*j = -8055, 0 = -2*z - z - j + 24143. Is z a multiple of 165?
False
Let p(v) = -2963*v - 5610. Does 109 divide p(-8)?
True
Suppose 605951 = 180*w - 744229. Is w a multiple of 42?
False
Is 47 a factor of (-4)/(-5) - (-6942562)/935?
True
Suppose 3*g - q = 126320, -53600 - 156932 = -5*g + 2*q. Does 116 divide g?
True
Let b be (96 - 5)*42/49. Suppose 23*h - 474 = b. Is h a multiple of 24?
True
Let f = 63 - 45. Let t = 3199 - 6183. Is (-40)/(-180) - t/f a multiple of 12?
False
Let s = 10398 + -4579. Is 11 a factor of s?
True
Suppose 353808 = 11*t + 52*t. Is 108 a factor of t?
True
Let t = 165840 + -106980. Does 15 divide t?
True
Let d(f) be the second derivative of -3*f**5/20 - f**4/6 + 7*f**2/2 + 25*f. Suppose -5*b - i - 10 = 4*i, 5*b = -4*i - 11. Does 14 divide d(b)?
True
Suppose 2*n - n = 0. Suppose n*c + 480 = 4*c. Suppose -8*z + c = -104. Does 4 divide z?
True
Suppose -31*m - 4*b + 7918 = -28*m, m - 2626 = -4*b. Does 98 divide m?
True
Suppose -51*r + 39*r = -27*r + 62055. Is 3 a factor of r?
True
Suppose 5*h - 2*h = 3*q - 6, -q - 5*h = -2. Suppose 8*c = -q*z + 7*c + 21, 3*z + c - 29 = 0. Is -2*1*(2604/z)/(-7) a multiple of 18?
False
Let c(q) = 3*q + 26. Suppose 4*n = 3*b + 11, 2*b - b - 7 = 4*n. Let a be c(b). Let o(p) = 127*p**2 - p - 2. Is 18 a factor of o(a)?
True
Let r be ((-60)/8)/((-4)/(-8)*-1). Suppose -4*u + r = 5*f, f - 9 - 8 = 2*u. Suppose f*o - o = 360. Does 15 divide o?
True
Let z = 5390 + -2616. Suppose -39*w + w + z = 0. Does 3 divide w?
False
Let z be 5 + (6 - 15) - -14. Let h(k) = 35*k + 41. Is h(z) a multiple of 8?
False
Let w(n) = 7*n + 1. Let o(r) = -13*r - 3. Let h(i) = -6*o(i) - 11*w(i). Let c = 418 - 416. Does 4 divide h(c)?
False
Suppose -w + 68 = 3*w. Suppose 6 = d - 5*v - 10, v = -3*d + 16. Let o = w + d. Does 23 divide o?
True
Let k(b) = 256*b**2 - 41*b - 42. Does 17 divide k(7)?
False
Let l(s) = -s**2 - 9*s + 12. Let v be l(-10). Suppose v*d = -0*d + 3*x + 1094, 2754 = 5*d + 2*x. Suppose d + 62 = 12*r. Does 20 divide r?
False
Let f(w) = 12*w + 90. Suppose q + 4*k - 9 = 13, 2*q - 11 = 3*k. Does 15 divide f(q)?
True
Suppose -11 - 4 = n + 4*c, -3*n = -5*c - 40. Suppose 2*a - n = 1. Does 3 divide (-342)/(-24) - a/(-4)?
True
Let u(o) = -8*o + 10 + 9 - 7 + 3*o**3 + 4*o**2 - 2*o**3. Is u(7) a multiple of 55?
True
Let o(d) = 67*d - 201. Let q be o(-14). Let f = q + 2042. Does 44 divide f?
False
Let o(r) be the third derivative of r**6/120 + r**5/60 + r**4/6 + 103*r**3/6 - 3*r**2. Suppose 2*p + m = -1, 11*p - 13*p = -5*m - 5. Is o(p) a multiple of 15?
False
Let b = 376 + -1005. Let k = b - -932. Does 41 divide k?
False
Let f(a) = 2*a + 3*a - 4 + 3 + a**2. Let h be (-3 - 54/(-10))*15/6. Is 20 a factor of f(h)?
False
Suppose 7151 + 1219 = 36*a - 270. Is 6 a factor of a?
True
Let q(f) = 5*f + 1. Let x be q(-1). Let n(a) = 16*a**2 - 6. Let l be n(x). Is (l/(-30))/((-1)/9) a multiple of 7?
False
Suppose 0 = -x + 6 - 1. Suppose -4*r + 152 = -0*p - 3*p, x*p = r - 21. Let d = 68 - r. Is 7 a factor of d?
False
Let d be 2 + (185 - (1 - -2)). Let s = d - -62. Let o = s + -138. Is o a multiple of 27?
True
Let c = -42268 + 59576. Is c a multiple of 228?
False
Let t(r) = 12*r**3 - 17*r**2 - 43*r + 566. Is t(11) a multiple of 136?
True
Let m be (-2093)/5 - 12/30. Let q be (m/(-4))/((-6)/(-24)). Suppose 119 = -6*v + q. Is v a multiple of 6?
False
Let a(z) = -z**3 - 53*z**2 - 211*z + 215. Is 5 a factor of a(-50)?
True
Let d(g) = -g**2 - 2*g + 17. Let l be d(0). Let m = -11 + l. Suppose -2*a + 21 = -r, -2*r + 22 = -2*a + m*a. Does 7 divide a?
False
Let q(f) = 14*f - 14. Let t be q(5). Let v = 95 - t. Suppose v*r - 36*r - 255 = 0. Is r a multiple of 15?
False
Let u = 11874 + -8101. Is 11 a factor of u?
True
Is 3 a factor of (-6 + (-7 - -14))*-1 - -981?
Fal