True
Let h = 80/3 + -26. Let u(t) = 3*t**2 + 2*t + 4. Let k(m) = -7*m**2 - 3*m - 9. Let g(v) = 2*k(v) + 5*u(v). Let n be g(-4). Which is greater: h or n?
n
Let s = -4704/5 + 927. Let v = -14 - s. Is 0.2 equal to v?
False
Let n = 5 + 7. Let q = 20 - n. Suppose -l + 7 = -0. Which is smaller: q or l?
l
Let r be 40/(-32)*(-2)/(-5). Let z = -5 - -3. Which is smaller: r or z?
z
Let h be 0/1 + 1 - -2. Let y = 1 + h. Suppose 15 = m - y*m, 5*k + 3*m = -30. Is k at most as big as -1?
True
Let m be 4/16 + (-23)/(-4). Is 0 not equal to m?
True
Suppose -5 = -5*s - 0*s. Suppose -3*x = 2 + s. Which is bigger: x or 1?
1
Let p = -47.4 - -40. Do 1 and p have different values?
True
Let x = -248.7 - -251. Suppose 3 = 3*l - 0. Which is bigger: x or l?
x
Let r(m) = m**2 - 5*m. Let j be r(7). Suppose -4*z - j - 2 = 0. Which is greater: -5 or z?
z
Let u be (-8)/(-12)*(-6)/(-4). Suppose -l + u = -2. Suppose -l*y - 3*n = 0, 0 = -3*y - 0*n + 3*n. Is y bigger than -1/4?
True
Let h = 7 + -6.2. Let f = h - 0.9. Let k be ((-1)/(-7))/(1/3). Is f less than k?
True
Suppose -2*n + r + 0*r = 5, 0 = 4*r - 20. Let u be -3 + (n - -1)*2. Let y = -6 + 4. Is u != y?
True
Let l be 3/12 + (-3)/12. Which is smaller: 1/12 or l?
l
Let p = -4.51 + 0.61. Let c = -1 + 5. Let x = p + c. Is 7 less than or equal to x?
False
Let f be (-1)/(2/8*-2). Suppose o = 2 + 3. Which is smaller: f or o?
f
Let d be 2*(30/4 + -3)*1. Let k be (4/3)/((-1)/(-6)). Which is smaller: k or d?
k
Suppose -4*g - 1 - 5 = 3*m, -4*m - 8 = -4*g. Let t(y) = y + 3. Let o be t(-2). Let i = 0 + o. Which is smaller: i or g?
g
Let y be -4 + ((-3)/(-6) - (-3 - 0)). Is y less than or equal to 4.7?
True
Let d(a) = a**2 + 1. Let r be d(2). Let n = r - 1. Suppose 2*u + 14 = n. Is -4 != u?
True
Suppose -x = -3, -2*o + 0*o + 3*x - 29 = 0. Which is smaller: o or -78/7?
-78/7
Let a be -2*(-3)/((-12)/(-4)). Let k = -0.5 + 2.5. Is a less than k?
False
Let g = -0.22 - -0.18. Are g and -2/5 equal?
False
Let j = 2.3 + 12.7. Let n = j + -14.3. Let k = n - 0.8. Which is greater: -3 or k?
k
Let f be (15/(-4) + 0)/(-3). Let c = -5.1 + 5. Which is greater: f or c?
f
Let c = 50 + -50.45. Which is smaller: c or -1?
-1
Let g be 9/(-12)*1/(-6). Let n = g - 13/8. Let h = -210 - -210.1. Which is smaller: h or n?
n
Let d = 1 + 3. Suppose -11*i + 4*i = 0. Which is greater: d or i?
d
Suppose 0 = y + 5*j - 15, 5*y + 5*j - 2 + 27 = 0. Is -2 at least as big as y?
True
Let l be (4/(17 + -1))/(-1). Is 0 less than or equal to l?
False
Let z = 124/65 - 30/13. Is z greater than or equal to -3/7?
True
Let x be 3/2*4/6. Suppose 0 = -a - a + 12. Let j be 7/a*2/14. Are x and j nonequal?
True
Suppose 2*c = 4 - 0. Let n(a) = 4*a - 1. Let t be n(c). Is t < 7?
False
Let s = -0.05 - 0.75. Let l = s + 1. Suppose -2 = -4*g + 2*g. Which is smaller: g or l?
l
Let w(m) = m**2 + 4*m - 1. Let q be w(-7). Suppose 3*g = -4*i + 19, 0 = 2*g - 6*g + q. Is i <= 2/7?
False
Let y = 23 + -36. Are -14 and y equal?
False
Let n = 75 - 372/5. Is 2 less than n?
False
Let s = 5.1 - 5. Let g = -5 - -4. Is g at least as big as s?
False
Let x = 4 + 0. Suppose -14 = -2*j + 6*j - 2*a, -5*a = 4*j + 35. Let g = x + j. Is -1/7 < g?
False
Suppose -3*l + 4 = 2*v, 13 = 5*l - 3*v - 0*v. Which is smaller: -2 or l?
-2
Let k(i) = i**3 + 11*i**2 + 10*i + 1. Let s be k(-10). Let j be 34/6 + s/3. Let z = 5 - j. Is z <= -2/3?
True
Let x = -661.913 - -664. Let u = 0.013 + x. Let z = u + -2. Which is smaller: z or -0.3?
-0.3
Let a = 17 + -50/3. Which is bigger: 4 or a?
4
Let z = -29/20 + 6/5. Which is bigger: z or 0?
0
Let s = -4 - -49/12. Which is greater: s or 0?
s
Suppose 4*q - 5 = -w + 6, 0 = 5*q + 4*w - 11. Suppose -b = q*f + 18, 2*b - 1 = 4*b - f. Is b greater than 0?
False
Let g = 71 + -69. Let s be (-9)/(-2) - 2/(-4). Is g smaller than s?
True
Suppose 2 = i + 8. Let d = -7 - i. Is -3 less than d?
True
Suppose -k - 55 = 5*z - 0*z, -5*k + 3*z = 415. Let l = k + 242/3. Let j(n) = -n**2 - 5*n + 6. Let q be j(-6). Is q greater than l?
False
Let t(h) = h**2 + 9*h - 1. Let p(j) = -4*j + 11. Let k be p(5). Let u be t(k). Are u and 6 equal?
False
Let z = 15 + -6. Let p = -11 + z. Which is greater: p or -0.01?
-0.01
Let v = -67/3551236381 - -69661743311515378/159805637145. Let o = v - 435915. Let g = o + -2/63. Which is bigger: g or -0.4?
g
Let w(p) = p**2 + 13*p + 14. Let j be w(-11). Let z be ((-1)/(-7))/(j/(-28)). Is z bigger than -7?
True
Suppose g = 2*m - 6*m - 20, 3*g - 2*m = -18. Let o = 11/2 + -29/6. Is o <= g?
False
Suppose -2*v - 1 = 31. Which is greater: -18 or v?
v
Let n = 0.21 + -0.31. Which is greater: n or -5?
n
Let k be 6/(-9) - 1/(-2). Let f(j) = -j**3 - 13*j**2 - 13*j - 13. Let w be f(-12). Which is smaller: w or k?
w
Let f(j) = 3*j**2 - 5*j - 4. Let i be f(3). Let o be (-14)/(-56) - (-86)/i. Which is greater: 12 or o?
12
Suppose -12 = -z - 4*z + 3*b, 4*z - 12 = 3*b. Let t = -3 + 1. Is z greater than t?
True
Suppose -2*q + 4*g + 49 = 3*g, 3*q + 3*g - 78 = 0. Suppose 20 + q = 5*x. Let a = x + -9. Which is smaller: -2/19 or a?
-2/19
Let d = 4 + -3.96. Let p = d - -3.96. Suppose -f = -2*f + 1. Is f less than p?
True
Let r = 14 - 6. Suppose l - 4*h = -3*l - r, l = 4*h - 11. Let k = l + -2. Which is smaller: k or -2?
-2
Let a(f) = f**3 + 6*f**2 + 5*f + 3. Let i be a(-5). Let y = i + -12. Is y != -9?
False
Let h = 8 - 8. Suppose h*r = 4*r. Let s = 0 + 0. Is r != s?
False
Suppose 4*c = 7*c - 81. Which is smaller: -0.1 or c?
-0.1
Let z be 4/14 + (-144)/455. Is -1 >= z?
False
Let y be 8/112*(-8)/(-2). Are y and -1 equal?
False
Let q be 4 + (-1560)/261 - -2. Which is greater: q or 0?
q
Suppose y + 4 = -3*z, z = -3*y - 3*z + 3. Which is greater: y or -1/2?
y
Let i = 2.6 - 2.3. Which is bigger: i or -1?
i
Let a = 3 + -5. Let v = -3 - a. Let k be (-1 + 0)*0/2. Which is greater: k or v?
k
Let l be 10/(-3)*(-12)/(-4). Let s be (-66)/l - 18/30. Let o be 3*(8/s + -1). Do o and 4/5 have different values?
True
Suppose 2*z + y = 6*y - 18, -z = -y + 6. Let p(a) = -6 + a + 3*a - 6*a. Let u be p(z). Is 1 smaller than u?
True
Suppose 0 = -2*f + 2. Suppose 2*j - 4*y = 20, 2*j - 7*j = -4*y - 20. Let b = 2 - j. Which is greater: f or b?
b
Let a be 3/(-10)*1/3. Suppose -3*p + n = -2 - 3, 4*n + 20 = -3*p. Which is smaller: a or p?
a
Suppose -4*m + 8 = -32. Which is greater: 9 or m?
m
Suppose -4*x + 72 = -5*x. Which is bigger: -73 or x?
x
Suppose 1 = 3*i - 5. Let p be i - 1 - (5 - 9). Let g = -1 - -4. Which is smaller: g or p?
g
Let h(g) = -2*g - 2. Let j be h(-1). Suppose 0 = t + t - 3*k - 33, 4*t - 65 = 5*k. Suppose -5*n = d - 11, d - 4*d + n - t = j. Which is smaller: d or -5?
-5
Let l be 18/(-252) - (-6)/(-14). Which is greater: l or -1/4?
-1/4
Let g = 72/55 - 10/11. Which is smaller: g or -23?
-23
Let m = -10 + 16. Let j be (-3 + m + -4)*1. Which is bigger: -3 or j?
j
Let n = 88 + -2. Let o = -39 + n. Let d = 187/4 - o. Which is smaller: -2 or d?
-2
Let r = 10 - 5. Let d = 6 - r. Is d at least as big as 5?
False
Let s be 32/(-648)*(-6)/(-4). Let p(c) = c**3 - 6*c**2 + 4*c + 6. Let n be p(5). Which is smaller: s or n?
s
Let o = -0.5 - 2.5. Let c = o - -2.9. Which is bigger: 1/4 or c?
1/4
Let o(w) = w**3 - 11*w**2 + 6*w + 41. Let g be o(10). Which is bigger: g or -3/11?
g
Suppose q - 5*a + 1 = 13, -4*q = 4*a. Suppose -2 = -q*l - 0*l. Is -3/8 at least l?
False
Let a = 14 + -26. Let n(u) = -12*u**2 + u + 1. Let w be n(-1). Are w and a unequal?
False
Let w = 370998/875 + -424. Let j be -1 + 0 + (-8718)/(-14000). Let n = j - w. Is n not equal to -1?
True
Suppose 0 = -4*m - b - 75, -3*m - 14 = 2*b + 46. Let d be (m/88)/(9/(-192)). Let f = d + -373/88. Do 0 and f have different values?
True
Let a = 1 - 7. Let f = a + 5. Which is smaller: 2/9 or f?
f
Let g = 32 + -22. Let b be ((-3)/g)/((-15)/5). Which is bigger: b or 1?
1
Let u = 0.36 - 0.06. Suppose 0 = 5*l - 6*l + 3. Do l and u have different values?
True
Let q = -9 + 10. Is 3 less than q?
False
Let s be (-4)/22 - (-14)/77. Suppose -2*k + 2*p + 6 = s, -k - 2*p = -6*k + 3. Is k less than 1/5?
True
Let t = 1.2 + 3.7. Let l = 5 - t. Let a = -0.2 + l. Are a and 1/3 equal?
False
Suppose 0*t = 2*z - 4*t - 6, z = t + 3. Is z != 3?
False
Let n be (232/(-525))/((-18)/(-15)). Let q = -2/63 + n. Let w be 15/126 - 4/(-24). Is w >= q?
True
Let n = 404/15 + -27. Which is smaller: -1 or n?