- 130/8. Let l = 13 + s. Is -4 equal to l?
False
Suppose 3*z - 39 = 3*n, 2*n - 1 + 3 = -4*z. Which is smaller: 2/3 or n?
n
Let f be (12/8)/((-6)/(-8)). Which is bigger: f or 4?
4
Suppose 2 + 1 = -3*m. Which is smaller: m or 8?
m
Let g = 6 - 6. Suppose -n + g*n - 6 = 0. Let l = 5 + n. Which is greater: l or -2/31?
-2/31
Let j be 6 - (4 + (-1)/1). Suppose -4*f + 4 = -j*g, 3*g = -g + f - 1. Which is smaller: g or -9?
-9
Let y(w) = -4*w + 49. Let p be y(16). Is -15 at least p?
True
Let g(k) = -k**2 + 4*k - 2. Let x be g(4). Let h = 0 - x. Let u = h + -1. Is u smaller than 2?
True
Let n = 0.7 - 0.54. Let j = -0.16 + n. Let t be (8/(-10) + 1)/1. Which is bigger: j or t?
t
Let j(t) = -2*t - 3. Let h be j(-3). Suppose -h*n = -v + 16, 0 = -2*v + 4*n + 16 + 8. Let i be v*((-51)/(-18) + -3). Is i smaller than -1?
False
Let l = 23 + -70/3. Do l and -1 have the same value?
False
Let v(q) = -2*q**2 - 12*q - 1. Let l be v(-6). Let m be (-7)/(-7)*3*l. Is m != -3?
False
Let q(p) = -7 - 3*p**2 + 0 - 2*p + 6. Let z be q(-1). Which is bigger: -0.4 or z?
-0.4
Let o(a) = -a**2 - 3. Let i be 0/(-4)*(-1)/(-2). Let r be o(i). Is r <= -13/5?
True
Suppose -7*w - 7 = 35. Is -4 > w?
True
Suppose u - 4*v = -u, 0 = -4*u + 2*v - 6. Let l = -5 - -3. Let c be (l/(-4))/(6/(-8)). Does u = c?
False
Suppose 8*c + 7 = -1. Which is bigger: c or 1/18?
1/18
Suppose -5 = -z + 7. Let w be (16/(-40))/(24/110)*-6. Which is greater: w or z?
z
Let w(n) = n**3 + 5*n**2 - 1. Let l be w(-5). Let r be 4*3/(6/(-2)). Let a be (-5)/30 - 2/r. Which is smaller: a or l?
l
Let t = 11.8 - 10.8. Let q = 0 + 1. Is t greater than or equal to q?
True
Let g = -485 + 481.07. Let j = g - 0.07. Let s = 3 + j. Which is greater: -2 or s?
s
Let v be 2/15*(3/(-6) - 0). Which is smaller: v or 0.2?
v
Let r = 71651/427 + 277/122. Let a = 170 - r. Is a not equal to -1?
True
Let s be -3*8*(-2903)/770. Let w = -633/7 + s. Let j = w + -47/55. Is j greater than -2?
True
Let s = 15 + -12. Let m be 1*((6 - s) + -2). Let n(f) = -f - 2. Let z be n(-4). Is m > z?
False
Suppose 24*a - 19*a = 65. Is 1 > a?
False
Let k be (-34)/(-8)*12/4. Let w = k - 13. Let h = 0.1 - 0.3. Is h greater than or equal to w?
True
Suppose 2*s + 3 = 3. Let t be (-178)/27*(-2)/(-48). Let u = t - -2/81. Do s and u have the same value?
False
Let t be 8/(15/3 + -4). Let u = -2.9 - -3. Which is bigger: u or t?
t
Let a be 18/10 + (-3)/(-15). Let r be (-124)/(-12) + 1/(-3). Suppose -4*c + 9 = -d - 1, r = -5*d. Is a at most as big as c?
True
Let b be (-3 + (-588)/(-186))*1. Which is smaller: b or -1?
-1
Let c(m) = -2*m - 36. Let o be c(-17). Which is bigger: o or -13/9?
-13/9
Let b = -6.5 - -6.3. Does b = -16?
False
Suppose 2*u = 3*u - 2. Let c be (-3888)/(-30) - (-4)/u. Let z = 132 - c. Which is greater: z or -2?
z
Let a be 60/10*4/(-174). Is 0 less than or equal to a?
False
Let m be (4 - (1 + 0))*814/(-198). Is m < -12?
True
Let a = -1115/32643 - -2/1053. Which is smaller: a or 1?
a
Let u = 4 - 12. Which is smaller: -6 or u?
u
Let y = 0.3 - 0.5. Let o = 48.7 + -45. Let f = -4 + o. Are y and f unequal?
True
Let y(o) = -o - 11. Let k be y(-5). Let p = -5 - k. Which is smaller: p or -2/19?
-2/19
Suppose -6 = -3*o + 6*o. Let b be o/9 - 38/(-9). Suppose -5*p + b*q = -5, 0*p - 5*q - 1 = -p. Is 1 less than p?
False
Suppose 0 + 8 = 4*l. Suppose 5*d - 34 = -14. Suppose -17 = -d*k + 7. Which is bigger: l or k?
k
Let c be (-24)/(-10)*(-120)/(-18). Which is greater: c or 15?
c
Suppose -3*k + 7*k - 42 = -2*d, -15 = -k - 5*d. Suppose 6*z = k*z. Are z and 1/13 equal?
False
Let x be 16/24*102/4. Is x greater than 16?
True
Let c = -8 + 13. Suppose 0 = -2*a + 3*a + 4*x - 20, -x = -c. Which is smaller: -1 or a?
-1
Suppose 2*j + 3*j = -80. Let a be 1/(-2) + (-8)/j. Which is smaller: 1 or a?
a
Let f = 3 - 3. Suppose -3*u + f + 3 = 0. Suppose q = -0*q - u. Is q bigger than 2/5?
False
Let k = -0.84 - 2.86. Let o = 0.7 + k. Which is bigger: o or -1?
-1
Suppose 5*q = 4*m + 340, 2*m = 2*q - 41 - 97. Let p = 317/5 - q. Is p <= 0.4?
True
Let x = 69 + -77. Is x > -1?
False
Let z be (4/(-2))/(10/(-5)). Let s be 19/(-114) - (-25)/222. Which is smaller: s or z?
s
Let u(t) = -t**2 + 5*t - 5. Let x be u(2). Let v be 50/35*x/(-2). Is -1 at least v?
False
Let t = 75/4 + -245/12. Let a be (-7)/(-14) - (-15)/(-6). Which is smaller: a or t?
a
Let d be (3/(-9))/(1/(-11)). Is 3 bigger than d?
False
Let k = 47 + -58. Which is bigger: 2 or k?
2
Suppose 0 = -5*r + 3*t + 35, t - 5*t - 20 = 0. Let n = 3 - -1. Is n <= r?
True
Let p = 82.49 - 83. Let x = -0.5 - p. Let z = x + -0.21. Is 1 less than z?
False
Suppose 4*y + 7 = 3*f - 38, y + 15 = -3*f. Is -2 greater than or equal to y?
True
Let y = 1 + 0. Suppose 4*f = -f. Are y and f unequal?
True
Suppose t - 5 = -4*d + 3, -25 = -3*d + 4*t. Suppose d*u = 5*u - 48. Let w be 2 - (-3)/(u/(-14)). Which is greater: w or -1?
w
Let t = -98 + 51. Is t not equal to -48?
True
Suppose w = -3*j - 4 - 0, 5*j = -2*w - 8. Suppose 2*q + 5*m + 20 = 0, -q - 4*m = -j*m + 16. Which is bigger: q or -5/4?
q
Let p be (36/16)/(1/1636). Let v = 51507/14 - p. Let u = v + 10/7. Which is smaller: u or 0.2?
u
Let d = 0.76 + -0.86. Which is bigger: d or -0.6?
d
Let f = 10 - 15. Let r = 3 + f. Which is smaller: 2 or r?
r
Let w(l) = -l**3 - 15*l**2 - 6. Let n be w(-15). Which is greater: -7 or n?
n
Let r = -6 + 30. Suppose 0 = -4*l - 0*l - r. Let k = -4 - l. Which is smaller: 0 or k?
0
Suppose n = 6*n - 25. Suppose n*j + 58 = -22. Let i be (4/6)/(j/72). Is -3 at most i?
True
Let i = -2/337 + -2008/2359. Which is greater: 0 or i?
0
Suppose 5*j = -11 - 24. Which is smaller: -12 or j?
-12
Suppose 5*s - 6*s + 2 = 0. Suppose -3*m + 5*m - s = 0. Which is smaller: 2/3 or m?
2/3
Suppose 10 = 13*s - 3*s. Suppose -2*g = g, 2*i + 5*g = 0. Which is bigger: i or s?
s
Let x = 0 - -0.01. Do x and -0.1 have the same value?
False
Let k = 7 + -5. Let n be 1 + k/(-1) - 3. Let b = -2 - n. Which is greater: 4 or b?
4
Let f be (24/10)/(21/(-70)). Let i be f/(-18 - 3/(-1)). Let t = i + -2/5. Is 0 not equal to t?
True
Let n = -32 - -351/11. Which is smaller: 0 or n?
n
Let l = 73/30 + -11/10. Is 1 greater than or equal to l?
False
Suppose p + 3*y - 5 = 0, -5*p + 4*y - 11 = y. Let i = 2 - 1. Are p and i non-equal?
True
Let k be (-5 - -3)/(1/(-10)). Suppose 0*c - k = -5*c. Suppose -3*z + 3*m - 3 = -2*m, m - 4 = c*z. Which is bigger: -2 or z?
z
Let v(z) = -z**3 - z**2 - z + 1. Let q be v(1). Let x = 3 + q. Let c be 0 + 2/(-6)*-3. Is x less than c?
False
Let s = 0.5 - 0.38. Let f = -0.08 + s. Are f and -1/4 equal?
False
Let c = 0 + -1. Let q = c + 1. Let u = 0.8 + 0.2. Is u greater than or equal to q?
True
Let g = 1/355 + -733/8165. Are g and 1 nonequal?
True
Let f(n) = n + 17. Let x be f(-12). Suppose 0 = -x*g + 2*g. Is 3/5 not equal to g?
True
Let r = 1.2 + -1.7. Which is smaller: -3 or r?
-3
Let y be 5/(1/(4/((-4)/1))). Does y = -7?
False
Let j(a) = -a + 2. Let m be j(-6). Suppose -3*f + 0 = -4*n - m, -n + 2*f = 7. Is 1/6 > n?
False
Let p = 15 + -117/7. Is -1 greater than p?
True
Let a = -4556964/13 + 350744. Let w = 208 - a. Which is smaller: w or 1?
w
Let f = 36/5 - 293/40. Which is smaller: f or 2?
f
Let u be (-8)/10 - (0 - 2). Let i(v) = 2*v**3. Let y be i(1). Are u and y unequal?
True
Let s(n) = 0 + 0*n + 8 + n - 2*n. Let z be s(6). Suppose -1 = -q, 6 = -2*g + 4*g + z*q. Which is smaller: 0 or g?
0
Let c = 19 - 18.6. Is c at least 2?
False
Let f = -206/5 - -2618/65. Which is bigger: f or 0?
0
Suppose g = -3*s - 22, 0*g - g = 4. Is s bigger than -5?
False
Let i be (-4)/(-10)*(-5)/(-6). Suppose -o - 5 = -4*v, -4*v + 2*o = 2 - 8. Is v equal to i?
False
Let y = -349 + 350.91. Let g = y - 1.8. Which is smaller: g or 1?
g
Let i = -3.3 + 0.3. Let m = i - -2. Let g be ((-9)/(-6))/1*1/3. Which is smaller: g or m?
m
Suppose -5*d + 4*d - 18 = 0. Which is smaller: d or -17?
d
Let b(u) = 2*u**2 + 4*u + 2. Let d be b(-2). Let g be d + (-2 - (-207)/(-12)). Let k = 17 + g. Which is smaller: k or -1?
-1
Let d = 109 - 982/9. Are 1/3 and d equal?
False
Let q(h) = -h + 1. Let t(y) = 2*y + 11. Let p(a) = 3*q(a) + t(a). Let j be p(9). Let r = -2 + j. Is 2 > r?
False
Let v be (-10 - -3)*(-6)/7. Let m = -9 + v. Let g(c) = -2*c + 1. Let q be g(1). Which is bigger: q or m?
q
Let f(p) = p**2 - 6*p + 3. Let s be f(5). Let n(y) = -y