*o + 1. Let v be s(-1). Suppose -d - d + v = 0. Let b be a(d). Is -3 >= b?
True
Suppose 35 = -4*x + 5*a, -2*x = x - 5*a + 30. Let y be (-1)/x + (-8)/40. Is y < -0.1?
False
Let q = -989/19 + 52. Is q < 2?
True
Let n = -47 - -47. Which is bigger: n or -1/83?
n
Let w = -3 - -4. Let x = w - 2. Is 2 < x?
False
Suppose -4*k = -k - 27. Let t be 2/(-78)*k/6. Let w = 23/78 - t. Which is smaller: w or -0.3?
-0.3
Let f(l) = -l - 1. Let s be f(6). Is s at least -7?
True
Let d(s) = -66*s - 2. Let r be d(-9). Let v be ((-12)/r)/((-2)/(-8)). Let f = -126/185 - v. Are f and -2 non-equal?
True
Let b be (-1)/(-7) - 7/((-49)/90). Is b >= 11?
True
Let o be (-2)/(-13) - 178/(-26). Let c be 1 - (o - 3)/8. Is c >= 7?
False
Let g = 15/7 - 9/14. Is 2 at most g?
False
Let n = -1.7 + 2. Let u = n + 0.3. Do -1/4 and u have the same value?
False
Let o(i) = 3*i**3 + i**2 - 2*i - 1. Let v be o(-2). Let t = 18 + v. Let z be (-2)/5 - (-8)/25. Which is smaller: z or t?
z
Let d = -69 + 69.2. Which is smaller: d or -1/7?
-1/7
Suppose 1 = -3*y + 5*r + 25, -5*y + 24 = -3*r. Let v(t) = t**2 + 8*t + 7. Let h be v(-7). Let p = y + h. Which is greater: p or 2?
p
Let b(a) = -3*a + 74. Let v be b(15). Is 26 < v?
True
Let r = -72 - -66. Is r less than or equal to -7?
False
Let t(f) = 9*f**2 + f - 4. Let n be t(-3). Suppose -5*d - 5*s + n = -4*s, 5*d - 62 = 2*s. Let m be (-23)/7 + 4/d. Is -0.2 at least as big as m?
True
Let u be (1/2)/(5/(-30)). Let c be (-21)/(-98)*(-2)/u. Which is greater: -1 or c?
c
Let q = -1229/189 - -45/7. Let v = q - 23/54. Which is greater: v or -1?
v
Let h be (-939)/21 - (-2)/(-7). Suppose 1 = 4*c - 39. Let r be (-1)/(-6)*h/c. Which is smaller: 0 or r?
r
Let b = -8 - -5. Let z = 0.04 + -0.04. Which is greater: z or b?
z
Suppose 0*f + 3*f = v, 0 = -3*v + 5*f. Which is bigger: -2/97 or v?
v
Let f(r) = r**2 + 12*r + 7. Let z be f(-12). Which is bigger: z or 9?
9
Let r = 3 - 5. Let a(d) = d**2 + 8*d - 2. Let s be a(-8). Is r at most as big as s?
True
Suppose -2*o = -5*u - 13, -o = u + 2*o + 6. Let p(j) = j**2 + 6*j + 3. Let t be p(u). Do -6 and t have different values?
False
Let i be 3/((0 - 5) + 4). Let p(o) = 10*o**3 - o - 1. Let j be p(-1). Let t be 36/j + (-4)/(-2). Is t equal to i?
False
Suppose 0 = 4*l + 2*w - 22, 5*w - 18 - 1 = 2*l. Is 7 not equal to l?
True
Let x be 5/(-1)*(1 + 0). Let h be (-2 - -1)*x/15. Let d = -0.2 - -0.3. Which is smaller: h or d?
d
Let q = 2.99 + -3. Let r = q + -0.29. Let o = r + -1.7. Which is smaller: o or -0.2?
o
Let a(p) = -p**2 - 13*p - 8. Let g be a(-11). Which is smaller: 46/3 or g?
g
Suppose 3*l - 15 = n - 6*n, 10 = -5*n + 2*l. Let i be n - (-4)/8*0. Is -2/35 greater than i?
False
Let b be 1/(((-30)/27 - -1)*-1). Is b <= 7?
False
Let y = -0.044 + 0.044. Suppose -5*i = -0*i - 20. Which is smaller: y or i?
y
Let l be 144/(-176) - (-4)/(-22). Let p be (-64)/(-16)*(2 + l). Is 7 less than or equal to p?
False
Let x be 0 + (2 - (0 + 0)). Suppose 3*s + 0*g - 7 = x*g, 3*g = -2*s + 9. Suppose 7*f = s*f. Is 1 at least as big as f?
True
Let l = -26 + 23. Is l greater than -3?
False
Let x = 0.31 + -0.01. Let g = -584 + 582. Which is bigger: x or g?
x
Let y be 1 + (-3)/(-114)*-34. Suppose 7*r = 2*r + 10. Suppose r*h - 1 = h. Is h >= y?
True
Let j = 24 - 21. Which is bigger: j or 2?
j
Suppose -5*x = -4 - 1. Suppose y + x = -0. Suppose l + 1 = -1. Is l at most as big as y?
True
Let u = 127 + -128. Let o be (-1)/5 + 2/35. Is u less than or equal to o?
True
Let w be 2 + (-2 + 3)*9. Let l = w - 59/5. Is l != 0?
True
Let g be ((-60)/(-28))/(-5)*1. Which is smaller: g or -1?
-1
Suppose 0 = 21*b - 76 - 155. Which is smaller: b or 13?
b
Let m be -14 + 14 - (-30)/28. Are 0 and m non-equal?
True
Suppose 4*o + l - 62 + 20 = 0, 0 = 5*o + l - 52. Let w = -8 + o. Suppose 4 = -w*s - 4. Which is smaller: -5 or s?
-5
Let i = 401/810 - -2/405. Let j be (-1)/(-1) + -8 + 1. Is i >= j?
True
Suppose 4*d = -4*q + 16, -d = -5*q + 4*d - 20. Suppose -2 = 2*g - 0. Is q less than g?
False
Let s be 6 - 4 - (-86)/(-42). Is 0 at least s?
True
Let j = -72/91 + 5/7. Suppose -6 = -3*u + 3*b, -3*u - 5*b = 2*u + 10. Which is greater: u or j?
u
Let r be (-6)/(-20)*(-8)/6. Let d = -19 + 18. Is d greater than or equal to r?
False
Suppose -21 = 4*p - p. Let g = -13 - -5. Which is smaller: p or g?
g
Suppose 4 = -5*p - 3*w, -p - 1 - 7 = -3*w. Is -3 at most p?
True
Let y = -10 + 5. Let n = y - -4.8. Which is greater: 2 or n?
2
Let s = -18597 - -148999/8. Let o = s + -28. Does -1 = o?
False
Let x = -3.3 - 2.7. Let g = -5.5 - x. Which is bigger: -1 or g?
g
Let m = -0.2 - -0.3. Let o = 0.01 + -0.05. Let n = 0.96 - o. Which is smaller: m or n?
m
Let s be ((-6)/((-2)/(-2)))/(-2). Suppose -5*z = -s*z. Is 1 < z?
False
Suppose 34 = 4*f + 2. Is 6 smaller than f?
True
Let o(g) = g**2 + 6*g - 7. Let u be o(-8). Let n be -1*3/u - 0. Are n and 3/5 nonequal?
True
Let v = -12 - -8. Suppose -4 = 2*l - 4*l, m - l = -4. Let d = v - m. Is -1/2 smaller than d?
False
Suppose -o = -6*r + 2*r + 2, 5*r + 1 = 3*o. Let h(a) = -a**3 - 12*a**2 + a + 15. Let v be h(-12). Is v smaller than r?
False
Let r be (-19 - -3)*(-3)/6. Let j = 8 - r. Suppose 4*s = -4*n + 4, j = -4*n + 3*n + 3*s - 3. Is -1/6 greater than or equal to n?
False
Let q be -2 + -1 + 26 + -5. Let y = 1 - -2. Suppose y*f + 13 = -x - 0*x, 5*f = 2*x - q. Is f < -2?
True
Let k = 1.4 - 2. Let b = -0.4 + k. Which is bigger: b or 2?
2
Suppose -19 = 2*p - 1. Let s(b) = 2*b + 18. Let j be s(p). Is -2/23 less than j?
True
Let i(r) = r**3 - 3*r**2 - 6*r + 8. Let b be i(4). Is -2 equal to b?
False
Suppose 4*c - 15 = 2*r - 3, 4*c - 8 = 0. Which is smaller: r or -1?
r
Suppose -4*l = -3*l - 1. Which is smaller: 54 or l?
l
Suppose 6 = -3*v - d, -2*v + 2*d - 12 = -0*v. Let f(h) = h**2 + 5*h - 6. Let u be f(-6). Suppose -w + 4*w + 19 = 4*t, u = -5*w + 2*t - 13. Is w less than v?
False
Let z = -133 - -139. Is z bigger than -1/3?
True
Let c be (4/((-16)/(-6)))/(6/(-17)). Which is smaller: c or -2/5?
c
Suppose 0 = -4*f - 7 + 15. Suppose -2*z = 5*y - 20, z = -f*y + 3*z - 6. Suppose a = -0*a + 2. Is a < y?
False
Let a be (-123)/7 + 6/(-14). Let j be (-50)/a + 4/18. Suppose -4 + 1 = j*s. Which is bigger: s or -1/3?
-1/3
Suppose 3*a = y + 8, -a + 2*a - 3*y - 16 = 0. Let c be a/(-2) + (-2)/3. Which is greater: 0 or c?
0
Let u = 236/3 - 78. Which is smaller: u or 4?
u
Let h = -20 - -21. Is h equal to -2/21?
False
Let x = -6 + 13. Suppose 2*y = -h - 9, -2*h - 2*y = -x*y - 18. Let u be (1/5)/(h + 2). Which is smaller: -0.1 or u?
-0.1
Let m(j) = 2*j**2 - 5*j - 3. Let p be m(3). Let n(g) = g**3 + 2*g**2 - 2*g + 1. Let y be n(-3). Let d be (0 + y)/(1 - 5). Which is greater: p or d?
d
Let m = 4 - 4. Let s = -0.3 - 0.7. Let o = s + 0. Are o and m non-equal?
True
Let z = 41 + -42. Which is bigger: z or 3/23?
3/23
Let y = 7 + -11. Let u = -4 - y. Let n = -2 + u. Which is bigger: n or -0.1?
-0.1
Let n(l) = -2*l**2 + 38*l - 27. Let p be n(19). Which is greater: -26 or p?
-26
Let q(v) = -v**2 - 6*v + 6. Let w be q(-6). Let k be 3/w + (-7)/(-2). Which is bigger: k or 3?
k
Let d(c) = c**3 - 5*c**2 + 5*c + 2. Let p be d(3). Let b = -290 + 205. Let x = b + 251/3. Is x bigger than p?
False
Suppose -5*f = -0*r - 3*r - 3, -4*r + 3*f + 7 = 0. Let w = -3 + 6. Suppose 0 = w*l + l + r. Is l less than or equal to -1?
True
Let j = 12.2 - 14. Let k = 2 - 1.8. Let r = j - k. Which is smaller: r or 1?
r
Suppose 5*r = -5*x - 30, -2*x - 18 + 2 = 4*r. Which is greater: -18/7 or x?
-18/7
Let l be 2 + ((-6)/1)/3. Suppose 0 = -3*o + 6*o - 2*q - 1, -4*q + 4 = l. Let p be (-4)/10 - 3/(-20). Which is smaller: p or o?
p
Let d = -503 + 7045/14. Let y(x) = x**2 - 5*x + 3. Let a be y(4). Does a = d?
False
Suppose -m + 1 = -0. Let c be 1/(-4)*-2*m. Is c at least as big as 1?
False
Suppose -285 = g + 4*g. Are g and -56 non-equal?
True
Let b(q) = q**3 + 7*q**2 + q + 10. Let n be b(-7). Let v be ((-1)/664)/(n/(-1542)). Let y = 2/83 - v. Which is smaller: 0 or y?
y
Let r = 3 + -3.2. Let y = r - -0.3. Suppose -8 - 6 = 7*l. Is l <= y?
True
Let q = 16.1 + -16. Is q smaller than -16?
False
Suppose -5*j + 3 - 8 = 0. Let k = 1495/9 + -166. Which is smaller: k or j?
j
Let f = -7 - -6. Is -0.14 at most as big as f?
False
Let o = -353 + 5297/15. Let u = 0 + -1. Is u greater than o?
False
Suppose -3*y = -4*y + 2. Is 2 > y?
