lse
Suppose 0 = -4*z - 3*p - 252, 9 = -z - 5*p - 71. Is 14/(3/(z/(-8))) a multiple of 7?
True
Suppose -10*t = -17*t + 3234. Does 22 divide t?
True
Let s = -93 - -285. Let w = s + -122. Is 14 a factor of w?
True
Let y = -4354 - -8829. Is 35 a factor of y?
False
Let f(c) = -5*c + 1. Let m be f(-1). Let h be 3/1 - (-1 - m). Suppose h = u - 5. Does 15 divide u?
True
Suppose 15*c - 20*c + 75 = 0. Suppose 768 = c*k - 7*k. Is 22 a factor of k?
False
Let k be (7 - 3) + 2/1. Suppose k*y = 3*y - 9. Does 4 divide -1 - 15/(y/1)?
True
Let w(a) = 180*a - 606. Does 6 divide w(7)?
True
Suppose 2*u + 0*u = 0. Suppose 31*b - 18*b - 13 = 0. Does 22 divide 1*44*b - u?
True
Let m(c) = -10*c + 28. Let n be m(2). Suppose -1290 = -13*u + n*u. Is u a multiple of 18?
False
Let f(x) = -x**3 - 2*x**2 + 2*x + 55. Does 8 divide f(-7)?
False
Suppose 0 = -2*c + 5 + 1, -2*y + 12 = 2*c. Suppose y*k + 3*i = 333, 3*k - 332 = -0*k - 4*i. Is 16 a factor of k?
True
Suppose -3*j - 4*d - 4 = 0, 0*j + 2*j = -2*d. Let a = j + 19. Is 12 a factor of a?
False
Suppose 4*u - 30 + 6 = 0. Suppose u*h - 4*h = 10. Suppose -2*m - 21 = -h*m. Does 7 divide m?
True
Let n(i) = -33*i + 9*i + i - 5*i - 5. Is n(-3) a multiple of 10?
False
Let u(a) = -14*a**3 - 10*a + 6. Does 46 divide u(-3)?
True
Let c(s) = -s**2 + 19*s + 84. Does 14 divide c(21)?
True
Let l(r) be the third derivative of -1/120*r**6 - 1/60*r**5 + 0 + 23/2*r**3 + 9*r**2 - 1/12*r**4 + 0*r. Does 8 divide l(0)?
False
Let u = 11 - 8. Suppose u*a = a. Suppose 2*s + a*s - 126 = 0. Does 21 divide s?
True
Let c(r) = 7*r**2 - 2. Let f(t) = -6*t**2 + 3. Let y(d) = 6*c(d) + 4*f(d). Is 3 a factor of y(1)?
True
Is (-1)/(8/(-12))*130 a multiple of 67?
False
Suppose -1072 + 3124 = 6*b. Is b a multiple of 19?
True
Let q = 370 + -210. Suppose -q = 3*o + 3*p - p, o + 3*p = -51. Let r = o + 120. Does 21 divide r?
False
Suppose -7*o + 0*o + 574 = 0. Suppose 8*h = 10*h - o. Is h a multiple of 5?
False
Let m(o) = -o**3 + o**2 - 5*o + 2679. Is 19 a factor of m(0)?
True
Let z = 30 + -12. Let o = z + -13. Suppose 120 = 4*v + h, o*v = -3*h + 76 + 74. Is 15 a factor of v?
True
Let b = -4155 - -7978. Is 49 a factor of b?
False
Let g = 21 - 19. Suppose g*v + 2*a = -0*v + 4, 5 = 3*v + 4*a. Suppose -2*j + x = -59, -j - 2*x + 35 = v*x. Does 13 divide j?
False
Suppose -8 + 11 = -s, 4*s + 4515 = 3*r. Is r a multiple of 59?
False
Let w = 4 + 1. Let i be 240/5 - (-7 + 4). Suppose -w*h + 4*n = -i - 30, -5*h + 2*n + 83 = 0. Is 17 a factor of h?
True
Let m = -23 - -27. Suppose -m*a = a + 25. Is (-7 - a) + (59 - 1) a multiple of 28?
True
Suppose 0 = 5*y - 5*c - 170, -7*y = -4*y + 4*c - 95. Let a = 0 - 0. Suppose n + 2*k + k = y, a = 3*k - 15. Is n a multiple of 9?
True
Let k = 2 + -11. Let h be 11 + k - -4*8. Suppose -10 = -4*x + h. Does 11 divide x?
True
Let l = 2439 + -1179. Is 45 a factor of l?
True
Let t(y) = y**2 + 6*y. Let d be t(-5). Is 7*-3*((-10)/d + -15) a multiple of 39?
True
Does 5 divide -3 + 152/48 - (-1558)/12?
True
Let o = 3540 - 10993. Is o/(-58) + 2/4 a multiple of 38?
False
Suppose 13 = 3*y - 11. Suppose 0 = 5*s - y*s + 366. Let i = -66 + s. Is 17 a factor of i?
False
Let b = 252 + -60. Is b a multiple of 32?
True
Let k(w) = -w - 9. Let x be k(-11). Suppose 280 = 6*n - x*n. Does 14 divide (12/(-15))/((-4)/n)?
True
Let p = 2686 + -1243. Is 39 a factor of p?
True
Let u be (1 - 5) + (-8)/(8/(-9)). Suppose u*z = -f + 391, -193 = -4*z - f + 119. Is z a multiple of 15?
False
Let d be 12/18*(1 + (-14)/(-4)). Does 3 divide (((-19)/(-4) - d) + -1)*28?
True
Suppose 16*m + 6*m - 2530 = 0. Is 4 a factor of m?
False
Suppose 3*f - 4 = -2*u + 12, 0 = -2*u + f. Suppose u*c = -3*c - 4*k - 8, -4*c = -k - 2. Suppose c = 2*l + 5*w - 17, 3*l = -0*l + 4*w + 14. Is 3 a factor of l?
True
Let w(v) = -v**3 - 22*v**2 - 22*v - 16. Let l be w(-21). Suppose -l*m + 5*h = -175, -2*m + 5*m - 97 = -5*h. Does 15 divide m?
False
Suppose -3*s = 2*h - 694, -h - s + 365 = -4*s. Suppose -6*y = -h - 151. Does 7 divide y?
True
Let v(o) = 26*o**3 - 9*o**2 + 7*o - 2. Is 27 a factor of v(3)?
False
Suppose 1 = -o, 968 + 350 = 2*z - 2*o. Is z a multiple of 21?
False
Let b(v) = v + 13. Is b(-7) a multiple of 4?
False
Let u(j) = -j**3 - 3*j**2 + 18*j - 12. Let v be u(5). Let g = v + 174. Is g a multiple of 52?
True
Suppose -4886 = -5*p - 1591. Does 69 divide p?
False
Let k = -1768 - -2542. Does 18 divide k?
True
Suppose -2*p - 3*g - 10 = 21, g = -p - 14. Let k = p - -20. Suppose k*b - 11*b = -30. Does 15 divide b?
True
Suppose 650 = 3*i - 1. Is 41 a factor of i?
False
Suppose 3*x + x - 5*o = -228, 5*o - 72 = x. Let u = 78 + x. Is u a multiple of 13?
True
Let q be (-582)/(-15) + (-1)/(-5). Let g = -23 + q. Does 5 divide g?
False
Let r be (0/(-2))/(3/3). Suppose r = z - 9 - 53. Suppose j + j - z = 0. Is j a multiple of 9?
False
Let h(c) = c**2 - 6*c - 4. Let b be h(7). Suppose -2*z = 3*n + z, z = -b*n. Suppose 4*g = -2*s + 28, n*g = 5*g + 15. Is 10 a factor of s?
True
Let o = -38 - -28. Is (-66)/o + (-27)/45 a multiple of 3?
True
Suppose 64 = -3*z - 13*z. Does 3 divide (-18)/z - 2/4?
False
Is ((12/3)/2)/((-4)/(-128)) a multiple of 6?
False
Suppose -22*v + 277 + 1483 = 0. Is 8 a factor of v?
True
Suppose 4*f - 3*a + 76 = -5*a, -5*f = -2*a + 104. Let o = f - -80. Does 30 divide o?
True
Let g be (-2)/13 + (-1516)/(-52). Suppose 25*b + 200 = g*b. Is 10 a factor of b?
True
Suppose i - 17 = 3*a, -4*i = -8*i + 5*a + 89. Let w = 47 - i. Is w a multiple of 3?
True
Let z be (-13)/26 + (-2)/(-4). Suppose 15*a - 17*a + 112 = z. Is 14 a factor of a?
True
Let p = 4 + 11. Suppose 0 = 4*t - 20, -4*r - 5*t + p = -5*r. Is r a multiple of 5?
True
Suppose -2*j + 239 + 167 = 0. Does 11 divide j?
False
Suppose -3*z - 4*k = -1412, z - k + 226 = 699. Is 27 a factor of z?
False
Is ((-2)/3)/(1/(-147)) a multiple of 14?
True
Let b(x) be the first derivative of -9*x**2 - 7*x + 6. Let t be b(-3). Suppose -t = -5*l - 2. Does 5 divide l?
False
Let z = 115 - 114. Does 10 divide ((-20)/(-60))/(z/117)?
False
Let y(c) = 5*c - 1. Let m be y(1). Suppose -4*p - 4*a = -396, 0 = 3*p + 2*p + m*a - 492. Is 8 a factor of p?
True
Let w(z) be the second derivative of z**6/180 + z**5/20 + z**4/12 + z**3/2 - 4*z. Let m(y) be the second derivative of w(y). Does 18 divide m(-6)?
False
Let d be 84/24 + (-3)/2. Suppose 5 = 3*m - 5*w + 4*w, d*m = 2*w + 2. Does 11 divide 2 + (24/1)/m?
False
Let g = -3 - -7. Suppose -g*m = m + 75. Is 5 a factor of (-6)/4*50/m?
True
Let z = -2 - 8. Suppose -11*u - 15*u + 130 = 0. Let k = u - z. Is 9 a factor of k?
False
Let o be (-3)/12 + 445/4. Let p = o + -61. Suppose 3*a + 0*a = f - 25, -p = -4*f + 2*a. Is f a multiple of 4?
False
Let i(d) = 7*d + 12. Let q be i(-8). Does 16 divide (-6724)/q + (-2)/(-11)?
False
Let m(w) = -26*w + 1. Let p be m(-2). Let k = 157 - p. Suppose 60 = 3*o - l + 4*l, -4*l + k = 5*o. Is 8 a factor of o?
True
Let j be 1/(-5) - (-5)/25. Suppose s + 2*s - 348 = j. Is 36 a factor of s?
False
Let w(b) = 9*b + 2. Let r be w(0). Suppose -2*p = p - r*c - 28, p = 4*c - 4. Does 3 divide p?
True
Let r be (99/(-22) + (5 - 1))*0. Suppose x - 4*z - 73 = 0, r = -x + z + z + 77. Is x a multiple of 4?
False
Let h = 521 - -664. Is 79 a factor of h?
True
Suppose 4128 = 11*t - 1020. Does 18 divide t?
True
Suppose -3*g - o = -425, 4*g + 3*o = -2*o + 563. Let r = 359 - g. Does 22 divide r?
False
Let f = 18 + -4. Suppose -2*n + f = -64. Does 6 divide n?
False
Let f(z) = -5*z**2 + 15*z + 164. Let d(i) = i**2 - 3*i - 33. Let v(o) = -11*d(o) - 2*f(o). Does 2 divide v(6)?
False
Suppose -42*h + 432 = -50*h. Let p = 112 + h. Does 27 divide p?
False
Suppose 12 = -2*m + 50. Suppose 2*q = 41 + m. Is q a multiple of 10?
True
Let t(a) = -15*a - 130. Is 3 a factor of t(-20)?
False
Suppose 342 = -152*l + 158*l. Does 3 divide l?
True
Suppose -3*u - 2*x + 25 = -7*x, -2*u = -x - 12. Suppose -710 = -0*q - 5*q + 5*g, 263 = 2*q + u*g. Does 51 divide q?
False
Suppose 0*r - 116 = -2*r + 5*o, -o = 2. Suppose 2*j + 4*b - r = -b, -j - 3*b + 29 = 0. Is 14 a factor of j?
True
Let i = -19 - -22. Does 9 divide -2 + (6 - i) + 35?
True
Is ((-1296)/(-135) - (0 - -2))*105 a multiple of 3?
True
Is 39 a factor of 1*7/(-3) - (-211684)/849?
False
Suppose -4*a + 0*a + 724 = 0. Let c = a - 91. Is 9 a factor of c?
True
Suppose 14*r = 26*r - 21180. Is r a m