l
Let y(g) = 7*g - 6. Let j be y(2). Which is bigger: j or 7?
j
Let c(o) = o**3 + o**2 - o + 2. Let d be c(-2). Let m be 26/6 + 2/(-6). Suppose g - 5*z = 4, 0 = -2*g - d*z - 2*z - m. Which is bigger: 1/3 or g?
1/3
Let m be (-6)/21 + 683/7. Let x = 97 - m. Suppose -a + 5*h - h + 9 = 0, 2*h + 8 = 4*a. Which is bigger: a or x?
a
Let w = -5 + 5. Let t = 0 + -3. Let v = 3 + t. Is w at most as big as v?
True
Let d = -2051 - -10302/5. Which is smaller: 8 or d?
8
Let w = -1156/7345 - -2/565. Let n = 18 + -11. Let d = -6 + n. Which is bigger: d or w?
d
Let z(p) = 3*p - 9. Let c be z(4). Which is bigger: 5 or c?
5
Let t = -355 + 358.93. Let h = -0.07 - t. Let j = 2 + h. Are j and -3 non-equal?
True
Let i be (-2987)/3948 + (-5)/(-15). Let l = -1/188 + i. Let q = l - -29/35. Is q equal to 0.4?
True
Let g = 30 + -26. Suppose -v = -g*v + 27. Is v less than or equal to 8?
False
Let q = -21/10 - -37/20. Which is greater: q or -4?
q
Let t be ((-10)/(-6))/(4/12). Suppose -t*k = 6 - 1. Does k = 1/8?
False
Let l(w) be the third derivative of 0 + w**2 - 7/6*w**3 - 1/24*w**4 + 0*w. Let i be l(-10). Which is bigger: i or 0.1?
i
Let i = 0.2 + 0. Let d = 0.3 - i. Let j be -14*2/12 + 3. Is d at least j?
False
Suppose -2*s + 9 = s. Suppose -2*a = -5*t + 12, s*a + 2*a - 36 = -4*t. Suppose 4*z - 2*y - a = -6*y, -z - 4*y + 13 = 0. Are -3 and z equal?
True
Let s = 0.56 - 0.46. Does 36 = s?
False
Let h = -4.2 + 5.5. Is h less than -2?
False
Suppose -h - 12 = 3*h. Is h at most as big as -2?
True
Let w be (-1)/2*(-18 + 8). Suppose -m = w*v + 18, 2*m = -2*m - 2*v + 18. Is 1/3 at least as big as m?
False
Let n = -6 + 8. Let g be n + 3 + -10 + -1. Which is smaller: g or -2/5?
g
Let s(v) = v**3 + 2*v**2 - 4*v - 3. Let l be s(-3). Let d(u) = -u**2 - 8*u - 3. Let a be d(-7). Suppose 0 = -a*y - y. Is y > l?
False
Suppose 3*q - 2*d = 5, 1 - 23 = 2*q + 5*d. Is -1/8 not equal to q?
True
Let n = -1.31 - -14.31. Which is greater: n or 0.1?
n
Let i be 1 + -3 + 12/5. Let n = 28 - 29.7. Let f = 2 + n. Which is smaller: i or f?
f
Suppose 0*d + 5*d = -15. Let y = 8 + d. Suppose 2*i - y*j = 18, -4*i + 2*i = 2*j + 10. Which is smaller: i or -3?
-3
Let n = -0.35 - -0.15. Which is smaller: n or 2/5?
n
Suppose -20 = 7*k - 2*k, 28 = 4*g - 3*k. Suppose -2*f = -g*q - 12, 4*f + 0*q = q + 3. Suppose f = 3*s - 4*s + 6. Do 5 and s have the same value?
False
Let k be 2/6 + 148/24. Let m = -7 + k. Let x(n) = n**2 - 4*n. Let o be x(4). Which is smaller: o or m?
m
Let k = 199/15 - 41/3. Are k and -0.1 equal?
False
Suppose -h = 4 - 2. Let n be 10/6 - h/6. Let v = -3 + 3. Is v at least as big as n?
False
Suppose 0 = 2*d - 4*r + 2*r + 494, 0 = 2*d + 4*r + 488. Let a = -2703/11 - d. Which is smaller: a or 0?
0
Let r = -86 + 127. Suppose -3*g - a + 59 = 2*g, 2*a - r = -3*g. Is g <= 11?
True
Suppose 5*y - 12 = y. Suppose 0 = g - y*g + 2. Which is smaller: 1/7 or g?
1/7
Let u be (-30)/(-9) - 10/(-15). Let c = -1 - -4. Which is greater: u or c?
u
Let v(y) = 15*y**3 + y**2 - y. Let z be 4/(-6) - 10/(-6). Let m be v(z). Suppose 5*w = -5*l - m, 0 + 11 = -3*l - 5*w. Is l at most as big as -2?
True
Let x = -0.7 + 0.8. Let r = 0.17 + -0.17. Is x >= r?
True
Suppose -4*r + 15 = -9. Let n be (-2 + 3)/(4/56). Let y be (r/21)/(9/n). Is 1 less than or equal to y?
False
Suppose -7*t - 5 = 2. Is t bigger than -24/11?
True
Let l be (8/12)/(110/(-45)). Suppose s + 1 + 0 = 4*k, 4*k - 16 = 4*s. Which is smaller: k or l?
k
Suppose -5*d + 43 = -3*r - 7*d, 4*d = -3*r - 47. Suppose m - 1 = -0. Is r < m?
True
Let w = -18.9 + 2.9. Let z = 14 + w. Which is bigger: z or 1?
1
Let h = -7789/16 - -487. Do h and 1 have different values?
True
Let l = 72 - 646/9. Which is smaller: 0 or l?
0
Let n = 5.3 - 0.3. Let k = 7 - n. Let w = 0 + k. Which is greater: 2/7 or w?
w
Suppose -3*s - 3 = -2*s, 0 = y + 2*s + 1. Suppose y*d = 3*g + 12, 0*d + 2 = -g + d. Is 1 not equal to g?
False
Let g = 254/7 - 36. Is g at least -1?
True
Let s = -2 - -4. Suppose 4 + 8 = s*m. Let u be 3/5*(m + -7). Does u = 0.1?
False
Suppose 0 = -5*l + l - 2*i - 164, l - 5*i = -19. Which is smaller: -38 or l?
l
Let n = -0.1 - 0. Let t = -20.047 - -0.047. Let p = -20.6 - t. Which is smaller: n or p?
p
Let n = -0.03 - -0.63. Let o = n + -3.6. Let a = -6/7 + 4/21. Is a <= o?
False
Let p be (-2)/(-1) + 231/88 + -2. Are p and 2 unequal?
True
Let d(j) = -j**2 - 19*j + 24. Let f be d(-20). Is -1 <= f?
True
Suppose 5*h = 4*h. Is h at least as big as -2?
True
Let a = 35.7 + -38.72. Let g = 0 - 0.02. Let f = g - a. Is 0 bigger than f?
False
Let q = 32 + -32. Which is smaller: q or -2?
-2
Let o be ((-1422)/36)/((-1)/(-2)). Which is smaller: o or -78?
o
Let f = 22 - 20. Which is greater: 5 or f?
5
Let s(i) = 2*i**3 + i. Let v be s(-1). Is v smaller than -11/6?
True
Let n = 2/213 + -436/1065. Let x = 4.03 + -4. Let i = x - 1.03. Is i > n?
False
Suppose h + 40 = 6*h. Let z be 0/(-2) + h/(-72). Is z > -1?
True
Let j be 12 + -11 - 11/9. Let x be 4/(-14) - 23/(-154). Let k = x + -13/66. Is j greater than k?
True
Let t be (6/(-44))/(4/32). Suppose 0 = -4*u - 0*j - 4*j - 16, -3*u - j - 8 = 0. Which is greater: t or u?
t
Let j = -30 - 7. Which is smaller: j or -38?
-38
Let x = 1.04 + 0.06. Let f = 7 - 5. Which is smaller: f or x?
x
Let v be (-27)/(-468) - 1/(-4). Which is smaller: -1 or v?
-1
Suppose 0 = 3*x + 24 + 228. Let y be 1/3 + 76/x. Does -1 = y?
False
Let s = 17 + -18. Let k(p) = -97*p**3 + p. Let x be k(-1). Let r = 671/7 - x. Do s and r have the same value?
False
Suppose 0 = -2*s - s + 78. Let r = s + -26. Is r greater than or equal to 12/11?
False
Let k = 30 + -12. Let q be 158/k - (-4)/18. Is 7 < q?
True
Let g(v) = 2*v + 6. Let m be g(5). Let r be m/(-154) + 6/21. Which is smaller: 0 or r?
0
Suppose 0 = 4*t - 2 + 18, 5*t = -o - 22. Let f = -6 + o. Let i be (f/30)/(3/(-9)). Which is greater: i or 2?
2
Let d(z) = z. Let y be d(-3). Let l = -1 + 3. Let s = l + y. Is s greater than -1/5?
False
Suppose 4*w + 2*l = -20, -2*l = 1 - 5. Let j be 12/(-15)*(-135)/w. Let p be -2*(-1 - 0)/j. Is p at most -1?
False
Let r = -0.11 + -1.09. Let a = r - 0.8. Does -0.3 = a?
False
Let p be (-42)/28*(-2)/(-19). Which is smaller: p or 0?
p
Suppose 543 + 26 = -4*i - 3*s, -3*i = 3*s + 426. Let m = i - -999/7. Let y be ((-2 - -2)*-1)/(-1). Is y greater than m?
True
Let g = 17 + -10. Let x be ((-20)/6)/(g/(-3)). Which is smaller: x or 0?
0
Let p be (-6)/(-9)*(-32 - -2). Let q = -19 - p. Does q = -1/4?
False
Let k = -30 + 50. Suppose -y + k = 5*a, -6*y = -3*y + 3*a. Which is smaller: 0 or y?
y
Let p(g) = -g**2 - 6*g - 5. Let i(x) = -3*x**2 - 1. Let o be i(1). Let n be p(o). Let d = n + -4. Which is greater: -1/3 or d?
-1/3
Let a = -3.4 + 3. Let j = a - -0.3. Let x = 1/81 - -53/81. Are x and j non-equal?
True
Let d be 20/(2 + 15/(-6)). Let p be (-14)/10 - 16/d. Are -4/5 and p unequal?
True
Suppose -2*p - 2*t = 2*t, -5*t = -p. Is 7/5 at least p?
True
Let u = 217/44 + -19/4. Let j be (-37)/(-7) - 2/7. Suppose -12 = -p + j*p. Which is greater: p or u?
u
Suppose 0 = 2*x + i - 3, 3*i + i = 20. Let p = -2222/3 - -733. Let m = p - -8. Is x greater than m?
False
Let a(r) = -2*r**3 + 3*r**2 - 2. Let l be a(2). Let y = 6 - 5.9. Is y at least l?
True
Let r = 7 + -7.12. Let w = r + 0.02. Is -2 less than w?
True
Let f = 2 + -3. Let q = -1 - f. Let m = 6 - 4. Which is smaller: m or q?
q
Let i(q) = q**2 + q - 14. Let a be i(3). Let j = -0.5 + 0.3. Are j and a unequal?
True
Let s = -3.1 - -3.13. Which is greater: s or -1?
s
Let q(u) = u**2 + u - 4. Suppose 0*l - 10 = -5*i - 5*l, 2*i + 3*l = 6. Let d be q(i). Do d and -4 have the same value?
True
Let u(f) = f - 2. Let r be u(0). Let x = -169 + 167. Is x at most r?
True
Suppose -3*m = -3, -4*m = -v - 0*m + 8. Let r = 12 - v. Is -2/7 < r?
True
Let h be 2/(-20) + 2/4. Let c = 337/738 + -1/82. Which is greater: c or h?
c
Let g = 107.1 + -93. Let s = -7 + g. Let p = s - 7. Is p smaller than 0?
False
Let l(d) = d**3 + 6*d**2 - 7*d + 3. Let s be l(-7). Are s and 3 nonequal?
False
Let f = -0.31 - 15.69. Let i = -12 - f. Let l = -0.1 + -0.1. Which is smaller: i or l?
l
Let j = -11/6 + 31/12. Is j less than 11?
True
Let s be -1*(5 - 3) - -21. Which is greater: s or 17?
s
Let z be (-8)/26*2/(-4). Suppose -4*j = 2*o - 4, 2*j + 0*o = -4*o + 8. Suppose -2 + j = 2*m. Is m bigger than z?
False
Le