 0.4. Let h = i - 1.5. Which is smaller: -2 or h?
-2
Let w = -299/4 - -8679/116. Is -1 greater than w?
False
Suppose -5*s - 4 = 16. Is s greater than -3?
False
Let l = 168/23 - 45001/6164. Let z = 547/2948 - l. Are 0 and z non-equal?
True
Let u(g) = g**3 + 7*g**2 + 2*g + 5. Let o be u(-7). Let n be (o/(-81))/((-1)/(-6)). Let k be 0 + -2 + 2 - 2. Which is smaller: n or k?
k
Let l = -19 - -20. Which is bigger: l or 0?
l
Let x be 2 + 68/(-36) + (-1)/3. Is x greater than 0.04?
False
Let n = 2634/17 + -155. Is n greater than 0?
False
Let l = -221/4 + 55. Suppose -q - q + 10 = 2*i, q = 5*i - 1. Which is smaller: l or i?
l
Let l(i) = -i - 2. Let m(a) = 3*a + 6. Let d(j) = 7*l(j) + 2*m(j). Let u be d(-2). Suppose u = 2*v - v - 1. Is v at least as big as 1?
True
Let h = -2946535 - -6865429539/2330. Let k = 4/233 + h. Let l = k + -4/5. Is l less than or equal to 1?
True
Suppose -3*k - 10 + 28 = 0. Let m(p) = p**2 - 7*p + 4. Let q be m(k). Which is greater: q or -1?
-1
Let q = 0.01 + 0.09. Let s = q - 0.04. Let i = s - 2.06. Is i > 1?
False
Suppose -4 + 7 = 3*k. Let z = 5663/8 + -707. Which is smaller: z or k?
z
Let v = -6 + 2. Let j be 0/2*v/(-8). Let h = 617/84 - 29/4. Which is smaller: j or h?
j
Let o = 5 + -3. Suppose 3 = m + o. Let q be (0/(-1))/(0 - 1). Which is smaller: m or q?
q
Let t(c) = -c**3 - c**2 - 6. Let f be t(0). Let h = f + 4. Let z(s) = -2*s**2 + 5*s + 24. Let u be z(5). Which is smaller: u or h?
h
Let n be (-5)/((-375)/(-144)) + 2. Are n and -1 equal?
False
Suppose -9*s + 3*s - 174 = 0. Is s < 0.1?
True
Suppose 0*y = 2*y. Suppose -i = 4*k - 13, -3*i + k = -y*k. Is 1/4 bigger than i?
False
Let n be 3 + 12/(-3) + -10. Which is greater: -12 or n?
n
Suppose 0 = -7*u + 111 + 43. Which is greater: u or 23?
23
Suppose -39 = 3*o - 18. Suppose -3*y = -4*y - 9. Which is smaller: o or y?
y
Let d be (31 - -2)*(-2)/(-6). Let n = d + -8. Suppose 4*w - 12 = -4*i, n*w - i = -6*i + 17. Which is greater: 0 or w?
0
Suppose -5*y + 31 = -9. Let b be (-3)/(2/(y/114)). Let r = 3 - 4. Is r less than or equal to b?
True
Suppose -4*l - 31 = -39. Let i be (39/(-15) - -2)*l. Is i less than or equal to -2?
False
Let h(g) = g - 8. Let a be h(7). Is a greater than -2/3?
False
Let u = 1072/9 + -120. Which is smaller: u or 0?
u
Let p be 2/((-2)/9) + -2. Suppose 0 = -46*n + 35*n - 121. Is n less than or equal to p?
True
Let x(b) = -2*b**3 - b**2 - 2*b. Let a be x(-2). Let o be (-36)/a - 1/(-4). Which is smaller: o or -1/4?
o
Let d = -96073/3 - -32403. Let g = 1105/3 - d. Let v = 11 + g. Do -0.2 and v have different values?
True
Suppose p - 2 = g + 2, -11 = 4*g - 3*p. Which is smaller: -2/35 or g?
-2/35
Let k(o) = 50*o. Let t be k(-4). Let g = 89743592/449217 + -2/49913. Let f = g + t. Is 0 smaller than f?
False
Let d = 1621/77 + 749/11. Suppose 33 + 56 = y. Let c = d - y. Does c = -1?
False
Let o(x) = -x**3 + 6*x**2 - 5*x + 4. Let l(h) = -h**3 - 6*h**2 + 7*h + 5. Let m be l(-7). Let k be o(m). Which is smaller: k or 5?
k
Suppose 3*f - 10 = f. Suppose -f*v + 0*v = 0. Let l = 399/8 - 50. Which is bigger: v or l?
v
Let n = 17.7 - 18. Is n less than 0.1?
True
Let s(o) = -o**3 - 4*o**2 + 7*o + 7. Let x be s(-5). Which is bigger: x or -7/4?
-7/4
Let k be (1 - 0)*2/7. Let m = 1 - 0. Which is bigger: m or k?
m
Let t = 34 - 39. Is t greater than -5?
False
Suppose 14 = -2*q + 4*q. Which is greater: 11 or q?
11
Let p = 1.56 + -0.16. Let f = -0.02 - -0.42. Let h = p - f. Is h at most as big as 0.3?
False
Suppose -2*d - 50 = 5*n + 5, -15 = 3*n. Is -1/2 at most d?
False
Let c = -1.16 + 1.1. Let y = 0.04 - c. Which is greater: y or -10?
y
Let m(d) = d**3 - 8*d**2 - 2. Let b be m(8). Let y be ((-5)/15)/(b/36). Let o = 2 - -5. Which is smaller: o or y?
y
Let s = 17 + -14. Suppose -s*m = -2*f + 9, 0 = -4*f + m - 3*m + 10. Which is greater: 2 or f?
f
Let p = 6 - 4. Let k be (1/2)/(4/p). Let f(q) = -q**2 + 2*q + 1. Let c be f(2). Which is bigger: k or c?
c
Let v(k) = -2*k - 17. Let m be v(-8). Is 0.05 >= m?
True
Let f = 116/9 + -4774/369. Is 0 equal to f?
False
Let t = -1125/5054 + 3/361. Let i = 2/7 - t. Which is greater: 2 or i?
2
Suppose -o = -5*o + 4. Let x = -0.5 + 3.5. Which is smaller: x or o?
o
Suppose f + v + 24 = 5*v, -3*v = -3*f - 27. Let c be f/10 - 34/(-60). Which is smaller: c or 1?
c
Let m = 20 + -25. Is -3 greater than m?
True
Suppose -3*u - 2*u + 1368 = 4*p, -2*u - 8 = 0. Let o = p + -2433/7. Let x = -9/28 - o. Which is greater: -2/7 or x?
x
Suppose 0 = 7*w - 9*w. Is 4/5 at most w?
False
Let g be 3/4 + 391/(-612). Which is smaller: -1/7 or g?
-1/7
Let k = -4 + 5. Let u = k + 1. Let l = -346/5 + 70. Which is greater: u or l?
u
Let h be 1/(-1) + (-4962)/27. Let x = h + 185. Which is bigger: 2 or x?
2
Let h = -33.1 + 35. Let o = h + -2. Which is smaller: o or 0.1?
o
Let k(a) = -2*a - 5. Let c be k(-5). Suppose c = -0*x + x. Suppose -2*d - 8 = -0*o - 3*o, -x*o = -10. Which is bigger: d or -2?
d
Let y = 3 + 1. Is y >= 5?
False
Let q be 4 + 1/((-3)/6). Let b(m) = m**3 - 5*m**2 + 3*m. Let i be b(q). Let l be i/27*3*1. Which is bigger: l or 1/2?
1/2
Let g = -31 - -7. Let w = -25 - g. Which is bigger: w or 2/27?
2/27
Let z be 2/4 + 4 + (-785)/130. Is z < -3?
False
Let k = -21 + 29. Let v(w) = 10 - w**3 - 1 + w + 6*w + 7*w**2. Let n be v(k). Is 1 less than n?
False
Let u be (2/44)/((-9)/(-237)). Let f be (-70)/(-132) + (-6)/9. Let i = f - u. Do -1 and i have the same value?
False
Let k be 3 - 3 - 8/2. Let b be 0/((-2)/k*2). Is -2/37 less than b?
True
Let f = 2 + -3. Let v = -1.32 - -0.36. Let s = -0.04 + v. Is s not equal to f?
False
Let b = -459 - -4123/9. Let j = 89/90 + b. Is -2/5 not equal to j?
True
Suppose 3*p = 4*s + 71, 8*s + p + 84 = 3*s. Let g = -15 - s. Which is smaller: g or 3?
g
Let y be ((-6)/4)/(63/(-77)). Do y and 2 have different values?
True
Let r be -20 + 20 - 0/(-1). Is r bigger than 1?
False
Let p = -3163/9 - -351. Let l = 0.1 + 0.9. Are p and l non-equal?
True
Let s = 24 + -30. Let o = s + 30. Is o less than 24?
False
Let c = -4 + 7. Suppose 4*m + 1 = 5. Suppose -5*l = -s + 23, -c = -l - 2*s - m. Are l and -4 nonequal?
False
Let q = 246 + -242. Let m(u) = u**3 - 5*u**2 + 2*u - 7. Let z be m(5). Is q less than or equal to z?
False
Let k be ((-2)/(-8))/((-12)/9488). Let x = -196 - k. Is 2 bigger than x?
True
Let r = 7536 + -572723/76. Let w = r + 3/38. Which is smaller: 1 or w?
w
Let i be (-3 + 8)*7 + 1. Let v be (-8)/i - (-110)/36. Let g = v - 131/42. Which is smaller: 0 or g?
g
Let m be 3 + 1/(2/(-30)). Let g be (-8)/m + 2/(-6). Which is greater: g or -0.08?
g
Let k = -1.08 - -0.9. Let x = 13.18 + k. Is x at least as big as 0.1?
True
Let f = 60 - 57. Which is bigger: f or 22/7?
22/7
Let h = -7.2 - -7.4. Is h <= -0.3?
False
Let a = -14395745/4307148 - 12/39881. Let b = -16/27 - a. Which is smaller: b or 3?
b
Let o(f) = f + 4. Let q be o(-4). Let g be (-30)/10 - (q - 0). Which is smaller: -4 or g?
-4
Let x = -48 + 44. Are x and 2/9 equal?
False
Let f = 36 + -43.1. Let y = f + 7. Are 1/4 and y non-equal?
True
Let i = -4 + 3. Let k(q) = -95*q**3 - 2*q - 1. Let p be k(i). Let d be p/190 - 12/30. Is 1 equal to d?
False
Let q = -0.35 + 0.35. Are -0.02 and q nonequal?
True
Let q be (-2 - -1)/(115/10). Which is smaller: q or -1?
-1
Let g = -15 - -14. Do g and -1/7 have the same value?
False
Suppose -i = -4*i - 300. Let g be 4/18 + i/126. Is -2 greater than or equal to g?
False
Suppose -4*h + l = -3*l + 24, -3*h = -4*l + 21. Let m be 14/(-21)*h/2. Are m and 1 unequal?
False
Let p be -18*2/32 + 1. Let z(o) = o**2 + 3*o - 5. Let h be z(-4). Is p bigger than h?
True
Let b be (1/(-2))/((-9)/(-234)). Which is bigger: b or -10?
-10
Let v be 1/(-3)*(-7 + 7). Which is greater: v or 4/19?
4/19
Suppose -u - u + 4 = 0. Let y(p) = -u*p**2 + 4 + p**2 + 3 - 4*p - 6. Let i be y(-4). Is -1/3 greater than i?
False
Let d = 17 - 12. Which is smaller: 4 or d?
4
Let m = -1 + 1. Suppose 3*i = 5*i - 2. Let n = i - m. Is 1 less than or equal to n?
True
Let g = 10 + -11. Which is greater: -7 or g?
g
Let a = 0.1 - 0. Let o = 3.97 + 0.03. Let q = -5 + o. Is q less than a?
True
Let t be (-28)/4 - (3 + -5). Which is bigger: t or -1?
-1
Suppose -3*b = -0*b - 6. Suppose -2*n - b*t + 2 = 3*n, -4*t = 5*n + 6. Suppose -n - 5 = 5*g - 4*h, -3*h + 13 = 4*g. Do g and -2/7 have the same value?
False
Le