
Let f = -2.9 + 3.8. Let a = 2.3 - f. Is a < -4?
False
Let d = 5711/14453334 - 1/14046. Is 1 greater than or equal to d?
True
Let w be (-4 - -1)*(-632)/(-948). Suppose -m - 5*j + 15 = 0, 4*m + 20 - 5 = 5*j. Which is greater: w or m?
m
Let i be 44/88*(-2000)/(-164). Which is smaller: 6 or i?
6
Let g(u) = -u - 1. Suppose -4*i + 12 = -4*v, 0 = 3*v + 3*i + i + 2. Let o(y) = -y + 3. Let s(z) = v*g(z) + o(z). Let d be s(-4). Which is greater: d or -1/48?
d
Let z be 853173/(-2566080) + 2/6. Is -1 less than z?
True
Suppose 12*n - 16*n = -6*w + 16, 0 = -5*w + 2*n + 8. Is w < 4/4351?
True
Let w = -0.0476 - -2.0986. Let f = w + -0.051. Is -1.16 bigger than f?
False
Let j = -153 - -159. Let k be (-4)/j*(-2 - 39). Which is greater: 27 or k?
k
Suppose -3*v + 1629 = -3*i, 871 = 2*v - 3*i - 214. Suppose 4*p - a + 25 = 2*a, 0 = 3*p - a + 15. Let x be v/238 - (p/(-2) - 0). Is 3 at most as big as x?
False
Let w = 154.74 + -155.74. Let p = -209.0604 - -209. Which is bigger: w or p?
p
Suppose 248 = 3*q - v + 2*v, 482 = 6*q - 5*v. Let f(s) = 83*s - 1. Let t be f(1). Is q not equal to t?
False
Suppose 2*u - 12 = -2*u. Suppose u*y + 70 = 8*y. Suppose 1138*b - 2225*b + 1118*b - 279 = 0. Is y <= b?
False
Suppose -2 = 3*i + 10, -4*o = i - 148. Let n = o + -41. Let u be (-12)/9*n/4. Is -91 at least as big as u?
False
Let a(n) = -2*n**3 + 43*n**2 - 34*n + 18. Let m(h) = 5*h**3 - 128*h**2 + 101*h - 57. Let g(b) = -8*a(b) - 3*m(b). Let v be g(-41). Is -382 at most v?
False
Let i(c) = -c**2 + 2*c**2 - 4*c + c**2 + 8 - 3*c**2. Let a be i(3). Let y(p) = -p**2 - 11*p + 30. Let n be y(-14). Is a at most as big as n?
True
Suppose 2*m + 5*k = -913, k = 10*m - 5*m + 2323. Let d = m - -9746/21. Which is bigger: d or -2?
d
Let w be -3 + ((-1140)/(-94))/6. Let q = 4367/4606 + w. Does 0 = q?
False
Let z(p) = 2*p**2 - p + 3. Let t be z(-2). Let h = 2/301 - -12937/903. Which is greater: t or h?
h
Let i be 1 + (-12)/11 - 52/(-572). Let z be i + 6 - (-30)/(-3). Is -4.8 <= z?
True
Let w = -885 - -618. Let s be 6/9 - w/(-9). Let l = s - -30. Are l and -2/91 equal?
False
Let z be -2 - (-7 + (-5 - -2) + 4). Suppose 66 = -10*r - r. Let g be (-425)/(-75)*r/2. Which is greater: g or z?
z
Let p = -14 - -27/2. Let o(n) = 3*n**3 - 19*n + 1. Let v be o(3). Is v at most p?
False
Let h = -18 - -40. Suppose 85*r - 370 + 391 = 1891. Is h <= r?
True
Let d be 8/(-6)*58/80*-25. Is 25 at most as big as d?
False
Suppose -19*o + 86 - 10 = 0. Suppose 5*p + o = 3*i, 4*i + p - 18 = 18. Is i less than 8?
False
Let h(k) = 1. Let p(z) = -z**2 - 8*z - 5. Let o(m) = -2*h(m) - p(m). Let i be o(-8). Suppose w = 5*n - 20, w + 2*n = -i*n + 20. Are w and 2/9 equal?
False
Suppose 19*i + 5*a = 16*i + 718, 0 = -i - a + 238. Suppose 61 + i = -27*y. Which is smaller: -9 or y?
y
Let i be 3*((-4)/54 - (-16)/72). Let w be 15*(-2)/(-3)*1. Suppose s + w = 11. Which is smaller: i or s?
i
Let x = 20 - 16. Let c = -25945/33 - -2369/3. Is c less than x?
True
Let h be 3 - 31147/2 - (143/26 + -7). Which is bigger: 2 or h?
2
Let j(z) = -z**3 + 12*z**2 - 12*z + 11. Let k be j(11). Let o(m) = -m**3 - 2*m**2 + 4*m + 1. Let l be o(-3). Let r be ((-6)/(-18))/(l/4). Is k less than r?
False
Suppose -5*r + q - 13935 = 0, 0 = 18*r - 17*r + q + 2793. Does -8362/3 = r?
False
Let j be ((-165)/77 - (-1)/7) + -3. Let l be (-2 - -9) + -2 - j. Do l and 3 have the same value?
False
Suppose 32*g + 27*g + 12862 = 0. Let m = -1523/7 - g. Which is bigger: 1 or m?
1
Let h = -8965.06 - -8965. Is h >= -1.91?
True
Suppose 5*f + 237 = -3*i + 8, -55 = 5*f. Let w = 111 + -166. Is w greater than i?
True
Let i be (109/(-218))/((-2)/(-148)). Is i >= -30?
False
Let i = 422 - 825. Let x = i - -411. Do x and -0.4 have different values?
True
Suppose -3*d + 18 = z + 4*z, 0 = 4*d - 4. Suppose -z*u + 177 = -126. Is 102 at least as big as u?
True
Let m = -15 + 19. Let k be ((-516)/(-10))/((8/m)/24). Let z = k - 623. Which is bigger: z or -4?
z
Let p = 5 + 46. Let c = p - 50. Let n = -0.151 - -0.251. Which is greater: n or c?
c
Suppose 0 = 32*r - 31*r + 21. Which is bigger: r or -34?
r
Let w(m) = m**3 - 5*m**2 - 7*m + 3. Let y be w(6). Let a = -4796/3405 + -85/681. Which is smaller: y or a?
y
Let r = 2 + -2.2. Let g(m) = -13*m - 102. Let u = 461 - 468. Let v be g(u). Which is smaller: v or r?
v
Suppose 7*g - 32 + 277 = 0. Let z be (-4 - 150/g)/(-1). Which is greater: 19 or z?
19
Let b(g) = 2*g**3 + 6*g**2 + 61*g - 958. Let i be b(13). Is i < 5243?
False
Suppose 360 = 8*c - 5*c. Let t = c - 129. Let r be ((-3)/(-45))/(t/54). Is -2/125 bigger than r?
True
Let s = 29.942 + 0.058. Let r = s - 30.08. Let j = -13.8 + 14. Are r and j non-equal?
True
Let n = 25 - 22. Let p(w) = -w**2 - w + 4. Let u be p(n). Let t(a) = -a**2 - 8*a + 1. Let d be t(u). Is -2/23 > d?
False
Let o = 0.46 - -11.54. Let j = 8.65 + 1.35. Let t = o - j. Which is smaller: 9 or t?
t
Let x = -4 + -8. Suppose b + b - 3*n + 54 = 0, -3*b = 3*n + 51. Which is smaller: b or x?
b
Let i = 26816.2 - 26816. Which is bigger: -1014.5 or i?
i
Let m be (-30)/(-4)*(-3744)/(-120). Let q = 160 + m. Is q at most 1?
False
Let n = 6473 + -6500. Does n = -27?
True
Suppose -2*w + 5*m = -16623, 12*w - 4*m - 16628 = 10*w. Which is smaller: 8323 or w?
8323
Suppose 0 = -16*j + 13*j - 33. Let q be 12/(-1186)*j/(-33). Which is greater: 0 or q?
0
Let l(g) be the first derivative of g**3/3 + 13*g**2/2 - 2*g - 15. Let c be l(-13). Let b be 4 - (-1 + c + -6). Which is smaller: 23/2 or b?
23/2
Suppose 3*g - 7*g - 16 = 0. Let m be (1/(-66))/(g/(-16)). Suppose 0 = -17*d - 68*d. Is m at least d?
False
Let m be ((-12)/(-9) - 2)/((-1)/3). Let t be ((-2)/588*m)/(-1). Are 0 and t nonequal?
True
Let m(p) = 203*p - 839. Let q be m(7). Which is smaller: 586 or q?
q
Let v = -147 - -149. Let w be (v + 16/(-10))*10 - -47. Is w not equal to 51?
False
Suppose 0 = 3*w - 10 - 20. Suppose -16*d = -w*d + 18. Is d < -2?
True
Suppose 9*c = 6*c - 93. Let s(f) = -f**2 + f + 24. Let m be s(7). Let w be (-6)/m*c*3. Is -31 greater than or equal to w?
True
Let s = -1/1078 + -1615/2156. Which is greater: s or 131?
131
Suppose -328 = 12*i - 316. Is i at most as big as 9/1496?
True
Let q(z) = z**3 - 10*z**2 - 2*z + 5. Let u be q(9). Let m = -94 - u. Is 2/509 <= m?
False
Suppose -6*v + 3*s + 4464 = -11*v, 3*s - 2664 = 3*v. Is 0 > v?
True
Let q be (7 - 126/45)*(-2333)/(-15). Let n = 653 - q. Which is greater: -1 or n?
n
Let p be 5*(78240/(-100))/1. Is -7825/2 at most p?
True
Let z = 0.39558 - 0.05558. Is -86 < z?
True
Let x = -582 + 584. Let f(q) = -q**2 + 8*q - 2. Let y be f(6). Suppose k - 5*k - 4*z + 16 = 0, -y = -5*z. Is k bigger than x?
False
Let o be (10/44*(-188)/127135)/(-1). Which is bigger: o or 0?
o
Let u = -1779 - -1695. Which is smaller: u or 0?
u
Let c be -1*(4/(-126))/2. Let v = -12827 + 12827. Which is bigger: c or v?
c
Let m(c) = -c**2 - 72*c - 747. Let z be m(-61). Do -109 and z have the same value?
False
Let p be 606/(-505)*(8058/4 + 3). Do -2421 and p have different values?
False
Suppose -4*p = 5*w - 81, -3*p = -2*w + 15 + 22. Let b be 18/2 - ((w - 3) + -14). Which is smaller: b or 83/10?
83/10
Suppose u + 1552 = g, g + 5*u = 1883 - 343. Which is smaller: g or 1557?
g
Let r = 11.6 + 1.2. Let q = 13 - r. Let n = q - 0.1. Which is greater: n or -36?
n
Suppose 17*n - 4 = 15*n + 5*q, -n + 2*q + 2 = 0. Which is bigger: n or 106?
106
Let g(w) = -9*w - 478. Let f be g(-22). Is -283 < f?
True
Let r = 26 + -26. Suppose 0 = -17*g + g + 96. Let x be (0 - (-12)/9)*g/332. Which is bigger: r or x?
x
Let z = -193 + -750. Let n = z - -624. Is n > -319?
False
Let t = 0.11621 - -1.88379. Is 1305 > t?
True
Let u be (-2 + 1)*(-16 - (-41 - -23)). Suppose 4*a + a = 25. Let g be (a - 2)/(3/u). Which is smaller: -4 or g?
-4
Suppose -17*j = -21*j + 8. Let o be (-6 - -7)/(1/j). Let v be 4 + (2 - (o + 2)). Which is smaller: v or 4?
v
Let b = 0.21383 - -0.68617. Are b and 25.3 unequal?
True
Let g(f) be the first derivative of -12 + 2/3*f**3 - 11*f - 4*f**2. Let x be g(5). Which is greater: -15 or x?
x
Let t = -0.8169 - 0.0011. Let y = 0.182 - t. Are -4 and y nonequal?
True
Suppose 18*z + 20 = 38. Let h = 49 + -16. Let s = -50 + h. Is s at least as big as z?
False
Let y = -11.9 + 5. Let c = -10269 + 10277.9. Let x = y + c. Which is smaller: 49 or x?
x
Let t = -3569 - -3054. Which is