ler than m?
False
Suppose 0*c = -2*c + 2*z - 136, -3*c = 3*z + 228. Let p be (-3)/(-2)*(-32)/c. Let l(y) = y + 6. Let g be l(-6). Are g and p unequal?
True
Let r = -2.3 - -1.1. Is r > 1?
False
Let i be 25/(-20) - (-2 - -1). Let k(y) = -y**2 + 6*y + 5. Let d be k(5). Let z be (2/2)/((-15)/d). Which is smaller: i or z?
z
Let l be (40/(-168))/((-3)/(-18)). Which is bigger: l or 0?
0
Let g = 25 - 31. Let b = -17 + 12. Is b >= g?
True
Let z be 88/(-12)*18/8. Let m = z + 97/6. Is m smaller than 1?
True
Let b = -8 - -12. Let o = 7 + b. Which is smaller: o or -1?
-1
Let x = -0.3 + -6.7. Let y = x + 10. Which is smaller: y or 1?
1
Suppose 5*i - 4*a = -2*a - 114, -4*i - 78 = 5*a. Let h = 18 + i. Is h > -11/3?
False
Let b be (-1 - (-2 - -1)) + -2. Let k be (36/(-56))/((-12)/14). Is b bigger than k?
False
Let w be (-16)/64*6/13. Which is bigger: 0 or w?
0
Let s be 1/27*(-3)/2. Which is smaller: -1 or s?
-1
Let i = -2 - -2. Suppose i = -y - 2*t + 2, 4*y + 0*t - 2*t = -2. Which is greater: 0.2 or y?
0.2
Let y be (-4)/18 - (3 - (-58)/(-18)). Is -2/345 smaller than y?
True
Let v be (-31 - -4)*2/(-3). Let u = v - 13. Let d = 7 - u. Is 4/7 at most as big as d?
True
Suppose -5 - 3 = 4*u. Let w = -2 - u. Let d be ((-2)/6)/(4/(-3)). Is w at most as big as d?
True
Suppose -y = 4*y + 5. Which is bigger: y or -1/10?
-1/10
Let o be 3 - 2/(-2 + 0). Let g = -3 + o. Which is smaller: 8 or g?
g
Let v = -0.051 + 2.051. Is v at least -0.4?
True
Let p be (-6)/(-8) - 5/20. Which is smaller: p or 2?
p
Let x(m) = m**3 - 5*m**2. Let j be x(5). Let u = -6/31 + 164/527. Is j greater than u?
False
Let x = 1 - 0. Let f be x/(-7) - (-220)/(-28). Let g = -15 - -6. Is f greater than g?
True
Let l = 11 - 7. Let t = l - 2. Suppose -2*u = -n + 7, n - t = u + 2. Which is smaller: n or 2/11?
2/11
Suppose 2*a = 4*t - 206, -256 = -4*t - t + a. Which is bigger: t or 2/7?
t
Let w = -186 + 2420/13. Which is greater: w or 1?
1
Suppose -5*q - 12 = -3*x, -7*q - 2*x = -2*q - 8. Suppose 0 = c - q + 2. Let d(j) = j**2 + 5*j + 1. Let i be d(-4). Which is greater: i or c?
c
Let k = -0.5 + -0.5. Are -0.1 and k non-equal?
True
Let n = -1 - -18. Suppose -2*b = r + 2*r - 7, -3*b = -2*r - n. Is b equal to 3?
False
Let u(t) = 2*t - 10. Let y be u(3). Is y greater than or equal to -22/7?
False
Suppose -4 = -5*i + 3*i. Suppose 0 = -i*d - 2*r + 8, -2*d + 5*r - 7 = 6. Let w = 0 - d. Which is smaller: 0.1 or w?
w
Let r be 4 + -8 - (-18 - -2). Which is smaller: r or 10?
10
Let k = -3 - 0. Let m be (2/k)/(1/3). Which is smaller: m or -7/4?
m
Suppose 5*x + 4*w = 2*w + 47, -w - 35 = -4*x. Which is smaller: 8 or x?
8
Let z(n) = -n**2 - 8*n - 2. Let i be z(-7). Suppose -i*k - 120 = -40. Let c be 4 + -1 + k/6. Which is smaller: 3 or c?
c
Let x = -24.6 - -25. Is -0.05 at least x?
False
Suppose 9*t + 4 = 10*t. Which is greater: 5 or t?
5
Suppose -o = -3*n + 3, -n + 6 + 0 = -2*o. Let a be -1 + (n - 667/(-4)). Let u = -165 + a. Are 0 and u nonequal?
True
Let g be (316/(-12))/((-2)/(-20)). Let q = -266 - g. Are -2 and q equal?
False
Let k = 10 + -16. Let m be 4 - 2 - (-15)/k. Let f = 0 - 0. Is m at most f?
True
Let q be (9 + 1)/(16 + -15). Let l = q + -7. Is 5 greater than l?
True
Let i = -4.9 - -4.9. Is i smaller than 11?
True
Let k = 1261/8 - 158. Which is bigger: k or -1?
k
Suppose 3*h + 16 + 12 = 4*d, -4*d + 16 = 0. Let f = h - -4. Is -1 > f?
False
Let x be (-22)/((3 + -1)/1). Which is smaller: x or 2?
x
Let c = -75 + 75. Let b = -4576/23 - -199. Which is greater: c or b?
b
Let j(y) = 3*y**2 - 21*y - 2. Let r be j(7). Are -4/7 and r non-equal?
True
Let b = -3/50 + 81/100. Let s = -249.1 - -249. Which is smaller: s or b?
s
Let i = -21 + 12. Let p be (-2)/i - (-497)/(-252). Which is smaller: -3 or p?
-3
Let p be (30/(-4))/((-18)/(-96)). Let n be (18/p)/((-1)/(-796)). Let g = n - -357. Which is smaller: g or -1?
g
Let q(a) = a**3 - 2*a**2 + a - 2. Let j be q(2). Suppose 4*y + 17 = 4*m - 3, -4*y - 2*m + 4 = 0. Let i = y + -1. Is j at most as big as i?
False
Let v = -0.3 - -1.3. Let n = 2 - 1.1. Let h = n - 1. Is v >= h?
True
Let h = -3/442 - -977/13702. Is 0 at least h?
False
Let s be (-7)/5 - (-2)/5. Let o be -1*s/2 - 2. Which is smaller: -2 or o?
-2
Let m = -5.08 + 0.08. Let o = 1.9 + -2. Which is smaller: o or m?
m
Let l be (-22)/(-10) - 2/10. Suppose -l*r = 0, -3*o + r + 9 = 4*r. Is o at least as big as 3?
True
Let k be 235/10 - 2/(-4). Suppose -4*z = -z - k. Is 8 less than z?
False
Let t be ((-2)/(-6))/(0 - 3/183). Is t at most as big as -20?
True
Suppose 0 = 4*w + 2*v - 40, -5*w - 4*v + 50 = -3*v. Suppose 0 = -11*b + 9*b - w. Which is smaller: b or -6?
-6
Let q = 0 + 0. Let u = q - 0.2. Are u and 2 unequal?
True
Let s = -22/17 + 134/51. Suppose -8*q - 26 = -21*q. Which is smaller: q or s?
s
Let q(l) = -7*l + 2*l**2 - 2*l**2 - 8 + l**2 - 2*l. Let k be q(10). Is 4/5 < k?
True
Suppose -g = -4*g - 6. Let j(v) be the first derivative of -v**2/2 + v + 2. Let z be j(2). Do g and z have the same value?
False
Let k = 104595/59 - 1773. Does -1 = k?
False
Let p(q) = -q + 6. Let h be p(7). Let j be ((-1)/18)/(h/4). Does 0 = j?
False
Suppose 8 = 3*p - 1. Suppose p*m - 2*m - 12 = 2*o, -4 = m + 2*o. Suppose 2*t - h = -m*h + 2, -1 = -t - h. Is 2/7 less than or equal to t?
True
Let r(g) = -2*g - 4. Let l be r(-3). Let q = -5 + l. Let n be q/(-6) - 6/20. Which is smaller: n or -1/4?
-1/4
Let j = 158 + -158.2. Let m(b) = 5*b**2 + 2*b**3 + 1 - 3*b**2 - 2. Let y be m(-1). Which is smaller: j or y?
y
Suppose -4*g + 106 = 2*v - 16, -2*v = -2*g + 70. Are g and 32 unequal?
False
Let r be 110/5 + (3 - 4). Let t = 21 - r. Is 1/18 equal to t?
False
Suppose -a = -2*t - 2*t + 3, 5*a + 4*t + 63 = 0. Is -12 at most a?
True
Let o = 0.2 + 39.8. Which is greater: 0.1 or o?
o
Suppose -5*t + 3*t - 108 = b, -t - b - 55 = 0. Is t less than or equal to -54?
False
Let q be 18/25*2*(-10)/4. Is -5 greater than or equal to q?
False
Let z be ((-147)/(-14))/(0 - 9). Which is smaller: -2 or z?
-2
Let g = -3/4 - -1/2. Is 0.3 > g?
True
Let r be (-2)/(-3) + 8724/(-14274). Let m = r + 6/61. Suppose 0 = -0*j + 2*j. Are j and m unequal?
True
Let p(i) = i + 2. Let n be p(0). Suppose 0 = -o - u, 0*o = 4*o + n*u. Is o at least as big as 3?
False
Let h = 0.33 + -0.03. Let k be 50/(-20)*-2*1. Suppose 10 = -k*n - 0. Which is bigger: h or n?
h
Let n(c) = -c**3 + 8*c**2 + 10*c - 8. Suppose -3*t + 27 = -0*t. Let x be n(t). Let f = -1.1 + 1. Is f >= x?
False
Suppose -53 = -6*v + 1. Which is bigger: 10 or v?
10
Let m be (-2 + -224)*(-1)/(-270). Let g be 4/10 + (-59)/135. Let x = g - m. Which is bigger: 2 or x?
2
Suppose 0 = -5*o + 4*b + 11, 3*o = 2*b + 3*b + 4. Let q be (5 - o) + 1*-2. Are q and -8 nonequal?
True
Let m be 15/(-7) + 1*3. Which is greater: 1 or m?
1
Suppose 3*y - 8 = -2. Suppose 5 = -4*w + 1. Let d = w + y. Which is smaller: 3/5 or d?
3/5
Let k = -6.9 + 6.9. Which is bigger: k or -57?
k
Let w = -16/53 - -570/1537. Which is greater: w or 0?
w
Suppose -33 = 17*m - 16*m. Is m equal to -33?
True
Suppose 0 = 5*a - 9 - 1. Suppose -4 = -a*c + 6*c. Is -2/31 equal to c?
False
Let t be (22/(-33))/((-2)/81). Is t at least as big as 29?
False
Let d = -0.5 - -0.1. Let i = 0.6 - d. Let c = 2.05 - 0.05. Is i smaller than c?
True
Let m = -2 + 10. Let q(y) = -18*y - 80. Let b be q(-5). Is b smaller than m?
False
Let u = 4 - 3. Which is greater: u or -2/27?
u
Let b = -3.4 - -3.3. Is 0.04 at least b?
True
Let o be (-2)/1*(-40)/(-35). Does o = -2?
False
Suppose 4*i + 9 = 3*m, -5*i + 5*m - 8 = -3. Let b = i - -6. Let f be (-8)/(-70) - 4/10. Is b at most as big as f?
False
Let n = 0 + -1. Suppose 0*p - 2*p + 10 = 0. Let z be p/((-15)/6) + 2. Which is smaller: n or z?
n
Let c = 2.5 - 2.6. Is c greater than 9?
False
Let o = 25 + -8. Suppose 19 = 3*t - 4*m, -t + o = 4*t - 3*m. Which is greater: 1/23 or t?
t
Let w be (-1390)/(-180) + (-2)/(-4). Which is smaller: w or 8?
8
Let x be (-6)/(-4)*22/(-33). Let f = -3 - -6. Let r = -2.8 + f. Are x and r equal?
False
Let c be 48/18 + 2/6. Suppose -c = 4*i + 17. Let n be (-6)/(-15) - (-2)/i. Which is greater: 1 or n?
1
Let s be (-11)/(-44) + (-2)/4. Is s at least as big as -1?
True
Let u = 22/9 + -127/63. Which is greater: 0 or u?
u
Suppose -12 = -3*k - 5*i + 15, -3*k - 3*i + 21 = 0. Let l be k + -1 - (-74)/(-26). Is -1 <= l?
True
Suppose -4*t - 1