 or t?
-2
Suppose -5 = 5*h + t - 0, 10 = 5*h - 2*t. Let f be (0 + h + 1)*7. Let u = -5 + f. Is u not equal to -1?
True
Let b = -2 - -5. Suppose 3*l - 7*l = 2*y + 34, -b*l - 31 = 2*y. Let q = -9 - y. Is 2 greater than q?
False
Let j = -274 + 273.7. Which is greater: -0.17 or j?
-0.17
Let s be (-20)/(-10) + ((-3)/1)/1. Let a = -27/4 - -97/12. Let z = a + s. Which is smaller: 1/2 or z?
z
Let w = -3 + 6. Let b(a) = -a**2 + a + 10. Let l be 16/(-7) - (-34)/119. Let q be b(l). Which is smaller: w or q?
w
Let v = 1095 + -959. Does -1 = v?
False
Let m = 74654/5 - 672188/45. Let w be (1/(-15))/(9/(-891)). Let f = m + w. Which is smaller: 0 or f?
f
Let c = -92 + 96. Suppose c*p + 2 - 2 = 0. Which is bigger: 0.2 or p?
0.2
Suppose -516 = 12*f + 324. Let k be (-2)/(-3)*(-4 + 545/f). Which is smaller: -8 or k?
-8
Let k be 3 + -32 - (-2 - 0). Is k not equal to -29?
True
Suppose 0 = 3*z - l + 39, 4*z + 63 = 8*l - 3*l. Is -12 less than z?
False
Let h be 3 - -3 - 14/7. Suppose -2*i + 31 = 5*n, n = -3*n - h*i + 20. Let c be 7 - 2/(0 - 2). Is n < c?
True
Suppose u + 3 = 0, 4*r - 5*u - 202 - 369 = 0. Let x = r + -134. Is x < 5?
False
Let r = 1.5 + 0.5. Let m = 0 + r. Let k = -33/148 - 1/37. Which is bigger: m or k?
m
Let y be ((-2)/(-3 - -2))/(-5). Let o be ((-3)/(-5))/((-14)/(-10)). Which is greater: o or y?
o
Let f(k) = -37*k**3 + 14*k**2 + 2. Let x be f(1). Is x at least -19?
False
Let b be -6 + (-7)/((-7)/(-2)). Which is greater: b or -7?
-7
Let l be (-24)/21*15/6. Let o = 32 + -35. Which is smaller: l or o?
o
Let w be (-94)/(-18) + 6/(-27). Let g be (-277)/110 - (-1)/w. Let s = -13/11 + g. Which is smaller: -4 or s?
-4
Let f = 115/76 - 5/19. Let a be (3/(2 - 5))/(1/(-2)). Is f at least as big as a?
False
Let b = 47 + -5. Let h = 43 - b. Is 6 at least as big as h?
True
Let v = -0.7 - -1.6. Let u = -0.1 - v. Let h = -108 + 107. Is h less than u?
False
Let f(g) = g**3 - 2*g**2 - 4*g - 12. Let n be f(4). Suppose -n*q = 2*i + 350, -3*i + i = -5*q - 433. Do q and -87 have the same value?
True
Let o = -3 - -7. Suppose 2*i + 20 = 7*i, -o*s - i = -4. Let a be 36/40 + (-11)/((-220)/(-8)). Are s and a non-equal?
True
Let c = 12.1 - 0.1. Let t = c - 11.86. Is t < -0.1?
False
Let x(g) be the first derivative of 3*g**2 - 30*g + 23. Let v be x(11). Are v and 35 equal?
False
Let f(u) = -15*u - 1. Let i be f(-1). Let w = 215/16 + 1/16. Are w and i unequal?
True
Let u(s) be the first derivative of -s**4/4 + 2*s**3/3 + 3*s**2 - s - 5. Let a be u(4). Let c = 16 - 26. Which is bigger: c or a?
a
Let z be ((-2)/12)/(-9 + (-14224)/(-1582)). Which is smaller: 20 or z?
z
Suppose 5*y + 95 = -0*y. Suppose -52 + 140 = 4*r. Let u = r + y. Which is smaller: u or 8/3?
8/3
Let a = -849 + 854. Which is smaller: 48/13 or a?
48/13
Let q(c) = -2*c + 432 + 3*c - 431 - c**2. Let f be q(-2). Let w be 1 + f + (-1548)/(-390). Which is bigger: w or 2/3?
2/3
Let f(k) = k**3 - 6*k**2 - k + 5. Let a be f(6). Are a and -7/15 non-equal?
True
Suppose 5*z + 35 = p, 14 = p + 5*z - 11. Is 33 != p?
True
Let u be 0*(4 - 9/2). Suppose -230 = -4*r + 2*t, -3*t + 103 = 2*r - u*r. Is 55 greater than r?
False
Suppose 71 + 4 = 15*v. Suppose 4*d - v*q + 1 = 0, 5*d - 7*d = 3*q - 5. Which is smaller: 63 or d?
d
Let g(a) = -a**2 - 32*a - 176. Let c be g(-7). Which is bigger: c or 2/493?
2/493
Let w(v) = -v**3 - 3*v**2 + 10*v - 2. Let k be w(3). Suppose 5*m - 4*m + 28 = 0. Which is smaller: k or m?
m
Suppose 0 = 5*h + 5. Let c be h*(-3 - -3 - -23). Which is smaller: -22 or c?
c
Let b = 0.123 + 0.327. Let v = b - -0.75. Is v less than -1?
False
Let d = 0.863 - 0.023. Let j = 0.16 + d. Let a = -65/132 - -8/33. Is a at most j?
True
Let a = 6 + -5. Let s be 2 + a/(-1) - -4. Suppose 4*h - s*d = -16, 4*d + 8 = 3*h + 20. Which is smaller: h or -2?
h
Let h(l) = l**3 + 6*l**2 - 5*l + 13. Let m(k) = 3*k**3 + 19*k**2 - 16*k + 40. Let r(u) = -7*h(u) + 2*m(u). Let q be r(-5). Does q = -2.4?
False
Suppose 62*r + 1140 = -14*r. Is -282/19 smaller than r?
False
Let r(q) = 6*q**2 - 15*q + 20. Let o(w) = -5*w**2 + 14*w - 21. Let v(z) = -7*o(z) - 6*r(z). Let d be v(-12). Do d and -2/5 have the same value?
False
Let k(n) = 9*n + 44. Let o be k(-5). Let d be -6 - -2 - 53*o. Which is greater: d or 51?
51
Let h = 865.9 - 865. Let k = -0.3 - 0.7. Do k and h have different values?
True
Let q = -91 - 11. Let d = q - -88. Which is smaller: d or 1/4?
d
Suppose -3*p - 286 + 322 = 0. Suppose f + 20 = 3*f. Are p and f non-equal?
True
Let m = 7.73 + -7.4. Let h = 0.17 - m. Are -2/5 and h unequal?
True
Let h = -0.2 - -0.4. Let q be (-1)/(-6) + 355/2982. Is h at least q?
False
Suppose 2251 - 631 = -5*h. Let d = h - -17170/53. Suppose -4*t - 1 + 5 = 0. Is d <= t?
True
Let s be -2 + 8 + 6 + 1*-4. Suppose -6*j - 8 = v - 2*j, -2*v - 4*j = s. Let l = -5 - -3. Which is greater: v or l?
v
Suppose 3*f - w - 8 = 0, -2*f + 7*f - 4 = 4*w. Suppose 3*y + f*y - 70 = 0. Which is bigger: y or -1?
y
Let q = -196 + 187. Let f be (-1)/(-1 + 3/6). Suppose -4*v + f*d = 26, 2*d - 2 = -4*v + 5*v. Which is bigger: v or q?
v
Suppose 8*g - j = 3*g + 40, 4*g - 16 = 4*j. Let w be (14/g)/((-28)/(-21)). Which is smaller: 0 or w?
0
Let p be (-1)/(-3) + -3 + (-51)/(-36). Let z be ((-6)/(-10))/((-2)/(-10)). Suppose -3*n = 2*q - 6, n - z*q = 3*n - 9. Are n and p unequal?
True
Suppose 2*k + 2*s - 14 = 0, -s = 4*k - 2*s - 23. Let t be 1/(-13)*k - 0. Which is smaller: -1 or t?
-1
Let g(a) = -a**3 - 14*a**2 - 39*a + 9. Let f be g(-10). Which is smaller: f or 1/23?
f
Let l = -108/3983 - -2067854/3983. Let f = 520 - l. Let u = 4.3 + -4.1. Do u and f have the same value?
False
Let q be 0 + -3 + 1 - -11. Let b be (-2 - -5)*30/q. Suppose 0*f + 11 = f. Which is bigger: b or f?
f
Let b be -3 + 155*(-7)/(-371). Which is smaller: b or -2?
-2
Let n = 92.2 - 92.2. Is n at most -1/156?
False
Let y = 131 + -131.53. Let x = -0.53 - y. Is -2/129 bigger than x?
False
Let k = -1 - 0. Let r = 21.1 + 2.9. Let d = r - 24.01. Is k >= d?
False
Let a be (20/(-15))/(1/(-15)). Suppose y - 8 = 4*u, -3*y + y - 4*u - a = 0. Let o = -2 + 2.4. Which is bigger: y or o?
o
Let s = -1830 - -1770. Let x(r) = 9*r - 5. Let p be x(-6). Which is smaller: p or s?
s
Suppose -4*f + 156 = 4*d, -16*d - 3*f = -21*d + 179. Is 4 at most d?
True
Let p = -51 + -164. Which is smaller: p or -214?
p
Let s = -659 - -1979/3. Which is greater: -6.7 or s?
s
Let t(z) = -8*z. Let s be t(0). Let k(b) = -b**3 + 4*b**2 + 2. Let f = -3 + 7. Let n be k(f). Is n >= s?
True
Let c = -13676/35 - -1998/5. Which is smaller: c or 10?
c
Suppose 0 = 5*k + 4*m - 44, 0*k - 40 = -2*k + 4*m. Suppose 0 = x - 4*x + k. Are 5 and x nonequal?
True
Let y(b) = b - 3. Let x be y(4). Let v = -3 - -3.2. Which is smaller: v or x?
v
Suppose -3*d = 4*k - 25, d + 3*k + 6 - 21 = 0. Let j be ((-6)/d)/(7/35). Which is bigger: -0.1 or j?
-0.1
Let a = -4 + 4. Let y = a - -8. Let n = -6 - -14. Do y and n have different values?
False
Let r be (-4)/(-32)*0 - -1. Is r at least 2/19?
True
Let f(o) = -20*o - 200. Let j be f(-10). Is j >= -0.38?
True
Suppose 0 = -u + 4*t - 46 + 3, 2*u - 3*t = -76. Is u bigger than -33?
False
Let g = 105.1 + 31.9. Let n = g - 138.98. Let f = -0.02 + n. Is -2 equal to f?
True
Let i = -1336 + 1337. Which is smaller: i or 6/55?
6/55
Let c(t) = 2*t**2 + t + 8. Let i be c(-11). Is i at least 238?
True
Suppose 5*t - 9 = 3*w - 2, -4*t = -20. Let m be (-5)/((-10)/3)*16/w. Is m at most as big as 17/4?
True
Let b be (1/10)/(144/(-15)). Let t = 19/224 - b. Is 0 < t?
True
Suppose -4*l + 10 = 90. Let a = l - 1. Let k be 18/(-231) - (-6)/a. Is 0 equal to k?
False
Let k(r) = -24*r**3 - r**2 + 1. Let i be k(2). Let m be i/185 + 1/1. Suppose 0 = -p - 4*p. Which is smaller: m or p?
m
Let x = 2.9 + 28.1. Let j = 29 - x. Let b = -220/1017 - 2/339. Which is greater: j or b?
b
Suppose -3*t + 2305 = -5*s, 8*t - 13 - 448 = s. Is -461 less than s?
False
Suppose -11*m - 70 = -16*m. Let z be m/(-21)*(12 - 3). Let k be ((-3)/(-4))/(z/(-16)). Are k and 6/11 equal?
False
Let v = 394/21 - 80/7. Is 8 smaller than v?
False
Suppose 0 = -3*y - 30 + 6. Which is smaller: -35/4 or y?
-35/4
Let p = -2 + 4. Let n be (-2 - -1) + 13 + 2. Suppose b = -4*a + 3 - n, -3*b + a = -6. Which is bigger: p or b?
p
Let g = 3092/215 - -104/43. Is -4 at most as big as g?
True
Let d = -451.7 - -455. Let a = -116.