36 - 76. Let z = o + 24. Which is smaller: -1/3 or z?
z
Suppose 0*y - 5*y - 25 = 0. Let u be (y - -4)/(1/1). Is 1/4 > u?
True
Let p = 227 - 230.18. Let a = p - -3.4. Which is smaller: a or 2/9?
a
Let p = -117 + 117.81. Let y = p + -0.83. Is 0 <= y?
False
Suppose 278 = -2*q + 5*k, -3*k - 417 = -3*q + 6*q. Is q smaller than -137?
True
Suppose 44*n + 771 = 47*n. Is n at least 515/2?
False
Let f be ((-5)/8 - -1)/(54/(-36)). Which is bigger: f or 1/24?
1/24
Let h = -135 - -13. Is -123 equal to h?
False
Suppose 0 = 4*s + 2*t - 16, -3*t - t = 3*s - 12. Let b(c) = c**2. Let f(w) = 2*w**2 - w - 4. Let n(z) = b(z) - f(z). Let g be n(s). Is -8 at least as big as g?
True
Let v(d) = 3*d - 21. Let g be v(7). Which is greater: 586 or g?
586
Let g(k) = -192*k**3 + k**2. Let n be g(1). Let d = -1558694/8113 + -23/1159. Let l = d - n. Is 0 bigger than l?
True
Let c(z) be the first derivative of z**4/4 - z**2/2 + 5. Let q be c(0). Let l be 14/(-35) - 4/(-10). Is q at least l?
True
Suppose -21 = 3*k + 24. Let j = k + 14. Let z be (2/(-3))/((-2)/(-9)). Which is smaller: z or j?
z
Let p = 187 + -163. Is p greater than 24?
False
Let b = -0.6 - -1.5. Suppose -5*c = y - 38 - 9, 0 = -2*c + 4*y + 10. Suppose -3*w + 11 = -k, 3*k - w + c = 2*w. Is b equal to k?
False
Let o be ((-2)/5)/((-3)/(-90)). Let x(l) = -l - 10. Let t be x(o). Which is greater: 1 or t?
t
Suppose -22 = -15*b - 22. Is 3/52 greater than or equal to b?
True
Let t be 1859/4697 + 3 + (-24)/7. Let k be (-1 - 0)/((-1)/(-1)). Is k bigger than t?
False
Let d = 119 + -120. Let o be (-3 - -6) + d/1 + -2. Which is greater: o or 4/67?
4/67
Let c = -0.12 + 0.72. Let x = c - 0.54. Let s = -1.94 - x. Which is smaller: s or 0.5?
s
Let x = -189 + 272. Is x greater than 82?
True
Let o = -3/229 + -347/8473. Let n(f) = -118*f - 126*f + 29 + 247*f. Let t be n(-10). Which is smaller: o or t?
t
Let d = -1687/2 + 843. Is d at most -985?
False
Let l be (-3)/1*-4*44/24. Let q be 9/11 + 4/l. Are 10/9 and q nonequal?
True
Let d = 1.2 - 0.2. Let z = 78.1 - 94. Let c = z - -16. Is d bigger than c?
True
Let l be -1 + 4 - 129/(-12). Let s = l - 1053/76. Is s < 1?
True
Suppose q = 36 - 35. Let o be (-6)/(-27) - 43/(-9). Let f(b) = -b**3 + 4*b**2 + 5*b + 1. Let p be f(o). Is q smaller than p?
False
Let v = -1.2 - -31.2. Let q = -176 + 166. Let t = q + v. Which is smaller: t or 0?
0
Let a = 0.086 + -61.086. Let g = 48 + a. Which is smaller: g or 5?
g
Let b = -31 - -35. Suppose 2*h - 2 = -b. Is h smaller than -2/27?
True
Let d = 131 + -130. Which is bigger: d or 88?
88
Let w = 15 - 13.6. Let l = w + 2.6. Let a = l + -4.1. Which is bigger: a or -1/4?
a
Let d be (3/(-9))/((-3)/30). Suppose -w - w = -6. Suppose 3*a - 8 = -4*v - 3, -2*a = w*v - 3. Is d at most a?
False
Let x = -57 + 63. Let j(i) = i**3 - 5*i**2 - 9*i + 22. Let s be j(x). Is s greater than 0?
True
Let c = 9 - 5. Suppose -2*m - i = 1, -3*m = 2*m + c*i + 1. Let t = 33 + -35. Is t at most as big as m?
True
Let s = -47.2 - -53. Let h = s - 6. Let q(i) = -4*i + 24. Let v be q(6). Which is smaller: v or h?
h
Suppose -9*w - 117 = 4*w. Let c be (6/16)/(w/6). Let v = 5/2 + -3. Do c and v have different values?
True
Let s be 164/(-110) - (-1 - 12/(-20)). Is 0 < s?
False
Let y = 41145 + -287514/7. Let f = 71 - y. Which is smaller: 6 or f?
f
Let q be (-36)/(-24) - (-30)/4. Let n be 0 + 4 - (11 - q). Is n not equal to 1.8?
True
Suppose f + 723 = -5*h, -9*h = -7*h - f + 285. Do -146 and h have different values?
True
Let a be 20/50 - (-176)/10. Suppose z + 12 = 4*l, 4*l + 26 = 5*z + 70. Let t(g) = -g**2 - 11*g - 7. Let u be t(z). Is u at most as big as a?
True
Let d(v) = v + 2. Let w be d(3). Suppose w + 37 = 7*p. Which is smaller: 10 or p?
p
Let a be (2524/(-6))/((-8)/3). Let i = 157 - a. Do i and 1 have the same value?
False
Let f be 10/3*24/16 - 0. Let s = 4 + 0. Which is greater: s or f?
f
Suppose 5*v + 5*i = 5, -4*v + 19 = -v - 5*i. Suppose -v = 5*h - 33. Which is smaller: h or 4?
4
Suppose -2*f + j + 11 = 0, 3*j - 4 + 32 = 5*f. Suppose f*u = 10 - 150. Let y be (-6)/21*u/8. Is -2/7 less than or equal to y?
True
Let m = -74 - -75.13. Let p = m - 0.13. Which is smaller: -1 or p?
-1
Let h = -218 + 150. Which is smaller: h or -2?
h
Let z be (3 + -16)*1*1/15. Which is smaller: z or 0?
z
Let z = 16.14 - 0.14. Let b = -10.84 + -0.16. Let g = b + z. Is g at most as big as 0?
False
Suppose -p = d + 3, -5*d - 2*p = -0*p. Let o be 0 - (0 + d + -2). Suppose 0 = 5*z - o*z - 10. Which is greater: 8 or z?
8
Suppose v - 2*u = -27 + 3, -3*u + 85 = -5*v. Which is greater: -9 or v?
-9
Suppose -4*s - 77 + 3 = 2*j, 3*s - j = -53. Is -21 bigger than s?
False
Let m = 0.6 - -1.4. Let f = -0.018 + -0.072. Let v = 0.11 - f. Are v and m equal?
False
Let m be (-148925)/230 - 9/(-2). Which is greater: m or -642?
-642
Suppose 0 = -4*i - k - 12, -2*k + 15 = -5*i + k. Let l be 10 + -1 - (i + 4). Let u be (-1)/(-2) + (-20)/l. Is u at least as big as -2?
True
Let r(f) = -3*f + 31. Let a be r(9). Let j be 2*(-4 + -12)/a. Are -8 and j equal?
True
Suppose 0 = -0*h + h - 3. Let n be (-12)/32*h/9. Which is greater: n or 1?
1
Let d = -36 - -30. Let q be 22/d + -1*(-2)/(-6). Which is bigger: -6 or q?
q
Let j = 1023 + -13298/13. Is j at least -3/5?
True
Suppose -j - f + 3 = 0, 5*j - 5 = f + 4. Suppose -10 = -j*i - 3*c, 3*i + 4 + 0 = 5*c. Suppose -15*b + 74 = 8 + 21. Is i <= b?
True
Let h = -23083/113827 + -3/2323. Is h at most as big as 0?
True
Suppose -69 + 61 = -8*x. Is -5/28 < x?
True
Suppose -12 = 4*f - 2*i, -8 = f + 3*i + 2. Which is greater: -52/11 or f?
f
Let q = 2047 - 2079. Is -30 smaller than q?
False
Let n = -18.2 + 18.3. Which is smaller: -1/74 or n?
-1/74
Let y(v) = -v. Let s be y(5). Suppose 4*k + 21 = -7*g + 4*g, 0 = -4*g + 4*k. Is s at most g?
True
Suppose -3*x = 4*w + 3, w - 3 = 3*x - 3*w. Let s be (-50)/(-25)*(-26)/28. Let c = s + 37/35. Which is greater: x or c?
c
Let n be -2 - (6 - 4)/2. Let b be (-1)/(-2)*(n + 401). Let j be (-3 + b/65)*5. Do 1/3 and j have the same value?
False
Let m be (-2)/6*-12*1. Suppose 392 = m*i + h, -i + 0*h = -h - 93. Are i and 98 equal?
False
Suppose 14*l - 55 = 9*l. Suppose -5*n - 29 = l. Let z(w) = -4*w**3 + w**2 - 2*w + 1. Let p be z(1). Do p and n have the same value?
False
Let b(d) = -d**2 - 13*d - 5. Let r(c) = -c**2 - 12*c - 5. Let v(p) = 2*b(p) - 3*r(p). Let i be v(-7). Which is greater: -17 or i?
i
Let l(r) = -r**3 - 46*r**2 - 88*r. Let u be l(-2). Let n = -10 - -14. Let j = n - 1. Is u > j?
False
Let m = -1171 + 843. Is m greater than or equal to -328?
True
Let v = -393700/9 + 43812. Is 68 less than v?
False
Let j be (-9)/(99/275)*104/10. Is j equal to -257?
False
Let z = 420 - 421.2. Let y = -28/9 + 382/117. Let p = -32/39 + y. Do p and z have different values?
True
Suppose 2*i - 13 - 69 = 0. Let t(v) = -v**2 - 13*v + 11. Let a be t(-10). Does i = a?
True
Let v be 11/22 + 1/2. Let q = -2/265 + -701/12455. Is v less than or equal to q?
False
Let w = 1365 - 1366. Let o = 105149/97 - 1084. Is o at least w?
True
Suppose -10 = -6*o + 8. Suppose 0 = o*a + 3*a + 12. Is -7/9 smaller than a?
False
Let f = 46/5 + -19/2. Do f and -1 have the same value?
False
Let h be 2 - (1/(-2) + 7/2). Is 1/50 >= h?
True
Let s(y) = -13*y**2 + 21*y**2 + 2 - 16*y - 9*y**2. Let h be s(-16). Let j = 1 - 1. Which is smaller: h or j?
j
Let t = -79 + 233/3. Is t less than 0.01?
True
Let d(f) = 61*f + 428. Let v be d(-7). Which is greater: v or -2/3507?
v
Let z be ((-544)/(-476))/(-1*2). Which is smaller: -2.5 or z?
-2.5
Suppose 3*w + 3875 = -2479. Let i be ((-12)/36)/((-2)/w). Let f = i + 9887/28. Which is smaller: f or 1?
f
Let j = -187 + 181. Which is greater: 8 or j?
8
Suppose -5*a + 336 = 4*d, -4*d - 2*a + 152 + 196 = 0. Is 89 bigger than d?
False
Let w be -1*(0 - 3) + -6 + 2. Is w greater than or equal to -3/59?
False
Let a = 1031 + -830. Which is greater: 194 or a?
a
Suppose 4*j - 7 = 3*n, -2*n - 76 = 4*j - 58. Let d = -718/405 - 2/405. Are j and d equal?
False
Let s = -119 + 83. Let i(o) = o**3 - 6*o**2 + o - 6. Let z be i(6). Are s and z nonequal?
True
Let d = -4133/24 + 520/3. Suppose -w - 4 = -1, 5*s = 4*w + 22. Is s <= d?
False
Let n(j) = 3*j**2 - j + 2. Let y be n(-2). Let z = 95.58 + -95. Let w = z - -0.42. Which is bigger: y or w?
y
Let x = 1 + -3. Suppose 7*s + 5 + 2 = 0. Which is