?
-0.05
Let s = 1800 - 7141/4. Which is greater: s or 16?
16
Let w = 4 - -1. Suppose -2*n = 4*a - 10, 0*n = -w*n - a + 16. Suppose 0 = -n*j - 0*j - 15. Do -5 and j have the same value?
True
Let y(z) = -z**3 - 5*z**2. Let g be y(-5). Suppose -2*s - 49 = 5*r, 2*r + s - 3*s + 14 = g. Is -10 at most as big as r?
True
Let y = 11 + -7. Suppose 11 = x - 5*p - 1, -2*x + 5*p + y = 0. Is -8 != x?
False
Let j be (3/(-21))/(3/4). Let q = j + 11/21. Let w be (2 - 3/3)*-2. Which is smaller: q or w?
w
Let j(i) = -3*i + 2. Let k be j(8). Let u = 12 + k. Let o be u/6 - 8/(-12). Is o greater than or equal to 2/33?
False
Let b be 2/(-9) + (-210)/1485. Let d = b + 23/33. Is d greater than or equal to -1?
True
Let z be ((0 + -3)/(-3))/(2/(-4)). Is z equal to 3?
False
Suppose 5 - 10 = -5*t. Is 1 greater than t?
False
Let h = -7 - -11. Suppose h*j = 5*j + 3. Is j bigger than -2?
False
Let q(h) = -3*h**3 + 3*h**2 - 3*h + 3. Let m(t) = -2*t**3 + 3*t**2 - 3*t + 3. Let w(a) = 4*m(a) - 3*q(a). Let r be w(-4). Is -3/4 < r?
False
Let f(o) = o**3 - 5*o**2 + 5*o - 3. Let x be f(3). Let p(t) = -t - 7. Let y be p(x). Which is greater: y or -3/4?
-3/4
Let o = -0.33 + 14.33. Let n = 12 - o. Which is bigger: 2 or n?
2
Let t be (76/25 - 3)/(-1). Which is bigger: 0 or t?
0
Let g(o) = o**2 + 11*o + 4. Suppose 5*v + 5*t - 24 = -74, t = -1. Let k be g(v). Is -14 at least k?
True
Let f(i) = -i - 8. Let j be f(-6). Let x = -74/5 - -498/35. Is x < j?
False
Let n be 4 + -3 - (-1)/(-7). Which is bigger: n or 0?
n
Let a = 6.05 + -0.05. Let o = a + -3. Are -1/2 and o non-equal?
True
Suppose -v - 3*n + 9 = 0, -v - n = -4*n + 15. Which is greater: -1 or v?
-1
Let g be 2/(3/(12/(-8))). Is g less than 4/37?
True
Suppose g - 6 + 4 = 4*w, 0 = 5*g - 2*w - 100. Which is greater: g or 23?
23
Let s = -14 - -17. Which is smaller: s or -2/7?
-2/7
Suppose 0 = -6*b + 3*b - 12. Which is smaller: -5 or b?
-5
Suppose 0 = 5*k + 18 - 8. Let a = k + -2. Which is smaller: -2 or a?
a
Suppose 3*t = 2*b - 12, 5*b - t + 4*t = 72. Let o be 8/b - (-16)/3. Let l be 3/((-27)/o)*-3. Is l < 2/3?
False
Let q(l) = -l**3 + 6*l**2 - l - 2. Let y be q(5). Suppose c - y = -c. Suppose 0 = 2*d - 5*p - 23, -3*p + c = -4*d - 4*p. Which is smaller: 0 or d?
d
Let j(b) = -4*b**2 + 13 + 15*b + 3*b**2 + 2*b**2. Let t be j(-14). Which is bigger: t or 1/7?
1/7
Let f(v) = -v**2 - 15*v - 16. Let c be f(-13). Let s be c/(-24) - (-11)/(-44). Which is smaller: 0 or s?
s
Suppose 4*p - 14*p = -10. Is p != -4/9?
True
Let o = 2 + 1. Let v be 2/(-3) + (-2)/o. Does v = 1?
False
Let g be (-8)/20 - (-24)/10. Let f = 8 - 9. Let j be -1 + (12/(-3))/f. Which is smaller: g or j?
g
Let q = -0.02 + 16.02. Let r = -16 + q. Suppose 2*w + 5*j - 5 = 0, -3*w + 5*j - 5 = -0*j. Is r smaller than w?
False
Let f(q) = q**3 + 6*q**2 + 6*q + 5. Let i be f(-4). Suppose y - 4*c = 3, 3*y + i - 5 = -5*c. Are -2/7 and y nonequal?
True
Let s = 0.14 + -0.06. Let o = -0.02 - s. Which is smaller: o or -0.05?
o
Let m = -5.6 + 0.6. Let d = -10 - m. Let i = 6 + d. Which is bigger: 1/2 or i?
i
Let q = -12 - -20. Let g be 2/(-8) + 26/q. Let k = -5 + g. Is 1 <= k?
False
Let q be 4 + (96/(-14))/2. Which is greater: q or 1?
1
Let i = 0.3 + -0.4. Let q = i + 0.07. Which is smaller: q or 1?
q
Let v(b) = -1 + 3 - b**2 + 2*b**2. Let h be v(0). Is 3 smaller than h?
False
Let u(f) = -f**3 - 12*f**2 + 2*f - 15. Let a be u(-12). Let k = a + 276/7. Which is greater: k or -1?
k
Let t be 6/14 - (-15)/(-35). Which is bigger: t or -4?
t
Let z = 0.23 + 0.07. Let d = z + -0.2. Let i = -2/501 + -328/1503. Which is smaller: d or i?
i
Suppose -2*p - 4 = -3*p + 5*z, 0 = -4*p - 3*z - 7. Are p and -2/17 nonequal?
True
Let m = 299/6 + -50. Which is bigger: m or 4?
4
Suppose -3*y = -y. Suppose -7*x = -12 - 16. Suppose y = -0*h + x*h. Which is smaller: h or 1?
h
Let g = -14557/7768 - 1/971. Is g less than -2?
False
Let y = -2 + 4. Let j be -1 + y + (-104)/102. Let f = -113/561 - j. Is f != 1?
True
Let r be ((-38)/(-285))/(6/(-10)). Let g = 10 - 6. Suppose 0 = -g*x + 10 - 2. Is x <= r?
False
Let n be (-6)/20*8/6. Let g be -7 - -4 - (4/(-2) + -2). Is g not equal to n?
True
Suppose 0 = -d + 10 + 11. Suppose 4*f - 11 = d. Let u be (-2)/18*f/4. Which is smaller: u or 0?
u
Let i = -125 + 89. Which is bigger: -37 or i?
i
Suppose -12 = 3*m - 33. Is 36/5 less than or equal to m?
False
Let y(c) = 2*c**3 + 20*c**2 - 11. Let o be y(-10). Suppose 2*q + 25 = -5*g, -4*g - 1 = 3. Is q <= o?
False
Suppose 0 = 4*x + x + 20. Let y = 20 + x. Suppose -5*m - l = y, -2*m - 1 - 10 = 5*l. Is -2 not equal to m?
True
Let b be -3 + (-46)/(-28)*(5 + -3). Let t = -74.7 + 78. Let c = 0.7 + t. Is b equal to c?
False
Let n(s) = s + 8. Let t be n(6). Is 13 greater than or equal to t?
False
Let g = -1.3 + 0.3. Let c = 13 - 13. Is c > g?
True
Let o(l) = l**3 - 4*l**2 - 4*l - 4. Let g be o(5). Is g greater than or equal to -2/9?
True
Let k(s) = s**2 + 9*s + 12. Let g be k(-7). Which is greater: g or 15?
15
Let v = -8 + 18. Which is smaller: 12 or v?
v
Let s = -13 - -13.09. Let m = 1.09 - s. Is 0.4 < m?
True
Let q = 5 - 3. Let w be q/(-9) + 3 - 3. Is w less than or equal to 1?
True
Suppose 0*l - 5 = 5*l. Suppose 0*g = g. Is g greater than or equal to l?
True
Let j = -209 + 608/3. Is j bigger than -5?
False
Let b = -3.4 + 3. Let t be 4/(0 + -1 - -5). Are t and b nonequal?
True
Suppose 2*s = 2*i - 0*i + 2, -2*i + 1 = -3*s. Let l = 1 - -2. Let o be (l/6)/(1/(-8)). Is s <= o?
False
Let p(a) = a**3 + 7*a**2 + 6*a + 4. Let r be p(-6). Suppose 0 = o - r*d - 11, 14 = -o + 5*o - d. Is 2 less than o?
True
Let d(r) = -4*r**2 + 26*r - 8. Let j be d(6). Is 25/7 > j?
False
Let c(w) = w**2 + 10*w - 11. Let k be c(-12). Suppose g + 0*g - 3*h = -k, 0 = 3*g + 5*h - 17. Which is smaller: 8 or g?
g
Let v(a) = 2*a - 13. Let z be v(7). Suppose -3*g + 3*w = 0, -3*g + 8 = 3*w - 10. Suppose -2*d = d - g. Are d and z equal?
True
Let o = 16 - 15. Let h be (-1)/2 - (-1)/2. Which is smaller: o or h?
h
Let h be 2*2/4 + -4. Let v be 13 - 1*(1 + h). Let r be (-2)/(-3)*v/6. Which is smaller: r or 1?
1
Let s = -0.03 + 0.08. Let y = 0.15 + s. Is y greater than 2?
False
Suppose 6 = -4*g - 14. Which is smaller: g or -3?
g
Let r be 1/(-2)*(-2 + 0). Let l = -41/69 - -6/23. Is l less than r?
True
Suppose 0 = -3*x - 3*m, 4*x = 2*x + 2*m. Suppose 5*f - 5 - 35 = x. Suppose 7*y = 3*y - f. Is y at least as big as 3?
False
Suppose -8*f = -10*f - 9*f. Is f at least -2/197?
True
Let h(y) = 2*y - 8. Let r be h(6). Let o = 4 - 4. Let c be 1*(-2)/r*o. Is c greater than 3/4?
False
Suppose -9*t = 11 + 169. Which is smaller: -19 or t?
t
Let s be (-1)/((-2 + 0)/4). Suppose 2*f + 12 = s. Is f less than -5?
False
Let j = -21 - -37. Let c be (-32)/24*2/j. Is 1 <= c?
False
Suppose 0 = -4*f - f - 0*f. Which is bigger: f or 3/49?
3/49
Let q = 6 + -6. Suppose -4*b + 0*b = 40. Let y be b/(-6) + -1 + 0. Which is bigger: q or y?
y
Let z be ((-2)/(-2))/((-1)/4). Suppose 0 = -3*f - d - 2, -3*f + 4*d + 8 = -f. Suppose 2*p - p + 4 = f. Is p >= z?
True
Let x be (-3)/(-1) + -2 - -1. Which is smaller: x or 7/6?
7/6
Let i = -64 - -127. Let w be i/18 - 2/4. Is w not equal to 2?
True
Suppose -2*z + 38 = -4*k, 2*z = -4*k + 17 - 3. Let w = z - 14. Is -4 at least w?
False
Let z = 13 + -10. Suppose -4*s = -z*s + 6. Are s and -4 unequal?
True
Let c = 1 - 1.06. Let i = c - -8.06. Let g = -7 + i. Is g bigger than 3?
False
Let h = 56 - 60. Which is greater: -1 or h?
-1
Suppose -v + 10 = -2*u + 5*u, -2*v + 5 = u. Which is smaller: -6/13 or v?
-6/13
Let d = -29 - -29. Which is smaller: -2/37 or d?
-2/37
Let o = 10 - 5. Let q = 10 - o. Which is smaller: 1 or q?
1
Let a(y) = 2*y - 7. Let b be a(5). Suppose -b*c - 3*p = 0, 0*c = c - 4*p - 15. Suppose 5*q - 3*m + 6*m + c = 0, -m = 5*q + 1. Is q bigger than -1?
True
Suppose 5*l + 2 = 4*l. Let o be 3/(-2*l/(-12)). Let r be (-2)/(-1) + o/3. Which is bigger: 1 or r?
1
Let t = 8 + -1. Are t and 5 equal?
False
Let x = -0.08 - -0.08. Which is greater: x or -2?
x
Let v = -13 - -12. Let m be 2/(-4)*(1 - 1). Let b be 3 + (m - 0)*1. Which is bigger: b or v?
b
Suppose -2*i + 13 - 5 = 4*v, -8 = 4*v - 2*i. Suppose 2*p + p = v. Suppose 2*g - g = -1. Which is greater: g or p?
p
Let u = -44 - -37. Is -8 < u?
True
Let w be -1*3/(6/(-82)). Is w greater than 40?
True
Let w = -47 - -17. Let m be ((-