1. Let q = 1/52 + -139/1820. Which is smaller: c or q?
c
Suppose -2 = -s + 4. Suppose x = s*x + 25. Which is smaller: -4 or x?
x
Suppose 6*m - 45 = 3*m. Is 2 greater than m?
False
Let w = -8.9 + 9. Let y = 5 + -4.7. Let n = y + -0.1. Which is bigger: w or n?
n
Let t be 3 - 186*(-18)/(-8). Let z = t - -408. Let r = -8 - z. Which is greater: r or -1?
r
Let r = 2998/3 - 980. Are 20 and r non-equal?
True
Let x = -447/44 - -120/11. Is x bigger than 1?
False
Let p = 1 - 1. Suppose -20 = -7*u + 8. Let j be (u - 2 - p)*2. Which is greater: 3 or j?
j
Let u = 3 + -10. Let q = u - 0. Let x = q + 8. Is 1 <= x?
True
Let m = 6 - 5.8. Let w = 0.1 + m. Let c = 0.4 - w. Which is greater: -2/3 or c?
c
Let h be 2*4*(-5)/350. Is h at least 0?
False
Let l = -3.55 + 4. Let a = -0.5 + l. Let k(v) = v + 9. Let h be k(-8). Which is smaller: a or h?
a
Let d be (-8)/32 - 30/8. Suppose -6 = 5*s - 2*s. Which is smaller: d or s?
d
Let l = -26 + 39. Which is smaller: 0.2 or l?
0.2
Suppose 3*k - 1 = -7. Let m be 12/6 - (-6)/k. Is m greater than 2/5?
False
Let h = 1.91 + -0.11. Let f = -0.1 - h. Let t = f + 2. Which is smaller: t or 0?
0
Suppose 0 = l + 2*t + 3, -2*l - 2*t + 75 = -7*l. Is -2 bigger than l?
True
Suppose -5*y + k = -3*k + 14, -6 = y - 4*k. Suppose -j - 6 = -3. Let h = j - -2. Which is smaller: y or h?
y
Let f = -48692/45 - -1082. Let o = -184 + 185. Which is greater: o or f?
o
Let y = 84711/86 + -985. Is y != -1?
True
Suppose -2*a = -2*x + 44, 3*a - 5*x = -20 - 36. Which is smaller: a or -1/2?
a
Let c = 26 - 14. Let w = c + -11. Which is smaller: w or 2?
w
Let m = -2 - 4. Let w = m + 23/4. Which is smaller: w or 1?
w
Suppose 0*n = n - 153. Let q = 455/3 - n. Which is bigger: 0 or q?
0
Let z = 93 + -27. Suppose -2*t - z = t. Let o = -112/5 - t. Does o = -0.2?
False
Suppose 12 = 3*w - 3. Let j be 2/w*30/(-234). Does j = 1?
False
Suppose 0*n - 4*n = -16. Suppose n*f = -12, -2*f - 2 = -g + 5*g. Which is smaller: g or 2/7?
2/7
Let v(m) = -m**2 - 3*m - 1. Let b be v(-2). Let d(s) = -s**2 + 9*s - 4. Let w be d(6). Let q be 4/w*(-14)/(-6). Which is smaller: b or q?
q
Let d = 427/44 + -170/11. Is d smaller than -6?
False
Let g = 0.2 + -0.3. Let w = -5.9 + g. Let z = 4 + w. Is z > -1?
False
Let f = -176 + 1586/9. Suppose 3*d + 2 + 1 = 0. Is d > f?
False
Let h = 0.21 - 0.01. Which is bigger: h or 0.17?
h
Let x = 22.8 + -19. Let i = x + -4. Which is bigger: i or 2/7?
2/7
Let b(f) = f**2 - 6*f + 4. Let z be b(5). Let j be (4*z/(-92))/(-1). Which is greater: j or -1?
j
Let r be 3 - (2 - 55/(-60)). Do r and 1 have the same value?
False
Suppose i + 4*t + 102 = -2*i, 2*i = 2*t - 54. Which is bigger: i or -31?
i
Let d be (-1)/2*48/40. Is -2 > d?
False
Suppose -2*a = 2*a - f - 124, -5*f = -5*a + 155. Suppose -3*b - 3 = -4*p - 16, -5*p = 3*b - a. Let z = b - 6. Is z less than 4/5?
False
Let p be (-46)/(-12) + 2/12. Suppose 4*y + 4*i = 2 + 2, -5*y = p*i - 5. Let l = 8 + -5. Is l greater than or equal to y?
True
Let w be 8/18*6*-3. Suppose 12 = 3*f - 6. Let l = f + w. Which is greater: 0 or l?
0
Let h = 20 - 17. Suppose -m - h - 3 = 0. Are -5 and m nonequal?
True
Suppose -v = -45 - 89. Let o = v - 935/7. Which is smaller: o or 0.1?
0.1
Let c(l) be the second derivative of 7/12*l**4 + 0 + 1/20*l**5 - 2*l + 4*l**2 - 7/6*l**3. Let q be c(-8). Is 4/3 >= q?
True
Suppose 3*f + y + y + 6 = 0, -3*y - 9 = 4*f. Is -3/5 equal to f?
False
Let s(u) = -u**3 + 7*u**2 + 10*u - 6. Let h be s(8). Suppose 8*j = -5*g + 3*j - h, -5*g + j - 16 = 0. Is -3 equal to g?
True
Let k(b) be the first derivative of b**2/2 - 16*b - 3. Let i be k(13). Are -3 and i equal?
True
Let w = 9 - 8. Suppose -2*j + 1 + w = 0. Is j bigger than 1?
False
Let l be 2 + ((-200)/(-45))/(-5). Which is smaller: 2 or l?
l
Let f = 178 - 166. Is f smaller than 6?
False
Let x = -0.7 + -0.2. Let m = 0.1 - x. Which is greater: 0.4 or m?
m
Let k(p) = -6*p + 56. Let i be k(9). Which is bigger: i or 7?
7
Let d(v) = 9*v + 1. Let r be d(-2). Let x = -17 - r. Is x greater than 2/5?
False
Suppose -6 = 2*c - 4. Let i(r) = -r. Let w be i(-4). Let u(h) = h - 4. Let s be u(w). Which is greater: s or c?
s
Let y = 3/8 - -1/8. Let x = 17 + -20. Let t be 3 + ((-9)/x - 6). Is t at most as big as y?
True
Suppose -5*p + 60 = -p. Suppose -g + 6*g = -p. Is -4 smaller than g?
True
Let a = -0.1 + -8.9. Let f = 13 + a. Let r = -3 + f. Are 1 and r nonequal?
False
Suppose -31 = -5*k - 1. Suppose 2*j = -6*n + n - 6, -2*j = -2*n + k. Is 6/5 > n?
True
Let p be (((-22)/33)/(2/9))/17. Which is bigger: 0 or p?
0
Suppose 5*v - 48 = 3*v. Let n be (v/20)/(19/5). Let a = 37/57 - n. Does 1 = a?
False
Suppose 5*c - 17 = 2*t, -5*t + 6 = -14. Suppose -x + 1 = c. Does -5 = x?
False
Let n = 5 - 10. Let i(l) = -l**2 - 6*l + 5. Let s be i(n). Is s greater than or equal to 9?
True
Suppose -2*c - 3*c - 35 = 4*g, 4*g + 14 = -2*c. Is 0 equal to c?
False
Let b = 38/39 - 4/13. Let y be (3/(-3) - -1)*-1. Suppose -5*k = -g, y*k - 3*k = 0. Are g and b equal?
False
Let m = -126 + 122. Which is greater: -14/3 or m?
m
Let f(v) = v**3 - 11*v**2 - 5*v - 9. Let m be f(8). Let j = 3131/13 + m. Which is bigger: 1 or j?
1
Let c = 15071/18 + -837. Let r = c + 2/9. Which is smaller: 1/4 or r?
1/4
Let l = -1 - 0. Suppose 2*s + s = 12. Suppose 3*z = -d - 3, s*z + d + 1 = -2. Is l >= z?
False
Let k(q) = -q**3 - 4*q**2 - 4*q - 2. Let t be k(-2). Let b be -2*t/(-40)*-4. Let h = -0.6 - -0.5. Is b bigger than h?
True
Suppose -2*i = -8, m - 3*i + 48 = 2*i. Let f = m + 40. Let b(g) = -g**3 + 12*g**2 + g - 17. Let q be b(f). Which is greater: q or -7?
q
Suppose -7*i + 18 = -9*i. Which is smaller: -8 or i?
i
Let u = -0.64 + -1.36. Which is bigger: u or -16?
u
Suppose 2*a = -3*a - 10. Let r(h) = 2*h. Let s be r(2). Let v be ((-10)/s + 2)*2. Is a >= v?
False
Let p = 773/88 + -31/8. Is p equal to 5?
False
Let c(y) = 2*y**2 + y**2 - 4*y**2 - 2 + 12*y. Let n(i) = -i**2 + i - 1. Let x(s) = c(s) - 2*n(s). Let p be x(-10). Which is greater: -2 or p?
p
Suppose 3*x + 30 = -0*x. Let c(g) = -g**2 - 11*g - 1. Let j be c(x). Let i = 13 - j. Which is smaller: i or 3?
3
Let j = -2 + 4. Suppose 3*h = -20 + 8, -t = -j*h - 13. Suppose 0 = t*l + 2 - 7. Which is greater: l or 2/5?
l
Let l = -7 - -7. Let b be (2 + (l - 2))*1. Which is smaller: 1 or b?
b
Suppose -f + 3 = -4. Let c = -64 - -65. Is c equal to f?
False
Suppose 2*r = f - 4, 6 - 21 = -3*r. Does f = 14?
True
Let y be (-2)/((-2)/5) - 2. Which is smaller: 5 or y?
y
Let w(z) be the first derivative of -z**3/3 + 2*z + 4. Let u be w(0). Is 0 less than u?
True
Let a be (5/(-2))/((-1)/6). Suppose 5*r = -f - 5, 0 = -r - 3*f - a. Is r less than or equal to 4/5?
True
Let r(c) = 2*c + 2. Let i(x) = -3*x - 4. Let b(n) = -3*i(n) - 5*r(n). Let l be b(5). Let f be 4/(-8)*(1 + l). Are f and 2/5 unequal?
True
Let u(m) be the first derivative of m**4/4 - 4*m**3/3 - 5*m**2/2 - m - 1. Let y = -16 - -21. Let o be u(y). Is o greater than -4/5?
False
Let d = 31 + -5. Suppose -3*g + 251 = d. Let y be 4/(-26) - g/(-65). Is y > 0?
True
Let z = -2 - -9. Suppose -z*f + 3*f = 0. Are 3/13 and f nonequal?
True
Let a(c) = -18*c - 1. Let j be a(6). Let q = j - -765/7. Let v = -0.35 - -0.3. Which is greater: v or q?
q
Suppose -3*d + 9 = 0, -2*k - 5*d - 1 = -4. Let j = -13 + 6. Which is smaller: j or k?
j
Let l be -2 + 4 + (-235)/(-4). Let p = 61 - l. Is 1/2 bigger than p?
True
Let b = -2 + 7. Let h = -4 + b. Which is smaller: -1/10 or h?
-1/10
Suppose 4*v = v - 219. Let d = 439/6 + v. Which is smaller: d or -1?
-1
Let b be (-2)/2 + (-8 - 0). Let m = b - -8. Which is smaller: m or 1/3?
m
Let j = -1 - -6. Let g be j/4*(-32)/8. Which is bigger: g or -6?
g
Suppose 38 = -5*r - 2*a, 5*a + 7 = 2*r - 1. Is r > -9?
True
Let s be ((-8)/22)/(1/(-545)). Let b = 198 - s. Are b and -1 nonequal?
True
Let v = -12 - -12.1. Does 0 = v?
False
Let d = -0.3 - 0.7. Let y = -0.526 + -0.074. Which is bigger: d or y?
y
Let r be -1 - 3*-1*1. Let q be 2*(-6)/4*-1. Suppose -2*h = -h - 4*n - 5, -q = -4*h - n. Which is smaller: r or h?
h
Suppose 8*c - 168 = -48. Which is smaller: 13 or c?
13
Suppose 4 = -27*n + 23*n. Is n > 1/96?
False
Suppose -5*h + 0 = -15. Suppose -s = 2*s - 15. Is s < h?
False
Let g = 71.8 + -61. Let f = 10 - g. Let r = f + 0.8. Is r greater than 3?
False
Suppose -2 = -5*j + 3. Let o be 0 - j - (-4 + 8). Is o b