r than g?
False
Let b be 2 - 4/((-8)/(-10)). Let z be (2/36)/(b/4). Is z bigger than 1?
False
Let k(d) = d + 10. Let s be k(-10). Let r = 3 - s. Which is bigger: r or 4?
4
Let i be (8/2)/(-1 + 2). Suppose 2*n + 2*o - 1 - 7 = 0, -5*n = i*o - 16. Let a = 0 - n. Is 1 at most as big as a?
False
Suppose -z - 2 = -3*z - 2*d, -4 = -2*z - d. Suppose -z*x = -x. Let t be 5/(-4) + 0/(-2). Is x bigger than t?
True
Let i = -133 - -119. Which is smaller: i or 2?
i
Suppose 1 + 1 = -2*y. Let g = y - -1. Let t = 43/15 - 16/5. Is t >= g?
False
Let y be 56 - ((-60)/(-2))/(-6). Which is bigger: 63 or y?
63
Let t be -11 + 0 - (-2 - -2). Let s(u) = u. Let l be s(-6). Let d be (-1)/l*(t + 3). Is 0 greater than d?
True
Let u = -5 + -5. Does u = -2?
False
Let n be ((-1)/(-2))/(5/(-10)). Let k be 3/(-2 + 3/6). Let o = -4 - k. Is o >= n?
False
Suppose -7*r = -2*r - 15. Suppose 5*u + 34 = -2*a, r*a - 2*a = u + 4. Are u and -6 equal?
True
Let p(q) = 2*q**2 - 7*q + 5. Let w be p(4). Suppose 7*k - 10*k = w. Is -2 greater than k?
True
Let s be ((-3)/6 - -3)*12. Suppose u = 2 - 27. Let v be 10/u*s/8. Which is smaller: -3 or v?
-3
Let g(n) = -n - 33. Let p be g(0). Let i = p - -48. Suppose -i = 7*k - 2*k. Is -3 at least k?
True
Let o = -13 + 4. Does -31/3 = o?
False
Let m(c) = -c**3 - 6*c**2 + 4. Let p be m(-6). Let z be 3 - ((-6)/(-3))/(-1). Is z != p?
True
Let y(q) = q**3 + 3*q + 1. Let p be y(0). Which is bigger: p or 2/29?
p
Let l = 232 + -2084/9. Which is smaller: -0.2 or l?
-0.2
Let s be (-1)/(-1 - (-12)/10). Let q = -66 - -61. Does s = q?
True
Let c = 0.1 + -0.2. Let l = c - 0. Let i = -575/9 - -64. Which is smaller: i or l?
l
Let v = -16/21 + 3/7. Let b = 0.5 + -1. Let y = 0.3 + b. Which is bigger: v or y?
y
Let r = -1 - -3. Suppose -4*v + 8 = 4*d, -r*v - 2*d = -4*d + 16. Let p = 0 - 2. Is v less than or equal to p?
True
Let i be 52/9 - -2*(-1 - 0). Which is smaller: 3 or i?
3
Let p be 1/(1/(-2)*2). Let n = p - 3. Let v = n - -3. Is -1 < v?
False
Let m(w) = 0*w + w + 6 - 2*w + 0*w. Let p be m(7). Let f = -0.1 - 0.1. Which is smaller: f or p?
p
Let q = 182 - 174.3. Let b = -7 + q. Which is bigger: b or 0?
b
Let i = 52 - 76. Let a = -24.1 - i. Let y = 3.2 - 3. Is a > y?
False
Let n = 1016 + -39620/39. Are n and 1 equal?
False
Suppose 0 = -2*i + 5 + 1. Suppose -3*y - 9 = -i*j - 6*y, -4 = -y. Is -1 less than j?
False
Let j = -170/21 + 57/7. Which is bigger: 0 or j?
j
Suppose -3*a = -2*q - 6 - 7, 0 = -a + 3*q + 16. Suppose -183 = -2*d - d. Let k = d - 185/3. Which is smaller: k or a?
k
Let h(b) = b**3 - 4*b**2 + 5*b - 3. Let r be h(3). Let s be 3/(-1 - 2) - -4. Is s equal to r?
True
Let v = -11 + 12. Let j = -5 - -5. Which is greater: j or v?
v
Let d(a) = 4*a + 4. Let p be d(-3). Let q = p + 11. Let o = 4 - q. Which is greater: o or -2/11?
o
Let v = 0.6 - 3.6. Let d = v + 2. Let h = 0 - d. Is h less than 0.2?
False
Let v be (2 + 12 + -3)/1. Let d(z) = -z - 5*z + v + 3*z + 4*z. Let j be d(-8). Is j at most as big as 3?
True
Let g be -5*(-1 - (-6)/10). Which is bigger: 8/3 or g?
8/3
Let z be (-1 - 48/9) + 16/(-24). Which is smaller: 0.2 or z?
z
Suppose 0 = -8*z + 4*z - 13*z. Which is smaller: 21/17 or z?
z
Let m be (-2)/(-2 - (-4)/(-1)). Suppose -2*q + 5 = 1. Let a be (6/4)/(q - -1). Are a and m nonequal?
True
Let h = -754/1683 - -2/561. Let v = h + 10/9. Which is greater: v or 0?
v
Let v = -131.9 + 132. Which is smaller: 31/2 or v?
v
Let x = -9 + 13. Suppose 0*z = -x*z. Let v(y) = y**2 + 4*y + 3. Let d be v(-3). Is z greater than d?
False
Let p = -60 + 182/3. Suppose -5*a - 5*n = 45, n = 2*n + 3. Let k be (1 - 1) + 3/a. Which is smaller: k or p?
k
Suppose 2*i - 2 = -2*d + 4*d, -i - d - 5 = 0. Suppose -2*u + 3*y - 34 = 0, -y + 6*y = -u - 43. Let r = u + 70/3. Which is smaller: i or r?
i
Let o = -1235/9 + 137. Let r(y) = y**3 - 9*y**2 + 8*y - 1. Let s be r(8). Is o > s?
True
Let d = -21.4 + 23. Which is smaller: -1/4 or d?
-1/4
Let a = 1109 + -8845/8. Is a less than 3?
False
Suppose f - 128 = -4*y, -2*y = 3*f - f - 232. Let u = -40 + f. Let d be 4/22 - u/33. Is -1/4 at least as big as d?
True
Let v be ((-4)/3)/(8/60). Let h = 10 + v. Which is smaller: -1/2 or h?
-1/2
Let k = -28.6 + 29.83. Let p = 1.3 - k. Is p equal to -1/4?
False
Let q be (-7)/(-2) + 1/2. Suppose q*n - 34 = 18. Is 13 bigger than n?
False
Let f(i) = -i**2 - 6*i - 3. Let k be f(-2). Let o be (-8)/(-156)*-3 - (-160)/26. Is o greater than k?
True
Let k = -851/2091 - -22/51. Which is bigger: 0 or k?
k
Suppose 6 = 11*g - 5*g. Which is greater: g or 4/13?
g
Let v be 4/36 + (-75)/189. Which is greater: v or 1.3?
1.3
Let x(u) = 3*u**2 + 9*u - 4. Let l(b) = 5*b**2 + 17*b - 7. Let m(j) = 4*l(j) - 7*x(j). Let k be m(6). Which is bigger: -2 or k?
-2
Suppose 0 = 6*d - 5*d - 15. Let i = d - 9. Is 2 at most i?
True
Let w(k) = -k**2 + 6*k + 8. Let q be w(6). Let o be (-6)/(-24) + 6/q. Which is bigger: o or 3?
3
Let u(x) = -x**2 + 2. Suppose -n - 1 = -4. Let v be u(n). Let l be (-9)/v - (9 - 8). Does l = -1?
False
Let d = 4 + -5. Let i = 2.61 - 2.6. Which is smaller: i or d?
d
Let m = -35 + 35.1. Is 5 at least m?
True
Let s = 7 - 5. Suppose 0 = -6*h + 4*h - s. Let x = -29/5 + 169/30. Which is smaller: x or h?
h
Suppose 147 = -2*l - 3*l + 3*o, -32 = l + 2*o. Let h be ((-1)/(-3))/(5/l). Are h and -2 unequal?
False
Let p be (2*4 - -1) + 0. Suppose 3*q + 8 = -5*a - 3, -5*q + 2*a + 23 = 0. Suppose 0 = -2*n + q*z + 1 + p, 0 = -n - 5*z - 21. Which is greater: -2 or n?
n
Let g(a) = -3*a**2 - a. Let l be g(1). Let q be 9/(-5) - l/2. Is q < 1?
True
Suppose o - 11 = -4. Is o smaller than 7?
False
Suppose 4*o = 3*i - 2 + 11, -4*o - i = -13. Let d be (1 + 26/(-10))*-5. Suppose j = -o*j - d. Is j at least -2?
True
Let a(x) = -3*x**2 - 4*x - 4. Let k(u) = u**2. Let s(j) = -a(j) - 4*k(j). Let y be s(5). Is -1/3 <= y?
False
Suppose -3*a - 5*u - 17 = 0, 3*u = 5*u + 8. Let c = 295 - 2947/10. Which is smaller: c or a?
c
Let c = -3 - -1. Let s = -1 - c. Is s not equal to 1/4?
True
Let q be -1*(3 - 1) + -1. Let r be ((-3 + 0)/q)/(-1). Is -4/5 at most r?
False
Let m(d) = -d. Let p be m(-1). Suppose p = -0*o - o. Let b be (0 - o)/(3/9). Is b smaller than 2?
False
Let h be (4958/770 - 4) + -2. Let g be (-3)/2*6/(-231). Let v = h - g. Which is bigger: 0 or v?
v
Let v(j) = -j**3 - 3*j**2 - 3*j - 4. Let i be v(-3). Suppose -i*f - 7 = -2. Suppose -r - 8 = 5*d + 18, 0 = -3*r + 5*d + 22. Is r not equal to f?
False
Suppose 0 = 2*l + 2*l + 8, -3*l - 38 = -4*q. Does q = 3?
False
Let m(k) = -k - 10. Let o be m(5). Let r be o/6*(-8)/(-670). Which is bigger: 1 or r?
1
Let j = -8 + 18. Let r = j + -11. Which is smaller: r or 1/4?
r
Let q(t) = 0*t + 0*t + t + 7. Let x be q(7). Which is greater: 15 or x?
15
Let f = 0.3 + -1.3. Which is smaller: 12 or f?
f
Let d be 2920/5*(-1)/2. Let a = d - -3210/11. Is a not equal to 0?
True
Let r(o) = -o - 1. Let j be r(-1). Let c be j - 1*(2 - -1). Let s be 16*c/(-21) + -2. Which is smaller: s or 0.1?
0.1
Suppose 0 = 4*r + s + 3*s - 72, -5*s = 4*r - 75. Suppose 3*m + 2*m - r = 0, 2*m = -u + 6. Is 0 less than or equal to u?
True
Let h be 3/2*2/3. Suppose 0 = -3*g + h - 7. Which is bigger: g or -3/5?
-3/5
Let d(r) = -r**3 + 3*r**2 + 3*r - 1. Let u be d(2). Suppose -u = -3*h - 3. Let c be 1*h/(-12)*1. Is c at most as big as -1?
False
Let u(r) = r**2 - r + 4. Let y be u(3). Is y equal to 8?
False
Let h be (0 - 0*3/6) + 9. Is h at most as big as 8?
False
Let w be ((-3)/(-4))/1*12. Are 8 and w unequal?
True
Let i = 774 - 10067/13. Is 1 != i?
True
Let k be (-12)/2*((-567)/30)/(-7). Which is bigger: -17 or k?
k
Let n = -1/48 - 5/16. Let r be (-4)/(-8)*(-22)/1. Let u = -11 - r. Is n smaller than u?
True
Let u = -25 + 27. Do u and 0 have the same value?
False
Suppose 0 = 6*w - w - 85. Which is smaller: w or 18?
w
Suppose -6*u = -7*u - 6*u. Let m be 0 + (-2 + 3)/9. Which is smaller: m or u?
u
Let j = -25 + 27. Let m be 3/6 - 142/(-4). Let g be ((-2)/m)/((-2)/(-8)). Which is smaller: g or j?
g
Let b be (-1)/(1 + 2 + -2). Does b = -5?
False
Let t = 12 + -13. Suppose -5*r = -b - 1 - 6, -3*b - 9 = -3*r. Let u be (-14)/4 + (-4)/b. Which is smaller: u or t?
u
Let y be (-22)/(-24) - (-5)/(-20). Are y and 5/2 unequal?
True
Let n = -1.1 - -1. Let h = -5 + 5.1. Let s = h - 0.2. Is n smaller than s?
False
Let o be 5/10*6 - 3. Let n be ((-6)/4)/(