+ -0.5. Let s = 6.1 - 7. Let r = o + s. Which is greater: 3 or r?
3
Suppose 0 = -15*f - 38 + 203. Does 7 = f?
False
Let v = -13 - -11. Let y = 2 + 1. Let w be (v - -1 - -3)/y. Which is smaller: w or 0.2?
0.2
Suppose -5*n = 4*x - 90, 3*n = n + 3*x + 13. Which is bigger: 13 or n?
n
Let o be (2/6)/((-5)/(-24)). Let x = o + -11/10. Is 1/2 != x?
False
Let l be 1*5/(5/8). Suppose 3*d - l = d. Suppose -3*f = 2*g + 8, g - 5 - 2 = d*f. Is 0 smaller than g?
False
Let t = -10 + 10. Let f be ((-2)/(-33))/((-8)/72). Which is greater: t or f?
t
Suppose 0 = 2*f - 2 - 2. Suppose 0 = h + w + 24, -3*w + f*w = 3. Let i = h - -64/3. Which is smaller: i or 0?
0
Let h = 15 - 17. Suppose 5*o - o = 0. Let k be o + (h - (-1 + 2)). Is 0 less than k?
False
Let f = 0.2 - 1.6. Let v = -0.6 + f. Do -1 and v have different values?
True
Let r = -0.46 - -0.46. Are 1/4 and r non-equal?
True
Let k(c) = -4*c - 36. Let x be k(-12). Do x and 12 have different values?
False
Let l = 9 + -29. Let d be 5*(-1 + (-4)/l). Let w be (1 + 0)/((-2)/6). Is w > d?
True
Let l = 0.296 - 0.006. Let a = 0.01 - 0. Let k = a + l. Is 1/4 smaller than k?
True
Let o = -142106/49 + 2900. Is o < 1?
True
Let l(r) = -2*r**2 + 6*r + 2. Let y be l(3). Is y at most as big as 0.2?
False
Let u = 16 - 17. Do u and 2/9 have different values?
True
Let n = 11 - 3. Which is smaller: -0.1 or n?
-0.1
Let z = 16 + -16. Which is smaller: -3 or z?
-3
Let k = 17 - 50/3. Let i(u) = 2*u. Let x be i(1). Suppose -5*n + t = x*t + 14, -5*t = 20. Is n <= k?
True
Suppose -2*s - s = 117. Let r be 2/s*(-2)/(-2). Do r and 1 have the same value?
False
Let s = 3 - 2.8. Let w be 3 - 44/(-48)*-3. Which is bigger: s or w?
w
Let r be ((-3)/(-6))/((-2)/20). Let o be (20/25)/(7/r). Which is bigger: o or -2?
o
Let r be 13/7 - 7/(-49). Which is bigger: 8/9 or r?
r
Let u = -33/2 - -17. Let f(m) = -m**3 - 2*m**2 + 4*m - 4. Let z(c) = c**3 + 3*c**2 - 5*c + 5. Let k(v) = -7*f(v) - 6*z(v). Let t be k(3). Is t at most u?
True
Let m(s) = -s**3 - 8*s**2 - 8*s - 3. Let d be m(-7). Suppose d*i + 5*g = -15, 5 = -3*g - 4. Is i greater than -2/7?
True
Let y be 5/1 - (0 + -3). Suppose -y*r = -12*r + 4. Which is bigger: 2/19 or r?
r
Let w = -25 - -32. Which is greater: 0.3 or w?
w
Let y be 2/(1/2*-2). Suppose -4 = -0*l - 4*l. Let t = y + l. Which is smaller: t or -2/9?
t
Let u be ((-1035)/(-114))/(52/32). Let x = 74/13 - u. Which is greater: x or 0?
x
Let p = 5 - 1. Let k = -2 + p. Let o be 0/(-2) + 1 + (-4)/12. Which is smaller: o or k?
o
Let q = -5 - -5. Let g = 10544/21 + -502. Which is smaller: g or q?
q
Let i = -47/54 + 10/27. Which is smaller: i or 1?
i
Let c(s) = -s**2 + 6*s - 6. Suppose 12 = 5*h - 5*l + 2, -14 = -4*h + 2*l. Let w be c(h). Which is bigger: -1/4 or w?
-1/4
Let c be -3 - ((-55)/(-40) - 4). Do 1 and c have the same value?
False
Let v = 30 - 30.01. Are v and 2/5 equal?
False
Let t = 14 - 5. Suppose 2*g + 20 = 2*w, -8*w + 6*w - 5*g + 6 = 0. Which is bigger: t or w?
t
Let c = 172/583 - 6/53. Let o(d) = -d - 3. Let n be o(-4). Which is greater: c or n?
n
Let r be (-4 - -12)*(-1)/10. Let f be (-2)/8 + (-21)/12. Is f smaller than r?
True
Let c = 2/39 + 103/273. Which is greater: c or 0?
c
Let g = 5/2 - 51/14. Which is greater: g or 1?
1
Let l be (0 + (2 - 6) + 2)/(-17). Does l = -7?
False
Let d = 0.15 - 0.1. Let a = d + 1.95. Let x be ((-3 - -1)/(-1))/9. Which is greater: a or x?
a
Suppose -6 = -5*n + 4*b, 6*b = b - 20. Let i(a) = -a**3 + 11*a**2 + 5. Let q be i(11). Is n at least as big as q?
False
Suppose j = 4*g + 20, 0 = 2*g - 0 + 10. Is 10/7 not equal to j?
True
Let u = 11/39 - -2/39. Let p = 43 - 43. Which is smaller: p or u?
p
Let p be ((-5426)/6)/((-7)/(-231)). Let r = -150057/5 - p. Let u = r + 169. Which is bigger: 0 or u?
u
Let w(o) = 2*o**2 - 2*o. Let n be w(1). Is -16/13 < n?
True
Let o = -131 + 133. Do o and 4 have the same value?
False
Let u = -0.1 - -29.1. Which is smaller: 0.2 or u?
0.2
Let o(m) = m**2 - 3*m + 1. Let v = 11 - 8. Let k be o(v). Is 2/7 not equal to k?
True
Let w = -5.3 + 3.4. Is 0 at most as big as w?
False
Let z be (1 - -1) + 12/(-2). Let u(w) = -26*w + 230. Let k be u(9). Is z greater than k?
False
Let f = 8 - 2. Suppose 5*b - f = -1. Let h be 1/((-2)/(-4)) - 0. Which is greater: h or b?
h
Let h = 20/17 - 43/51. Let k be (-2)/8 - (-27)/204. Which is bigger: h or k?
h
Suppose 6 = -c + t, -2*c + 3*c + 3*t + 10 = 0. Are c and -6 equal?
False
Let c be 2/(-9)*(-7 - -4). Which is bigger: c or -15?
c
Suppose 6*y - 21 = -y. Let u be y - 98*1/34. Is -1 > u?
False
Let w(t) = -t**2 - 10*t - 4. Let u be w(-10). Is u greater than or equal to -2?
False
Suppose -3*t = -2*t + 1. Suppose -22 = -3*r - 4*u, 0 = 4*r - r - 2*u - 16. Let y be (r/28)/((-3)/(-4)). Which is greater: t or y?
y
Let g = -4 - -8. Suppose 0 = 4*o - 2*m - 2, g*o + 3*m - 7 = -0*o. Is o != -2/7?
True
Suppose 4*l - 16 = 0, -14 - 14 = -2*b - 4*l. Suppose -4*u = -3*v - 5, -4*v + 6 = -u - 9. Suppose 5*o + 4*i + b = -v, -6 = -2*o + i. Which is smaller: 1/12 or o?
1/12
Let w = 911 - 20947/23. Let f be 2/(-5) + (-259)/(-1035). Let l = f + w. Which is bigger: -1 or l?
l
Let f be (-56)/2*1/(-2). Let o be (22/f + -1)/(-2). Let p = -3/19 + -4/95. Is p smaller than o?
False
Let c = -3.16 - -0.16. Let w = c + 5. Is w at most as big as 0.3?
False
Let i(q) = -q**3 - 3*q**2 - 2*q - 2. Let t be i(-2). Let z be (-3 - 3 - -4) + 1. Is t at least as big as z?
False
Let t be -1 + 0 + (-6)/2 - -41. Is 38 >= t?
True
Let b = -45 - -134/3. Let g = -0.036 + 0.096. Is b bigger than g?
False
Let i = 10/29 + -12/203. Which is smaller: i or -3?
-3
Suppose 2*r + 12 = 6*r. Suppose -i + j = -6*i + 52, r*j = 2*i - 31. Is 12 greater than or equal to i?
True
Let h be (1 - 1/3) + -1. Suppose i + 4*i = 5. Which is bigger: h or i?
i
Let h be 22/10 + 32/40. Let j be 12/2*(-3)/(-6). Suppose 2*b + b - h*o - 9 = 0, j*b - 4*o = 10. Are 3 and b non-equal?
True
Suppose 3*o - 1 = -4. Let r be (-11)/22*(-1 - 1) - 3. Which is smaller: o or r?
r
Let w = 587/4 + -146. Let z be 4/56*(-59)/(-9). Let y = -2/63 - z. Is w smaller than y?
False
Let m(d) = -d**2 + 7*d - 7. Let q be m(5). Suppose -8 + 2 = -q*n. Let l = 23 - 22. Which is greater: l or n?
n
Let w be ((-1)/(-3))/((-15)/144*-4). Is w greater than 0?
True
Let v(m) = -m**3 + m**2 + 4*m - 3. Let d be v(3). Suppose -4*c - 30 - 10 = 0. Is d less than or equal to c?
False
Let d(q) = -q**3 - 5*q**2 + 9*q + 6. Let k be d(-6). Which is smaller: -14 or k?
-14
Let z = -16 + 17. Is z less than 1/184?
False
Let x = -4.95 - 0.05. Let j = x - -9. Let s be ((-1)/(-21))/((-3)/9)*2. Is j smaller than s?
False
Let i = -2 - 0. Let f(r) = -3*r. Let k be f(-1). Suppose v + 5 - k = 0. Is i at most as big as v?
True
Let q = -22/3 + 85/12. Are 0.05 and q unequal?
True
Let q = 21 + -21. Which is bigger: -0.48 or q?
q
Let k be (-16)/40*(-1 - 9). Suppose 0 = 5*u - 5. Let f be (-28)/(-16) + u/k. Is 1/6 equal to f?
False
Let l = 6.82 - -0.18. Let x = l - 2. Let d = 5 - x. Is d > 1/3?
False
Suppose z + 2*z + 3 = 0. Is z at most as big as -2/51?
True
Let n = 1457/15 - 97. Suppose z = -3 - 1, -s + 16 = -5*z. Let q = s - -4. Are n and q equal?
False
Suppose 202 = -5*u + n, 5*n + 76 = -5*u - 114. Which is smaller: -39 or u?
u
Let b be -1 - 4 - (-3 + 1) - -3. Which is bigger: b or -49?
b
Suppose -u - 4*h = -3, u - 4*h + 5 = -0*u. Let n be 3/(-15) + 2/15. Which is smaller: u or n?
u
Let s = -27 - -61. Let p be s/28 - 15/10. Is 0.4 greater than p?
True
Let z(h) = -h + 1. Let a be z(-2). Let g be ((-26)/30 - -1)*a. Which is smaller: g or 1?
g
Let w be (-12)/((-1)/4 - -1). Suppose -64 = -5*q + 9*q. Is q smaller than w?
False
Let f(h) = -h**3 + 15*h**2 - h - 17. Let p be f(15). Which is greater: -33 or p?
p
Suppose 2*w + 2*w + 5*j - 37 = 0, w = -5*j + 28. Suppose -w*n + 6 = -n. Suppose -3*f + 3*o = f + 3, 0 = 5*f - 3*o + n. Is f not equal to -1?
True
Suppose -4*d - 38 = -34. Let l = 976/15015 + -2/455. Which is smaller: d or l?
d
Suppose 5*n = -3*o - 30, -3*n + n + 81 = -5*o. Let s be 24/10 - (-6)/o. Is s != 1/5?
True
Let o = -30.9 - -31. Let w = 853.97 + -848. Let n = -6 + w. Does n = o?
False
Let o(v) = v - 5. Let t be o(4). Which is greater: t or -1/24?
-1/24
Let x be 51/12 + (-3)/(-4). Suppose 0 = 5*b - x*q + 30, 0*b - b - 12 = -4*q. Which is smaller: b or -5?
-5
Let p be (4200/(-695))