ue
Let c = 83 + -27. Suppose c*v - 372 = 53*v. Do v and 124 have different values?
False
Suppose 3*y = 2*r + 4865, r - 197*y + 201*y + 2394 = 0. Is r < -2421?
True
Suppose 45*g = 52000 + 38990. Which is greater: 2021 or g?
g
Let s = 1.3753 + -1.4753. Is s less than -0.09007?
True
Let l(o) be the second derivative of -o**5/20 - 5*o**4/4 + 17*o**2 + o. Let c be l(-15). Which is smaller: 32 or c?
32
Let h = -434 - -442. Suppose 3*k - h*k = 1800. Which is bigger: -359 or k?
-359
Let l be 247/(-57)*(-6)/26. Is -1/7724 less than or equal to l?
True
Suppose 9*k + 407 - 402 = 788. Which is bigger: k or 90?
90
Let q = -27 + 15. Let i be q/658 + 0/1. Let t = -1089/5593 - i. Which is bigger: t or -1?
t
Let k = -1367 + 1367.015. Are 0.159 and k unequal?
True
Suppose 5*r - 202 = 4*u, -1 - 8 = 3*u. Suppose f + 3*n = -14, -5*f + n - 28 + r = 0. Is 2/1815 greater than f?
False
Let m be 1 + 21 + (-299684)/5082. Is m equal to -38?
False
Let f = 7582 + -8812. Is f equal to 0?
False
Let r = 13390.9 - 13391. Which is bigger: -1014 or r?
r
Let m be (-4049)/(-7) + (-3)/7. Suppose -6*s + 8*s = m. Which is smaller: 288 or s?
288
Let t be 0/(0/1 - -2). Let f be (-1 - 0) + (-10470)/30. Let o = 348 + f. Which is bigger: t or o?
t
Let x be (1 - 2)/(13/(-403)). Let m = 27 - x. Let k be m/(-10) - (-828)/30. Which is smaller: k or 30?
k
Let u = 85 + -94. Let v be 4/3 + -6*(-2)/u. Let n be (-1)/25*(-30)/(-4). Is v at most as big as n?
False
Let p = -6797 - -6566.2. Which is smaller: p or -1/5?
p
Let g be 564/(-16) + (-6)/(-24). Let f be (2 - -14)*g/(-140). Which is bigger: 5 or f?
5
Let x be (10287/126)/((-12)/(-14)) - -4. Let a = -100 + x. Which is smaller: 51 or a?
a
Let w = 0.463 + -0.424. Let v = -0.7 - -0.661. Let y = v + w. Is y > 2/9?
False
Let v be 30/(-560)*-7*(-3)/18*932. Which is bigger: -57 or v?
-57
Let i = -646 - -966. Let o = 9356 + -9036. Is i at least as big as o?
True
Suppose -23*r - 5525 = -16335. Let u = r + -477. Which is greater: -19 or u?
u
Let s = -90.44 - -82.44. Which is smaller: -629 or s?
-629
Suppose -30*l - 38*l + 5940 = -2*l. Is l at least -0.15?
True
Let f be 539/(-22)*(-24)/182. Let i = -2785 - -2787. Is i bigger than f?
False
Let z(g) = -g**2 + 12*g + 13. Let t be z(13). Suppose 0 = 4*r + l + 42, -3*r + r - 2*l - 18 = t. Is r equal to 0.5?
False
Let a = -907.01 - -854.9. Let f = 52 + a. Let p = 0.01 + f. Which is smaller: 0.038 or p?
p
Let t = 3022 + -3022.03. Is t < 20?
True
Suppose 3*u - 4*j = 62, -132*u - 44 = -134*u + 2*j. Is u != 36?
True
Suppose 0 = -3*x - 5*m - 14 + 9, -x - 5 = 5*m. Is x less than -8/369?
False
Suppose -14 + 62 = 4*f. Let c be (f/(-15))/((8/(-30))/2). Let x(q) = -q**2 + 7*q - 1. Let j be x(c). Which is bigger: 9 or j?
9
Let w(k) = 2*k**2 - 14*k + 1. Let j be w(7). Let v(d) = d + 1. Let q be v(j). Suppose 4*p - 19 = -u + q*u, p - 1 = 4*u. Is p greater than 9?
False
Let r be (375/(-18))/(21/(-3318)) + 1/3. Which is smaller: 3296 or r?
r
Suppose -4*o - 3*j + 11 = 0, o + 0 = -j + 4. Is 15/346 != o?
True
Suppose -185 = 43*c - 48*c. Suppose 420 = -42*y + c*y. Which is smaller: y or -83?
y
Suppose 4*w = 6*w + 2*t + 8, 3*w - t = -32. Let n be (0 + (-4)/42)/(w/14). Which is smaller: 1 or n?
n
Let g(r) be the first derivative of -r**2/2 - 24*r + 55. Let c be g(-15). Let d be 47/(-6) + (-2)/3. Is d bigger than c?
True
Let s = -241631/198 + 11522/9. Is 61 smaller than s?
False
Let k be (-86)/(-198)*-4 - -5*21/35. Which is bigger: 2 or k?
2
Let h = -1.71 - 231.29. Let u = h + 234. Let c be (-5)/2*1/(-5). Which is smaller: c or u?
c
Let a be 4 - 5 - (-174)/172. Let x be (-5 - -8 - 7) + (-1 - 9)/(-2). Is a >= x?
False
Let d = 35810 + -573167/16. Is -14 <= d?
True
Let w = 276.0193 - 0.0193. Let b = 181 - w. Which is smaller: 0 or b?
b
Let w(s) = 49*s**2 + 23 - 20*s**2 - 27*s**2 + 49*s. Let g be w(-24). Is g at most as big as 2?
True
Let w = -1939/1464 + 250/183. Let z be (3 - -11)/(0 + 1). Let m be (-10)/14 + (-4)/z. Do m and w have the same value?
False
Let w be (-93)/(-124) - 11/20. Suppose 4*f + 84 = -2*f. Let t(u) = -u**3 - 13*u**2 + 13*u - 13. Let k be t(f). Which is smaller: k or w?
w
Suppose -x + 29 = -2*v, -34 = -5*x + 2*v + 87. Suppose -2*s - x = -d + 3*s, 0 = -5*d + 4*s + 10. Let c be 2/(5/(1/2*d)). Is 0 at least c?
True
Let k = -71 + 495/7. Let b = 0.067 + 513.933. Let f = b + -507.1. Is k at least as big as f?
False
Let h(f) = f**2 - f. Let c be h(-1). Let t = 186 + -123. Suppose 5*p + 33 = 3*u - c*u, -t = -4*u - 3*p. Is 18 equal to u?
True
Let y = -81 - -81. Suppose -8*n - 58 - 14 = y. Do 1/4 and n have different values?
True
Let f = 646 - 751. Let h be ((-9)/14)/((-360)/f). Is -0.6 at least as big as h?
False
Let g = -4727 - -4872. Which is smaller: g or 143?
143
Let n(k) = -15*k**3 - 2*k**2 - k + 1. Let v be n(2). Let y be -1 + 3 + -2 - 22185/v. Let u = y + -172. Do -1 and u have different values?
True
Let j(k) = 10522*k**3 - 2*k**2 + k + 1. Let s be j(1). Let n = -968003/92 + s. Let r = n - -1/46. Are -11 and r unequal?
True
Let s = 285 + 101. Suppose 2*a + 4*c + 234 = 0, 14*a - c + s = 11*a. Is a less than -127?
False
Let s = -3.7 - -0.6. Let m = 1.935 + 0.065. Let w = s + m. Are -1/2 and w unequal?
True
Let p be 7/(-12)*2504/(-6573). Let u be 4/10 - 2856/40. Do p and u have the same value?
False
Let w = -29224677102077/975 - -29974017584. Let l = -10213 - w. Is 1 less than l?
False
Let p = -83.6 - 25.4. Let x = 103 + p. Which is smaller: x or 1?
x
Let l be (-1 + 1)*((-8)/18 + 289/306). Is l bigger than 2/1437?
False
Suppose 0 = 2*v - 7*v. Let s = 28 - 14. Suppose -5*c - 2 = -4*k - 19, v = 5*c - 3*k - s. Is c > 4/7?
True
Let a be (69/115)/((-3)/(-540) - 0). Is 108 greater than or equal to a?
True
Let k(v) = -2*v**3 - 162*v**2 + 160*v - 327. Let m be k(-82). Which is smaller: m or -5/522?
-5/522
Let x = 2/755 + -873/44545. Let t be -1 - (5 - (-1 - -4)). Let g be (-1)/t*(0 + 3). Is x at least g?
False
Suppose -140*f + 135*f - 25 = 0. Let a be f + (-35)/(20/(-4)). Let s(k) = k**3 - 10*k**2 - 10*k - 6. Let y be s(11). Is y smaller than a?
False
Let j be (24/(-7) + (-52)/182)/(-2) + -2. Which is greater: 2/21 or j?
2/21
Suppose -5*z + 358*b - 22 = 362*b, 5*z = -2*b - 16. Let l = -337 + 6381/19. Which is greater: l or z?
l
Suppose 90*k - 1224 = 56*k. Is k equal to 38?
False
Let b(w) = -84*w - 6. Let c be b(-1). Let f be (-1922)/13 + (-12)/c. Which is greater: -149 or f?
f
Let g(k) = -k**2 - 114*k - 2655. Let w be g(-44). Is w <= 422?
False
Let a(v) = 4*v**3 + 4*v**2 - 3*v - 7. Suppose 137*j + 42 = 123*j. Let z be a(j). Which is greater: z or -67?
-67
Suppose 0 = h - 2*z - 26, 4*h - 3*z - 70 = 29. Let k(q) = 5*q - 120. Let s be k(h). Which is smaller: -1 or s?
-1
Let b(a) = 10*a**2 + 3*a + 4. Let u(h) = -21*h**2 - 7*h - 9. Let g(p) = -9*b(p) - 4*u(p). Let o be g(1). Let i be (15/(-9))/o*(0 - 0). Is 30 bigger than i?
True
Suppose 23 = -p - 2*a, -2167 = -2*p + 4*a - 2197. Which is smaller: p or 56?
p
Let t = 3221 + -3027. Which is smaller: t or 1/7?
1/7
Let m = 117 + -106.3. Let w = 3073.1 + -3084. Let l = w + m. Are l and 29 nonequal?
True
Let p be 211591/(-1212) - (-9 - (-116)/12). Let b = p + 701/4. Is -1 equal to b?
False
Let d(b) = 131*b + 410. Let j be d(3). Is 803 at least as big as j?
True
Let l = 5/102 - -2/17. Suppose -4*a - 2*z = -110, -40 = -a + z - 5. Let p be ((-8)/a)/((-4)/(-10)). Is l at most as big as p?
False
Suppose 543*b + 152 = 1073*b - 549*b. Is 440 not equal to b?
True
Suppose -2*l = -34*l - 1408. Is -395/9 smaller than l?
False
Let z(m) = 36*m + 111. Let d be z(-3). Let i be ((-8)/d - -4)*(-12)/8. Which is smaller: i or -9/5?
i
Suppose -3*w + 3 = -l - 3, l + 3*w - 6 = 0. Is l greater than 213/5?
False
Suppose -4*y = -2*y - 7*y. Let c = 85 + -80. Suppose 0 = -y*z + c*z + 15. Is z at most as big as 7?
True
Suppose 22*r = 21*r - 62*r + 97902. Which is smaller: r or 1551?
1551
Let v be 18/4*16/12. Suppose -c + 2*y = 6, 0*c = -c - y + v. Let f be ((-111)/420 + 4/5)*(-84)/(-63). Is c greater than f?
True
Let h(x) = -6*x - 94. Suppose 19*p + 210 = 4*p. Let d be h(p). Is -7 != d?
True
Let c = -5600 - -5605. Is c less than or equal to 2/147?
False
Suppose 5*u + 20 = 0, h - 12 = -3*h - 2*u. Suppose -5*y - h = -6*v + 5*v, 4*y = -v - 31. Are -15 and v equal?
True
Let b(j) = j**3 - 7*j**2 - 301*j + 1784. Let i 