/(-777). Let y = o - 11/37. Which is smaller: y or 0?
0
Let p(k) = -k**2 + 3*k + 3. Let c = 4 - 0. Let x be p(c). Which is smaller: -1/3 or x?
x
Suppose c = -0*c. Let r be 1 - c - (-57)/(-51). Suppose 4*w + w = -s - 21, -1 = -3*s + w. Which is smaller: r or s?
s
Let t = 664 + -7280/11. Which is smaller: 3 or t?
t
Let k = -15 + 16. Suppose 0*u + 2*u = 6. Suppose 0*h = u*h + 3. Which is bigger: h or k?
k
Let g = -2 + 6. Suppose -q = 4*v + 3*q + g, v = 2*q + 8. Which is bigger: v or 1/4?
v
Let t be (0 + 2)*-1 - -20. Let z be (-4)/t - 4/(-18). Let h = z + 0. Which is smaller: h or -4/3?
-4/3
Let k be -3 - (-48502855)/79672 - 3. Let r = k + 455/3464. Let d = r + -603. Is d at least 0?
False
Let b(q) = q**2 + 7*q - 9. Let j be b(-8). Is j <= 1?
True
Suppose 8*y + 72 = 4*y. Is y >= -19?
True
Let v be (3 + (-1470)/489)*1. Which is greater: v or -1?
v
Let c = -7 - -8. Which is smaller: -5 or c?
-5
Suppose 2*r = -3*b - 8, -6*r + r + 5*b = -30. Let j be -3 + -2 + 3 + 4. Let c be 4/2 - r/j. Is -2/7 less than c?
True
Let a = -8 - -11. Suppose 4 = -x + a. Is x at most -14?
False
Suppose 0 = -a + 5*d + 8 + 17, -2*d - 10 = -a. Which is smaller: -5 or a?
-5
Suppose g + 3*h + 1 = 0, 0 = 4*g - g - 3*h - 21. Let m be (-5)/2*(-8)/10. Suppose 4*c - 25 = 3*s, -6 = 2*c - 5*c - m*s. Which is bigger: g or c?
g
Suppose 4 + 5 = -3*l. Let n be (7 + l)*3/(-30). Which is bigger: 0 or n?
0
Suppose -h + 2 - 3 = w, 2*h = -5*w - 5. Let p(n) = n**2 + 12*n + 11. Let i be p(-11). Let k = h + i. Are k and 2/5 equal?
False
Suppose 103*a - 5 = 108*a. Are a and -12/5 equal?
False
Let n(o) = -o**3 - 5*o**2 - 3*o + 4. Let g be n(-4). Suppose 0 = -f - 2*f + 18. Suppose -f*j + 20 = -2*w - j, 3*j = 2*w + 12. Is w less than g?
False
Suppose x = 4*p + 29, -p - 3 = x + 8. Let i = p + 15. Is 7 smaller than i?
False
Let o be 22*(-1 + (-9)/(-6)). Which is smaller: o or 12?
o
Let x = -1 - 0. Let m = x + -1. Let c = 2.1 + m. Is 0.3 greater than c?
True
Let w = -1 + 2. Let j = 8 - 11. Let q be (-2 - j)*(3 - 2). Are w and q nonequal?
False
Let w = -20.5 + 2.5. Let b = w - -18.06. Is -1 smaller than b?
True
Let b = 108 + -759/7. Is -2/7 less than b?
False
Let a(g) = 3*g + 6. Let q be a(-5). Let x be 12/q*3/(-10). Is x equal to -1/4?
False
Let h = 14 - 10. Suppose h*j = 3 - 51. Which is bigger: -13 or j?
j
Let p = -21679/33 + 657. Which is smaller: 1 or p?
p
Let c be -1 + ((-42)/(-16) - 1). Suppose -15 = -3*t - 3*z, -5*t + 4*z = 4 + 7. Is c smaller than t?
True
Let a be (-42)/(-406)*1/3. Is 0 at least as big as a?
False
Let z = -0.186 + 21.986. Let h = z + -22. Which is bigger: h or 1?
1
Let c = -0.5 + 0.1. Let q = c + 0.3. Suppose 12 = -2*d - 2*d. Is d at most as big as q?
True
Let f be (-3)/((-36)/328) - (-4)/(-12). Which is smaller: 28 or f?
f
Let l be -1 - 0 - (-84)/(-60). Suppose 2*q - 9 = -q - 4*k, 4*q - 2*k + 10 = 0. Which is smaller: q or l?
l
Let h = 1576/5 - 314. Let q = h - 8/5. Let k = -0.3 - -0.1. Is q at most k?
True
Let u(k) = -k**2 + 4*k. Let g be u(4). Let s be g/((-2)/1 - 1). Let d(v) = -v**3 - 3*v**2 - 4*v - 2. Let h be d(-2). Which is greater: h or s?
h
Let y = 0.4 + -0.1. Let m = 0.1 - y. Which is smaller: 4/5 or m?
m
Let s = -0.05 - 0.05. Let z be 16/10 + (-2)/(-5). Do s and z have the same value?
False
Let s = 0.52 + 0.08. Let t = s - 1.2. Let z = t + 0.4. Is z equal to 0?
False
Let n(v) = 67*v**2 - v + 1. Let l be n(1). Let r = l - 199/3. Which is greater: r or 3?
3
Let q(a) = a**3 + 6*a**2 + a + 3. Let h be (-2)/4 + (-110)/20. Let i be q(h). Is i less than or equal to -1?
True
Let g(r) = 2*r**2 + r. Let i be g(1). Suppose 1 = -i*b - 2. Which is greater: 1/5 or b?
1/5
Let f(q) = -3*q + 6. Let d be f(4). Let u be ((-2)/d)/(5/45). Suppose 5*p - 3*h + u = -6*h, -1 = 3*p + h. Which is bigger: 2 or p?
2
Suppose -2*x + 1 = -1. Let h be (-6)/(-21) + (-1074)/(-14). Let j = h - 1000/13. Which is bigger: x or j?
x
Let y = -84.1 - -84. Which is smaller: 5 or y?
y
Let a = -10 - -14. Let h = 20 + -17. Is a less than or equal to h?
False
Let c be (-2)/6 - (-3 - -3). Let n = -3 - -6.9. Let u = 4 - n. Is u at most c?
False
Let d = -1 - -4. Suppose -11 - 10 = d*a. Let s be (-4)/(-2) - (-16)/a. Is 0.1 bigger than s?
True
Let u be (-322)/(-280) - 6/8. Which is bigger: -53 or u?
u
Let l = -1195/7 - -171. Is 2/3 bigger than l?
True
Let z be (-7618)/(-102)*(-9 - -6). Let y = -224 - z. Are 0 and y nonequal?
True
Suppose -2*p + 4*p = 8. Suppose k = -3*s - 5, -20 = -s + 6*s. Let a = p - k. Which is smaller: a or 2/7?
a
Suppose -w + 16 = -2*y - 32, -y - 2*w = 14. Do -21 and y have the same value?
False
Let d be (8/(-20))/((-6)/5). Let r = -5/6 + d. Is r equal to -1/2?
True
Suppose 0 = 4*a - 0*a - 8. Suppose 20 = -a*f + 5*r, -2*f + 12 = -4*f + 3*r. Let l be 0/(2 + -2 + 1). Is l bigger than f?
False
Let h be 9/2 - 1/2. Suppose 12 = 5*t - 13. Is h at most t?
True
Let t be (-4 - (0 - 1))/(-1). Let f = 0 - -12. Suppose -t*o = 5*i + 2 - f, -4*i = o - 8. Which is smaller: 2 or o?
o
Let x = -181/9 + 25349/1260. Let f = 68/41 + -2355/1148. Let a = x - f. Which is bigger: a or 2?
2
Let z = -27 + 43. Let p be -1 + (29 - 4)/5. Suppose 0 = -3*b - p*l - z, -5*b - 3 - 9 = 3*l. Which is bigger: b or -1?
b
Let m(q) = 2*q - 5. Let k be m(4). Suppose -4*u + k*u = 0. Which is greater: -2 or u?
u
Suppose 83 = -5*w + 8. Let s be 6/w - 54/15. Are s and -0.1 unequal?
True
Let a = -340/9 - -4447/117. Is a at least as big as -1?
True
Let p = -1.05 + 1.1. Let n = 0.02 - -0.98. Which is greater: p or n?
n
Suppose 4*g + 9 = g. Let z be 7/5*-2 - g. Which is smaller: z or 1?
z
Let u = -1.54 - -1.74. Which is smaller: u or 0.1?
0.1
Let g(n) = n**2 + 3*n + 3. Let f be g(-2). Suppose -4*h = 3*w + 270, -3*w + 75 = 2*h - 3*h. Let o be h/(-189) - (-4)/(-18). Is f less than or equal to o?
False
Let n be (-6)/(3 + 0) - -1. Let u be n*4/(2 - 0). Let w be 1*(0 - u/(-2)). Is w less than -0.2?
True
Suppose 0 = -2*n + x - 7, -4*x + 7 + 3 = n. Let k be n/6 + (-10)/(-42). Suppose 0*l = 9*l. Which is greater: l or k?
l
Let c be 19*1/(-2 + 3). Suppose 8 = 15*i - c*i. Which is greater: i or -1?
-1
Let w be 14 - 1 - 6/(-3). Suppose 0 = -3*m + w - 3. Let j = m - 5. Is j equal to 2/17?
False
Let z = 30 - 10. Let n = 17 - z. Is n less than or equal to -3?
True
Let u(k) = -k**3 - 3*k**2 + 3*k + 6. Let w be u(-3). Which is smaller: w or -2?
w
Let w(n) = n**2 + 11*n. Let v be w(-11). Let j be 1 + v + (-3)/4. Which is greater: -2 or j?
j
Let g(u) = u**2 + 17*u + 8. Let w be g(-17). Which is greater: w or 1/4?
w
Suppose 2*q = w - 1, 0 = -3*q + 4*w - 9. Suppose h = 2*i - q + 7, -3*i = 4*h + 20. Let a(m) = -m**3 - 7*m**2 - 6*m - 3. Let s be a(-6). Which is bigger: i or s?
s
Suppose -10 - 2 = 4*k. Let o = k + 4. Is 2/3 less than or equal to o?
True
Let d = 19 - 108/5. Is -3 equal to d?
False
Let z = 132 + -212. Let f = z - -558/7. Suppose -n = -5*g + 2*n - 5, 5*g + n + 5 = 0. Is g <= f?
True
Suppose -4*i - i = -40. Let o be (-2)/(-8) + 22/i. Are 3 and o nonequal?
False
Let f = -28 + 27. Which is greater: -9 or f?
f
Let n(z) = -2*z**3 + 2*z**2 + 2*z + 1. Let w be n(-1). Is 3 equal to w?
True
Let n = -4.7 - 0.1. Let q = -0.5 - -5.5. Let y = q + n. Is y greater than 0.1?
True
Let l = 1/66 + -2/11. Which is smaller: l or 1?
l
Let j(v) = -2*v**2 + 4*v - 4. Let c(l) = -l**2 + 1. Let p(h) = c(h) + j(h). Let r be p(2). Is r at most -7?
True
Let c be 12*((-15)/(-9))/5. Let r be 2 + (-3 - 0/c). Is r >= -6/11?
False
Let n(x) = -4*x + 4. Let c be n(4). Let r = -7 - c. Do r and 5 have the same value?
True
Let w = -3.9 - -4.1. Which is smaller: w or 2?
w
Suppose 3*f + f = 0. Let p = 2 + f. Suppose -2*q = -2 - p. Which is smaller: 1 or q?
1
Let f be 106/(-56) + 11/(-44). Which is smaller: -1 or f?
f
Let k(n) = 14 + n**3 - 9*n**2 - 3 - 7*n - 4*n + 0*n**3. Let s be k(10). Are s and 0 equal?
False
Let z = 9 - 9. Does -2/23 = z?
False
Suppose 3*h + 48 = 4*i, 2*h + 7 = -i - 2*h. Let q be (4/6)/((-33)/i). Do -2/7 and q have different values?
True
Let q = -8 + 7.8. Let x = -1 - -1.1. Let k = q + x. Is 2/7 at least k?
True
Let k(g) = -2*g - 9. Let j be k(-9). Let t = 19 - j. Is t at least 9?
True
Suppose -r = -2 - 2. Let m(j) = j - 4. Let n be m(7). Is n != r?
True
Let r = -49.03 - -49. Let v = -70 - -348/5. Is r bigger than v?
True
Suppose -3*x = -3*o - 4*x - 4, -o - 4 = x. Let a