et a be 2/l + 39/(-63). Let g = -0.1 + 0. Which is greater: g or a?
g
Suppose 3*c + 3*f + 3 = 21, -3*f + 14 = -c. Suppose 0 = 3*j - 7 + 1. Let h = c - j. Is -3/5 less than or equal to h?
False
Let r = 144/7 - 1419/70. Let m be 10/4*36/30. Suppose 1 = m*d + 4. Which is greater: d or r?
r
Let m = -14 + 8. Let c = m - -4. Is -6/7 greater than c?
True
Let h be 88/10*(-12)/(-54) - 2. Does h = -1?
False
Let z(w) = -w**3 - 2*w**2 + 7*w + 3. Let h be z(-4). Which is bigger: h or -2?
h
Let w(g) = -2*g - 11. Let n(u) = 2*u - 2. Let d be n(-1). Let m be w(d). Is m < -3?
False
Let s(f) = f**3 + 11*f**2 + 10*f - 14. Let o be s(-10). Which is bigger: -40/3 or o?
-40/3
Let z = -3 + 2. Let f = -0.5 - -2.5. Let g = f - 4. Is z > g?
True
Let h = -42 + 29. Is h bigger than -12?
False
Let m be (1/3)/(28/21). Is m less than or equal to -1?
False
Suppose -3 = -3*f + 4*x, 0*f + f + 4*x = 1. Let s = -8/7 - -118/91. Is s bigger than f?
False
Suppose o = -c + 3*o + 18, 3*c - 5*o = 51. Is c equal to 13?
False
Let z = -291 - -2331/8. Let u(f) = f**2 + 7*f + 7. Let y be u(-6). Is z < y?
True
Let s = -12 - 20. Is s smaller than -32?
False
Let y be (-2)/((-1144)/(-596) + -2). Let z = y + -3439/138. Is z less than or equal to 0?
True
Let w be (-502)/56 - (-2)/(-7). Let s = 787/2 + -403. Let r = s - w. Is -1 > r?
False
Let j = 26 - 27. Which is smaller: 11 or j?
j
Let u = -5 - -7. Suppose -g + 0 + u = 0. Is g greater than -1?
True
Suppose 0 = 5*c - 28 + 3. Let g be c/20 + (-26)/8. Is g not equal to -3?
False
Let a = -0.3 + 0.3. Let k = 2 + a. Let b(y) = -y**2 - 11*y + 1. Let l be b(-11). Is k greater than or equal to l?
True
Suppose 3*g - 24 = -3*f - 9, 0 = -2*g + 10. Is 1/5 at least f?
True
Let l = -16 - -10. Let g be l/8 - (-1)/(-4). Let h be (0 - 0) + (-1 - g). Which is smaller: -0.1 or h?
-0.1
Let i be (-6)/144*-3 - 39/56. Is i bigger than 0.06?
False
Suppose 0 = 2*u - 0*u + 8. Do u and 11 have different values?
True
Suppose 22*h = 8*h - 252. Which is smaller: -17 or h?
h
Suppose -q = -5*b - 15, 6 = q + 2*q - 2*b. Suppose 3*h + 12 = -q*h. Which is bigger: -3 or h?
-3
Suppose -2*z = -3*t - t + 24, -16 = t + 5*z. Suppose 3*s = -4*f + 43, t*f - s = -2*s + 33. Is -0.2 at least as big as f?
False
Let f(h) = h**3 - 7*h**2 + 5. Let r be f(7). Let l = -3 + r. Let i = 1 - 2. Is i < l?
True
Let d = 11 + -7. Suppose -2 = d*i + 6. Is -3 greater than i?
False
Let k = 50 + -43. Is 7 at most as big as k?
True
Let x = -23 - -42. Suppose x = 5*y - 4*y. Suppose 4*m + y = -m - 2*n, 0 = -m + 4*n + 5. Does -4 = m?
False
Let y be (-4)/(-2)*(3 - 5). Is -7 != y?
True
Let i(l) = l**2 - 7*l - 1. Let a be i(7). Suppose -5*n - 5*v = -20, n - 5*v + 1 = -1. Let f = n + a. Which is greater: 4 or f?
4
Let g = 0.5 + 4.5. Let a = -5 + g. Is a at most as big as 0?
True
Let w(j) = -j - 1. Let i be w(-6). Let f = i - 6. Do f and 4/9 have different values?
True
Let m be (4 - 1)/3*-1. Let q be 1 + -3 - (3 + m). Let d be 3 + -8 + -1 + 2. Are q and d non-equal?
False
Let m = 138 - 95. Let s = 128/3 - m. Is -0.3 at most as big as s?
False
Let a = 11/21 - 17/273. Which is smaller: a or 0?
0
Suppose 2*s + 7 = 2*b + 21, s = -4*b + 2. Is s != 6?
False
Suppose 1 = -3*o + 2*o. Suppose -4*p + 1 = 2*j - 3, 2 = -2*p. Suppose -j*n + 3*a = -7*n - 3, 3*a + 5 = -4*n. Which is greater: o or n?
o
Let p = -532370/9 + 59230. Let v = -104 - -182. Let n = p - v. Which is smaller: -0.2 or n?
n
Let q = 13 + -13.3. Is q bigger than -1/8?
False
Suppose 0 = 7*f - 3*f + 4. Let h = -0.6 - -0.8. Let v = h + 0.8. Is f greater than or equal to v?
False
Let m = 11.1 - 13. Let k = m - -1.3. Which is smaller: 0.1 or k?
k
Let v(l) = -l**2 + 7*l - 1. Let k be v(7). Let y = k - -1. Is 1/5 equal to y?
False
Let m(l) be the second derivative of l**2 + 1/12*l**4 + 2*l - 1/20*l**5 + 0*l**3 + 0. Let w be m(2). Are w and -1 non-equal?
True
Suppose z + 0*z + 4 = 0. Let h = z + 9. Suppose r = 2 - 0. Which is bigger: h or r?
h
Let v be -3*(-15)/(-27)*3. Is v >= -5?
True
Let l = 128 - 898/7. Let b = 1 + 0. Which is smaller: b or l?
l
Let v = -27502/207 - -1196/9. Which is greater: -1 or v?
v
Let q = -1 - -1. Suppose q = 2*w + w + 3. Let x be 4/(-16) + (-12)/16. Is x greater than w?
False
Let d be -5 - -45 - -1*1. Let o = d - 165/4. Let m be (1 + -1 + 0)/2. Which is smaller: o or m?
o
Let y = -326 - -229. Which is greater: -98 or y?
y
Let r be 3*1*(-20)/420. Which is smaller: r or -1?
-1
Let l = 2.76 + -0.68. Let z = 0.08 - l. Which is bigger: z or 1/2?
1/2
Let z = -25 - -15. Which is smaller: -11 or z?
-11
Suppose 5*a = -5*u + 3*a - 10, 0 = -5*a - 25. Suppose h + 6 - 2 = u. Which is bigger: h or -5?
h
Let z = -3.146 - -0.146. Is 4 > z?
True
Let n(c) = -c**2 + c + 1. Let z be n(0). Let w be ((-2)/6)/((-7)/42). Let p be (0 - 0)*w/(-4). Is z <= p?
False
Let a be (-13)/(-5) + 2/5. Suppose 0 = -a*c + 4 + 5. Suppose 0 = -c*k + 2 + 1. Is 1/10 <= k?
True
Let x be (2/(-3)*-1)/(20/(-6)). Let i(k) = -k**2 + k + 1. Let j be i(1). Is j not equal to x?
True
Let b = -53 - -37. Let n = 23 + b. Let z = n + -6.7. Which is smaller: 1 or z?
z
Suppose 5*p - 3 = 7. Let b be (1/p)/1 - 0. Does b = 2?
False
Let z = 64 + -64.4. Let b = 4.3 - 4. Let l = b + z. Are 1/9 and l unequal?
True
Let x(b) = -b**3 + 3*b**2 + 5*b - 4. Let l be 0/(-2) + 3 + 1. Let r be x(l). Let s be 2/(-7) - 1/7. Is s less than or equal to r?
True
Let g be (-8 - -2)/(3/80). Let a be 2/3 - g/(-195). Which is greater: 1 or a?
1
Suppose 2*j + 5 = 7*j. Let f be j*(-2 - (1 + -3)). Let s(z) = z**2. Let d be s(0). Is d > f?
False
Suppose 0 = -2*h - 2*h - 3*b - 47, -4*b + 12 = -4*h. Let w be (-2)/h + 5/(-4). Let v = w - 2. Which is smaller: v or -5/2?
v
Let r = -15 - -13. Let u be 2 - (r + (-62)/(-16)). Let k = 2 - 3. Which is smaller: k or u?
k
Let d = -135 - -948/7. Let x = -2/33 + 8/11. Which is greater: d or x?
x
Let t be (-3 - -2) + 411/12. Let d = -33 + t. Which is smaller: 0.3 or d?
d
Suppose -2 = -u + 3*j - 23, -u - 25 = -5*j. Which is bigger: u or -12?
-12
Let y be (1/(-3))/(6/9). Let h = 8 + 1. Let q = 6 - h. Which is smaller: y or q?
q
Let p be 67/(-3) - 6/9. Let r = p + 10. Let t be ((-3)/6)/(r/(-4)). Which is bigger: t or -1?
t
Let f = 1 + -3. Let q be (9/(-12))/(2/8). Let t(b) = -b**2 - 3*b - 2. Let x be t(q). Is x <= f?
True
Suppose -4*o + 4 = c, -5*c + c = o - 16. Which is smaller: c or 7/2?
7/2
Let z be 2 + (3 - 54/10). Let a be 1 - (-2 - -5) - -2. Which is bigger: z or a?
a
Let i be 0 + 1 + ((-45)/27)/1. Which is greater: 3 or i?
3
Let l be ((-3)/(-4))/((-45)/36). Which is bigger: -2 or l?
l
Let u = 0.04 + -4.14. Let k = 3.1 - 3. Let d = k + u. Is d < 2/3?
True
Suppose 6*l - 4 = 2*l. Let i = l + 3. Is 4 smaller than i?
False
Suppose -4*i = -4*q, 3*q + 4*i = -2*q. Let g = 4 - 6. Which is smaller: q or g?
g
Suppose 4*d - 2 = 26. Which is smaller: 6 or d?
6
Let x(n) = n - 8. Let b be x(10). Suppose 7*o - 2 = 5*o. Is o < b?
True
Let o = -11 - -16. Suppose o*y - y + 28 = 0. Does -6 = y?
False
Let j be (-3)/2 - (-7)/(-2). Suppose -3*k + 12 = -0*k + w, -3*w = 3*k - 12. Let m = k - 11. Which is greater: j or m?
j
Suppose 35 = 5*f - 0*f. Which is bigger: 8 or f?
8
Let t = -4 + 4.3. Which is smaller: t or 1?
t
Suppose 15 = -3*y, -4*y + 5 = o + 23. Let s be 9/6 - 1/(-4). Is s at most o?
True
Let y be (-38)/(-84) + (-8)/12. Let k = y + 55/126. Let v = 3 - 3.2. Which is smaller: v or k?
v
Suppose 37*q = 40*q. Is -2/11 greater than or equal to q?
False
Suppose -f + 0*f - 1 = 0. Let n be f/(-2) + (-3)/18. Which is bigger: n or 0.2?
n
Let l be 0/((-5)/15*-6). Which is smaller: -10/7 or l?
-10/7
Let h(o) = -75*o**2. Let y be h(1). Let i = 524/7 + y. Let b(t) = -3*t + 25. Let p be b(8). Which is smaller: p or i?
i
Let l be -4 - -5 - (-14)/(-10). Let a = 0 - 1. Which is smaller: a or l?
a
Let q = -10/13 - -59/26. Is 3 at most as big as q?
False
Let q = -13 - -8. Let s(j) = -j**2 - 3*j + 10. Let v be s(q). Does 2/45 = v?
False
Suppose 2*f + 19 = -3. Let k = f - -15. Suppose -k*q = q. Is 1/4 <= q?
False
Let b = -5.877 - 0.123. Let p be 2/3 - 1/3. Which is smaller: p or b?
b
Suppose 4*j = -4*u - 4, -5*u - 2*j + 5*j - 5 = 0. Let m = 4 + -5. Is m at least u?
True
Let y be 8/48 + 91/30. Is y greater than 1?
True
Let u = 0.17 + -0.04. Which is smaller: u or -1?
-1
Let i be 3/(63/93) + -3. Which is greater: 2 or i?
2
Let c