-24))/o*2. Which is bigger: -1 or l?
l
Let p = -4 + 6. Let a = p + -3. Let j = -0.8 - a. Which is bigger: j or 2/7?
2/7
Suppose 2*z - 15 = 3*o, o = -z + 2*z - 6. Suppose -z*u + u = -2. Is 4/7 < u?
True
Suppose -c - 4*k = 3*c, k = 2*c - 3. Suppose c = -3*t - r, 0*t + 4*r = t + 22. Which is smaller: t or 2?
t
Let m = -11 + 0. Let s = -8 - m. Is 0.2 greater than s?
False
Let c(z) = z - 3. Let h be c(1). Do h and -42/13 have the same value?
False
Suppose -5*k = -4*a + 4, 0*a - 2*k + 4 = -3*a. Let w = -2 - a. Suppose -4*n + 2*m + 1 + 1 = 0, 0 = -3*n + 3*m - 6. Which is bigger: w or n?
n
Let t = -11 + 8. Let j be 21/(-28) + 1/(-4). Which is smaller: j or t?
t
Suppose -i = 3*h - h + 3, -3*i + 5*h = -2. Are i and -1/2 equal?
False
Let b(r) = r + 12. Let h be b(-7). Suppose 4*w - 1 = -h. Suppose 4*m = -9 - 11. Which is smaller: w or m?
m
Let c be 0 + 0 + -2 - -4. Suppose -7*p + c*p + 20 = 0. Suppose -b - 3*g = 12, -5*g = -0*b - p*b + 20. Which is bigger: b or -2/5?
b
Let q be -10*(-4)/(4 - -4). Which is smaller: q or 4?
4
Suppose -4*z - 2 = -3*n, -2*z - 3*n = z - 9. Let l be -4 + 6 + 5 + -4. Are l and z nonequal?
True
Let o = 6 - 6. Suppose 2*s - 2 = -o*s. Are s and 1 unequal?
False
Let z = 14.4 + -17. Let t = 0.4 - z. Let v = -4 + t. Is v equal to -0.3?
False
Let b be (-21)/14*(-4)/3. Suppose -6*i = -b*i + 12. Suppose -2*q + 4*q = -4*f - 8, 0 = -4*q - 2*f - 10. Which is bigger: i or q?
q
Let d be (-8)/(-10) + (-33)/110. Which is bigger: d or -17?
d
Let p = -21 + 28. Is p != -3?
True
Let o be 1/(756/460156611) + -2. Let x = o - 608670. Let w = x - 1/63. Which is smaller: w or 2?
w
Let s(x) = -9*x + 79. Let w be s(10). Which is greater: w or -10?
-10
Let q = 8 - 7.95. Let p = q + -0.25. Which is smaller: p or 1/2?
p
Let r = -37 - 20. Which is smaller: -115/2 or r?
-115/2
Let u(o) = 3*o + 0*o + 1 + 4 - o**2 - 2. Let y be u(3). Which is smaller: y or 2?
2
Suppose 0 = -0*t + 5*t. Which is greater: 0.08 or t?
0.08
Suppose -3*f = -x + 2*f, -2*f - 13 = -3*x. Let v = x - 4. Let a = 0 - 0. Are a and v unequal?
True
Let f = 6 + -2. Suppose -3*t - 18 = -5*g - t, 2*g - f*t - 4 = 0. Let x be (-1)/((g/(-3))/(-4)). Is -5 equal to x?
False
Suppose -25 = -5*o, -21 = 3*s - 6*s - 3*o. Suppose 0 = 6*g - 2*g + 3*x + 4, -2*g - 12 = 4*x. Let d = g - s. Is -6/7 equal to d?
False
Let d = -1 + -1. Let x be -2 - d - (3 + -2). Let k be 0/x*(-3 + 4). Is k at least 3/4?
False
Let s be (9/21)/((-20)/7). Which is bigger: 0 or s?
0
Let b = 21 + -22. Which is greater: b or -1/24?
-1/24
Let h(d) = 2*d - 3. Let f be h(4). Suppose -5*p - 5*t = 6 - 46, -3*p - f*t = -16. Let g be 4/(-3)*p/(-56). Is g less than 1?
True
Suppose 5*q + 4*b - 16 = 0, -4*q + 3*b + 0*b = 12. Let n be (-6)/(-4)*(-16)/60. Which is bigger: q or n?
q
Let k be 3 - (2 + (-2 - -2)). Let y = -12 + k. Is -12 less than y?
True
Let x be (39/(-6))/(5/(-2)). Which is smaller: x or 4?
x
Let w = 2/81 - -71/405. Is w greater than or equal to 0?
True
Let c = -0.26 + 0.16. Which is greater: -39 or c?
c
Let x = 11.926 - -0.074. Is -4/3 > x?
False
Suppose -4*n - 21 = 5*t, -3*t - n = -7*t. Which is bigger: t or 2?
2
Suppose 0 = 5*r - 2*r - 324. Suppose -3*d = -216 - r. Let a be 4/(-18) + 51/d. Is 0 > a?
False
Let r(b) = -b**3 + 6*b**2 - 5*b. Let q be r(5). Are -2/25 and q non-equal?
True
Let f = -11 + 13. Let g = 24/7 + -127/35. Which is smaller: g or f?
g
Suppose 70 = -5*o + v, 0*o + 42 = -4*o - 2*v. Is -15 at least o?
False
Let o = 0 - 5. Let j = 5 + o. Which is greater: j or -6/13?
j
Let t be (-30)/(-9)*18/15. Which is bigger: t or 5?
5
Suppose p + 4*y = -11 + 2, -2*p + 3*y + 15 = 0. Let i be (1/(-14))/(p/6). Is 1 > i?
True
Suppose 2*l + 2*y - 28 = 0, 0 = -3*l - 4*y - y + 34. Suppose -2*u - 2*i - l = 0, u = -4*u - 3*i - 35. Is -4 greater than or equal to u?
True
Suppose -q = -3*q + 10. Suppose -2*l - 1 = -q. Let w be (-69)/15 + l/(-5). Is w at most -3?
True
Let h be -6 + ((-376)/(-40) - 5). Suppose 2*g + 6 + 3 = -5*j, 0 = j + 1. Which is bigger: g or h?
h
Suppose 3*j + 47 = 2. Which is smaller: j or -14?
j
Let p be 6/12 - 14/(-4). Let m be (2/(-2) - p)/(-1). Which is bigger: m or 0.1?
m
Let p be -2 + (-3)/6*2. Let z be (12/9 + p)/1. Which is greater: -1 or z?
-1
Let n be (2/(-12))/(-1 - 0). Let h = -0.037 + -23.963. Let b = -25 - h. Is b equal to n?
False
Let x = 1 - 3. Let u = 1 + x. Let b = -6.4 + 6.2. Are u and b equal?
False
Let l be (-2)/(-1) - (-17 + 11). Let w be (l/(-10))/(8/40). Which is smaller: -2 or w?
w
Let u(j) = -j**3 + 4*j**2 - 3*j - 1. Let x be u(3). Suppose -4*z + 3*z - 4*t + 18 = 0, 5 = 5*z + 3*t. Do x and z have the same value?
False
Suppose 2*k = -3 + 1. Is k bigger than -1?
False
Let t = -27 - -24. Are -0.01 and t unequal?
True
Suppose -5*y + o - 1 = 0, 5*o - 9 = 3*y - 4. Let l = 494107/57 - 8668. Let g = l - 4/19. Which is smaller: g or y?
y
Let t = -118/3 - -1531/39. Is t less than -1?
False
Let q = 63 - 72. Is -2 greater than or equal to q?
True
Let u be 0 - (3 - 1)*-2. Let f = -3 + u. Are f and 1/5 unequal?
True
Let b be -3*((-70)/(-6))/5. Which is bigger: b or 3?
3
Let r = 1 + 4. Is 5 smaller than r?
False
Let q = 10 + -11. Is 58 greater than or equal to q?
True
Let k = -2 + 4. Suppose -k*r = 3*r. Let q(i) = i**3 - i**2 - i. Let l be q(-1). Which is smaller: l or r?
l
Let u = 23/8 - 177/56. Let l = -2.8 - 0.2. Is u at most as big as l?
False
Let x(n) = n**3 - 5*n**2 - 3. Let w be x(4). Which is bigger: w or -20?
w
Let z(y) = -6*y - 30. Let u be z(-5). Is 1/8 at most u?
False
Let n = 59/5 + -237/20. Which is smaller: n or 0?
n
Let c = 40/99 + -2/11. Which is greater: c or 42?
42
Let j = 22/15 - 16/15. Let g = 0.1 - -0.9. Are g and j equal?
False
Let r = -2.8 - -1.8. Let x = 12 + -13.3. Which is smaller: r or x?
x
Let z(n) = -n + 12. Let r be z(8). Which is smaller: 5 or r?
r
Suppose 28*d + 50 = 23*d. Are -9 and d equal?
False
Suppose 0*x + 28 = 2*x. Let a be (4/(-3))/(x/(-105)). Is a less than 10?
False
Suppose 4 = -2*c + 14. Suppose 0 = -c*a - 0 + 25. Let r be ((-5)/(-4))/(a/20). Is 5 at most r?
True
Suppose -2*b - 3*s + 1 = 2, -b - 4*s = -12. Let m be 30/b - -2 - -2. Which is bigger: 1 or m?
1
Let h be 3/(2/2) + 8. Let d = 0.043 - 1.043. Which is greater: d or h?
h
Let v(h) = h**2 - 11*h - 39. Let w be v(13). Is w > -13?
False
Let x be ((-7)/(-14))/(2/(-4)). Let p(u) = 2*u**2 - 2*u - 1. Let z be p(x). Is 3 != z?
False
Suppose -3*o + 5*r + 44 = 9, 4*o + 3*r = 8. Let y = -12 + o. Do -7 and y have different values?
False
Let r = 0.5 - 0.3. Let f = -0.1 + r. Let j = 0.2 - f. Which is smaller: j or -1/2?
-1/2
Let u(d) = d**2 - 11*d + 21. Let k be u(9). Let r be (3 - 2) + 1 + 2. Which is bigger: k or r?
r
Let y(l) = -l**3 - 12*l**2 + l + 15. Let w be y(-12). Let m(v) = -v**2 - 6*v - 6. Let k be m(-4). Suppose k*a = -w*a. Is 2 at least a?
True
Let b = -9 + 14. Let f = b + 0. Suppose -a - a + 10 = 0. Is f equal to a?
True
Let f be 12/8 - (-718)/20. Let p = f - 37. Which is smaller: 8/3 or p?
p
Let c(v) = v**2 + 1. Let b be c(-2). Suppose 6*y - y = b. Is y <= 1?
True
Let m = 0.053 + 2.247. Let t = m - 0.3. Which is smaller: 2/19 or t?
2/19
Let j be (0/((-2)/(-1)))/1. Suppose 0 = 4*x - j*x - 8. Let i be x + (-2)/24 + -2. Which is bigger: 0 or i?
0
Let c be ((-8)/28)/(2/(-7)). Is c >= 2/49?
True
Let g = -44.96 + 48. Let z = g + -0.04. Which is smaller: -2/3 or z?
-2/3
Suppose l - 3 + 4 = 0. Is -6/7 smaller than l?
False
Suppose 2*z - 2 = 2. Suppose z*y - y = 1. Does y = 1?
True
Let s = -6 - -7. Suppose v + 2*v - y = 3, -2*v - 5*y = -19. Is s smaller than v?
True
Let o be (-54)/285 + (-6)/(-15). Let c = 58/95 - o. Which is smaller: 2/7 or c?
2/7
Let v = -0.7 - 3.3. Let f = -0.14 - -4.14. Let r = f + v. Do r and -2/5 have the same value?
False
Suppose 0 = -12*s + 5*s. Is -25 >= s?
False
Let w = 13 - 4. Suppose 2*d - w = -1. Suppose 0 = -d*v - 2 - 2. Is -2/13 > v?
True
Let l be 12/16 + (-2)/(-8). Which is greater: l or -0.13?
l
Let x be -1 - (9544/(-854) - -2). Let t = 57/7 - x. Let c = t - 55/183. Is c at most as big as 1?
True
Suppose 4*m + 1 = 9. Suppose -m*u - 5 = 3*u. Is 2 at most u?
False
Let h be 6/(-4)*96/81. Which is smaller: h or -2?
-2
Let u be 1749/2574 - 2/(-13). Which is greater: u or 2?
2
Let b = -13 + -3. Which is greater: -1 or b?
-1
Suppose 6 + 18 = 3*l. Is 8 >= l?
True
Let l = -2 - -2.1. Let i 