g = 11.9 - 12. Which is greater: -2/5 or g?
g
Let d = 1/111 - -1217/444. Let m(t) = t**2 + 4*t + 4. Let c be m(-4). Which is smaller: c or d?
d
Let p = 12 + -12. Which is bigger: -3 or p?
p
Let l = 1211 - 9703/8. Are l and -2 non-equal?
True
Suppose 4*z - 12 = -0. Suppose -2*w - 2*o - 6 = 0, -5*w - o - 6 = -z. Let j be 6/16 + 2/(-8). Which is bigger: w or j?
j
Let r = 767/9 + -85. Suppose 4*l + 2*g = -4, 4*l + 3*g - 2*g = -2. Let i be l/((-5 - -3)*-1). Which is bigger: r or i?
r
Let j be (((-21)/(-12) + -2)/(-1))/(-5). Are 0 and j equal?
False
Let d be (-11)/(-22)*2/8. Let l(o) = -2*o + 1. Let u be (1 - 0)/(-1 + 2). Let z be l(u). Are d and z equal?
False
Let j = -3715.263 + 3710. Let s = 0.063 + j. Let l = s - -5. Which is smaller: -2 or l?
-2
Let v = -2.1 - -3.1. Do 1 and v have the same value?
True
Let m = -6 + 14. Is 0 bigger than m?
False
Let j = 3 - 14. Let r = j - -14. Is 0 less than or equal to r?
True
Let c(j) = -2*j - 9. Let u be c(-4). Do 1/4 and u have different values?
True
Suppose -2*m + 5*m = -9. Let c = 44 - 47. Is c greater than m?
False
Let g = 2 + -2. Let v = -1 - g. Let l = 3 - 2.9. Which is smaller: v or l?
v
Let m = -3 + -2. Let y(a) = -a**2 - a. Let o be y(-1). Which is smaller: o or m?
m
Let p = 163/5 - 162/5. Suppose d - 1 = -0*d. Which is smaller: p or d?
p
Let l = -17 + 7. Suppose -3*c + 37 = -4*g - 4*c, -3*g = -5*c + 45. Is l greater than or equal to g?
True
Let d(i) = i**2 + i - 1. Let y be d(2). Suppose 3*j - 1 = -5*q, -y*j = -2*q - 0*j - 12. Is q > -4/15?
False
Let l = 0.1 + 0.3. Let k = -1 - -0.8. Let c = l + k. Are 1/5 and c non-equal?
False
Let x = -13 + 38/3. Which is smaller: x or 13?
x
Let f be 6/(-5)*(-120)/36. Suppose f*v = 3*v. Which is greater: -2/15 or v?
v
Suppose -t = 4*c + 16, 0*c + 16 = 2*t - 4*c. Suppose t*v + 25 = 5*v. Let b = -8 + v. Is -2 >= b?
True
Let y be (-25)/(-2) + 2 + 9/(-6). Is 14 > y?
True
Let l = 3671 - 425795/116. Let y = l + -3/29. Which is smaller: -0.05 or y?
-0.05
Let o = 0.02 - -0.08. Which is smaller: o or -1.1?
-1.1
Let h = 0.03 - -0.07. Let n = -8.2 + 8. Are n and h non-equal?
True
Let x be (-2)/8*-4 - -5. Let u be (4/27)/(x/(-9)). Is u < -3?
False
Suppose -4*r + 3 = y + 2, -3*y = -15. Let b = -1 + r. Let s be 14/(-6) - (b + 0). Is 1 equal to s?
False
Suppose 8*a + 20 = 3*a. Let h = -6 + 1. Let k = 3 + h. Which is smaller: a or k?
a
Let p = -624/7175 - -2/287. Which is smaller: p or -3?
-3
Let c = -4227/11 - -384. Which is smaller: 1 or c?
c
Let i(k) = k**2 - 5. Let j be i(0). Let a be 24/10 + 2/j. Let n be (3*2)/a*1. Is n not equal to 2?
True
Let i be 112/(-36) + (5 - 2). Which is smaller: i or 0?
i
Let w = 2834/11 - 258. Let g(d) = d**3 + 11*d**2 + 10*d + 1. Let t be g(-10). Does w = t?
False
Let x = 1 + -1. Let s be (2 - 15)*(-3)/57. Let d = s - 1/57. Are d and x non-equal?
True
Let u be (-2)/(-5) + 82/(-30). Suppose 20 = 5*g - 10. Suppose g - 20 = 7*p. Which is greater: u or p?
p
Let b = 47/126 - 4/9. Is -1 greater than b?
False
Let i(r) = -r**2 - 9*r - 3. Suppose -g - 16 = g. Let v be i(g). Suppose n + 2*n - 2*z - 13 = 0, -v*z - 22 = 3*n. Which is greater: -0.3 or n?
n
Suppose 4*y + 5*k = 38, 2*y - 3*k + 2*k - 12 = 0. Suppose -y - 9 = -4*n. Suppose -17 = 3*q - 4*i, -3*q - 21 = -n*q - 4*i. Which is smaller: q or 2?
q
Let k = 118 + -123.1. Let n = -1.1 - k. Which is greater: 0 or n?
n
Let a(c) = -c**2 + 19*c - 18. Let y be a(18). Is y at least as big as 2/19?
False
Let q = 59 - 58.9. Is 44 bigger than q?
True
Let z = 2353/4 - 581. Which is bigger: 6 or z?
z
Let f be (-6)/12*17/24. Let u = f + 1/48. Which is smaller: u or 0?
u
Let u be 1 + -5 + (-9)/(-3). Let p = 226/5 - 45. Is u greater than or equal to p?
False
Let t = 25 - 18. Let n = 7 - t. Is n at least 6/7?
False
Suppose 45 = g + 4*g. Let t be -3*(1 + 0) - -11. Which is greater: g or t?
g
Let m = -0.31 + 0.3. Let u = 0.01 + m. Is 1/5 != u?
True
Suppose -k = -l + 3*k - 12, -12 = -4*l - 4*k. Are -2/3 and l non-equal?
True
Let g = 592/3 - 200. Let n be 2 - 2/((-4)/10). Suppose s - 5*s = 4*f + 20, 4*s - n = 5*f. Are g and s nonequal?
True
Let i = -41 - -42.3. Which is smaller: i or -1?
-1
Let s(g) = -3*g + 2 + 2*g - 1. Let y be s(-4). Suppose -4*u + y = -2*o - 3, -3*u = -3*o - 9. Is -4/5 at least o?
True
Let d be 52/(-14) + 6/(-21). Let w(m) = -9*m + 2. Let v be w(-4). Let o = 151/4 - v. Is d != o?
True
Suppose 8*j + 4*r = 3*j + 12, r + 18 = 4*j. Let a be 49/(-35) - j/(-10). Which is smaller: a or 1/19?
a
Let p be ((-22)/16)/(12/24). Is p bigger than -4?
True
Suppose -6 - 9 = -3*m. Suppose 0 = -m*j - 4*f + 27, -4*f + 7 = 3*j - 14. Let q = 2 - j. Which is smaller: -4/3 or q?
-4/3
Let d(m) = m**3 - 3*m**2 - m - 4. Let c be d(3). Let n = 6 + c. Is n equal to -1/4?
False
Suppose c = 6*c. Is 1 smaller than c?
False
Let w = 3 + -2. Let n be (-8)/28 - (-120)/175. Do n and w have different values?
True
Let h = 13 - 9. Suppose 5*k - h*z - 24 = 0, z + 19 = 5*k - 2. Suppose 0*y = k*x + 3*y, 0 = 5*x + 4*y. Are -1/2 and x unequal?
True
Let h = 2.3 + -2. Let y = -0.36 - 0.04. Let n = y + h. Which is smaller: -2/3 or n?
-2/3
Let n = -8 + 12. Suppose r = -n*r - 5. Let z = -292/5 + 58. Which is greater: z or r?
z
Suppose 3*m + 3 - 6 = 0. Let k be m - 1 - (-3 - 2). Is 5 equal to k?
True
Let y(j) = j - 7. Let g be y(6). Let t be (-2)/7 + 22/28. Do t and g have the same value?
False
Let i = -1 - -1. Which is greater: -0.16 or i?
i
Let x = 24 - 15. Let b = x + -5. Which is smaller: b or 1?
1
Let d(h) = h + 1. Let f be d(0). Suppose 5*x - 4*v = -v + f, -2*v = -5*x + 4. Suppose 0 = 5*p - 12 + x. Which is bigger: 0.1 or p?
p
Let v be 689/(-39) - 1/3. Is -17 at least v?
True
Suppose -10*g + 15 = -5*g. Let a be ((-1)/2)/(g/(-8)). Which is smaller: 2 or a?
a
Let z be (-13)/15 + (-12)/90. Which is smaller: -2/7 or z?
z
Suppose a + 28 = 3*a. Let c be 10/a*6/5. Which is smaller: c or 0?
0
Suppose 30 = -d + 4*d. Let n be (-5)/d + (-14)/(-4). Which is bigger: -0.2 or n?
n
Let p(z) be the first derivative of -z**4/4 - z**3/3 - 2*z + 1. Let k be p(-2). Are 2 and k unequal?
False
Let o = 0 + 4. Suppose -x = -u + 3, 6 = o*u + 2*x - 0. Suppose 5 = 4*p - l, p + 5*l - 11 = 3*p. Does u = p?
True
Suppose 0 = 5*l - 23 - 17. Let o = 11 - l. Let q(d) = 3*d. Let k be q(1). Is k at least o?
True
Let r(v) = -5*v + 4. Let a be r(4). Let f = -23 - a. Let k = f - -15/2. Is k >= 2/3?
False
Let v = 12 + 6. Suppose -2*i + 3*l - v = 1, 2*i + 15 = -l. Is -8 smaller than i?
False
Let r = -0.01 - 0.01. Let u = 0.98 - r. Is u less than -6?
False
Let z(r) = r**2 + 7*r + 7. Let s be z(-7). Let m = s - 6. Which is smaller: m or -2/5?
-2/5
Let f = -3 - -3. Let v = 15 + -14. Are f and v non-equal?
True
Let t = 1.6 + -5.6. Let j = t + 2. Is j greater than or equal to 0.2?
False
Let f = -2 - -2. Let y(k) = -6*k + 26. Let p(z) = -z + 5. Let w(t) = 11*p(t) - 2*y(t). Let m be w(f). Which is smaller: 1 or m?
1
Let n be (-56)/(-10) + (-10)/(-25). Suppose -3*v = -3 + n. Let g = 48 + -145/3. Is g <= v?
False
Let b = -64 - -34. Is -30 less than or equal to b?
True
Let l be (-40)/18 - (1 - 3). Let m be 1/5*-2 - 0. Is l greater than m?
True
Let m be 1/((-4)/((-16)/(-10))). Let w be ((-8)/(-10))/(-1*2). Is m greater than or equal to w?
True
Let g be -1 - (12/7)/(-2). Which is greater: g or 0.1?
0.1
Let h be 2 + (-1 + 0 - -4). Let o(p) = p**2 - 4*p - 7. Let n be o(6). Do h and n have the same value?
True
Let m = 4805/24 + -607/3. Let o = m + 11/8. Is o smaller than -1?
False
Suppose -33 - 19 = 2*c. Let a = c + 16. Is a > -10?
False
Let d = -16 - -26. Let v = -6 + d. Suppose v*x - 2*x = -2. Do -1 and x have different values?
False
Let f be (-4)/22 - 320/(-792). Which is smaller: f or 0?
0
Let n be (70/(-21))/(-5)*3/2. Which is bigger: n or -2/115?
n
Let z = -14 - 5. Do z and -18 have different values?
True
Suppose 0 = 2*l - 27 + 3. Is l <= 12?
True
Let x(f) = -12*f + 3. Let a be x(0). Which is smaller: -1 or a?
-1
Suppose 3*k + 4 = 7. Let r = -2/81 + -136/1053. Are k and r equal?
False
Let y be 1 + (1 - 3) + (-26)/(-2). Which is smaller: 3 or y?
3
Suppose h + 9 = -5*n - 7, 4*h = 5*n + 11. Let v be n - (2 - 2/1). Is v greater than -2?
False
Let k = -8 + 0. Let b be (-12)/k*1/18. Is b less than or equal to -1?
False
Suppose 4*k = 3*k + 1. Which is smaller: k or 2/113?
2/113
Let m = -73 + 72.97. 