 Suppose h = -3*n + 683. Suppose z = -z + n. Is z a multiple of 11?
False
Let u be (18/3)/(12/464). Suppose 8*y = -u + 1672. Does 9 divide y?
True
Suppose 4*k = -5*p + 3227, -4*k + 3748 - 513 = -3*p. Is k a multiple of 5?
False
Suppose -m + i = -10570, i = 4*m + 1180 - 43460. Does 54 divide m?
False
Let v be -2 + (-3 - -72 - 3). Suppose v*g = 60*g + 8. Suppose 5*q - 86 = 3*u, -3*q = g*q - 5*u - 90. Does 8 divide q?
True
Suppose 35 = k + 4*k. Let x(p) = -7*p + 8. Let j(y) = 7*y - 8. Let i(o) = k*x(o) + 6*j(o). Does 19 divide i(-7)?
True
Suppose 7*g - 198 = 61. Let i = g + -150. Let w = 148 + i. Is 5 a factor of w?
True
Suppose 1389 = 13*y - 132. Does 21 divide (-4)/26 - ((-41787)/y - 0)?
True
Let v = -33 + 3. Let i = 35 + v. Suppose 2*s = i*s - 81. Does 3 divide s?
True
Let g = 47 - 50. Let j = g - 1. Let l(v) = v**3 + 5*v**2 + 2*v - 2. Is 6 a factor of l(j)?
True
Let t(k) = -k**2 - 22*k - 36. Let u(i) = -15*i**2 + i - 2. Suppose 7 - 4 = 3*f. Let a be u(f). Does 15 divide t(a)?
True
Suppose -9315 = -5*r - 18*r. Does 3 divide r?
True
Let f = 7006 + 10993. Does 41 divide f?
True
Let s(i) = 67*i + 1358. Is s(69) a multiple of 12?
False
Let c be ((-9)/(-6))/(4 - 244/64). Suppose 4*a = 4*p + c, 0 = 2*a + 2*a. Is 11*(p + -8)/(-5) a multiple of 11?
True
Let h = 210 + 525. Let q = h - 510. Is 25 a factor of q?
True
Let s(h) = h**3 - 12*h**2 + 7*h - 26. Let d(n) = n**2 + 3*n - 5. Let l be d(3). Does 12 divide s(l)?
False
Suppose -132967 = -31*h + 13725. Is h a multiple of 28?
True
Let s = -41 - -33. Does 33 divide -2 + (-20)/s + (-767)/(-2)?
False
Suppose -45649 = -42*q + 71983 - 37076. Is 8 a factor of q?
False
Let b = -515 + 518. Suppose -6*k + 184 = 2*f, -f + 127 = b*k - 7*k. Does 13 divide f?
False
Let v be (1/(-3))/(7/(-84)). Suppose -v*j - 2*z = -44, 8 - 2 = 3*z. Suppose h - j*h = -738. Is h a multiple of 13?
False
Let o(b) = 296*b**2 + 10*b - 40. Is 30 a factor of o(5)?
True
Suppose 0*j + 5*p = -2*j + 4, -5*j - 60 = -5*p. Let g be (j/6)/(44/(-99)). Let u = g + 3. Does 3 divide u?
True
Let u(z) = 4*z**3 - 2*z**2 - 8*z + 4. Suppose 4*v - 72 = -4*v. Let w(r) = 3*r - 24. Let j be w(v). Does 9 divide u(j)?
False
Let u be 10 - (-5)/(-25)*5. Let b = -3 + u. Suppose -b*v + 138 = -0*v. Is 9 a factor of v?
False
Let p = 284 - -374. Is p a multiple of 28?
False
Let p be 3432/168 + 4/7. Suppose -2*v = -3*a - 101, 2*v + a = p + 76. Is 25 a factor of v?
False
Is 6 a factor of ((-10)/4 + (-202340)/(-3752))/(2/378)?
True
Let b(p) = -24 - 28 + 48 - 169*p. Is b(-1) a multiple of 5?
True
Let h = 25729 - -335. Is h a multiple of 16?
True
Let q(j) = -j**2 - 27*j + 5. Let x be q(-6). Suppose -a = -384 + x. Is a a multiple of 23?
True
Let p = 3148 - 1710. Does 19 divide p?
False
Suppose 2*a = 3*n + 139035, 5*a - 231388 = -3*n + 116252. Is a a multiple of 135?
True
Suppose h - 368 = -3*j - j, 5*j - 460 = 4*h. Let m = j - 82. Is (-855)/(-114)*6*4/m a multiple of 9?
True
Let x(i) = 3*i**2 - 244*i + 12. Is x(-13) a multiple of 69?
False
Suppose 5*b + 2*s + 5427 - 897 = 0, -4*b = -s + 3637. Is 12 a factor of b/(-10)*((-170)/(-10) - 12)?
False
Suppose -85 = 10*b + 335. Let x = 47 + b. Suppose x*o - 77 = 4*o. Is o a multiple of 7?
True
Let d = 28217 + -15617. Is d a multiple of 18?
True
Let r(u) = 6*u**3 - 2*u**2 + u. Let k be r(1). Suppose -16*j = -k*j - 770. Does 14 divide j?
True
Let d(j) = -292*j + 3. Suppose 0 = -2*v + 4 - 6. Let f be d(v). Suppose 0 = -5*s + f + 145. Does 22 divide s?
True
Let m = -3786 + 5380. Let v = m - 752. Is v a multiple of 36?
False
Let x = 826 + -820. Let y = 354 + x. Is 30 a factor of y?
True
Let c be 65/(-10) - (2 + 3/(-2)). Is 9 a factor of 12810/80 - (c/8 - -1)?
False
Suppose 449*t + 189336 = 452*t + f, 0 = 2*t - 4*f - 126252. Does 89 divide t?
False
Let t = 1290 + -598. Suppose -580 = -12*w + t. Does 7 divide w?
False
Let r(d) = 6425*d - 352. Is r(3) a multiple of 50?
False
Suppose -27*s + 27448 + 170057 = 0. Is s a multiple of 78?
False
Let j(l) = -l**3 - 43*l**2 - 81*l - 92. Let f be j(-41). Let h = 1293 + f. Is 29 a factor of h?
True
Let z(m) = -21*m**3 + m**2 - 4*m - 4. Let u be z(-2). Let i = u - 85. Is i a multiple of 3?
False
Let r = -759 - -818. Suppose -5 = -c - 3*f + 9, 3*c = -5*f + 22. Let p = r - c. Is 15 a factor of p?
True
Let p(a) = -13*a + 19. Let f(l) = l - 7. Let h be f(3). Let k(v) = -v**2 + 9. Let i be k(h). Is p(i) a multiple of 37?
False
Suppose -135*c - 14 = -142*c. Suppose 6*m - 134 = m + 2*o, 46 = c*m + 3*o. Does 16 divide m?
False
Is 38 a factor of (4/24*-8)/(-5 + 30372/6075)?
False
Let q = 176 + -89. Suppose 5*c - 3*w = -8*w + 415, -3*w = c - q. Is c a multiple of 9?
True
Let i be (252/(-20))/(4089/(-1020) + 4). Let c be (-6 + -4)/(0 - 2). Suppose 2*h = c*d - i, 1433 = 3*d + 2*d + 3*h. Is 51 a factor of d?
False
Let b(g) = 4*g**3 - 2*g**2 - 39*g + 350. Is b(7) a multiple of 108?
False
Let g = 11327 + -7492. Is g a multiple of 65?
True
Let v(q) = -q**2 + 19*q - 16. Let f = 102 + -84. Let y be v(f). Suppose y*z + 5*b = 83, -z + 2*b - 39 = -2*z. Is 11 a factor of z?
False
Let b(n) = 2*n**3 - 74*n**2 - 54*n + 258. Is b(38) even?
True
Let t = -33 - -37. Let j be ((-45)/18)/((-2)/t). Suppose 0 = -f + 2*f + 5*q - 16, j*q = -10. Is 7 a factor of f?
False
Suppose -3*x - 7*n = -2*n + 73, -5*x + 4*n - 60 = 0. Let y(c) = -7*c - 56. Let q be y(x). Suppose -6*f - q = -10*f. Is f a multiple of 7?
True
Let t = 17 - 11. Let q(u) = -u**2 + 9*u - 16. Let v be q(t). Suppose v*a - 211 = 3*y, 2*a + 2*y - 255 + 59 = 0. Is a a multiple of 18?
False
Suppose -m = 5*o - 13 - 6, 20 = 2*m + 4*o. Let w(x) = 145*x + 16. Let a be w(m). Suppose -5*u + 334 = -a. Does 31 divide u?
True
Suppose -435952 - 662992 = -154*b. Is 8 a factor of b?
True
Let i(v) = 139*v**2 + 4. Is 13 a factor of i(-1)?
True
Let q(s) = -2*s - 6. Let z be q(-6). Let n(b) = -4*b - 22. Let x be n(z). Let p = 82 + x. Is 9 a factor of p?
True
Let o = 10 + -15. Let b(s) = -114 + 128 - 3*s - 11*s + s - 7*s. Does 38 divide b(o)?
True
Suppose 0 = 5*q - 11 - 4. Suppose 77 - 30 = -q*o - c, 2*o + 23 = c. Let s = 53 + o. Is s a multiple of 13?
True
Suppose 325*r = 335*r - 40. Suppose -2*d = -r*x - 110, 2*d = -4*x + 236 - 94. Does 7 divide d?
True
Suppose 34*k - 44042 - 1316808 = 0. Is 138 a factor of k?
False
Suppose -47*k = -46*k - 4*v - 845, 4*k = v + 3410. Is k a multiple of 5?
False
Let n = -3966 + 5397. Is n a multiple of 19?
False
Let z = 862 - 502. Suppose -5*q + 4*f + 2178 = 0, -2*q + 3*f + 514 + z = 0. Is q a multiple of 29?
False
Suppose 5*d - 2716 + 239 = -w, -3*d = 21. Is w a multiple of 73?
False
Does 19 divide (-9622992)/(-552) - (-8)/184?
False
Let c be 0/(3/(-15) - 33/(-15)). Suppose 5*x + 11 - 31 = c, -2*f - 5*x = -4. Is (1/f*-4)/(4/120) a multiple of 15?
True
Suppose 4*y + 7*v = 3*v + 56, 0 = -5*v + 15. Let n(p) = 2*p**2 - 7*p - 12. Is n(y) a multiple of 11?
False
Let g(q) = -q**2 - 1. Let z(u) = -9*u**2 + 13*u - 3. Let x(c) = -5*g(c) - z(c). Is x(4) a multiple of 12?
True
Suppose z - 51*z - 334603 = -1353103. Is z a multiple of 35?
True
Let m = 58 + -68. Let g = 15 + m. Suppose -2*b + d = -20, 0 = -5*b + g*d - 0*d + 55. Does 2 divide b?
False
Let z(a) be the second derivative of -15*a**3 - 41*a**2/2 - 4*a. Let l be z(-11). Let t = l + -627. Is t a multiple of 46?
True
Suppose -43560 = 42*i - 75*i. Is i a multiple of 44?
True
Suppose -3*o - 6 = -4*u - 26, o + 2*u + 10 = 0. Suppose -3*i = 4*m - 7, 4*m - 3*i + o*i = 1. Let c(p) = 67*p - 3. Is c(m) a multiple of 16?
True
Suppose 153*l - 125153 = 134*l. Is 9 a factor of l?
False
Let o be -55 - (-1 - 2 - 2). Let t(n) = n**3 + n**2 + n + 62. Let m be t(0). Let g = m + o. Is g even?
True
Let q(g) = 8*g + 84 + 4*g - 10*g + 2*g + 40. Does 15 divide q(-16)?
True
Let p = 89 - 71. Suppose 36*z - 1566 = p*z. Is 2 a factor of z?
False
Let a(f) = -f**3 - 20*f**2 + 39*f - 118. Is 94 a factor of a(-24)?
False
Suppose -p = 5*o - 32075, -4*p - 3*o + 31266 = -97170. Does 106 divide p?
False
Let q(b) be the first derivative of 17*b**2/2 + 67*b + 55. Is 51 a factor of q(17)?
False
Let m(x) = -64*x - 374. Let l be m(-6). Suppose -3*i - 116 - l = -p, 2*p + 2*i = 252. Does 12 divide p?
False
Let t be 4/10 - (-84)/15. Suppose -11*z = -t*z - 275. Suppose 4*w = -4*b + 140, 0 = -3*b + 5*b + 5*w - z. Does 16 divide b?
False
Let u(d) = 3*d**2 + 