 = 11 + 14. Which is smaller: h or u?
h
Let u be 10/15 + 46/(-6). Let a = u + 8. Let o be (-2)/5 + (-4)/(-10). Which is smaller: a or o?
o
Let n = 1/153 - 166/1989. Which is smaller: 2/3 or n?
n
Let w be -7*(-12)/210 + (-52)/155. Which is bigger: w or 1?
1
Suppose -4*o = -v - v - 10, 0 = 5*o + 5. Let q be (1/v)/((-1)/3). Suppose 2 = w + 3. Are q and w equal?
False
Let f = 4/69 - -29/690. Which is greater: f or 1?
1
Let z = 10 - 42. Is -33 not equal to z?
True
Let b = 22.58 + 0.42. Let v = 23.2 - b. Which is bigger: 2/5 or v?
2/5
Let z(n) = -n**2 + 4*n + 12. Let q be z(6). Which is bigger: 1/13 or q?
1/13
Let x be (-2)/10 + 69512905/(-404100). Let z = 17/5388 - x. Let f = z + -172. Is f < 0?
False
Let l be 3/(-36)*(-1696)/(-300). Let z = -2/75 - l. Is z smaller than 0?
False
Let o = 0.2 - 0. Let d = 75/64 + -10573/8640. Let p = d + -4/27. Which is smaller: p or o?
p
Let w = 101 - 81. Is w > 21?
False
Let f = 2 - 2. Let o be 3 + (-593)/119 + 2. Let t = o + 109/595. Which is bigger: t or f?
t
Let p(x) = -x + 3. Let b be p(2). Are b and -1 nonequal?
True
Let y be ((-4)/(-4))/((-3)/(-45)). Let a be ((-3)/(-30))/((-2)/y). Are 1 and a equal?
False
Let z = 84 + -35. Let t be (-217)/z + 6/14. Which is smaller: t or -5?
-5
Let t = -2 + 4. Which is bigger: -1/15 or t?
t
Suppose -3*q = q - 8. Suppose -3*g + 5 = q*g. Which is smaller: g or 3/5?
3/5
Let n = -313 - -2509/8. Which is greater: n or 2?
2
Let k be (-1 + (-1)/(-2))*2. Suppose -4 = 4*n - t, 3*t = -3*n - 2 - 1. Is n smaller than k?
False
Let z be (18/(-15))/(4/(-10)). Let f be 23/z - (-8)/(-12). Which is smaller: f or 6?
6
Let b = 0 - 0. Let j = -0.03 - -0.53. Is b smaller than j?
True
Let n = -34 - -21. Is n at most -12?
True
Let g = 1.11 + -0.11. Let m = 2 - g. Which is bigger: m or -4?
m
Let o be 0/(-1) + (3 - 2). Let b(w) = -w**2 + w - 2. Let g be b(4). Let m be (1/2)/(g/8). Is o at most m?
False
Let k = -1/50 - 89/550. Is -1 != k?
True
Let n = 373/55 + -90/11. Which is greater: -2 or n?
n
Suppose 4*s = -s - 5. Does s = -4?
False
Let j(w) = -w**2 - 9*w - 21. Let o be j(-4). Is 3/35 bigger than o?
True
Suppose 0*m = 3*m. Does m = -8/7?
False
Let n = 30 - 31.3. Do n and -0.1 have the same value?
False
Let s = 139 + -138. Which is greater: s or 4/21?
s
Let r be (2/3)/((-812)/(-654)). Let g = r - -1/29. Is g greater than or equal to 2?
False
Suppose -5*j - 4*t + 4 = -14, 0 = 3*t + 9. Let s = j + -15. Which is smaller: s or -15/2?
s
Let d be (-2)/(-10) - (-4)/(-20). Suppose -5*l + 7 = 2*y, -2*y + l + 1 = -d. Is y bigger than 1/2?
True
Let k = -13 + 12.99. Is k smaller than -2?
False
Let b = -19.8 - -28. Let q = 8 - b. Which is smaller: 0.4 or q?
q
Let c be (75/2)/((-2)/16). Suppose 0 = 5*y + 20 + 5. Let w be 16/c*y/2. Is 0 bigger than w?
False
Let p = -17 - -21. Let x be -1 - 1 - (-8)/p. Which is greater: x or -1/13?
x
Let g(k) = k + 2. Let y be g(-3). Let o = y + 1. Is 0 less than o?
False
Let b(s) = -s + 2. Let i be b(7). Let z(u) = -u**2 - 5*u. Let a be z(-6). Is i at least a?
True
Let j be (-4)/(-10) - (-26)/65. Is j at least as big as -2/5?
True
Suppose 2*c - o - 14 = -5*o, -5*c - 5*o + 15 = 0. Which is greater: -4 or c?
c
Let t = -96 + 200. Suppose -4*f = -0*f + t. Let d be (-9)/(-12) + f/56. Which is smaller: d or 1?
d
Let j be 1/(((-2)/(-16))/1). Let v be (9 - (-4)/(-2)) + (-2 - -2). Which is smaller: j or v?
v
Let d be -4 + (-1)/(1/(-2)). Let n be (16/4)/((-2)/d). Let m(q) = -q**2 + 3*q + 1. Let x be m(n). Is x at least as big as -4?
True
Let c = -2 - -6. Let w(o) = o**3 - 5*o**2 + 4*o - 3. Let y be w(c). Is -4 != y?
True
Suppose k = -0*k. Let g(w) = -w**3 - 8*w**2 - 8*w - 8. Let y be g(-7). Is k at least y?
True
Let a be -1*4 - (15 - (-42)/(-6)). Which is smaller: -37/3 or a?
-37/3
Let r = 0.88 - 0.6. Let t = 0.08 - r. Let h = 0 - -0.2. Is h less than t?
False
Let v be 123/3 + -5 + 3. Let h be (-2 - v/(-12)) + -2. Let k(f) = -f**3 - 7*f**2. Let z be k(-7). Does h = z?
False
Let n = -0.1 + 0.17. Let v = 0.37 - n. Let y = 0.3 - v. Is 0 <= y?
True
Suppose b + 0*r = 2*r + 7, 54 = 4*b + 5*r. Let v = 16 - b. Suppose v*i + 4 = -1. Which is smaller: -2 or i?
-2
Let q be (-6)/4*(2 - 4). Let o(t) = -q*t**2 - t - 1 + 5*t + 4*t**2. Let j be o(-4). Is -5/4 at least j?
False
Let l = -53/2 - -28. Let b = -0.3 - 1.7. Is b >= l?
False
Let d(j) = j**3 + 4*j**2 + j - 1. Let x be d(-3). Suppose -3 - 2 = x*m. Let r = m + 1. Are -2/5 and r unequal?
True
Suppose 4*m - 47 = 3*i, -2*m + 3*i + 12 = -19. Let b(y) = -y**2 - 6*y - 2. Let s be b(-3). Suppose 3*h - s = m. Which is bigger: 0 or h?
h
Let v = 11 - 7. Suppose 3*j + v*b + 16 = 0, -5*j - 4*b = -3*j + 16. Which is smaller: j or 3/4?
j
Suppose -4 - 4 = -y + t, -3*y - t = -28. Are -0.3 and y non-equal?
True
Let j = 40 + -39. Which is smaller: j or 1/11?
1/11
Let f = -1/19 - -781/38. Is f smaller than 21?
True
Let p(o) = 2*o**2 - 10. Let l be p(-4). Does 21 = l?
False
Let j = -6 - -6.1. Suppose 0 = 2*c - 5*c - 3. Let w be -2 + 2 + 0 + c. Which is smaller: w or j?
w
Let h(n) = -n**2 - 12*n + 8. Let t be h(-9). Suppose -t = -5*i - 0*i. Let x = i + -6. Which is greater: x or -1?
x
Let p be (104/(-12) - 2) + -2. Which is bigger: p or -13?
p
Let j = 1247802/7447 + -316/677. Let p = 167 - j. Which is smaller: p or 1/2?
p
Let t = 31 + -29.5. Is 0.1 greater than t?
False
Let n = 0.5 + 1.5. Let f = -2.1 + n. Let j = -0.2 + 0.5. Is f equal to j?
False
Let c = -13 - -7. Which is bigger: c or -7?
c
Let h(f) = -f**3 - 3*f**2 - 3*f - 2. Let u = 5 - 7. Let q be h(u). Suppose 4*p - 4 = -q*p. Which is greater: 2/5 or p?
p
Let s = -287309/14427 + 4/10305. Let x be ((-101)/(-2))/(5/(-2)). Let g = s - x. Is -1/5 != g?
True
Let x(d) = d**3 + 5*d**2 + 4*d. Let o be x(-4). Is -1 < o?
True
Let r be (-24)/42 + (-22)/(-14). Is r smaller than -4/3?
False
Let i = 0 - 9. Let b be -8*(1 - i/(-10)). Which is bigger: -2 or b?
b
Let i be ((-6615)/(-25))/7 - 8/10. Do i and 37 have different values?
False
Suppose 2*n = 5*w - 4 - 0, -3*w - n = 2. Let g be 2 - (-183)/3 - -2. Let d = g + -391/6. Which is greater: w or d?
w
Let c = -1.1 + 1. Let i = -0.3 - c. Let g = -0.1 + 0.2. Does i = g?
False
Suppose 4*k = -8, -3*m + 116 - 43 = k. Suppose -4*h + 9*h = -y + m, h - 3*y = -11. Which is smaller: h or -1?
-1
Let a(s) = s**3 - 6*s**2 - 3*s - 3. Let p be a(6). Is p greater than or equal to -1?
False
Let o(k) = -k**3 - 10*k**2 + 4*k + 6. Let c be o(-10). Is -34 less than or equal to c?
True
Let o = -5 - -7. Are o and 2 unequal?
False
Suppose 0 = -4*g - 12, g + 5 = -w - 0. Is w greater than -3?
True
Let c be ((-6)/4)/((-2)/(-8)). Suppose -11*w + 13*w + 24 = -5*z, 0 = -4*w - 5*z - 38. Is c greater than w?
True
Let h = 1 + -4. Let r be 0/(h - 0 - -1). Is r < -5/7?
False
Let y be (16/(-10))/((-645)/250). Let d = y + 2/43. Which is greater: 1/3 or d?
d
Let n be ((-1 + -1)*-1)/(-2). Let s = n + -1. Suppose -4*d = -d + 3. Which is bigger: d or s?
d
Let q(g) = -g + 13. Let r be q(14). Let p = -2 + 3. Let j be p*2 + 7/(-3). Is j smaller than r?
False
Let n = -21.11 + 21. Let o = n - -3.11. Is 2 bigger than o?
False
Let w = 28 + -19. Do w and 7 have the same value?
False
Let r be (4/(-6))/((-28)/(-42)). Which is bigger: -3/29 or r?
-3/29
Let k be (-7)/5 - (-2)/5. Let h be 1/(-2)*(-28)/(-147). Is k < h?
True
Let z = -6 + 11. Let v be (78/180)/((-4)/z). Let h = 3/8 + v. Is h equal to 1?
False
Suppose 2*k - 6*k - 4 = 0. Is 4 at most k?
False
Let i be (6/(-4))/((-1)/(-4)). Let j = -6 - i. Which is bigger: j or 3?
3
Let k = 1285/9 + -143. Is k not equal to -6?
True
Let o(b) = b**2 - 3*b + 2. Let g be o(5). Let n be 7*4/g + -1. Is n < 1?
False
Let q = 2 - -13. Let i be -15*(66/q + -4). Which is bigger: i or -7?
i
Let l = 152.9 - 153. Is l less than -19?
False
Let u = -2 + -1. Let j = -7 + 10. Let c = j + u. Is c at least 0.1?
False
Suppose -4*m + 2*m = 4*i - 50, 5*i - 5*m = 70. Let g = i - 8. Let p be (g + -5)*(1 + 0). Are p and 0 non-equal?
False
Suppose -2*a = -a + 1. Let t(o) = o**2 - 8*o + 4. Let d be t(7). Which is smaller: d or a?
d
Suppose 2*x = 5*f + 12, -2*x - 3*f = -3*x + 8. Let o be (18/20 + -1)*x. Does o = -1?
False
Suppose 0 = 5*x - 4*z + 5, 4*x + 4 = -3*z + 4*z. Suppose -u - u + 6 = 0. Suppose -12 = 5*l + 4*i, i - 6 = -2*l + u*i. Is x at least l?
False
Suppose -4*r - 3*f + 28 = 0, 0*f - f = 3*r - 16. L