1. Let l = -23 - -24. Which is greater: j or l?
l
Let p = 0.013 - -0.028. Is -0.1 < p?
True
Suppose -10 = -0*y + 5*y. Let v = -1/102 - 95/714. Which is smaller: v or y?
y
Let g be 1 + ((-10)/(-6))/(-1). Which is smaller: -8 or g?
-8
Let n = -0.77 - -20.07. Let p = 20 - n. Is p equal to 0.1?
False
Let j = 8.7 + 2.3. Let x = 11.2 - j. Which is smaller: -2 or x?
-2
Let w = 3 + -2. Let n be 5835/(-24) + (-1)/2. Let b = n + 244. Is b greater than w?
False
Let v be 26*(-44)/376 - -3. Is 0 smaller than v?
False
Let a(x) = -5*x**3 - x**2. Let w be a(-1). Let r = -38 - -43. Suppose -q - w*q = r. Which is greater: q or -2?
q
Let h = -88.3 - -92. Let l = h - 0.7. Which is smaller: l or 0?
0
Let f = -3 - -2. Let u = f + 0.8. Let o = -0.1 - u. Is o != -2/5?
True
Let h = -5 + 7. Is 4 >= h?
True
Suppose -5 = 3*l + 2*l, 5*k = -3*l - 8. Let t(q) = 0*q + q**3 + 0*q + 1. Let w be t(k). Which is smaller: 2/7 or w?
w
Let v(k) = -52*k + 10. Let n be v(4). Let x be 4/2*(-2 - -1). Let j be x/9 + (-26)/n. Is j < -1?
False
Let j = -115 + 115. Which is smaller: -9/10 or j?
-9/10
Suppose 4*w + 2 = 5*s, 7 + 1 = 4*w. Suppose -4*k = 12, -s*d = -5*k - 0*k - 13. Which is smaller: d or 1/5?
d
Let i = -285 - -293.74. Let u = i - -0.26. Which is greater: u or -0.2?
u
Let i = 2/107 - -204/535. Suppose -4 = -4*h + q, q = -5*h - 2*q - 12. Suppose h*x = -2*x. Which is smaller: i or x?
x
Let p be (8/(-12))/((-6)/(-15)). Which is smaller: p or -3?
-3
Let s(d) = -d + 12. Let g be s(8). Let q be (4 + -3)*2*2. Do q and g have the same value?
True
Let m(y) = -y**2 + 8*y - 9. Let n be m(6). Let q be 3/(n/(-6) - 1). Which is smaller: q or -1?
q
Let j = -92 - -301/3. Which is bigger: j or 9?
9
Let z = 0.1 + 0.4. Let j = z - 0.9. Let m = 0.5 + j. Which is smaller: -0.2 or m?
-0.2
Let j = 59.016 - 0.016. Is j greater than -0.1?
True
Let y(m) = 5*m - 2. Let t be y(2). Let q = -14 + t. Let l be 3/(-6)*q - -1. Do 5 and l have the same value?
False
Let f = 1.6 + -1.5. Suppose -x - 3*x + 20 = 0. Suppose 3*p + 4 = x*p. Which is bigger: p or f?
p
Let j be (3 - 6/2)/1. Suppose j = k + k. Which is bigger: k or -1/5?
k
Let k be (3 - -2) + -4 + 1. Let w be (-6)/k - (-78)/30. Which is greater: -0.3 or w?
-0.3
Suppose 3*o = -2*o + 2*p - 25, 5*o + 2*p + 5 = 0. Let t be o/6 - (-5 - -4). Which is smaller: 0.1 or t?
0.1
Suppose -r = 3*r - 4. Which is bigger: r or -2?
r
Suppose -90 = 2*i + i. Which is smaller: i or -29?
i
Let l be -1 - (-1 - (-2)/4). Does l = -11/6?
False
Suppose 3*g - 37 = -a, -17 = -0*g - 3*g + 4*a. Suppose 6*h + 5 = g*h. Which is bigger: h or 6?
6
Suppose -t = t. Let f be 6/2 + (-164)/56. Let a = -4/7 + f. Is a >= t?
False
Let j be 1/(-211)*421 + 2. Let k = 857/2743 - j. Let g = k + -94/221. Which is smaller: 0 or g?
g
Let w = 5 - -1. Is 6 less than or equal to w?
True
Let y(i) = 3*i - 6. Let s be y(4). Let k = -33 - -35. Does s = k?
False
Suppose 4*k - 5*a + 7 = 0, -2*k + 2*a = -7*k + 16. Let d be k*(-3)/30*2. Let t(j) = -j**2 - 5*j. Let v be t(-5). Which is smaller: v or d?
d
Suppose -2*w + 4*w = 0. Let j be (-8)/(-5) + (w - 2). Let t(s) = s + 1. Let v be t(-1). Is j at most v?
True
Let u(d) = -d - 5. Let i be u(-5). Which is smaller: i or 4/3?
i
Let a be (-3 - -1 - -4) + 2. Suppose 0*h = -2*h + a. Which is smaller: 4/5 or h?
4/5
Let z = 1.9 + -2. Let y be -1 + (-1)/(20/(-28)). Let g = 8/45 - y. Which is greater: z or g?
z
Let l = -2 + 2. Suppose -4*s - 7 = -5*u - l*s, -4*s - 12 = 0. Let t be (-6)/((55/33)/((-1)/(-3))). Which is smaller: u or t?
t
Let t = 1.26 + -1.36. Is t less than -2/87?
True
Let m(s) = 2*s**2 + 8*s + 3. Let f be m(-5). Suppose 3*g = 8 + f. Which is greater: 5 or g?
g
Let l be (1 - -1)/((-8)/52). Which is bigger: l or -12?
-12
Let t be ((-4)/(-15))/((-98)/(-35)). Which is bigger: 0 or t?
t
Let f(d) = -3*d - 5. Let a be f(-8). Let k = -211 - -459/2. Let z = a - k. Which is greater: z or 2/3?
2/3
Let i = -0.05 + -0.15. Which is bigger: 41 or i?
41
Let o = -18 - -18. Which is greater: o or -0.8?
o
Suppose 4 = -m + 1. Is m <= -5/3?
True
Let m = 38 + -24. Let j(x) = 3*x + 14. Let r be j(-6). Let z be (2/m)/((-2)/r). Is z not equal to -2/3?
True
Let u = -46 + 45. Which is bigger: u or 4?
4
Let b(p) = -p**3 - 8*p**2 - 9*p - 2. Let a be b(-6). Let k = -20 - a. Which is greater: k or 1?
1
Let w = -0.3 - -0.2. Let u = -62 + 182/3. Which is smaller: w or u?
u
Let g(m) = -3*m - 34. Let d be g(-11). Let x = -2 - -1. Is d not equal to x?
False
Let u(r) = r**3 - 4*r**2 - 5*r. Let c be u(5). Let s(x) = -62*x**3 - x**2 - x + 1. Let p be s(1). Let w be 69/p - (-2)/3. Is c equal to w?
False
Let b be (80/5610)/(1/10). Let w = 2/51 + b. Do w and 1 have different values?
True
Suppose -5*i = -4*t - 2, -3*i - t + 4*t = 0. Suppose i*r + 14 = -2*j, -4*r - 41 = j - 16. Let m be 2/(-12)*2*r. Which is greater: m or 1/2?
m
Let t(c) = c**3 - 15*c**2 + c - 11. Let p be t(15). Let l be (2/p)/((-4)/(-8)). Is 1/2 at most l?
True
Let v = -0.05 - 0. Let a = v + -0.04. Let z = a - -6.09. Which is smaller: z or 0?
0
Suppose 0 = 3*z + 15 + 6. Let w(h) = -2*h**2 - 12*h - 9. Let r be w(-6). Let c = r - z. Do c and -4 have different values?
True
Let a = 31 + -18. Suppose 3*i - 5*d = i + a, -4*i - 44 = 4*d. Is i at most as big as -6?
True
Suppose p + 144 = -7*p. Which is smaller: -17 or p?
p
Let j(k) = -2*k**2 - 8*k + 7. Let z be j(5). Is z > -83?
False
Suppose 3*r + 5 = -2*t, r - 1 = -2. Let l = -1821/13 - -140. Which is smaller: t or l?
t
Let j(k) = -k**2 + 3*k - 2. Let f be j(2). Suppose f = -5*q - 23 - 12. Is -6 smaller than q?
False
Let g be 81082/1488 - (3 - 3). Let b = 710/93 + g. Let f = -62 + b. Is 1 at most as big as f?
False
Let a = -1.41 + 0.01. Does -2/3 = a?
False
Let v = -10516 + 42313/4. Let l = -62 + v. Is l greater than -1?
True
Let u = 23 + -16. Which is smaller: 8 or u?
u
Suppose 2*p = 2*d - 0*p - 32, 2*p = 3*d - 46. Is d equal to 13?
False
Suppose 0 = 3*c - 3 - 0, -5*d = -4*c + 4. Let s be 2 - (d - 16/(-7)). Let h be 0/(-3 + 2 + 0). Is h at most s?
False
Suppose 0 = -4*c + 6*c + 4. Which is smaller: -9/8 or c?
c
Let s be 3/(6210/5944) - 3. Let y = -2/115 - s. Suppose 0 = -3*v - 0*v. Which is greater: y or v?
y
Let b(o) = o - 10. Let i be b(12). Suppose p - 6 = i. Which is smaller: p or 9?
p
Let l = -63.89 - -77. Let h = -13 + l. Which is smaller: 0.1 or h?
0.1
Let v = -145/3 + 50. Which is bigger: 3 or v?
3
Let s be 6 - (-3)/(-3) - 3. Is s equal to 10/7?
False
Let r be ((-4)/(-7))/(4/14). Suppose -r*y = -y. Let w = 10/9 - 2/3. Which is bigger: y or w?
w
Let b = -5 + 4.9. Which is smaller: 20 or b?
b
Let y(l) = -l - 6. Let v be y(-6). Let x = v - 0. Suppose 2 = -c - c. Which is smaller: c or x?
c
Suppose 0 = -4*f + 2*c - 2, -5*f - c - 6 = 0. Let x(k) = -k**3 - 5*k**2 + 4*k - 2. Let p be x(-6). Let o be (4/p)/((-9)/5). Is f >= o?
False
Let w = 9 - 8. Suppose 7*n = 2*n + 20. Suppose 0*s = n*s. Which is bigger: s or w?
w
Suppose 5 = -o - 3*x, 5*o + 0*o = -3*x - 1. Is o greater than 4/11?
True
Let b = 4.6 - 6. Let w = 3.1 - b. Let t = -4 + w. Is t at most as big as 0.1?
False
Let i = 1.9 + -2. Let k = -11 + 13. Let w be 2/(-36)*k*1. Which is smaller: i or w?
w
Suppose 3*y + 16 = -20. Let g be (18/(-36))/(10/(-8)). Is g equal to y?
False
Let a = 113 - 86. Which is greater: a or 26?
a
Let t(o) = o**2 - 14*o + 24. Let u be t(12). Which is greater: u or -2?
u
Suppose s - 5 = -4. Are s and 10 non-equal?
True
Let p(m) = m**3 + 6*m**2 + m + 6. Let i be p(-6). Suppose 0 = -0*n + n - 3. Let t be n/(-12) + (-1)/(-4). Are t and i unequal?
False
Let s = -3/35 + 41/70. Let p be (2/(-5))/(-2 + 3). Which is smaller: s or p?
p
Suppose -5*s - 8 = -4*d, 0*d - 3*s + 5 = -d. Let h = 6 - d. Let c(y) = y**3 + y**2 + 2*y + 1. Let j be c(h). Which is greater: j or -2/23?
-2/23
Let d be ((-4)/(-7))/((-54)/(-63)). Which is smaller: -1 or d?
-1
Let w = -1591/4 - -402. Let u = -4 + w. Which is smaller: u or 2/9?
2/9
Suppose 0 = o + 3, 4*m - 12 = m - 2*o. Let k = m - 10. Let n = -3 - k. Is 4 equal to n?
False
Let a be 4 - (3 + -6 + 0). Let r = a + -5. Let j be ((-7)/r)/((-1)/2). Which is smaller: 6 or j?
6
Let q = -13/4 + 87/28. Is -1 >= q?
False
Suppose -8*j + 138 = -2*j. Is 22 >= j?
False
Suppose 7 = 5*x - 5*d + 2, -5 = -5*d. Let o be (-1)/3 + (-13)/(-3). Let n be 1 - x*o/14. Which is smaller: n or 1/5?
1/5
Let c be (-