e
Let h = -492 - -690. Is 198 at least h?
True
Let u = -2309 + 6988/3. Which is greater: -2 or u?
u
Suppose 0 = 2*y + l + 8, -3*y + 20 = -4*l - 1. Let h = -3/452 + 641/28476. Is y at most h?
True
Let y(w) = -9*w - 28. Let o be y(-3). Is 5/213 > o?
True
Suppose -3*f - 24 = 5*q, 2*q - 4*q = -f + 3. Suppose -4*j = -2*m + 16, 8 = 4*m - 0. Let i = -5 - j. Which is bigger: i or f?
i
Let g = 0.8 + -0.9. Let h be (22/33)/((-16)/(-18)). Is g less than or equal to h?
True
Let y(i) = -2*i**2 + 6*i - 10. Let b be y(4). Which is smaller: b or -12?
b
Suppose 0*n - 3*n - 15 = 0. Let k be 24/60 + 2/n. Let y be k/(-2)*7/(-21). Which is bigger: 6/7 or y?
6/7
Suppose -4*b + 2*b = -92. Suppose -b = -3*w + a, 4*w + 3*a - 10 = 34. Which is greater: 16 or w?
16
Let k be (60/25)/(6/(-20)). Let t be (k/6)/(28/(-12)*2). Which is smaller: t or -37?
-37
Let n = -0.134 - -0.072. Let d = n - -0.002. Which is greater: 0.4 or d?
0.4
Suppose -187*t + 163*t = -648. Is 36 <= t?
False
Let x = 2.1 + -1.1. Let h = -0.3 + -2.7. Let w = h + x. Which is smaller: -1/2 or w?
w
Let g = 29 - 51. Let y be 1 + (5/(-15))/((-12)/(-45)). Is y != g?
True
Let i = -152483/388 - -393. Which is bigger: -1 or i?
i
Let x(n) = 2*n**3 - 6*n**2 - 3*n + 3. Let q be x(3). Let w be (-1 - -4)*(-28)/21. Let l be 22/w - (2 + -2). Which is smaller: l or q?
q
Let y(q) = q**2 - q - 1. Let t be y(2). Let a be (-5)/t + 8/4. Let m = -8 + 7. Which is greater: a or m?
m
Suppose -4*w + 1307 = 5*a - 154, a = 3*w - 1072. Which is bigger: 360 or w?
360
Suppose 0 = -8*b + 3*b. Let a = -7 + b. Let t = -7 + 4. Which is bigger: a or t?
t
Let n be (-37 - -34)*(2 - (-8)/(-6)). Which is bigger: n or -26/5?
n
Let f be 124/(-651) - (-1)/(-7). Do 1/2 and f have the same value?
False
Let k be 1*1/4 + 5391/36. Let g = k - 151. Is -4/7 at least as big as g?
True
Suppose 8*z - 6*z = 40. Suppose 4*f = -f + z. Suppose u - f*u = 9. Which is bigger: -1 or u?
-1
Let b(r) = -r**2 + 10*r - 19. Let g be b(7). Let a = 198/19 + -1413/152. Is a > g?
False
Let o be (-248)/(-966) + (-1)/(42/12). Let y be (-4)/((-180)/(-55)) - 4/(-18). Which is smaller: y or o?
y
Let h = -4 - -30. Let s = h + -26.06. Which is smaller: s or 0.5?
s
Let p be (-2)/6*24/4. Let i be (-3)/(-1) - ((-108)/(-22) + p). Are i and -1 nonequal?
True
Let o = 2418 - 2419. Which is greater: 22/97 or o?
22/97
Let s = 481/8 - 60. Let t be ((0 + 24)/(-2))/(-2). Suppose 0 = t*d - 0 + 6. Is s not equal to d?
True
Let v = 75 - 51. Let w = -73/3 + v. Let f = -0.7 + -0.3. Which is bigger: f or w?
w
Suppose 0 = -6*m - 5*m. Do m and 6/161 have the same value?
False
Let i = -17 - -14. Let n be 3 + 4*i/(-12). Suppose 10 + 0 = 2*q. Which is greater: q or n?
q
Suppose 22*w - 14*w = -976. Let m = w - -122. Which is greater: 2/11 or m?
2/11
Let m be 772/(-3856)*-10 - 2. Which is smaller: 0 or m?
0
Suppose 4*d + 2*c - 16 = 0, d = 5*c - 11 - 7. Let a(x) = -x**2 + 25*x + 368. Let b be a(35). Which is smaller: d or b?
d
Suppose 5*i + 483 + 217 = 0. Let a(r) = -r**2 + r - 3. Let k be a(4). Let q be i/k - 2/6. Do 9 and q have the same value?
True
Suppose -r + 60 = 3*r. Let n be (-15)/(7/(14/(-3))). Which is bigger: n or r?
r
Let f(d) = 6*d - 3. Let n be f(2). Let b be 105/56*2/n. Which is smaller: 1 or b?
b
Suppose -131*l + 132*l + 24 = 0. Is l less than 1/20?
True
Let h = 250 + -248. Which is smaller: h or 3?
h
Let p = 0.238 + -10.218. Let c = p + 10. Let k = c + -0.22. Does k = 0.4?
False
Suppose 0*y + 2*y = 4*y. Suppose -4*x - 2*k + 10 = y, 0 = 2*x - 6*k + k - 23. Which is greater: -2/9 or x?
x
Suppose 4 = -17*y + 21. Is 5/3 greater than y?
True
Let c(x) = x**2 + 4*x. Let l be c(-3). Let a = 75 + -52. Let o = a + -23. Is l at least o?
False
Let s = 55.669 + -0.969. Let h = -55 + s. Is h not equal to 1/3?
True
Suppose 0 = 3*g + 2 - 8. Suppose p + g = 5*h + 9, -1 = -3*p - 5*h. Let a be 9/30*10/4. Which is smaller: a or p?
a
Let i = 42695098/4155429 - 2/81479. Let a = i + 120/17. Is a smaller than 17?
False
Let b(y) = y**3 + 6*y**2 - 2*y + 7. Let r be b(-6). Let m = r + -14. Let u(n) = -n**2 + 4*n + 6. Let s be u(m). Are s and -1/12 unequal?
True
Let f = -715571/65 - -11009. Which is smaller: f or -1?
-1
Let c = 33 - 8. Suppose 0 = 10*a - 5*a + 700. Let v be 1/((-6)/a) + (-2)/(-3). Is v at least as big as c?
False
Suppose 3*h + 2*z - 56 + 18 = 0, -5*h + 78 = -4*z. Let b be 67*(-2)/h + 6/(-14). Which is bigger: b or -9?
-9
Suppose 2*i + 4*t = 278, 133 + 288 = 3*i + 4*t. Is 144 less than i?
False
Let o = -28 + 28.18. Let l = o - -0.82. Let c be (-1)/(-10) + 1/(-2). Which is smaller: l or c?
c
Suppose -w - 1 = 1, -5*r + w + 22 = 0. Let a be 1/r - 90/160. Let k = a + 9/16. Which is smaller: -1 or k?
-1
Let m be (-16)/(-32) - (-23)/(-26). Is 1 not equal to m?
True
Let o be 6/40*5/(-48). Suppose -3*q + 5*q + 2 = 0. Which is smaller: o or q?
q
Let y = -2 + 4. Let j = 3 + y. Suppose -j = -v - 4*v. Which is greater: 2/9 or v?
v
Suppose l = -2*s + 10, -5*l + 3*s - 13 = 2. Suppose 5*y + 14 = -l*j + 4*j, -1 = 3*j + 2*y. Let f be 7/4*(-51)/(-238). Which is smaller: j or f?
f
Let h = 367232/119 + -3086. Is h < -1?
False
Let w = -67 - 100. Let u = w + 1331/8. Is -1 >= u?
False
Let g = -747 + 746. Which is bigger: g or 142?
142
Suppose -x = -4*z - 297, 3*z + 225 = x + 2*x. Which is bigger: -72 or z?
-72
Let f(m) = m**3 + 11*m**2 + 11*m - 16. Let i be f(-8). Which is smaller: 1/4 or i?
1/4
Let y = 22299/11 + -2022. Is y <= -0.1?
False
Let d = -904825/19863 - 5/2207. Let h = -2158/45 - d. Let v be (-3)/(0 + (-6)/(-4)). Which is bigger: v or h?
v
Suppose q - 5*q - 100 = 0. Let w(y) be the third derivative of -y**4/12 - 7*y**3/3 - 11*y**2. Let d be w(6). Which is smaller: d or q?
d
Suppose -2*g + 1 = -3*c, 4*g + 2*c - 29 = -35. Does -2/129 = g?
False
Let p = -7.8 - -8. Let u = -8 + 4. Let x(a) = a**2 + 4*a - 1. Let w be x(u). Which is smaller: p or w?
w
Let j be 11*-2*63/10. Let c = j - -139. Which is smaller: c or -9?
-9
Let c = -1037/3 + 9437/39. Let i = c - -104. Which is bigger: 1 or i?
1
Let p(c) = -c**2 - 24*c - 93. Let y be p(-19). Which is greater: y or -36?
y
Let w = -10 - -8. Let r be (w/4)/((-310)/60). Is -1 != r?
True
Let q = -1070 - -235. Which is greater: -836 or q?
q
Suppose 15*n = 20*n + 165. Let x = -29 - n. Suppose -5*h + 20 = 0, 0*f - x*h + 18 = -2*f. Which is smaller: -1/4 or f?
f
Suppose -i = -0*i - 1. Let c = -1820 + 1820. Are i and c nonequal?
True
Let k = 37 - 70. Let t = 29.2 + k. Let q = 0.8 + t. Is -1/2 less than q?
False
Let i = 2 + 1. Suppose 0 = 12*a - 11*a. Suppose -2*s + 3*j + 2*j + 11 = 0, -s + 3*j + 6 = a. Is s greater than i?
False
Let s = 4.5 + -3.3. Let t = s + 4.8. Let d = 3 + t. Is 0.1 <= d?
True
Let q(p) = 146*p + 221. Let y be q(4). Which is greater: 806 or y?
806
Let k = 25876/15 + -1724. Which is smaller: 2 or k?
k
Let g = 209 + -2099/10. Is 2/5 <= g?
False
Let s(m) = -m**2 - 18*m - 71. Let r be s(-10). Which is greater: 55/7 or r?
r
Let p = -20162/20835 + -14/1389. Let m = p - -6/5. Which is smaller: 0 or m?
0
Let v(f) = -f**3 - 6*f**2 + 5*f + 7. Let o be v(-6). Let z = 47 - 63. Let h = -38 - z. Is h greater than o?
True
Let y be (120/(-18) - -6) + 2. Let d = 1 - -2. Suppose o + 2 = 4*q, d*o - 5*o - 4*q + 8 = 0. Is o less than y?
False
Let h(i) = -2*i**3 + i**2 - i - 2. Let q be h(2). Suppose -35*l + 14 = -2*w - 37*l, w = -2*l - 2. Are w and q nonequal?
True
Let t = -167 - -184. Suppose t*l = -4*l - 21. Let q be 2/65*(0 + 5). Which is smaller: q or l?
l
Let m be (-145)/(-54)*(-72)/225. Let o = 7/27 + m. Let z = 0.82 + -0.62. Is o >= z?
False
Let s = 639 - 610. Let j be 8/8 + 2/(-6). Which is bigger: j or s?
s
Let r = 144.1 + -145.1. Which is smaller: 44 or r?
r
Let i = 32 - 11. Suppose 5*r = -2*o + 20, -3*r = o - i + 8. Let p = r + -7. Which is greater: -1/8 or p?
-1/8
Let z be 4 - 4/(-52)*143/(-22). Let a(i) = -i + 1. Let p be a(-2). Is z < p?
False
Let z = -8 - -9. Let k = -108.7 - -112. Which is bigger: z or k?
k
Let d(s) = 28*s**2 - 2*s - 1. Let f be d(-1). Let p(w) = -w**3 + 6*w**2 - 2*w + 5. Let q be p(4). Is q greater than f?
False
Let a be -2 - (4/2 - 9). Let q be ((-8)/35)/(a/(-50)). Let t(c) = c**3 - 17*c**2 - c + 19. Let v be t(17). Is q <= v?
False
Suppose -3 = 5*c - 13. Suppose 9*u - 12*u = 0. Suppose c*v - 28 = -3*v + 2*n, u = -5*v - 5*n. Is 4 > v?
False
Let v