 + 4*k + 0*k + 105 = 0, -2*q + 4*k = -190. Let d = 1688 + -1686. Suppose -49 = d*a - q. Is 3 a factor of a?
True
Suppose -5*c + 4*c = 126. Let j be (-1)/(-3)*c/(-2). Is 29 a factor of (-3 + -3)*(-203)/j?
True
Let w = 39 + -38. Suppose 0*v - v + w = -b, 3*v - 31 = -4*b. Suppose 0 = -4*l + v*z + 65, 0*l - 4*z - 50 = -3*l. Does 5 divide l?
True
Let k = 3782 - 3910. Let p be -1*21*18/2. Let j = k - p. Is j a multiple of 33?
False
Let d(x) = 23*x - 90. Let s be d(10). Does 23 divide (s/(-8) - -6)*-8?
True
Let y(h) = -2*h + 35. Let q be y(7). Suppose q*z - 3*z = 2268. Is z a multiple of 8?
False
Let c = 21326 + -15531. Does 5 divide c?
True
Let n(k) = -k**3 + 29*k**2. Let h be n(29). Let q(b) = b**2 + 2*b**2 - 4*b**2 - b**3 + 16. Does 4 divide q(h)?
True
Suppose -2*m + 4*r + 12214 = 0, -3*r = -4*m - 6806 + 31219. Does 32 divide m?
False
Suppose -2*s + z - 2*z = -7, 2*s - 5*z = 1. Suppose 5*y - s*d = 144, 4*d - 57 + 49 = 0. Does 11 divide y?
False
Suppose -20*o + 12*o = 5613 - 22053. Does 44 divide o?
False
Let l = -53 - -58. Suppose -l*m - 177 = -2. Let y = -6 - m. Is 29 a factor of y?
True
Suppose -35*c = -99*c + 1211712. Is 35 a factor of c?
False
Let i(d) = 1 - 4*d + 4 - 1 + 58*d**2 + 3*d - 5. Is 7 a factor of i(1)?
True
Suppose z - 9189 = 2*v, -2*z = 4*v - 11540 - 6846. Is z a multiple of 61?
False
Suppose 0 = 19*f - 17470 - 13804. Is 93 a factor of f?
False
Let u be 1010/(-20) - 1/(-2). Let f be 4/(148/u - -3). Suppose 4*q - 236 - f = 0. Is 21 a factor of q?
True
Suppose -10 = -2*f, 0*j + 4*f + 157 = j. Let a = j - -38. Suppose -a = -5*t - 4*u + 3*u, 3*u = -5*t + 205. Is 11 a factor of t?
True
Suppose -y - 6374 = -25565 - 20771. Does 58 divide y?
True
Let z be 2/((-6)/1494*-2). Let j = 379 - z. Does 26 divide j?
True
Let q(v) = 2*v + 37. Let r be q(-17). Suppose 4*t + 3*m = 19, -5 = -2*t + r*m - 0. Suppose h = 2*n - 74, 4*h + 148 = t*n + 7*h. Is n a multiple of 7?
False
Suppose 4*x + 5*g - 7865 = 0, -3*x + 7820 = x - 4*g. Suppose 10*z = -0*z + x. Is 14 a factor of z?
True
Let m = -7551 + 20486. Is 71 a factor of m?
False
Suppose -19*b + 2330 + 289436 = -143961. Is b a multiple of 12?
False
Suppose 2*g - 10*g = 19*g - 67635. Does 24 divide g?
False
Let y = -163 - -179. Suppose -241 = -y*o + 479. Does 3 divide o?
True
Suppose -3*g + 4*z + 20 = g, 4*g + 5*z - 47 = 0. Let b be 9/(36/g) + 7. Suppose b = -t + 29. Is t a multiple of 13?
False
Let b be 2 - (2/(-9) - (-61)/(-9)). Suppose 508 + 500 = b*g. Is g a multiple of 4?
True
Let f(s) = -s**3 - 16*s**2 - 2*s - 33. Let z be f(-15). Let a = -138 - z. Suppose 15*l = 10*l + a. Is l a multiple of 7?
False
Suppose 0*o - 14 = 3*a - 4*o, -a - 5*o + 27 = 0. Let y(m) be the first derivative of 7*m**4/2 - 2*m**3/3 + 3*m**2/2 - 2815. Does 30 divide y(a)?
False
Let p = -33043 + 59916. Is p a multiple of 11?
True
Suppose 28*t + 41206 = 461822. Is t a multiple of 29?
True
Suppose 0 = 3*o + 2*o - 155. Suppose 4*w + 28 = -2*u, -4*w + o - 3 = -2*u. Does 31 divide 1/2 + 1 - 861/u?
False
Let o be 2/10*5 + -305. Let j = 12 - o. Is 19 a factor of j?
False
Let r(z) be the first derivative of z**2 - z + 63. Let d = 12 - 5. Is r(d) a multiple of 2?
False
Suppose -5*p - 202 = 2*f, -4*f + 77 + 65 = -3*p. Suppose 300 = 2*c + 5*m, -165 = c - 2*c + 5*m. Let q = c - p. Is 32 a factor of q?
False
Suppose 0 = 5*v + o - 425, -3*o + 302 = 3*v + 35. Let g be ((-6)/(-8))/(1/v). Does 11 divide (152/(-10))/(-2 - g/(-35))?
False
Let m be (-10 - -10)/(1 + 1). Suppose 61 = 5*g + x, -3*g + m*x + 41 = 5*x. Suppose -3*k + g + 48 = 0. Is k a multiple of 5?
True
Suppose 2*x + 4*o - 67 = 5*x, 3*x = o - 64. Suppose 21*a = 31*a - 130. Let w = a - x. Is w a multiple of 14?
False
Suppose -9385 = -5*k - 3*n, 3*k + 49*n = 52*n + 5655. Does 105 divide k?
False
Let a be 10 - 11/(88/80). Let r = 4 - -1. Suppose r*x - 3*x - 308 = a. Is x a multiple of 14?
True
Let j = -491 + 479. Is 4979/52 + 9/j even?
False
Let s be ((-10)/(-15))/(-3 + (-274)/(-90)). Let w = -9 + s. Suppose 0 = w*x - 616 - 56. Is 13 a factor of x?
False
Let h(v) = 2*v**3 - 6*v**2 + 16*v + 5. Let z be h(5). Suppose l - z = 1. Suppose 13*n + l = 16*n. Is n a multiple of 31?
True
Suppose -13*d = 33*d - 92. Let y(b) be the first derivative of 21*b**2/2 + 10*b + 1. Does 13 divide y(d)?
True
Suppose -2*s + 55 = 5*z, s + 33 + 7 = 5*z. Let y be 0 + z + (-4 - -1). Suppose 2*h = -y*h + 144. Does 9 divide h?
True
Does 200 divide (-11195)/(-8) - 1100/(-1760)?
True
Suppose -4*n - n = t + 60, -t + 5*n = 10. Is 21 a factor of (84/(-10))/(t/1050)?
True
Let d = -14 - -52. Suppose -21 - d = -g. Suppose 0 = 2*p - 4*p - 3*k + 57, 0 = 2*p + k - g. Does 12 divide p?
False
Suppose -3*a + 5*d = -280, -5*a + 263 = -2*d - 172. Is 10 a factor of 15/5*(-5 + a)?
True
Suppose 4*t - 8*t = 0. Suppose t = 2*d - d + 5. Is d*(-12)/15 + 56 a multiple of 30?
True
Let q(h) = -h**2 - 3*h. Let f be q(-4). Let r be (-8)/(-6)*-1*(-2 + f). Suppose 0 = 4*g - r - 376. Does 13 divide g?
False
Suppose 27*c - 9*c - 190498 = -4*c. Does 12 divide c?
False
Let p = -29 + 26. Let b(r) = -81*r - 14. Let g be b(p). Suppose 0*m - 5*f - 281 = -3*m, -2*m - 5*f + g = 0. Is m a multiple of 32?
False
Let p(v) = 55*v - 320. Let q be p(6). Is 13 a factor of (-186900)/(-125) - 2/q?
True
Let v = -74 - -25. Let g = -222 + 113. Let f = v - g. Is 20 a factor of f?
True
Let l(x) = 241*x - 10062. Is 9 a factor of l(60)?
False
Let b(t) = 2*t - 2. Let v be b(2). Suppose 5*u - 30 = 16*c - 21*c, 3*c = 3*u. Suppose -q - 5*h = -57, q - 195 = -v*q - u*h. Is 7 a factor of q?
False
Let l = 162 + -185. Let q be (-7)/14 - 75/(-2). Let u = q + l. Is 5 a factor of u?
False
Let d be (-1619)/(-7) + 2/(-7). Let i be -10*(-11)/10*2. Suppose 0 = -i*y + 25*y - d. Is y a multiple of 11?
True
Let v(l) = 1 + 11*l - l + 0 - 4. Let n(s) = 10*s - 2. Let t(r) = -5*n(r) + 4*v(r). Is 34 a factor of t(-7)?
True
Suppose -5*n + 0*n - 15 = -3*g, -5*g - 3*n = 9. Let k be (54/(-45))/(3/(-110)). Suppose -a + 48 = -g*l + l, l = a + k. Is 8 a factor of l?
False
Let u(o) = -o**2 + 19*o + 10. Let p = 47 + -40. Let z(d) = -4*d**2 + 28*d + 10. Let y be z(p). Does 20 divide u(y)?
True
Suppose 5*n + 23 - 18 = 0. Let z be (1 + (0 - 1))/n. Suppose z*k = -6*k + 222. Is k a multiple of 12?
False
Let u be (-2)/13 - 62946/(-507). Does 10 divide 1530/4 + (-310)/u?
True
Let q(g) = -230*g**3 - 50*g**2 - 229*g - 1. Does 42 divide q(-5)?
True
Let z(t) = -t**3 - 12*t**2 + 6*t - 141. Suppose -5*d - 83 + 13 = 0. Does 9 divide z(d)?
False
Let w be (11 + -3)*(-19)/2. Let f = w + 82. Let p(t) = t**3 - 2*t**2 + 7*t + 6. Is 24 a factor of p(f)?
True
Suppose z + 195 = 4*v - 2*z, 200 = 5*v + 5*z. Suppose -v*g = -47*g + 12. Suppose g = -2*f, 14 = w - 3*f - 1. Does 3 divide w?
True
Let z be ((-35)/(-14))/(-5 - 529/(-106)). Suppose k + 3*k = -8. Is (z + k)/(-3) + 12 + -11 a multiple of 11?
False
Suppose 36*m = 118*m - 67650. Is m a multiple of 10?
False
Suppose 8*c - 3*c - 15 = 0. Suppose -2*f + 449 = c*p - 6*f, -5*f = 25. Is 11 a factor of p?
True
Let j(k) = 7*k**2 + k. Let t be j(-3). Let x be 18 + (-4)/((-28)/(-49)). Suppose 9*v = x*v - t. Is 2 a factor of v?
True
Let y = -111 - -129. Suppose -96 = 17*q - y*q. Does 32 divide q?
True
Suppose 4*d = h - 7, 2*h + 2*h + 2*d + 8 = 0. Let v = 165 - 405. Does 10 divide (v/(-32))/(h/(-4))?
True
Let h = -37585 + 66691. Does 11 divide h?
True
Suppose -2 = -10*p + 9*p. Does 13 divide 2/(-2) - (1 + p + -43)?
True
Let j(b) = -b - 6. Let a be j(-2). Let y be ((-34)/a)/((-3)/36*-2). Suppose -39 - y = -2*f. Is f a multiple of 35?
False
Is -2*(13521*(-3)/6 + (-14)/7) a multiple of 5?
True
Let p(q) = q**3 + 16*q**2 - 11*q. Let i(j) = 3*j**3 + 31*j**2 - 21*j - 2. Let a(z) = -2*i(z) + 5*p(z). Does 8 divide a(5)?
True
Suppose 30445 = 14*a - 9875. Is a a multiple of 60?
True
Suppose 0 = 8*r - 51812 - 33732. Is r a multiple of 108?
False
Let b(c) = 2*c**2 + 6*c + 41. Let g be (-2)/(-7) - 4*93/28. Is b(g) a multiple of 43?
True
Suppose -3*i + 36 + 21 = 0. Is 1/6 - i/6 - -488 a multiple of 9?
False
Suppose -t - 5*f + 12 = 0, -4*t + 3*f = -f. Suppose 7*w = 5*w - 3*k + 265, 0 = -w - t*k + 134. Is 9 a factor of w?
False
Suppose 76 = 6*n - 8*n. Let s = n - -43. Suppose -g + 5*c = -29, s*c - 37 = -5*g + 3*c. Is 9 a factor of g?
True
Let i(o) = -o**3 + 6*o**2 + 9*o + 13. Let j be i(5). Let z = 1