3)/4 + 225/(-36). Which is smaller: m or y?
m
Suppose 5*q - 1 - 9 = 0. Suppose 4*a + 3*s = -2, 0*s - 6 = -2*a + q*s. Suppose -3*i = j + a, 5 = -5*j - 0*j + i. Which is smaller: j or -4?
-4
Let t = -15 - -22. Which is smaller: 1 or t?
1
Let r be (0 - -2) + (-2703)/21. Let u = 127 + r. Let f(h) = -h + 5. Let l be f(6). Is u equal to l?
False
Let y = 0.08 - 0.08. Let p = 3.89 - -0.11. Let r = -3 + p. Which is smaller: r or y?
y
Suppose o + 3 + 0 = 0. Suppose 3*p + 6 = -0. Is o smaller than p?
True
Suppose -2*z + 3 = 9. Let p = z + 2. Let m be 1 + (-5 - -3) + -1. Which is smaller: m or p?
m
Suppose u - 8 + 5 = 0. Suppose -m + 4*l + 15 = 0, -2*m = -u*l + 8*l + 9. Is 5/3 >= m?
False
Let u = 1 + 3. Let y(l) = -l**3 + 5*l**2 + 5. Let a be y(5). Which is smaller: u or a?
u
Let m(o) = o**2 - o - 1. Let p be m(2). Let z = -1 + p. Is 1/5 < z?
False
Let u be (3 - 84)/3*(-5)/(-3). Which is greater: u or -46?
u
Suppose 3*z + 30 = 3*x, 4*x + 4*z = z + 33. Let g = x + 0. Are g and 10 nonequal?
True
Suppose 4*h - 18 = 3*h. Suppose 3*i + h = 6. Let l = 4 + i. Is 2 smaller than l?
False
Let j = -522 + 9920/19. Which is smaller: j or -1?
-1
Suppose 0 = -3*z + 7*z + 3*z. Is z smaller than 1?
True
Let w be (-14)/3*24/(-28). Which is bigger: w or 1?
w
Let v = -65 + 64. Is v >= -10?
True
Suppose -2 = -o + a, 3*a - 26 = -4*o - 2*a. Suppose -h - z = -3*h + 3, -7 = -3*h + o*z. Is h greater than or equal to -2/9?
True
Let k be -1*(3 - (-24)/(-10)). Is 1/3 greater than k?
True
Let b = 7 - 18. Is -19/2 bigger than b?
True
Let h be (-8 + 9)*2 - 20/7. Let b = -3.1 - -3. Which is greater: h or b?
b
Suppose -2*a - 3 = 1. Is -5/3 smaller than a?
False
Suppose 43*h + 6 = 49*h. Which is greater: 5/3 or h?
5/3
Suppose 3*t - 5*w + 17 = 0, 6*w - 3*w - 12 = 0. Is t at least 3?
False
Let d be (21/112)/((-1)/4). Let s be (-2 - -2)/(1 + 1). Let j = -2 - s. Is d equal to j?
False
Let c = 17 - 12. Let s = -0.018 - 0.082. Is s equal to c?
False
Let f be 2/1 + -3 - -6. Suppose 5*x - 3 = -2*b - 1, -3*x = f*b + 14. Let g be ((-4)/(-2) + -6)/(-2). Do x and g have the same value?
True
Suppose y = -4*t - 11, 7*y = 2*y - 3*t - 4. Which is greater: y or 1/26?
y
Let p be (-2)/7 - 9/(-7). Let t be 2/(-2)*-3*p. Let k be (-4)/t - (1 + -2). Is k not equal to -0.1?
True
Suppose -h - 9 = -4*h. Let c be (-6)/10 - h/(-5). Let g = -230 - -1143/5. Which is smaller: g or c?
g
Let y be (-4)/20 - (-1 - 382/10). Is y at least as big as 40?
False
Let v = -53 + 45. Is v <= -9?
False
Let l = 0.15 + 0.11. Let r = -0.04 - l. Which is bigger: -1/4 or r?
-1/4
Let k = 40 - 13. Let b be -3 - 1/(k/(-87)). Which is smaller: b or -1?
-1
Let y = 0.122 - -3.948. Let g = 0.07 - y. Let q = 4 + g. Which is smaller: -1 or q?
-1
Let g be 50/6 + (-4)/(-6). Let s be 1*(-4 + g/3). Let z be 2/2*(-1 - 0). Is z bigger than s?
False
Suppose -2*l = -3*l + 2*h - 3, 0 = -2*l + 2*h. Suppose -3*z - l = -0. Are -2 and z unequal?
True
Suppose 2*f = -0*f + 10. Is 6 equal to f?
False
Let l(r) = r + 9. Let z(w) = 5*w. Let c be z(-1). Let p be l(c). Let x = -5 + p. Which is smaller: 2/9 or x?
x
Let m be 19/38*(-4)/3. Is -0.7 less than or equal to m?
True
Let c be (-16)/(-354)*6/8. Let i = -45/1139 + -131763/470407. Let y = i + c. Are y and 1 non-equal?
True
Let c = 1.1 - 1.17. Let o = 69.93 + -69. Let z = o - c. Which is greater: z or -1?
z
Let k = 2.2 + -1.2. Which is smaller: k or 52?
k
Let d(k) = -5*k**3 + 4*k**2 - 2*k + 2. Let a(h) = 9*h**3 - 8*h**2 + 4*h - 3. Let m(f) = -6*a(f) - 11*d(f). Let b be m(-4). Which is smaller: b or 3?
3
Let h = 50 - 201/4. Which is bigger: h or 4?
4
Let q = -5 + 8. Suppose -q*g + 5*g - 84 = 0. Let s = g + -209/5. Is 0 less than s?
True
Let l be 4/30 - 28/30. Is 0 smaller than l?
False
Suppose 0 = 4*d - 0 + 8. Let c be 5*(57/15 - 3). Suppose 0*y - 28 = 4*u + 4*y, -c*u - 3*y - 25 = 0. Which is bigger: u or d?
d
Let w = 0.14 + -11.14. Let a = 11.1 + w. Is a not equal to 2?
True
Let w be (-4)/2*(-1)/8. Let m be -3 - (-3)/3*5. Suppose -k + m*k - 1 = 0. Is k < w?
False
Let g be 3/(-2) + (-3)/(-6). Which is smaller: 1/25 or g?
g
Let i = 4 + -2. Let p = -21 - -43/2. Which is bigger: i or p?
i
Let b = 3 - 2. Let a = -0.07 + -0.03. Is a at most as big as b?
True
Let x = 43 - 42. Is 1 greater than or equal to x?
True
Let j be 26/(-18) + (-16)/(-36). Let v = -7 - -5. Are j and v unequal?
True
Let y = -0.079 - -0.179. Is 14 less than or equal to y?
False
Let v be -3 + 0 - 450/(-125). Are 1 and v equal?
False
Suppose 5*h + 4*l + 11 = -0, 16 = -4*l. Suppose 0 = 4*c - 0 - 8. Suppose 5 - 25 = -3*f - 5*b, 2*b = -c*f + 8. Which is greater: f or h?
h
Suppose 4 = 2*z + 4*r, 0 = 2*z - 3*r + 2 - 6. Let p be -1 + 0 + -3 + 9. Suppose -3*u + 4*c = 10, 3*u + p*c - 12 = 14. Is u at most z?
True
Let r(t) = t**2 + 4*t + 3. Let s be r(-2). Let u(j) = -2*j**2 + j - 1. Let o be u(1). Let z = o + 1. Is z less than s?
False
Let k be 66/18*-1 + (-3)/(-1). Are k and -0.08 unequal?
True
Let k(l) = -2*l. Let a be k(-1). Suppose -a + 6 = -4*c. Is c greater than or equal to 0?
False
Let a = 3 + 0. Suppose -2*c + a*c + 5 = 0. Are -6 and c unequal?
True
Suppose -3*i + 3 = -6, 12 = -3*t + 3*i. Let h = 857 + -36853/43. Which is greater: h or t?
h
Let u be ((-2)/(-4))/(2/24). Let a(g) = g**3 + 3*g**2 - 4*g + 5. Let d be a(-4). Which is smaller: d or u?
d
Let t = 54498/115 + 15716/23. Let v = t - 9263/8. Let i = 7/8 + v. Are 1 and i non-equal?
True
Let m = -11 - -9. Let s be ((-1)/3)/(m/66). Is s at least 10?
True
Let h(g) = -g**3 + 5*g**2 - 2*g + 1. Let s be h(3). Suppose -12 = -5*d + s. Suppose -7*m + 2*m - 7 = k, d*k + 5*m = -15. Which is smaller: -1 or k?
k
Let w(z) = -z**3 + 8*z**2 - 6*z - 2. Let n be w(7). Suppose -n*q + 4*i = -17, -2*i + 3 = -3*i. Which is bigger: q or 4?
4
Suppose 3*b + 3*w - 6 = 0, -2*b - b - 4*w + 5 = 0. Let o be ((-4)/(-6))/(6/81). Suppose 2*a = 6, q + 3*a - o = -b*q. Are -2/9 and q nonequal?
True
Let c(x) = 2*x**2 + 39*x + 22. Let g be c(-19). Are 4 and g nonequal?
True
Let z(n) = -n**3 - 5*n**2 + n + 12. Let b be z(-4). Let o(y) = 2*y + 1 - 2 - 3*y. Let j be o(6). Is b less than j?
True
Let t = 37 + -22. Let b be ((-262)/t)/((-4)/(-18)). Let y = b + 79. Which is bigger: 0 or y?
y
Let k(a) = 3*a**2 - a. Let d be k(-1). Let p = d + -3. Suppose -2*q - p = -3. Which is smaller: q or 0?
0
Suppose -z + 1 + 8 = 0. Is 9 at most as big as z?
True
Let w be 7*(120/(-35) - -2). Which is smaller: w or 3?
w
Let u = 63 - 93. Let p be (-3)/4*(-16)/u. Let t = -130 + 1169/9. Is t at least p?
True
Let w = -16 + 16. Is w less than -29?
False
Suppose 0 = 4*n - 9*n - 50. Let w = 10 + n. Let b = 0 + -1. Is b < w?
True
Let w be (2/(-44))/((-4)/12). Is -1 at least as big as w?
False
Let c be (-75)/10 + 2/(-4). Let t = c + 6. Let o = -81/28 - -9/14. Which is greater: o or t?
t
Let h = 2306 - 279022/121. Are -1 and h nonequal?
True
Let k = 5 - 7. Let n = 8 + k. Which is smaller: 5 or n?
5
Let t = -2 + 2. Which is smaller: -2/45 or t?
-2/45
Let a(x) = x**3 + 2*x**2 - 2*x - 2. Let p be a(-2). Suppose -h = -p - 0. Is h at most as big as 1?
False
Let c(b) = b**3 + 4*b**2 - 5*b. Let x be c(-5). Let v be x + -1*0/2. Which is smaller: v or -6/7?
-6/7
Suppose 32 = 3*d - 382. Let k be ((-8)/d)/((-2)/3). Which is smaller: 0 or k?
0
Let o(c) = 4*c - 2. Suppose -3*s + 2 = -7. Let r be o(s). Suppose a - r = 6*a. Are -2 and a equal?
True
Let i be 1 - -6*1 - -2. Let l = -14 + i. Is -2 equal to l?
False
Let s = -6 - -5. Is s <= 7?
True
Let q be (-6)/(108/10)*3/8. Is q >= 1?
False
Let c = -16 - -26. Which is greater: 9 or c?
c
Let j be (7 + -4 - 2)*-53. Let q = -373/7 - j. Is 1/7 at least q?
True
Let g be (9 - -1)/(2/(-4)). Let l be 13/g - (-3)/12. Which is smaller: l or 2?
l
Let k = 11 - 6. Which is greater: 6 or k?
6
Let v be (-2)/(-6) + (-6)/(-9). Let p(z) = 5*z**2 - 4*z**2 + 0 + v. Let g be p(1). Is 2 less than g?
False
Let o be 4/(-10) + 2/(-15)*-3. Is -1/28 at least o?
False
Suppose -2 + 32 = 5*s. Let d(o) = o - 16. Let p be d(15). Let l be 22/s + p/(-3). Is l at most as big as 2?
False
Let a be (-3 - -1) + 6 + -2. Let j be (-96)/60*(-1)/a. Which is bigger: j or 2?
2
Let s = -1634/5 + 325. Let a = s - -41/20. Which is smaller: a or 0?
0
Let d(f) = -f**3 - 3*f**2 + 3*f - 5. Suppose 0 - 8 = 2*i. Let o be d(i). Is -1/3 smaller than o?
False
Suppose 13 = -2*p + 3*z, 0*