)/72 + 116/198. Which is greater: y or 0?
y
Let d = 7 - 0. Let g = -6.9 + d. Which is greater: g or -1/2?
g
Let u be (-33)/(-11) + -1*2. Is 1/14 > u?
False
Let z be (10 - 9)/(1 + 0). Let j be (-2)/3 + (-2)/(-3). Suppose t - 12 = -2*t, j = a + 3*t - 13. Is z != a?
False
Let t = -3 - -4. Let y = t + 3. Let h be y/18 - 11/9. Is h at least as big as -3/5?
False
Suppose 2*a + 88 = 6. Is a < -41?
False
Let w = -2 - -1.96. Let u = 1.96 - w. Which is smaller: u or -0.1?
-0.1
Let l = -68/95 - -6/19. Are 4 and l equal?
False
Suppose -7 - 65 = -w. Let f = -1370/19 + w. Which is smaller: f or -1?
-1
Let c be (9 + -12)/(3/10). Which is bigger: c or -8?
-8
Let c be (-1)/3*-3*0. Suppose c = -3*t - 0*t. Suppose t*n = -4*n + 5*o, 2*o = 0. Is 0 equal to n?
True
Let z = 342.94 + -346. Let h = 0.06 + z. Is -1 equal to h?
False
Let a = -10 + 10. Let m = a + 0. Which is smaller: m or -3?
-3
Let k = 41 + -17. Which is greater: 25 or k?
25
Let g = 17 - 35/2. Which is greater: 6 or g?
6
Let t(z) = 2*z**2 + z. Let u be t(-2). Suppose 0 = -2*m - u + 14. Suppose 5*o - 26 = -2*l, -2*o - 2*o + 16 = 0. Which is bigger: m or l?
m
Suppose 0 = 5*i - 5*m, -i + 23 = -5*m + 7. Which is bigger: i or -9?
i
Let j be (0 - (-7)/(-2))*2. Suppose g + 12 = 4*u, -4*u = 2*g + 3*g - 36. Let k = j + g. Do k and -4 have the same value?
False
Let a(g) = -g**2 + 8*g - 4. Let k be a(9). Let d = k - -18. Suppose 0 + d = 5*y. Which is greater: y or 1/10?
y
Let x = 1.2 + -1. Let j = -0.035 + 0.035. Is x > j?
True
Let v = 9 - 5. Let b be (-20)/5 - (-70)/8. Is v not equal to b?
True
Let y = 70/3 - 359/15. Suppose 0 - 4 = -4*t. Suppose 0 = -5*c + 4*j - 21, t = -5*c - 0*j - j. Is y < c?
False
Let n = -144 - -144.3. Which is smaller: n or -9?
-9
Let i be 7/(-1 - (0 - 0)). Let j = i - -6. Do j and 1 have the same value?
False
Suppose -6 - 10 = -4*p. Let b be (p/(-8))/1*30. Is -14 less than or equal to b?
False
Let n be 5/2*12/20. Let h = 3 + -2. Let t = h - -1. Which is greater: t or n?
t
Let f(b) = -b**3 + 5*b**2 + 5*b + 1. Let i be f(6). Are -5 and i unequal?
False
Suppose -d = 3*x - 9, -x + 6*d - 3*d = -3. Let c = x + -1. Which is bigger: 5 or c?
5
Suppose 0 = -2*x - 0*x - 3*f + 14, 0 = -4*x + 2*f - 4. Let j be -2 - -1 - (x - 11). Is 10 less than j?
False
Let p = 571/9380 - 1/268. Suppose 4 = 4*r - 0. Which is bigger: r or p?
r
Let q be 1/(-5)*(1 - 0). Is 0.1 less than or equal to q?
False
Let u = 9 - -1. Let j be ((-4)/u)/(2/(-30)). Let y be 3*((-8)/j)/4. Is y < -1?
False
Let c(w) = -w**3 + 10*w**2 + 12*w - 11. Let t be c(11). Suppose t*v + 25 = -5*v. Let x = -2 - v. Which is smaller: x or 1?
1
Let n be 3 - (-4)/(1 + 3). Suppose 5*y - n = y. Which is bigger: y or -2/23?
y
Let f(v) = v**2 + 6*v + 6. Let d be f(-6). Suppose 2*p = -11*p + 104. Is d bigger than p?
False
Let p = 0.051 - -0.049. Which is greater: 4/41 or p?
p
Let q be -3 - 0*(0 + -1). Let l be (16/6 - 4)*3. Is l less than q?
True
Let k(q) = -15*q - 6. Let p be k(6). Let a be 2/7 + p/189. Let x = 3 - 3.1. Is x at most a?
False
Suppose 5*h - 15 = -0*h. Let r be h - 9/(-12)*-2. Is r bigger than 0?
True
Let v(h) = -2*h + 11. Let d be v(5). Is d > 2?
False
Let d be (-2)/(-3)*-1*-1. Suppose -m - 5 = 3. Let b be (-22)/m - 9/3. Is d >= b?
True
Let f = 1.23 - 0.8. Let j = 0.03 - f. Let l = -0.1 + 0.3. Which is smaller: j or l?
j
Let z(u) = u**2 - 3. Let p be z(-2). Let d = -41/4 - -139/12. Which is smaller: d or p?
p
Let s(u) = -u**2 + 3*u - 1. Let q be s(2). Is -2/21 less than or equal to q?
True
Let z = 59/4 + -15. Suppose 3*h + h + 4 = 0. Is z greater than or equal to h?
True
Suppose 5*m - 13 - 2 = 0. Suppose 4*o - 2 = 3*u, 6 = 2*o + o. Let i = u - m. Which is smaller: 1 or i?
i
Let f be (-2)/4 + 6/20. Let h = 8 - 8. Suppose 0*x - 5*x = h. Is f equal to x?
False
Let m = 6 - 2. Suppose -8*v + 3*v = -80. Suppose -m*x + v = -0*x. Which is greater: x or 5?
5
Let l = 62 + -62. Is l < -2/245?
False
Let r be -1 - (2 + (3 - 6)). Let c be -2*(r + 2/(-20)). Is c < -1?
False
Let l(a) = a**2 + 2*a - 1. Let p be l(-2). Is p <= -2/91?
True
Suppose 3*z = -4*i + 53, i + 45 = 4*i + 4*z. Which is smaller: 13 or i?
i
Let m be 4/22 + 40/22. Let v be m/14 + (-8)/(-42). Which is bigger: v or 1?
1
Let a be (406/21)/(1*-2). Let p = a - -39/4. Which is smaller: 1 or p?
p
Let k = -183 + 199. Do k and 8 have different values?
True
Let s be (-44)/10 - (-3 + -1). Are -4 and s non-equal?
True
Suppose 180*x = 184*x - 4. Is x >= 16?
False
Suppose -7*p + 40 = -2*p. Let s = p - 8. Which is smaller: -2/15 or s?
-2/15
Let k = 1207/14 + -86. Suppose 0 = 51*z - 42*z. Does k = z?
False
Let k = 21 - 21. Do 5/18 and k have the same value?
False
Suppose 0 = -u + 2 - 8. Let t(j) = -j**2 - 5*j + 8. Let f be t(u). Suppose 0 = f*i - 4. Is 1 < i?
True
Let j be (1/(-3))/((-5)/75). Suppose 0 = 5*o - j*c + 30, 5*c - 5 = 10. Let d be (1/o)/(2/(-6)). Which is greater: d or -2/23?
d
Let l be (-3)/(3*3/(-6)). Let g = 12 + -10. Suppose 0 = -2*c - l*z - g, -2*c + z + 4 = 12. Is -3 bigger than c?
False
Let s(j) = -j - 1. Let z be 2/5 - (-7)/(-5). Let o be s(z). Which is smaller: -1 or o?
-1
Let r = -0.95 - -1. Let j = -2.05 + r. Which is bigger: j or 0.1?
0.1
Let v = -2 + 1. Let l = 18 + -10. Let p = l + -5. Which is greater: p or v?
p
Suppose -8 = -5*j + 5*n - 3, 4*n = -2*j - 4. Suppose 2*w + z - 3 = j, -3*w + 15 = 2*z + 3*z. Let b = w - 1. Which is greater: -2/15 or b?
-2/15
Let b = 0 + 2. Is b > -3?
True
Suppose -5*y + 5*h = -15, 0*h = -3*y + 4*h + 10. Let s = -1117/42 - -178/7. Let b = s - -8/3. Which is smaller: y or b?
b
Let c = -32 - -30.7. Let w = 0.3 + c. Let n = -29/2 + 15. Is w <= n?
True
Let r be -3 + -3 + -2 + 4. Let n be 2/68*r/2. Is 2/3 bigger than n?
True
Let d = -5 + 15. Is d smaller than 12?
True
Let l = -68 + 36. Is l != -31?
True
Suppose 5*j + 55 = -0*j. Let h = j - -14. Let u be (-2)/(-7) - (-52)/14. Which is bigger: h or u?
u
Suppose -3*a - 2 = -2*a. Suppose g + g = 0, -6 = 3*k - 4*g. Is a equal to k?
True
Let b be (6/27)/(16/(-148)). Let t = b - -5/9. Is t <= -1?
True
Let n = -9 - -13. Suppose 0 = y + n*y. Is y != 10/11?
True
Let s be ((-4)/(-6))/((-2)/18). Let h be 2 + s/9*3. Are h and 2/5 unequal?
True
Let y be (3/9)/((-3)/(-9)). Is 1/11 < y?
True
Let v = -4918/15 + 328. Is -1 > v?
False
Let d = 7 + 2. Let i = d - 9.2. Is -2 less than i?
True
Let m = 6.9736 - -0.0464. Let i = 1 + -8. Let q = m + i. Which is smaller: q or 1?
q
Let m = 429 + -298. Let y be 0 + (-770)/6 - 1. Let a = y + m. Which is greater: a or 2?
2
Let u = -46 + 91. Which is smaller: u or 44?
44
Suppose -t = -3 - 8. Let u = t + -11. Is u > 8/9?
False
Let z = -6.05 + 6. Let t = 0.05 + z. Which is bigger: 2 or t?
2
Let r = 0.05 + -3.35. Let v = r - -0.3. Is 1 at most as big as v?
False
Suppose 5*f = -3*b - 15, -3*f + 4*b = -4*f - 20. Let z be 6/(-51)*(-325)/(-2). Let w = z + 19. Is w smaller than f?
True
Suppose 0 = -3*f + 4*f. Let d = f - 7. Is d less than -7?
False
Let z(n) = n - 2. Let o be z(3). Let m = 1 - o. Which is greater: -2/11 or m?
m
Let v(y) = y**3 + y**2 + 2*y + 25. Let j be v(0). Which is smaller: j or 24?
24
Let m = -231 + 201.9. Let c = 31 + m. Let f = c - 2. Is f > -2?
True
Let i be -1 - (70/4)/5. Which is bigger: 0 or i?
0
Let x(v) = -8*v**3 + 2*v**2 - 3*v + 2. Let r be x(2). Which is bigger: r or 0.1?
0.1
Let k(y) be the second derivative of -y**4/12 + y**2/2 + 7*y. Let t be k(-1). Is -1 at least as big as t?
False
Let m be ((-2)/4)/(4/40). Let y = -8 - m. Is -3 < y?
False
Let m = 12314 + -5972288/485. Which is greater: 1 or m?
1
Let g = -14 + 14. Let v = -12/11 - -197/110. Let o = -39/70 + v. Which is greater: o or g?
o
Let x = -12 + 11.86. Is 2/5 equal to x?
False
Let r = 61 + -243/4. Let c be 2*2/((-4)/(-1)). Let i be (((-1)/c)/(-1))/(-1). Are i and r equal?
False
Let i(j) = j**2. Let n be i(0). Let g = -3 + 3.2. Which is smaller: n or g?
n
Let n(m) = m**3 - 9*m**2 - 10*m - 2. Let p be n(10). Is -4/7 at most as big as p?
False
Let b(v) = v**3 - 3*v + 3. Let k be b(2). Let a(s) = s**2 - 4*s + 1. Let g be a(k). Suppose 0 = -3*o - g - 9. Do o and -5 have the same value?
True
Suppose 17*i - 14*i + 60 = 0. Is i <= -21?
False
Let f = -0.28 + 0.22. Is 0.2 at most f?
False
Let x = -0.07 - -0.07. Let j = 0.1 + x. Let y = 2.8 + -3. Is j smaller than y?
False
Suppose -2*d + 0 + 4 = 0. Let i = d -