 (35/84)/(i/(-6)). Is t at most -1?
True
Let m be -2*1*2/(-12). Suppose t + 5*z = -28, 5*t + 2*z + 14 + 11 = 0. Let n be (-2)/(10/2 + t). Are m and n nonequal?
True
Let v(g) = g**3 - 9*g**2 - 1. Let j be v(9). Let c = j - -4. Let t(r) = r**2. Let o be t(-2). Is o equal to c?
False
Let z(d) = 4*d - 5. Let p(v) = -v**2 + v + 1. Let k(x) = -p(x) - z(x). Let w be k(4). Let g = 9/16 + -35/48. Which is greater: g or w?
w
Let l = 1 + -1. Let k = l - 1. Let s = -0.8 - k. Which is greater: -1 or s?
s
Suppose -192 + 200 = 4*g. Which is smaller: 25 or g?
g
Let r be (-1 + 2)*(0 - 6). Let o be ((r/(-8))/3)/1. Suppose q = -2*s + 5, 3*q + 0*q - 12 = -3*s. Which is greater: o or s?
s
Suppose -3*x + 8*x - n + 43 = 0, -2*n = -3*x - 23. Is x at most -7?
True
Suppose z - 4*v - 17 = 0, -z - 3*v = -0 + 11. Which is bigger: 1/79 or z?
z
Suppose 4*x + 4 = 8*x. Let w be (-1)/2 + 2/12. Is x less than w?
False
Let y = 9 + -20. Let u = y + 15. Suppose u*g - 4*w = -16, w - 6*w + 22 = -3*g. Which is bigger: g or -0.2?
g
Suppose 9*w = -0*w + 18. Let a be (1 + -1)/(2 + -1). Which is smaller: w or a?
a
Let n = 0.7 + -16.7. Is 0.1 not equal to n?
True
Let y = -0.086 - 0.014. Are -18 and y equal?
False
Let f = 4 - 2. Suppose 2*b = -0*b + 5*s - 19, 3*b + 3*s - 24 = 0. Suppose h = -5*q - h - 13, 0 = -f*q + b*h + 10. Which is bigger: 3/7 or q?
3/7
Let h = 9 + -7. Suppose 0 = z + 5, 2*z = h*q + z - 7. Is q at most 7?
True
Suppose 0 = m - 2*p - 8, -m - 8*p - 4 = -4*p. Suppose a = -m*a. Is -4/3 greater than or equal to a?
False
Let v be (-52)/(-8) + (-9)/6. Let d be 0 - 0/((-4)/(-2)). Suppose 2*s - 5*b - 19 = -8, 5*s + v*b + 25 = d. Is -3 != s?
True
Let y be 10/3*(0 - (-2)/4). Are -3/5 and y nonequal?
True
Suppose -2*x + 2*h = -4, 6*h = -3*x + 2*h + 6. Let w = x + -2. Suppose w = -2*m + 4*q + 12, q = -4*m - q - 26. Which is greater: -3 or m?
-3
Let r be -3 - (-1 + 3 + -5). Let v be 1/6 - (-14)/(-36). Which is smaller: v or r?
v
Let x = 3 - -14.7. Let v = x - 18. Is v bigger than 0.1?
False
Let k = 0.09 - -5.91. Let b = k + -6.06. Let w = 0.16 + b. Is 0.3 less than or equal to w?
False
Let a be 14*((-14)/16 - 4/32). Are a and -15 nonequal?
True
Let i = -14 - -8. Let b be -5 + 1 - i/2. Which is bigger: -1/4 or b?
-1/4
Let l be (-225)/(-18) + 1/(-2). Let x = l - 11. Which is smaller: 2/13 or x?
2/13
Suppose 3*u = 3, -3*u + 2*u = 5*k - 36. Suppose 1 = -2*p - k. Are p and -5 non-equal?
True
Suppose -5*m = -3*m - 2. Let x = 5 + -3. Is x less than m?
False
Let f = 8 + 0. Let j be (f/32)/((-14)/(-32)). Is j greater than or equal to 0?
True
Let q(b) = -7*b - 1. Let z(d) = d. Let w(y) = -q(y) - 4*z(y). Let t be w(-1). Is -6/11 bigger than t?
True
Let z(k) = k**2 + 2*k - 3. Let i be z(2). Suppose 2 = -5*g - i*c - 18, c + 4 = 0. Is 10 < g?
False
Let t = 40 - 40. Which is smaller: -8 or t?
-8
Let i be 3/(15*1/6). Is 2 at least i?
True
Let v be 2/3 + 10/30. Is v at most as big as -6/31?
False
Suppose 2*o + i - 4*i = 6, 0 = 4*o + 5*i - 12. Let w(f) = f - 3. Let s be w(o). Let z = 0.06 + -0.16. Which is greater: s or z?
s
Let p be (-1)/((10/16)/(-5)). Is p greater than or equal to 7?
True
Let i = -105.9 - -112. Let b = 6 - i. Is b <= -6?
False
Let q = 34 + -17. Suppose -5*r + 2*f + 37 = 0, 2*r + 0*f - q = 3*f. Is r not equal to 4?
True
Let y = -1 - -3. Let b = -2 + y. Which is greater: -1 or b?
b
Let o(g) = g**2 - 3*g - 2. Let a be o(4). Let j = -39 - -34. Is a < j?
False
Suppose 30 = 4*p - b, -2*b = 2*p - 13 - 7. Suppose -q = -3*c + p*c, 28 = -3*c + 5*q. Which is smaller: 0 or c?
c
Let v(j) = -3 - 5*j - j - 2*j + j**2 - 6. Let u be v(9). Suppose 0 = -q - u*q. Is q less than 2/7?
True
Let q be (-6)/(-4)*(2 + (-56)/21). Which is smaller: q or -3/20?
q
Let y be (-4)/(-10) - (-8)/30. Let z be (-6)/(-8) - 3*(-1)/(-4). Do z and y have the same value?
False
Let r = 3 - 13. Let s = r - -9. Which is smaller: s or 2/9?
s
Let o be (-3)/2*(-8)/6. Let j be 15/(-25) + 16/10. Is j >= o?
False
Let o = 13892/11 + -1262. Which is smaller: o or 2?
o
Let y(f) = 7*f - 5 + 4 - 4*f + f**2. Let i be y(-3). Does i = 1/5?
False
Suppose 14*j - 43 = 15*j. Which is greater: -1/4 or j?
-1/4
Let g(w) = 2*w**2 + 4*w + 7. Let n(i) = -3*i**2 - 3*i - 7. Let s(o) = -4*g(o) - 3*n(o). Let a be s(8). Which is smaller: a or 2/9?
2/9
Let a be (-3)/(-5) + 6/(-10). Suppose a = -g - 5*l + 6, 5*l = 5*g + 3*l - 3. Is g <= 2/3?
False
Let n = -67/14 + 9/2. Let h = -2 + 2.1. Let d = h - 0.2. Which is smaller: d or n?
n
Let i be (-2)/7 - 2/(-2). Let q = 528 - 526. Which is smaller: i or q?
i
Let m = 0.239 + -0.009. Which is smaller: m or -1?
-1
Suppose -35 = 4*b + 1. Let z = b - -6. Are -2/5 and z nonequal?
True
Let o be (-81)/(-234)*-3*2/9. Which is smaller: -1 or o?
-1
Let g = 73 - 224/3. Let f(x) = -x**3 - 8*x**2 - 6*x - 2. Let z be f(-7). Let r = z + 7. Is r at most as big as g?
True
Suppose -4 = -0*q - 2*q + 3*o, -1 = 5*q - 2*o. Which is smaller: 3/10 or q?
q
Suppose 0*s + 4*s = -5*m + 117, 5*s - 5*m = 90. Let f = 20 - s. Which is smaller: f or -1?
f
Let f = -0.14 - -0.24. Is -0.06 < f?
True
Let j = 0.1 - -7.9. Let o = j - 14. Is 1 >= o?
True
Suppose y + 0*y = 0, 2*b = 3*y + 6. Let r = b + 0. Let c = r + -2. Is c > -1/7?
True
Suppose 4*t - 5*t = -3. Suppose -5 + t = c. Let l(m) = -m - 3. Let p be l(0). Is c < p?
False
Let l(d) = d - 7. Let u be l(11). Suppose -8 = 4*r + u*x, -x = -3*x - 10. Is 3 > r?
False
Let w = 0.1 - 1.1. Which is greater: 9 or w?
9
Let p(s) = -3*s - 3. Let y(m) = -m. Let v(i) = -p(i) + 4*y(i). Let t be v(3). Let l be 3/(-4)*(-4)/(-6). Which is smaller: l or t?
l
Let q be (-2)/8 + (-9)/(-4). Let n be (q/(-6))/(1/(-4)). Suppose 0 = -3*j + w - 3, w + 1 - 4 = 4*j. Is n less than j?
False
Let n = -6 + 5.9. Which is smaller: n or 8?
n
Let k be (-2)/(-5) - (-176)/10. Does k = 19?
False
Let m = 9 + 8. Let n(k) = -23*k - 138. Let y be n(-6). Are y and m equal?
False
Suppose -o = 1 - 3. Let g be (4/16*0)/o. Is g < 8/7?
True
Let r = -1/632 + 37295/4424. Suppose -3*m + 23 = t, 3*t - 16 = -2*m + 18. Let g = t - r. Is g at least as big as -0.1?
False
Let m be ((-2)/6)/((-1)/(-3)). Let h(y) = -y**2 - y. Let u be h(m). Is 2/9 at most as big as u?
False
Let m = -0.18 - -0.31. Let o = 0.11 - m. Which is greater: o or 0.2?
0.2
Let y(o) = -o**2 - 7*o - 2. Let q be y(-5). Suppose 2 + q = 5*h. Is h > 1?
True
Let o be 2*1/5*-1. Let r(b) = b**2 - 6*b. Let t be r(6). Which is greater: t or o?
t
Let w = 14248/25 - 570. Which is smaller: w or 2/5?
w
Let h = -36/29 - -1541/1218. Which is smaller: 1 or h?
h
Let w = -11/89 - -1308/11303. Which is bigger: 0 or w?
0
Let f be 0/10 - 2/25. Which is greater: f or 0?
0
Let y(a) be the second derivative of a**4/12 - 7*a**3/6 + 4*a**2 - 6*a. Let k be y(6). Suppose -4 + 1 = -3*i. Is i > k?
False
Suppose 2*w + 4 = 3*w. Suppose 0 = -2*b + 3*b - 6. Let t = w - b. Which is greater: -1/2 or t?
-1/2
Let q = 4.02 + -4. Let r = q - -1.98. Let a = r + -2. Is 4 at least a?
True
Let s be (-2)/((-4)/(-162)*-3). Suppose -p + 55 = 4*p + 4*w, -s = -p - 4*w. Let t be p/14*4/6. Which is smaller: t or 1?
t
Let h be (-3)/2 + 14/4. Does h = 12/7?
False
Let w = -1 - -1.04. Let c = 12.9 + -13. Let z = 1.1 + c. Which is smaller: w or z?
w
Let o = 13.9 - 14. Let k = 0.9 + o. Is k greater than -0.1?
True
Let v be (-2 - -1) + (-7 - -3). Is v > -5?
False
Let p(k) = 109*k + 1. Let c be p(1). Let s be (1 + 547)/(-4 + -1). Let u = s + c. Which is smaller: 1 or u?
u
Let p = 14 - 13.95. Let z = p + -0.25. Which is smaller: -1/4 or z?
-1/4
Suppose 2*n = -r - 4*r + 19, 0 = 4*r - 4*n - 32. Let v be (-2)/8 + (-26)/(-40). Which is greater: r or v?
r
Suppose s - 4 = 3*s. Let a be 2 + s - (-4 - 1). Suppose q + a = -4*q. Which is smaller: -2/9 or q?
q
Suppose 0 = 4*p - 0*p + 4. Let i(r) = -5*r**2 - 4*r - 3. Let u(s) = -s - 1. Let k(l) = -i(l) + 2*u(l). Let n be k(p). Is n < 3?
False
Let a be 2/6 + (-606)/2250. Let y = a + 82/2625. Is y at most -1?
False
Let t = 3.937 + -0.037. Let h = t - 4. Is -0.04 less than h?
False
Let a be ((-70)/(-21))/((-4)/(-6)). Which is bigger: 4 or a?
a
Suppose c - 3*w - 23 = 2*c, -2*c - 36 = 4*w. Let m(p) = p**2 + 8*p + 2. Let f be m(c). Which is bigger: f or 13/4?
13/4
Let x = -0.6 + 4.6. Let u = -4.1 + x. Which is greater: -2/19 or u?
u
Let y = -0.5 - 6.5. Do 0.1 and y have different values?
True
Let k(o) = o - 17