ler: q or 1?
q
Let i = 2.9 - 3. Suppose -5*t = -2*o + 8, -t + o - 3*o = -8. Let u = 0 + t. Which is smaller: i or u?
i
Suppose -3*y - 8 = -o, -4*y - 5*o = -0*o - 21. Let q = y + -1. Let u be 1 + 0/2 - 2. Do u and q have different values?
True
Let d be (-2)/1 + -10 + -4. Which is greater: -1 or d?
-1
Let s = -2 + 3. Let t be (s/(-2))/(4/(-8)). Which is greater: t or 0?
t
Let f be (9/(-4))/(5/8). Let j = -4 - f. Which is greater: j or 1/3?
1/3
Let x = -39 + 28. Let l = -636 + 626. Is x at most as big as l?
True
Let i = 1.3 + -1.2. Is 0.04 at most as big as i?
True
Let w be 3/(-2) + (-39)/(-6). Let x = -4 + w. Does x = 1?
True
Let j = 15 - 15. Which is bigger: j or -1/4?
j
Suppose -8 = -13*x + 21*x. Which is greater: x or 3?
3
Let p = -23 - -30. Are p and 8 equal?
False
Suppose 0 = 4*l + d - 39, 51 = 4*l + 7*d - 2*d. Let g be ((-8)/(-36))/((-12)/l). Which is bigger: 0.1 or g?
0.1
Let u(o) = -o**3 + 4*o**2 - 4*o. Let c(j) = -j**3 + 5*j**2 - 5*j. Let a(x) = 4*c(x) - 5*u(x). Let w be a(1). Which is smaller: w or -1/7?
-1/7
Let a = 0.7 + -5.7. Let i = 7.12 - 0.12. Let n = i + -6. Which is bigger: a or n?
n
Suppose 3*t + 2 = 17. Suppose -t*d + 0 + 25 = 0. Suppose 0 = -d*w - 5. Is -1/8 bigger than w?
True
Let w = 0.19 + 4.81. Which is smaller: w or -0.3?
-0.3
Let o = -105 + 105. Is o at least 2/85?
False
Let l = 5 + -5. Let i = 2 - l. Which is smaller: 4/7 or i?
4/7
Let w = -722/7 + 103. Suppose -2*v = -3*o + 7 + 1, 5*v = -20. Are w and o unequal?
True
Let i(t) = -6*t + 40. Let o be i(6). Which is smaller: o or 2?
2
Let h = 0.07 + 0.53. Let n = -1.6 + h. Is n < 1/9?
True
Let l be 13 - (-4 + (4 - -3)). Suppose -4*s - l = -9*s. Let a(t) = -t**3 + t**2 + 2*t + 1. Let h be a(-1). Is s <= h?
False
Let g = -132 + 197. Let o be 1/((g/2)/(-5)). Which is smaller: -1 or o?
-1
Suppose -f = -6*f + 15. Suppose 3*r - 3*n = -12, 3*r - 2*n = -f*n + 4. Suppose -3*m + 0*m + 6 = r. Which is smaller: m or 0?
0
Suppose 3*q + 20 = -2*q. Is -5 less than or equal to q?
True
Let v = 0.15 + -0.25. Is -1 less than v?
True
Let z = -7 - -6. Let u = 3 - 2. Let b = u + z. Which is bigger: b or 2/3?
2/3
Let y(g) = 6*g - 12. Let t(u) = 5*u - 11. Let m(c) = 7*t(c) - 6*y(c). Let f be m(-8). Does 4 = f?
False
Let m be (-4)/(-18) + (-38)/9. Suppose 5*a = 4*d, -3*a = 3*d - 7 - 20. Let c = m + d. Is -1/5 less than c?
True
Suppose -3*i + 0*h = 4*h - 25, -4*i + 24 = 3*h. Suppose 8 = t - i*t. Is -5 greater than t?
False
Let w = -3 - -5. Suppose 8 = w*x, 4*t = 5*x - x - 12. Do t and 1 have the same value?
True
Let k be 15/(-4) - (0 - 2/(-8)). Which is smaller: k or 26?
k
Suppose -4*r - 3*p = p - 88, 24 = 2*r - 3*p. Let y be 6*3*(-8)/r. Suppose -18 = 3*j - 0*j. Is j equal to y?
False
Let t = -5 - -14. Let s = t + -8. Is 3 bigger than s?
True
Let s be 1 - (-1 + 0/3). Suppose -s*v + 0*v = 0. Is 1 not equal to v?
True
Let a(d) = -d - 5. Let o be a(0). Let w = -5 - o. Are 1/11 and w equal?
False
Let s = 6 + -3. Let b = 13.2 - 17. Let r = 4 + b. Is s equal to r?
False
Let r(x) = -x**2 + 9*x - 2. Let j be r(9). Let h be 4 + -2 - (-2)/j. Does h = -1?
False
Let d = -12.1 + 12. Which is smaller: 1 or d?
d
Let b be (-1)/(-4) - 21/(-12). Let x = b - -2. Is x bigger than 3?
True
Let b be (-32)/(-78) + (-3)/9. Is b < 0?
False
Let b = -13 + 18. Suppose 3*n = c + 7, 4*n + b*c = -7 + 29. Let p be (-2)/(-12)*n*0. Are p and -1 non-equal?
True
Suppose 0*o - 51 = 3*o. Let d = -19 - o. Is d not equal to -1/2?
True
Let q = -6 - -10. Suppose 0 = -q*a + 3*a. Suppose 3*h - 4*y + 15 = 0, 4*h + 8 - 19 = -5*y. Which is bigger: h or a?
a
Let o(p) = p. Let u be o(-4). Is 3/4 at least u?
True
Let h be (-26)/10 - (-16)/(-40). Let l be h/45*-3 + 0. Is -1 bigger than l?
False
Suppose 0 = -2*r + 5*s + 46, -16 + 80 = 3*r - 5*s. Let h be (r/4)/(9/(-3)). Let u be (-12)/7 + 6/(-21). Which is bigger: u or h?
h
Let n = -0.2 + 0.3. Let i be 4/(-8) - 3/2. Which is smaller: n or i?
i
Suppose 5*a + 5*o - 10 = 2*o, 0 = -4*o. Suppose 0 = -0*z - z. Suppose 2*s = 5*h, h - 3*s + a*s = z. Is -1 greater than h?
False
Let q = -0.09 + -9.91. Let r = 10.02 + q. Which is smaller: -2 or r?
-2
Suppose -i + 60 = -5*a, 3*a + 48 = -a + 5*i. Which is bigger: a or -13?
a
Let q be 0/(0 - (0 - 2)). Let o be (-2)/((-6)/4 - 2). Which is bigger: q or o?
o
Let c be -1*4 + (8 - (-6 + 15)). Is 1/2 at least c?
True
Suppose -4*m - f + 4*f + 19 = 0, f = -5*m. Let i be 3*(1/(-3) - -1). Is m < i?
True
Suppose -3*v = -24 - 9. Let y = 29 + -17. Is y less than v?
False
Let i(v) = -v - 16. Let j be i(-12). Is 0.1 less than or equal to j?
False
Let q be (-1)/(1/1*(-14)/(-238)). Which is greater: -50/3 or q?
-50/3
Let d be ((-15)/30)/((-3)/(-6)). Are -2/119 and d nonequal?
True
Let n be (1/1 - 2) + 1. Let q = 9.21 - 0.21. Let k = -8 + q. Which is greater: k or n?
k
Let l = 16 - 15.9. Let f = -6.1 + l. Is f bigger than 0.1?
False
Suppose 0*h - 60 = 3*h. Is -20 at least as big as h?
True
Let l(q) = -2*q + 5. Let j be l(3). Is -1/24 != j?
True
Let w be 14/12 - 1/2. Suppose -o = 1 - 13. Suppose -6*s + s - 3*z = 9, -2*s - 4*z - o = 0. Which is greater: s or w?
w
Let d be -2 + 7/(14/6). Which is smaller: -1/53 or d?
-1/53
Let m be -2 + (-1)/2*-4. Let t(i) = i - 6. Let y be t(5). Which is smaller: m or y?
y
Let u(h) = h**2 + h. Let w be u(0). Suppose -4*m = -3*y, w = -y - 3*m + m. Is -2/9 greater than y?
False
Let a(g) = g**3 - g. Let w(p) = 6*p**3 - 5*p. Let j(t) = -5*a(t) + w(t). Let z be j(-1). Let u = 1 + -3. Which is smaller: u or z?
u
Let g = 122 - 117. Which is smaller: 1 or g?
1
Let r be (-6)/(3*(-3)/(-27)). Let a be 12/r + 14/30. Let z = -15 + 14. Is a greater than or equal to z?
True
Let j(c) = -c + 10. Let p be j(-11). Which is greater: 20 or p?
p
Let j = -2/107 - -119/642. Suppose -4 + 2 = 2*s, 3*k - 34 = -2*s. Let r = k + -11. Which is bigger: r or j?
r
Let w(b) = 2*b**2 + 5*b - 1. Let f be w(-5). Let d be (f/100)/((-3)/15). Is -2 equal to d?
False
Let d be 156/15 + (-9)/(-15). Which is bigger: 12 or d?
12
Let h = -32191 + 322537/10. Let j = h - 226/5. Let y = -18 + j. Which is greater: -3 or y?
y
Let c(o) = -2*o + 28. Let v be c(12). Let k(f) = -f**3 + 3*f**2 + f - 4. Let q be k(3). Let b be q/(-3) - (-8)/3. Which is greater: v or b?
v
Let m = -2 - -2. Let a be -1*((-426)/(-212) - 2). Let k = a - 199/1378. Which is smaller: m or k?
k
Let f = 70 - 71. Which is greater: -1/36 or f?
-1/36
Let u(w) = w + 7. Let m be u(-9). Let s be 2/4*1*m. Do 0 and s have the same value?
False
Let j = 1 + -2. Let z = -87/119 + 10/17. Is z <= j?
False
Let m be (-5)/(-10) + 3/6. Which is smaller: 5/6 or m?
5/6
Suppose 3*f + f + 24 = 4*h, -23 = 3*f - 4*h. Suppose -104 = -5*p - 0*b + 3*b, p + b - 24 = 0. Let t = p - 47/2. Which is bigger: t or f?
f
Let x be 2/6 - (-4)/12. Is -7 != x?
True
Let k = 1 + 1. Let f(n) = 5*n + 30. Let c be f(-6). Do k and c have different values?
True
Let x be (-12)/(-18)*3/(-2). Let o be 2/20*790/24. Let y = -37/8 + o. Is x < y?
False
Let o = 26/3 + -7. Let g(n) = -3*n - 2. Let q be g(-7). Suppose -q = 3*v - 4*i, 0*i - 3*i = -12. Which is bigger: o or v?
o
Let g(p) = p**3 + 7*p**2 - p + 9. Let t be g(-7). Let q be -2*(3 - 46/t). Let f = -0.3 - -0.5. Which is smaller: f or q?
q
Suppose -3 - 2 = 5*q. Let z(r) = r - 1. Let d be z(4). Let p = -5 + d. Which is greater: q or p?
q
Let r = -0.08 + -0.02. Suppose 0 = y + 5*t + 2, -4*t - 31 = 4*y + y. Which is smaller: y or r?
y
Let d be (-328)/(-18) - (0 + -3). Let y = d - 21. Let v = -2 - -2. Which is smaller: v or y?
v
Let r = -33/2 + 24. Let a = 29/4 - r. Let w = -55/204 - -1/51. Are a and w nonequal?
False
Let q = 2.5 + -3. Let k = q + 1.5. Which is greater: k or 0?
k
Let u = 0.011 - -8.989. Is u equal to -2?
False
Let w(c) = c**2 + 4*c - 2. Let i = 4 + -9. Let t(x) = 1. Let f(o) = i*t(o) + w(o). Let b be f(-5). Which is bigger: b or -1/2?
-1/2
Let f = -500.06 + 484. Let r = f - -16. Is 0 at least as big as r?
True
Let g = 0.5 - 0.1. Let z = g - 2.4. Let r = 1 + z. Which is smaller: r or 3?
r
Suppose -2 = 5*m - x, 0*m - 4*x = 5*m - 8. Suppose 2*d + m*d = 0. Is 0 equal to d?
True
Let s = -2 - -20. Let n = s - 18.2. Is 3/5 > n?
True
Let h(s) = -2*s**2 - 2*s - 5 - 3 + 5 - 6*s**3 + 2. Let m be h(-1). Suppose 2*w - 11 = n, -2*n + 3*w - m - 13 = 0. Is -3 < n?
False
Suppose 11 = -3*n + a, 5*n = 3*a - 16 + 3. Let p = -6 - 