x or t?
x
Let x be (3 + -3)/(3 - 0). Let m(j) = j - 2. Let g be m(5). Suppose -4*y = u + 1, 5*u + x*y = g*y - 5. Is -2/7 less than or equal to u?
False
Suppose -5 = a - 14. Let l = a - 8. Let w(y) = -y + 7. Let b be w(6). Is l < b?
False
Let i = -2/11 - 8/77. Which is greater: 1/13 or i?
1/13
Let r = 56.9 + -57. Which is greater: r or -9?
r
Let b = -19222/27 - -712. Is -1 at least b?
False
Let p be ((-4)/(-4)*-6)/(3/20). Which is greater: p or -39?
-39
Let z = 44 + -48. Which is smaller: z or -1?
z
Let f = -11 + 6. Let v be 2/7 + (-16)/7. Which is smaller: v or f?
f
Suppose 0 = x + 4*x. Suppose 4*i + 22 = -q, 3*q + q - 2*i + 16 = x. Is q > -6?
False
Let r = -15 - -9. Which is smaller: -0.1 or r?
r
Let a = -0.79 - 0.21. Let j = 1.75 + -0.05. Let q = 0.3 + j. Are a and q unequal?
True
Suppose -4*p - 1 = -3*p. Let l = -183/4 + 46. Are p and l nonequal?
True
Let q be 16/(-8)*(0 + -4). Is 37/4 less than or equal to q?
False
Let l = 3 + -3. Let h(f) = -f - 3. Let o be h(l). Let a = o + 9/2. Which is smaller: 1 or a?
1
Let q = -0.431 + 0.001. Let x = 0.03 + q. Let v = x - -2.4. Is v at least as big as 1/4?
True
Suppose 0 = -2*c + c + 6. Suppose -3*k + 21 = 3*t, k + 2*t + c = 18. Let l be (k/52)/(6/24). Is l <= 1?
True
Let l(d) = -d - 6. Let h(j) = -2*j - 7. Let i(r) = 2*r + 8. Let s(x) = -4*h(x) - 5*i(x). Let y(a) = -11*l(a) + 6*s(a). Let p be y(-8). Are p and 2/3 nonequal?
True
Let u(t) = -t**2 + 4*t + 1. Let c be u(3). Suppose -2*v + 2 + c = 0. Is 3 >= v?
True
Let s be 2/((-8)/(-12)) - 1*-6. Do 10 and s have the same value?
False
Let r be 2/(-3) - (-30664510)/252. Let d = r - 121683. Let g = d - 11/18. Is -0.1 greater than g?
False
Let a be ((-2)/(-6))/(2/12). Suppose 0*q + a*q - 3*n + 3 = 0, 2*n = 3*q + 7. Let r(f) = -f - 4. Let s be r(q). Is -1/4 != s?
True
Suppose -35 = -2*w + w. Let x be (-20)/w - 51/21. Which is smaller: -5 or x?
-5
Suppose -u = -c - 0*c - 5, -u + 6 = -2*c. Let m(y) = -y**2 + 3*y + 4. Let p be m(u). Let f = p + 4. Which is greater: f or 3?
f
Let z be (-20)/2*7/(-2). Suppose -5*n + 3*s + 0*s = z, 4*n = 4*s - 36. Which is bigger: n or 0.1?
0.1
Let x be (-7)/((-1365)/12)*-5. Which is smaller: 1 or x?
x
Let v = -16.9 + 17.2. Which is smaller: -19 or v?
-19
Let r be -2 - (-1 + (4 - 2)). Are 1 and r unequal?
True
Suppose -5*x - 13 = -2*c, 3*x - 2*c + 9 = -2. Let b be (-1)/(0/x - 3). Are -2 and b unequal?
True
Let x = -3 + 1. Let n = 1 + -3. Is n > x?
False
Suppose -6*i + 16 = -2*i. Is 4 at least as big as i?
True
Let q = -1.6 + 1.3. Let n = 0.3 + q. Is n smaller than 18?
True
Let h = 290374/109 + -2664. Which is bigger: h or 0?
0
Let r = -632 - -17066/27. Is 0.1 <= r?
False
Suppose 5*a + 1 = 3*o, 1 = -o - o + 3*a. Which is smaller: -7 or o?
o
Suppose -1 = -4*h - 13. Let z be (-3)/21*(h - -1). Are z and -1 equal?
False
Let l be (-26)/22 - 1*-1. Let m(b) = -b**2 + 12*b - 21. Let f be m(10). Which is greater: f or l?
l
Let p be (8/(-4) - -2)*1*-1. Suppose -2*v = -7 + 1. Suppose p = t - v*t. Which is bigger: t or -2/11?
t
Let x = -1335/658 - -29/14. Suppose 0 = 2*s + 5*z + 13, z + 0*z = 4*s - 7. Is x greater than s?
False
Suppose 7*w = 6*w. Is w <= 1?
True
Suppose -6 + 20 = -i. Is i at most -14?
True
Let a(y) = 2*y - 3. Let t be a(2). Is t != -4?
True
Let z be 2/15*351/6. Does -0.1 = z?
False
Let o be 6/21 - (-16)/(-56). Is 1/40 > o?
True
Suppose -54 = -2*v - 4*n + 2*n, 0 = 3*v - 4*n - 67. Is v bigger than 26?
False
Let w(m) = 2*m**3 - 2*m**2 + 1. Let v be w(1). Is 2 >= v?
True
Suppose -3*n + 19 = -5*c, -n = 5*c - 3*n + 16. Let r(s) = -2*s + 2. Let w be r(3). Is c < w?
False
Let t = 2/15 + -7/15. Is t > -21?
True
Let r = 5 + -4.8. Let u = 0.2 - r. Let q = 0.37 + -0.36. Which is smaller: q or u?
u
Let q(f) = f**2 + 10*f - 10. Let n be q(-11). Let s(o) = -3*o**3 - o**2 + 1. Let m be s(n). Which is greater: m or -4?
m
Let i = 50 - 44. Let z be (-9)/(-2) + (-5)/10. Is i < z?
False
Let i = 0 - -4. Let a = -4.8 + 0.8. Let g = -3 - a. Is g at most i?
True
Let k(l) = -l**3 - 2*l + 2. Let w be k(2). Which is smaller: w or -5?
w
Suppose b - 4 = -b. Is b greater than or equal to 2?
True
Let f(i) = i + 9. Let p be f(-7). Suppose 0 = 3*q + p + 1. Is 1/3 bigger than q?
True
Let h = -1.45 + 0.15. Let g = h + 1.4. Is -2/3 < g?
True
Let u be ((-3)/2)/(-3 + 220/72). Is -27 != u?
False
Let d be (-17)/(-2) - 2/4. Suppose 0 = -q - 5*o + 2, q - 4*o + d - 1 = 0. Let i = -3 - q. Is i != 0?
False
Let b = -0.07 - 0. Let v = 0.23 - b. Do v and 0 have the same value?
False
Suppose 5*o + 0*k = -2*k + 226, 0 = -3*o + 4*k + 146. Let v = 413/9 - o. Which is greater: 0 or v?
0
Suppose -13*c = -3*c. Which is smaller: c or 6/5?
c
Suppose -t = -2 - 17. Suppose -r + 2*r - t = 0. Suppose 0 = -2*k + 3*n + r, 2*k - k - n = 7. Is k not equal to -1/4?
True
Suppose 8 = 2*t - 2. Let h(j) = j**2 + 7*j - 13. Let w be h(-9). Let r = t - w. Is r at least as big as 1/7?
False
Let y be ((-120)/1100)/((-2)/(-50)). Is -2 not equal to y?
True
Suppose 6 = r - s, -r - 3*s = -2*s - 8. Let b = -12 + r. Let q = 0 - b. Which is bigger: q or 6?
6
Let v = 26 - 14. Let t = 0 + v. Is t bigger than 13?
False
Let r be ((-6)/18)/(75/(-27)). Is r at least as big as 1?
False
Let b(j) = 5*j - 31. Let g be b(19). Are g and 62 unequal?
True
Let t(s) = -s**3 + s**2 + s - 1. Let m be t(0). Are m and -5/9 equal?
False
Let t be 42/40 + (-2)/(-10). Which is bigger: 0 or t?
t
Let z be (-98)/(-8) - 2/8. Let o be (1/4)/((-6)/z). Suppose 3*l - 3 = -0. Which is smaller: o or l?
o
Let m be 12/4 + 3*15/(-9). Let g = 25 - 77/3. Is g less than or equal to m?
False
Let k = -93795/14 - -6705. Let s = k - 871/126. Which is greater: -1 or s?
-1
Let x(d) = 0 - 5 - 58*d - 51*d + 110*d. Let a be (-2)/3*(0 + -9). Let u be x(a). Is u > -2/5?
True
Let x(p) = -p**2 + 6*p - 5. Let q be x(5). Suppose 2*y - l = -y - 340, q = -2*y - 2*l - 216. Let f be y/63*6/4. Is f bigger than -4?
True
Suppose d + 2*d + 9 = 0. Let a be d*(-2 - (-20)/9). Which is smaller: a or 0?
a
Let h = 0.17 + -0.07. Let x be ((-1)/9)/((-2)/(-4)). Are h and x equal?
False
Let x(h) = -h - 3. Let l be x(-5). Suppose l*o + 2*o = -8. Let w be -2 + 4 + 4/(-2). Are o and w unequal?
True
Let w be 2/16 + 33/24. Is 3 at least w?
True
Let h = 489/4 + -122. Which is bigger: 0 or h?
h
Let i be (-6 - -8)*(0 - (-11)/(-10)). Does i = -1?
False
Suppose -3*d + 4 = -2*m, 3*m - 2*d = 4 - 5. Is m at least as big as -10?
True
Let v be 2/4*-1 + -1. Are v and -3 unequal?
True
Suppose q = -5*h - 14, 2*q = -5*h - 3*q - 10. Let n = -178 + 173. Which is smaller: h or n?
n
Let f = 179 + -336. Let x = 3139/20 + f. Let v = x + 23/60. Is -1/4 greater than v?
False
Suppose 0 = l + l. Let v be (-2 + 1)/((-2)/(-2)). Which is smaller: l or v?
v
Let t = -13 + 14. Is t less than 0.3?
False
Suppose -x = 2*m - 0 + 20, -3*m + 42 = -3*x. Is x < -17?
False
Let r = -1210/13 - -93. Which is bigger: r or 1?
1
Let p(b) = b**3 + b + 13. Let q be p(0). Suppose 0 = 3*l - 4*s + q, 0*l - 5 = 3*l - 2*s. Let h = 21 + -12. Is h > l?
True
Let z = -15.7 + 15. Let k = z + -0.3. Is k smaller than 4/5?
True
Let i = -0.9 + 1. Let j = 3 - 8. Is i at least j?
True
Let p(n) = -n. Let j be p(-4). Suppose -5 = -j*r + 7. Let o = r - 4. Is -1 < o?
False
Let g be (3 - 96/27)*6/(-10). Let l be (-1 + 6)*2/(-5). Let f be 0/(l - -5 - 2). Which is bigger: g or f?
g
Let c = -1 + 2. Let j = 3 + -3.03. Let r = j - -3.03. Are c and r unequal?
True
Let m = 20 + -16. Which is smaller: m or 7/2?
7/2
Let b = 53.22 + -53. Are b and 0.2 unequal?
True
Let i(u) = u**2 + u - 15. Let s be i(0). Let n be 3/s + (-9)/5. Do n and -2 have different values?
False
Let z = 153 - 77. Is z less than or equal to 77?
True
Let c = 1.3 + 0.7. Let x = 43/5 - 9. Which is greater: x or c?
c
Let i = 7.4 - -0.6. Let c = i - 4. Let h = -16 - -16.1. Is c < h?
False
Let v = -6 + -2. Let g = v + 17. Suppose -4*p + p = g. Is -1 smaller than p?
False
Let u = 12 - 3. Let f be (-2)/(-7) - (-259)/(-49). Let j = f + u. Is j at least as big as 4?
True
Let f(a) = -a**3 + 5*a**2 + a. Let k be f(5). Suppose -k*p - 18 = 7. Which is greater: -6 or p?
p
Let p(c) = c**2 + 4*c - 11. Let o be p(-6). Is o at least as big as -3/7?
True
Let h(w) be the first derivative of -w**3/3 + 3*w**2 - 5*w - 4. Let r be h(7). Is r >= -13?
True
Let x = -9 - -11. Suppose -i - x*i = 3. Is i != -3?
Tr