 or n?
n
Let b = 844 - 850.03. Let g = b + 0.03. Let w = 3 + g. Is w less than -1?
True
Let i = -179 - -4115/23. Let b(v) = -v - 2. Let h be b(-3). Which is greater: h or i?
h
Let o = 2 - 8. Let u be (-4)/(0 - 2) - 4. Which is greater: u or o?
u
Let a = -3 + 5. Let l be 10/(-6) - a/6. Let q be 2 - 4 - (-2 - l). Is 0 <= q?
False
Suppose -5*q = -5*r + 10, 2*q + 3*r - 10 - 6 = 0. Suppose 4*m = q*m + 2. Which is smaller: m or -2/9?
-2/9
Let i(y) = 5*y. Let d be i(-1). Let w be (-112)/49 - (-2)/7. Is w at most d?
False
Let f = 0 + 5. Let u(y) = -y - y**2 + f - 2 + 4*y. Let d be u(4). Which is bigger: d or 2/17?
2/17
Let q = 2.8 - 4.9. Let n = q + 1.2. Which is smaller: n or 0.1?
n
Suppose 6*d - 2*d - 4*j = -16, 3*j = 5*d + 12. Let h(c) = c**2 + c + 4. Let t be h(d). Is t greater than 4?
False
Suppose 2*b + 4*d = 20, 10 = 5*b + d + d. Suppose 19 = g + 4*t, -2*g - t + 3 = -b*t. Is g <= -7/6?
False
Let l = -16 + 10. Let i be (-6)/(-22)*18448/l. Let j = i + 838. Which is bigger: j or -1?
j
Let r(a) = a. Let b be 30/(-9)*(-18)/15. Let h be r(b). Is h at least 3?
True
Let k(d) = -4*d - 7. Let q be k(-2). Are q and 1 unequal?
False
Let c(l) = -l**3 - 23*l**2 + 46*l + 12. Let t be c(-25). Are t and 112 equal?
True
Let g be 3 + -7 - 154/(-40). Is -1 not equal to g?
True
Let z be (-4)/(-22) + (-4)/11. Is z > -1?
True
Let m(l) = -l**2 + 5*l + 2. Let h be m(4). Let w = -5 + h. Which is greater: w or 0?
w
Let f = 0.19 - 3.19. Is f smaller than 0.5?
True
Let v be ((-30)/16)/(3/12). Let h = 271/36 + v. Let t = -7/36 + h. Which is smaller: t or -1?
-1
Let c be 3 - 3 - (-1)/(-10). Let r = -3/20 + c. Which is smaller: -0.2 or r?
r
Let y be 7 - 2 - (120/18 + -2). Suppose -4*p + 0*p - 4 = 0. Is p less than or equal to y?
True
Let c be (-1 + 0)/(2/(-2)). Let r = -1 - -3. Let i = c - r. Is -1 less than or equal to i?
True
Let d be -2 + 1 + (-10 - -11). Suppose 6*t - 2*t = d. Let v be (-5)/(-6) - 4/6. Which is greater: t or v?
v
Let n = 1.92 - 2.02. Do -1.1 and n have different values?
True
Let p = 143 - 141.87. Let x = -0.23 + p. Let n = x - -0.1. Is -1 at most as big as n?
True
Let t = 3 - 5.1. Let n = 0.1 + t. Let y = 2 + n. Is y greater than or equal to -1?
True
Suppose -2*k = -15 + 5. Suppose -k = -3*z + 4. Is 11/5 >= z?
False
Let l be -3 + (-33)/60 + (-2)/10. Is l > -3?
False
Suppose 2 = -2*i + 6. Let t(c) = 6*c - c**2 - 1 - 2*c**2 + c**3 - 4*c. Let u be t(i). Is 2/11 <= u?
False
Let y(a) = -3*a + 19. Let x be y(5). Let m = 8 + -5. Which is smaller: x or m?
m
Let o be 1/(-4) + (-68911)/20. Let i = 3434 + o. Let u = i - -58/5. Which is greater: 1 or u?
1
Suppose 3*g = 4*g. Let f = g + -3. Let v be f/(-6) + 10/(-28). Which is smaller: -1 or v?
-1
Let p be 258/(-42) + (-1)/(-7). Let l = p + 5. Is -2/9 at most l?
False
Let i(d) = -d. Suppose -9 + 3 = 2*j. Let z be i(j). Suppose 0 = -3*c - z*r - 21, c - 4*r - 10 = 3. Do -5/3 and c have the same value?
False
Let i be (0 - 6/(-9)) + (-2240)/3432. Which is greater: i or 0?
i
Let g(w) = -w**3 - w**2. Let m be g(-1). Let q = 6078/7 - 106667/126. Let r = -43/2 + q. Is r less than m?
False
Suppose 5*z + 31 = d, 4*z + 42 - 16 = d. Let q = d + 2. Which is bigger: q or 9?
9
Let s = 9 + -9. Let l = 3 - 3.4. Let p = l - -0.3. Is s at most as big as p?
False
Suppose -l - 5*x + 0*x = -9, 4*l - 4*x = 12. Is 4 != l?
False
Let w = -4/35 + 169/560. Which is smaller: -1 or w?
-1
Let n(t) = -t - 5. Let i be n(-3). Let v be -1 - -3 - 0/i. Let o(k) = k**2 - 4*k + 2. Let q be o(4). Are q and v unequal?
False
Suppose 0 = 4*a - 4. Let j = 1653/4 + -413. Which is greater: j or a?
a
Let s be (0 + (-6)/9)*3. Suppose 2*r = -2*a - 6, 2*r - 4*r + 9 = -3*a. Suppose r = t - 2 + 3. Which is bigger: s or t?
t
Let m = -4.5 + 4. Let f be (2/4)/(3/(-2)). Which is greater: f or m?
f
Let c = 0.02 - 0.02. Do -0.12 and c have the same value?
False
Let x = -63 + 63. Is 2/93 at most as big as x?
False
Let f = 0.6 + 0.4. Which is smaller: f or -0.1?
-0.1
Suppose -3*y + y - 10 = 0. Let w(a) = a**2 - 5*a + 4. Let q be w(3). Is y < q?
True
Let a = 1/10644 - 4289537/53220. Let s = 4403/55 + a. Suppose -4*q + 3*q = 0. Is s bigger than q?
False
Suppose 5*b - 4*h + 3 - 6 = 0, -h + 15 = 4*b. Suppose -b*g + 4 = -14. Let l be ((-2)/(-6))/(2/g). Which is bigger: l or 0?
l
Let q = -2 - -4. Do 0.1 and q have the same value?
False
Let o = 1.8 + -0.4. Let y = o - 0.4. Are y and -6 unequal?
True
Let w(f) = f**2 - 3*f + 2*f - 3 - f. Let c be w(3). Let j = 1 + c. Is j greater than 2?
False
Let a be -2 + 34 - (-9)/(-3) - -1. Is 28 at least as big as a?
False
Let w(v) = -v**3 - 14*v**2 - 2. Let t = -36 + 22. Let d be w(t). Is -5/3 != d?
True
Let n = -2/13 + -7/39. Let f = -8 - -8.3. Let d = 0.2 - f. Is d at most n?
False
Let y be 3 + 0 + 2 + -1. Let i be (9/54)/((-2)/y). Let r = -0.3 - -1.3. Which is smaller: r or i?
i
Suppose -4*o + 15 = -w, -o + 4*w - 3*w = -6. Let j be o - (-1)/((-7)/19). Is -0.1 less than or equal to j?
True
Suppose 3*u = -2*l - 51, -3*l + 4*u + 108 = -7*l. Is -30 less than l?
False
Let y = -13 - -7. Let x = -5 - y. Do -0.2 and x have different values?
True
Let b = 0.1 + -0.1. Let p be 146/(-30) - (-58)/(-435). Which is greater: p or b?
b
Let y = 5.1 + -5.059. Which is smaller: y or 0?
0
Let a be -2*((-5)/2 + 2). Let s(l) = l + 3. Let m be s(-5). Let g = m - -2. Is g smaller than a?
True
Let y(r) = -5*r**3 - 1. Let k = 4 - 3. Let x be y(k). Let n be (x - -2)*3/54. Is n at most 1?
True
Suppose 0 = 4*s + 6 + 2. Suppose 3*d = -2*z - 20, 6*z - 19 = 4*d + z. Let a = -13/2 - d. Which is smaller: s or a?
s
Let r = -45 + 45. Is -2/69 less than r?
True
Let s = 46 - 11. Let f be 10/s - (-18)/(-14). Let c be ((-6)/72)/(4/6). Which is smaller: c or f?
f
Suppose -8 = -v - v + 4*n, -3*v - 5*n + 1 = 0. Let x be v + -5 + (-232)/(-63). Let z = x + -10/9. Which is bigger: 1 or z?
1
Suppose 2*t - 5*t + 129 = 0. Let k = t - 515/12. Which is bigger: 1 or k?
1
Let t(c) = c**2 + 7*c + 5. Let s be t(-6). Let w be s - (-26)/22*1. Let l be (1/1)/1 - 0. Which is smaller: w or l?
w
Let m(b) = b**3 - 4*b**2 + b - 4. Let x be m(4). Let h be 20 - (-4)/(x + 4). Which is bigger: 20 or h?
h
Let w be (1/12*3)/(1/4). Is 4/7 bigger than w?
False
Let p be 5/24 + (-1)/3. Let r(b) = -b**3 + 8*b**2 - b + 9. Let s be r(8). Is p at most as big as s?
True
Let n be ((-9)/(-6))/(1/70). Let d be (-528)/5 + 0/(-1). Let y = d + n. Which is smaller: y or 0?
y
Let z = 87 + -87.03. Let r = 0.1 + -0.1. Is z < r?
True
Let z = 53.2 - 53. Let h = 0.3 - 0.5. Let u = h - z. Which is smaller: u or -1?
-1
Let k = -0.04 - -0.2. Let q = 0.06 - k. Which is bigger: q or -0.2?
q
Let z = -39851 + 3387407/85. Let a = -28/17 + z. Which is bigger: 0 or a?
0
Let m = -58 - -58. Which is bigger: -11/18 or m?
m
Let b be 27/6 + 1/(-2). Let w = -7 + b. Suppose -4*d - 2*d - 6 = 0. Which is smaller: d or w?
w
Let z(r) = -1 - 2*r**2 + 2*r**2 + 7*r + 4*r**2 - 3*r**2. Let g be z(-7). Which is greater: g or -2/23?
-2/23
Let i be (-6)/4*-8 - -2. Suppose 5*o - i = 31. Which is bigger: 8 or o?
o
Suppose -3*l = -8*l + i - 82, -2*l - 40 = 2*i. Let k = l + 16. Which is smaller: k or -7?
-7
Let p be 9/6*5/(-10). Which is greater: -2 or p?
p
Suppose 4*l = -20, 5*c - 5 = 2*l - 20. Let y = c + 2. Does -3 = y?
True
Let k be 3/(-18)*3*1. Let h = 8 + -8.2. Which is greater: k or h?
h
Let m = 45/8 + -11/2. Which is smaller: m or 1?
m
Let s = 14 + -14. Is s != 5?
True
Let u = -178879 + 57956723/324. Let x be ((-3)/(-27))/(9/(-2)). Let r = x + u. Is r at least as big as 0.03?
False
Let l be (-12)/15*(-10)/4. Let g be 6/21 - 19/(-7). Which is greater: g or l?
g
Let j be 1/(5 + 1*-2). Let r = -2 + -5. Let h be (7/2)/r*0. Which is smaller: j or h?
h
Suppose 0 = -5*q + 13 - 3. Suppose 2 = -q*r - o + 1, 2*o + 2 = -r. Let y = 0.46 - 0.06. Do y and r have different values?
True
Let c be (4/(-6))/((-33)/(-9)). Suppose -b + 4 = -5*b - 4*r, b = 2*r + 11. Let w be b*1*10/(-30). Is c < w?
False
Let v be 160/(-396) + (-6)/(-33). Let f = 5.8 + -6. Is v greater than or equal to f?
False
Suppose -72 = 2*a - 204. Let b be a/(-10) - (-12)/(-30). Is -8 greater than or equal to b?
False
Let x(b) = -b**2 - 7*b + 2*b + 0*b. Let s be x(-5). Suppose 0 = -s*g - 2*g. Is g at least -1/4?
True
Let d(t) = -t**3 - t**2 - t - 1. Let u(i) = -7*i**3 + i**2 - 12*i - 6. Let k(p) = -6*d(p