 - -148/9. Which is smaller: o or -0.2?
-0.2
Let m = -627 + 834. Which is greater: 209 or m?
209
Let h be 26/(-4) - (-8)/16. Let k be h - -5 - (-78)/82. Which is greater: -1 or k?
k
Suppose 54*u - 45*u + 27 = 0. Let r(q) = -2*q - 7. Let x be r(u). Is x >= -3/128?
False
Let z = 2528 + -7582/3. Is z > -413?
True
Let b(n) = 4*n + 1. Let w(h) = 5*h. Let o(c) = 6*b(c) - 5*w(c). Let q be o(4). Let i = 353 - 352. Is q < i?
False
Let z be 1*-5 + -1 - (-180 + 173). Which is smaller: 4/563 or z?
4/563
Let g(s) = -s**2 + 5*s. Suppose w - 2 = 3. Let z be g(w). Let h = 149 + -1041/7. Are h and z equal?
False
Let w = -9 - -13. Let i = w + -7. Suppose -52 - 44 = 32*l. Is l at least i?
True
Let r = 0.039 - 0.1. Let w = r - -0.191. Does 0.1 = w?
False
Let m be ((-27)/10)/(-5 + 198/45). Suppose -3*o + 4*b = -11, 5*b = -o + 2*o. Is o less than or equal to m?
False
Let z = 112 + -163. Let s = z + 62. Is s greater than or equal to 10?
True
Let s be (-39)/(-15) + (0/1 - 3). Suppose 0*w - 2*w + 24 = 5*d, 0 = -w + d + 5. Let z = w + -8. Are s and z equal?
False
Let j = -14517146 + 420934919/29. Let r = j - -2149. Which is greater: 0 or r?
r
Suppose -4*j - 257 = -5*n, -4*n + j = 3*j - 216. Which is smaller: n or 49?
49
Let f = -430.9 + 431. Is 257 > f?
True
Let c be 4*(-6)/(-4)*-1. Let h be c/(-27) - 8/(-126). Let x = 5.31 + -0.31. Which is greater: x or h?
x
Let l be 6/(-3) - 24/(-13). Suppose -4*h = -3*r + 4, 3*h + 2 = 3*r - 1. Are l and r nonequal?
True
Suppose -14 - 1 = -5*a. Suppose a + 9 = -2*l. Do l and -5 have different values?
True
Let y = -116/13099 - -175554770/222683. Let a = y + -788. Which is smaller: a or 0?
0
Suppose 9*g + 60 = 4*g. Suppose 0 = -17*x + 4*x - 65. Which is greater: g or x?
x
Let u(r) = -3*r + 79. Let v be u(7). Is 57 >= v?
False
Let v = -0.123 + -0.077. Which is smaller: v or -0.058?
v
Let y(o) = -o**3 - 3*o**2 + o + 5. Let z be y(-3). Suppose 0*a - z = -2*a. Which is smaller: a or 2?
a
Let s = 342/3451 - 20/119. Which is greater: 2 or s?
2
Let v(q) = -q**3 + q - 1. Let w(a) = 5*a**3 - 4*a**2 + 2*a - 2. Let m(r) = -4*v(r) - w(r). Let t be m(3). Is -3 at least t?
True
Let h = -1115/93 + -21/31. Is -2/7 less than or equal to h?
False
Let o be 3111/(-122)*(-4)/(-3). Is o at most 2?
True
Let f = 32 - 31.86. Let i = f - 2.14. Which is smaller: i or -5?
-5
Let b = 5 + -10. Let t be 12/b*(-35)/14. Let y = t + -3. Is y equal to 3?
True
Let u = 0.15 - -4.85. Let m be (-3)/(-9) - 4/3. Is u < m?
False
Let k be (-40)/18 - (-3 - -1). Let r(t) = t**2 + 13*t + 1. Suppose 5*v = 2*u - 64 - 11, -3*v + 5*u = 64. Let s be r(v). Which is bigger: s or k?
s
Let r be (2/(-15))/((-12)/10). Let s(c) = 2*c**3 + 20*c - c**3 - 1 - 21*c. Let o be s(-1). Which is smaller: r or o?
o
Suppose -4*z + 3*i - 71 = 0, 5*z + 2*i = -2*i - 50. Let r be 8/z + 2 + 1175/(-210). Are r and -0.1 equal?
False
Let s = -684 + 680.292. Let b = -0.008 - s. Let d = b + 0.3. Is 0 > d?
False
Let a = -186.01 + 186. Which is smaller: a or -3?
-3
Suppose 14*n - 20*n = -8*n. Which is bigger: -3/14 or n?
n
Suppose -53*l = -2*l - 51. Is -17.3 at least l?
False
Suppose 6*x = 4*x - 9*x. Which is greater: x or 6/265?
6/265
Let d = 152203/139 - 1095. Is -1 smaller than d?
True
Let n be (-3 - -4) + -2 - 5. Let w = 2 - n. Which is smaller: 9 or w?
w
Let l = -144 + 148. Which is bigger: 5 or l?
5
Let u be ((-2)/3)/(43 - 0). Suppose 5*b = 5*a - 25, 0 = 2*b - a + 12 - 7. Is b > u?
True
Let g = 37 - 155. Let y = -129 - g. Is y less than -7?
True
Let z = 228 + -226. Which is greater: z or 1?
z
Let a be ((-8)/(-6) - 1)*-12. Let c be (3 - (4 - 4)) + a. Which is greater: -16/7 or c?
c
Suppose 0 = -4*o - 5*x - 16, -21 = 2*o + 4*x - 7. Let q be (4 - 292/50) + 2. Is o equal to q?
False
Suppose -22*d = 358 - 1832. Is 77 < d?
False
Let c = -1118/9 - -124. Suppose -162 = -5*s + 183. Let y = -68 + s. Which is smaller: c or y?
c
Let i(c) be the first derivative of c**3/3 + 5*c**2/2 + 3*c - 2. Let k be i(-2). Let d be ((-8)/(-70))/((-18)/495). Which is smaller: d or k?
d
Let k = -327 + 329. Is 1 at most as big as k?
True
Suppose -5*u - b = 880, b - 567 = 4*u + 128. Which is smaller: -174 or u?
u
Let q be (-229)/(-46)*1 - 5. Is q < -1?
False
Let b be (-27)/(-3) - (-1 + 7). Let q be 1 + ((-96)/9)/(-4). Which is smaller: q or b?
b
Let x = 219 - 217.14. Let j = x + -0.16. Let d = j + -2.7. Is d < -1?
False
Suppose 11 + 10 = 3*h + 5*v, -5*h = 5*v - 25. Let p = -8/631 + 26606/8203. Is h != p?
True
Let p = -11.264 + -0.136. Let d = p - -11. Let w = d - -0.3. Which is bigger: w or 0.1?
0.1
Let d(x) = -x**2 + 6*x - 13. Let s be d(9). Suppose 5*y = -0*y - 5*f - 185, -5*y - 191 = 2*f. Which is greater: s or y?
y
Let j = 496/75 - 162/25. Let f = 2 + -1. Is f greater than j?
True
Let t(r) = 4*r**2 - r - 25. Let y be t(5). Which is bigger: 71 or y?
71
Suppose x - f + 15 = 0, 3*x + 0*f = 2*f - 44. Let y = -5 + x. Which is greater: -20 or y?
y
Let q(s) = 3*s**3 + 2*s**2 - s - 3. Let d(h) = -h**3 - 9*h**2 + 11*h + 8. Let z be d(-10). Let b be q(z). Let v = 11 + b. Which is greater: -2/9 or v?
-2/9
Suppose -i + 9 = -2*q, 5*q - 25 + 46 = i. Which is bigger: i or -2/2617?
i
Let a = -42 + 41.92. Which is greater: a or 0.3?
0.3
Let h = 679 - 678.7. Which is bigger: h or 1?
1
Let r be 0 + 2 - 159/6. Let a(g) = g**3 - 5*g**2 - g - 4. Let f be a(3). Let n = r - f. Which is greater: n or 0?
n
Let j = -505 - -504. Which is bigger: 2/847 or j?
2/847
Suppose -6*b - 104 = -10*b. Let s = 26 - b. Is s < -2/7?
False
Let t(r) = 6*r - 14. Let z be t(10). Let n = 95/2 - z. Is -1/3 != n?
True
Suppose -i = 3*i - 12. Suppose -4*c = -8*c - 12. Let z be -4 + 1 + 6*(c - -4). Is i at most as big as z?
True
Let u be (-2)/(-8) - (-1398)/(-24). Which is greater: u or -51?
-51
Let g(u) = u**2 - 6*u + 2. Let j be g(-4). Let c be ((-12)/32)/(1/(8/j)). Let k(d) = -d**3 + 5*d**2 - 1. Let r be k(5). Which is smaller: c or r?
r
Suppose 2*o + 0*j = -3*j + 14, 4 = j. Let p = 4 - o. Let t be (-98)/16 + p - -3. Is t less than 1?
True
Let y = -127 + 129. Is 8/9 bigger than y?
False
Let d = -75590/63 + 1200. Is d at most 1?
True
Let b be (1 + (-6)/4)/(3/72). Which is smaller: b or -0.02?
b
Let i(g) = 3 - 2 + 3*g**2 - 2*g**2 - 6. Let r be i(-3). Suppose -r*u + 8*u = 0. Is -2/31 less than or equal to u?
True
Let z(v) = -v**2 - v + 4. Let n be ((-3)/(-4))/((-1)/4). Let d be z(n). Let y(b) = b + 6. Let a be y(-10). Is d bigger than a?
True
Suppose -4*p = -3*v - 12, 2*p - 14 = -2*v - 8. Which is greater: v or 8/35?
8/35
Let k = -348 - -346. Is k < 18?
True
Let f be ((-142)/(-4))/(4/8). Suppose 4*t - 4*a = -27 + f, -a = t - 1. Which is smaller: t or 4?
4
Let l = -4 + 2. Let p = -0.8 + -0.1. Let i = p + 0.7. Is l <= i?
True
Let m be (-60)/381*75/50. Which is greater: m or 0?
0
Let p(b) = b**3 + 13*b**2 + 10*b - 18. Let y be p(-12). Let f be y/3 + -5 - 16. Which is bigger: -18 or f?
-18
Suppose -3*t = 3*p - 195, -10*p + 264 = 4*t - 7*p. Which is smaller: t or 70?
t
Suppose -5*b + 100 = -435. Are b and 107 unequal?
False
Let d = 0.54 - 0.12. Let p = -0.014 - -0.034. Let w = p - d. Which is bigger: w or 0.1?
0.1
Let k be ((-102)/14025)/(19/(-10) - -2). Is k >= 1?
False
Suppose -3*j = -i - 595 + 72, 2*i = 4*j - 700. Let c = 223 - j. Which is bigger: c or 1?
c
Suppose -4*r + 58 = 3*m, -3*r = -4*m - 0*r + 44. Let v = -46/297 - -8111/594. Which is greater: m or v?
m
Let n(w) = w**3 + 2*w**2 - 3*w + 2. Let x be n(1). Let f be (x/(-16))/(4/(-24)). Which is bigger: f or -0.1?
f
Let s = 0.95 + -3.95. Which is smaller: -194 or s?
-194
Let p be 2/4 - (-1)/(-4). Let m = 3.37 + -46.27. Let c = 43 + m. Is p at least c?
True
Let s be (57/874)/((-66)/8). Is s less than or equal to -1?
False
Let d(l) = 9*l - 39. Let v be d(6). Let x be (55/v + -4)/(14/(-240)). Which is smaller: x or 7?
x
Let m = -5 + -5. Let l be 2808/(-324) - ((-1)/1)/(-3). Which is bigger: m or l?
l
Let h(m) = -123*m - 64. Let y be h(-2). Which is smaller: y or 177?
177
Let y be (-6)/(-10)*(-140 - -9)*5. Which is bigger: y or -392?
-392
Let k(s) = -18*s - 1. Suppose -t - 1 = -4*j - 3, -j - 5*t + 10 = 0. Let w be k(j). Let x be 3/(-9) + (-8)/(-15). Which is smaller: w or x?
w
Let j = -13.9 - -15.9. Is j > 102?
False
Suppose 0 = -66*z + 91*z - 825. Is z at most -2/5?
False
Suppose -3 = 8*p - 9*p. Suppose 1 = 2*t + p, 0 = -4*x - 2*t 