-6)/9. Is -3 greater than o?
False
Let q be 6/18 - (-16)/(-12). Is q equal to 2/299?
False
Let s = 87 - 96. Let h = -4 - 4. Which is smaller: s or h?
s
Let o = -0.35 + 0.25. Are o and -5 non-equal?
True
Suppose -7*u = -8*u + 5. Let a = u - 5. Is a <= -1/4?
False
Let u = 1.2 - -5.8. Let z = -10 + u. Is z > 1?
False
Let c be 3 + ((-174)/27)/2. Let p(k) = k**3 - 8*k**2 - 10*k - 8. Let d(o) = o**3 - o. Let g(u) = -2*d(u) + p(u). Let n be g(-7). Which is greater: c or n?
c
Suppose -3*r = -21 - 15. Let b = r - 5. Are 8 and b unequal?
True
Let p be 2/(-3) + 1/(-12). Let r = 73 + -71. Which is bigger: p or r?
r
Let q(f) = 1 - 3*f + 2 + 4*f. Let c be q(-7). Let x(p) = 4*p. Let v be x(-1). Are v and c equal?
True
Suppose -2*y + 35 = 5*d, -2*y + 25 = d + 2*d. Let v be 12/6 - -1*d. Let c be (-2)/(-4) - v/2. Is c smaller than -2?
True
Let w be 1 + 1 - (20 + 0). Let a be -2 - 0 - 32/w. Suppose 0 = 5*c - 3*p - 4, -5*c - 3*p - 11 = 3. Is a <= c?
False
Let a = 1 - 1. Are -1 and a equal?
False
Let g be (22 + 0)*(0 + (-5)/70). Which is smaller: -2 or g?
-2
Let f(s) = -s**2 - 4*s - 5. Let n(d) = d**2 + 5*d + 6. Let r(o) = -6*f(o) - 7*n(o). Let v be r(-10). Which is bigger: -4/3 or v?
-4/3
Suppose -2*t - 3*v = -5, 1 - 6 = -3*t - 5*v. Let w = t - 12. Is w at least as big as -3?
True
Let t = 2301 + -9027/4. Let g(p) = -3*p**2 + 6*p + 1. Let y be g(5). Let o = t + y. Which is smaller: o or 3?
o
Let f = 580313287/1630798 + -7/125446. Let l = f + -356. Let g = 10 - 10. Is l < g?
True
Suppose -2*a + 6 = -4*f, 4*a - 2*f = 3*f + 6. Let d be 1 + a/(-2)*-2. Let b be 1*6/3 - 1. Is b bigger than d?
True
Let a be 2/7 + 9/(-7). Let b be (3 + -7)/(-4 - -5). Let s be (-6)/b*(-12)/9. Which is smaller: s or a?
s
Let j be (-30)/(-27)*6/5. Let a be 2/4 - (-30)/4. Let m = a + -6. Is j bigger than m?
False
Suppose -12*y + 7*y = 0. Let c(i) = -i**2 + i + 3. Let l be c(y). Suppose 12 = 5*m + 2*s, -4*m + 0*m - 2*s + 10 = 0. Which is smaller: m or l?
m
Let a(b) = -b + 7. Let m be a(8). Let r be ((-7)/(-98))/(m/2). Is 1 bigger than r?
True
Let l be (-1)/(-3) + (-245)/112. Let w = 3/16 + l. Is w bigger than -3?
True
Let r = -5 - -5. Is 3 smaller than r?
False
Let v(t) = t**2 + 10*t. Let q be v(-11). Is q at most as big as 11?
True
Let y be 4 - -2 - (0 - 0). Let i be (-2)/y + 12/9. Which is smaller: i or 2?
i
Let n be 8/(-28) - 150/14. Let q = 15 + n. Is q at least 5?
False
Let w = 43 - 37. Is w smaller than 0?
False
Let k(z) = -z - 4. Let p be k(-3). Is -1/19 equal to p?
False
Let m be -1*12/3 - 16. Is m < -19?
True
Let h(b) = b**2 + 5*b - 6. Let n be h(-5). Are -6 and n equal?
True
Suppose 237 = -81*a + 78*a. Do a and -79 have different values?
False
Let m = 45 + -14. Let v = -20 + m. Let n = 7 - v. Which is smaller: -2 or n?
n
Let t = 16.05 + -0.05. Which is smaller: t or -1?
-1
Suppose 0 = -q + 5*w, 0*q - 3*q = -5*w. Which is smaller: q or 1/28?
q
Let o = 2.4 + -0.2. Let y = 0.2 - o. Let b = 1 + y. Which is greater: 3 or b?
3
Suppose 0*a - a - 2 = 0. Let k be -2 + a/1 + 3. Suppose 2*r = -0*r - 2. Is r not equal to k?
False
Suppose -27 - 85 = 2*g. Let x be (g/12)/(4/(-6)). Let i be (3*(-1)/(-3))/x. Which is greater: i or 1?
1
Let b = -0.85 + 0.75. Which is greater: -23 or b?
b
Let d = -35 - -71/2. Is d at least 0.19?
True
Let z(h) = h**2 + 3*h - 5. Let i be z(-4). Is i <= -1/22?
True
Let s(p) = 11*p**3 + 3*p**2 + 3*p - 1. Let m be s(3). Let h = 1997/6 - m. Which is bigger: 1/4 or h?
h
Suppose -3*r - 2*y = -38 + 7, 4*y - 41 = -3*r. Which is smaller: 6 or r?
6
Let x(a) = 6 + 3*a + 3*a - 3*a - 4*a. Let f be x(5). Suppose g + 2*m - 2 = 0, 3*g = 3*m - 3 - 0. Which is greater: g or f?
f
Let i be ((-78)/8)/((-15)/40). Let f be (-2 - i/(-12))*-4. Is f less than 0?
True
Let q = -0.26 + -0.74. Is q >= 1?
False
Let k = 2.7 - 2. Is k >= 0.1?
True
Let k = 15 + -11. Suppose -3*i + 0*i + 4*f = -3, -4*i - f + 23 = 0. Is k bigger than i?
False
Let x = -1.6 + -11.4. Let a = -12.1 - x. Let y = a + -1. Which is smaller: -2 or y?
-2
Suppose 0 = 3*v - 4*j - 53, 4*v - 2*j - 69 = 3*j. Is 10 less than or equal to v?
True
Let r = -10 - -14. Suppose -4*j + 2*u = r*u + 36, 0 = -2*j + u - 22. Let f be (-3)/j*2/(-3). Is f >= 0?
False
Suppose 4 = -d - 2*x, 2*x = 4*d - 0 + 6. Let o be -58 - (-1)/(1 + d). Let f = -121/2 - o. Are f and -3 unequal?
True
Let a = -73 - -71.16. Let v = -0.16 + a. Is -4 greater than or equal to v?
False
Let l = 26 - 4. Let q = 18 - l. Which is greater: q or -3?
-3
Let q be (-49)/(-180) + 0 - (-9)/(-36). Is q at most 0?
False
Let j = -62 - -61. Do 17 and j have different values?
True
Let c be (41/2)/((-6)/4). Is -14 bigger than c?
False
Suppose 5*v - 2*w + 21 = 0, 8*v + 33 = 3*v - 4*w. Let m = -1 - v. Let p be 0 + (-3)/((-138)/m). Is p at most as big as 0?
False
Suppose -5*m + 17 = 2*t, -t = m - 2*m + 9. Let q be (-32)/(-24) + (-2)/6. Suppose m = -4*h + q. Which is bigger: h or -2?
h
Suppose -8*n = -10*n + 4. Which is smaller: 5/4 or n?
5/4
Let m = -19 - -44. Let r be 1/3 - 86/6. Let z = r + m. Which is smaller: z or 10?
10
Let a be (22/(-12) + 1)/((-62)/(-93)). Let b be -1*1 + 1 - 2. Which is greater: b or a?
a
Suppose 4*o - 7*o = 3. Which is greater: o or -2/79?
-2/79
Let u = -0.1 + 0. Let r = u + 0.13. Is r <= 1?
True
Let h be 1 - 2*(-2)/(-4). Let s be (-9)/(-6) + 247/(-170). Let q = -126/935 - s. Are q and h equal?
False
Suppose 2*d = 3*d - 1. Let o(n) = d - 2 - n + 0. Let i be o(0). Is i != -2/7?
True
Let f = 8 + -14. Let x(h) = -h - 6. Let i be x(f). Is i greater than or equal to 1?
False
Let g(f) = -f**2 + 10*f - 8. Suppose 0*m - 36 = -4*m. Let d be g(m). Which is greater: d or 4?
4
Suppose 0 = 6*x - 5*x + 4. Which is smaller: -2/7 or x?
x
Let b be (0 - (-3)/(-9)) + 1. Which is smaller: b or 6?
b
Let w(s) = s**2 + 6*s + 8. Let q be w(-4). Which is smaller: -4/9 or q?
-4/9
Let y = -1.98 - -0.28. Which is smaller: y or -2/3?
y
Suppose 4*o + 26 - 9 = 3*m, -1 = m. Which is smaller: -3 or o?
o
Let z be 1/(-2 - -1) + -3. Is z <= -3?
True
Let w = -83/5 + 229/15. Suppose 0 = -3*s + 4*s. Is s at most as big as w?
False
Let s = 250 - 2248/9. Suppose 5*r - 5 = -10. Which is smaller: s or r?
r
Let y = -100.8 - -101. Which is greater: 3.7 or y?
3.7
Let g = -981/88 + 111/8. Which is smaller: g or 2?
2
Let c be -5*((-6)/10 + -1). Suppose -4*h + 3*k + 13 = h, 5*h = -2*k + c. Which is smaller: 4 or h?
h
Let i = 0.5 + -0.4. Let c = i - 0. Is c >= -2?
True
Suppose -4*z = -3*d - d + 8, -5*d - 17 = 4*z. Let c = 4 + z. Let m = -4 - -3. Which is smaller: m or c?
m
Let f = 24 - 9. Suppose 2*o = 3*c - 25, 5*o - o = c - f. Is 7 greater than c?
False
Let s be 24604/(-480) - (-2)/15. Let r = s - -51. Which is greater: r or -1?
r
Let l = -5 + 3. Let h = 1/12 - -1/6. Is l less than h?
True
Suppose -5*l + l = -4*w + 16, -4*l = w - 4. Suppose l*q = -q + 2. Is 2 < q?
False
Suppose 3*m + 4*h - 19 = 0, -4*m - 5*h = -3*m - 21. Let v = -276221/1479705 + 5/4289. Let g = -1/69 + v. Which is greater: m or g?
m
Let s = 11 - 7. Let m be 1 - (s + -2 - -32). Let t be 2/11 - (-171)/m. Which is smaller: t or -4?
t
Let p = 13 + -13. Let k = 0.1 + p. Does 0.09 = k?
False
Let q be 24/14 + 36/126. Are -2 and q nonequal?
True
Let c(j) = -3*j**2 - j + 1. Let r be c(2). Is r less than -13?
False
Let b = 664/53 + -3/106. Which is smaller: b or 0?
0
Suppose -5*j = 5*a - 10*j + 30, 4*a + j = 1. Let z be 26/69 - 4/12. Which is smaller: a or z?
a
Suppose 12 = -c + 2*c. Let g be (c/81)/(-1)*6. Let j = 2/9 + g. Is -1 less than j?
True
Suppose -3*v - 4*p - 263 = 0, 2*v + 445 = -3*v - 5*p. Let y = v - -375/4. Let z = y - 1/2. Which is smaller: z or -2/3?
-2/3
Let z = -12 + 21. Suppose o - 3*o + z = -5*q, 0 = 4*q + 4. Let k(b) = b**2 + b - 1. Let r be k(-2). Which is greater: r or o?
o
Let r(t) = -t + 8. Let q be r(7). Let o = -2/75 + 541/600. Let i = o - 37/24. Which is bigger: i or q?
q
Let k(y) = -y**2 - 9*y - 8. Let i be k(-7). Are 1 and i non-equal?
True
Suppose 1 = -y + 2*n, n = -y + 5*n - 3. Let t(p) = 3*p - 5. Let b be t(2). Is y at least as big as b?
True
Let q = -3 - -5. Let j be (-2 + q)/(6 - 7). Is j bigger than -1?
True
Suppose 0 = -2*y + 10. Let q be 0/(-1 - 0) + 0. Suppose 0 = -y*j - q + 5. Is j at most 2?
True
Suppose 2 = -2*b - m, -4 = -3*b + 2*m + 7. Let j = b + 0. Suppose 2*x - x = 0. Which is smaller: x or j?
x
Let j = 23 + -