t v be h(5). Let n be 2/((o - v)/(-1)). Which is smaller: -3 or n?
-3
Suppose 3*f - 4*v = -5, 0 = -4*f - 7*v + 2*v + 14. Which is greater: -1/20 or f?
f
Suppose 74 = -3*t + 182. Suppose 0 = 3*r + r + t. Which is greater: -2/5 or r?
-2/5
Let h = 5 - 1. Suppose 0 = a - w, a + 13 = -2*w + h. Is -5 <= a?
True
Let j be (-99)/(-6) + 1/2. Which is greater: j or 16?
j
Let r = 131/12 + -11. Suppose 8 = -5*i + 3*q, -2*i = -5*q + 2 + 5. Is i equal to r?
False
Let j(z) = z - 2. Let f be j(7). Suppose -5*b + 6*k = k + 20, f*b + 14 = 3*k. Let l = 1 + -3. Which is greater: b or l?
b
Let b = 6 + -10. Let n = 4.3 + b. Does 1 = n?
False
Let p be (-15)/6*6/(-300). Which is bigger: p or 0?
p
Let v be 3*1 + (-436)/60 + 5. Which is smaller: v or 0?
0
Let m = -4 - -13. Let j be (-224)/42*(-1)/2*3. Which is smaller: j or m?
j
Suppose -k + 3*p = -0*k + 11, 5*p = 25. Suppose 5 - 29 = -k*q. Let d be (9/(-16))/((-9)/q). Is d at most 1?
True
Let a be 7 - (-18)/12*4/3. Which is smaller: a or -1?
-1
Let n = 1 - -2. Let g be ((-2)/n)/(1/(-3)). Let m = g - 3. Which is smaller: m or -1/2?
m
Let u = -7 + 15. Suppose 4*o = -3*d - 10, -2*d + 5*d = -2*o - u. Which is smaller: d or -1/2?
d
Let h = -36.01 - -36. Which is bigger: h or 4?
4
Suppose 35 = 2*u + 5*f, -3*f + 87 - 28 = 5*u. Let n be (3/u)/((-12)/(-5)). Which is greater: n or -1?
n
Let o(c) = -4*c - 1. Let t be o(-7). Suppose 5*y - k - 19 - 5 = 0, t = 5*y + 2*k. Is 6 at least y?
True
Suppose -3*k = -2*k - 1. Which is greater: k or 3/7?
k
Let u(f) = 3*f**2 - 4*f - 9. Let m be u(-2). Is 10 greater than or equal to m?
False
Suppose -10 = -6*u + 2*u + 5*g, -4*u + g = -2. Is u not equal to 2?
True
Let u = -11 + 21/2. Let t = 15 - 13. Which is smaller: t or u?
u
Suppose 3*k = p - 153, 2*k - 7*k - 255 = 4*p. Is k at most as big as -51?
True
Let k be (-4)/(-42)*3 - (-12)/(-42). Which is smaller: k or -1/52?
-1/52
Let p be 171/495 - ((-4)/10)/2. Which is greater: p or 1?
1
Let j be 36/(-105) - 1/(-7). Do 2/3 and j have the same value?
False
Suppose -z - 5*h - 8 = 0, 4*z - 43 = 2*h - 9. Let s(y) = y - 5. Let m be s(z). Suppose 3*o + 0*o - 15 = m*k, 0 = 2*k + o + 3. Which is smaller: -4 or k?
-4
Let o = 0 + 5. Suppose -10*b + 13*b = 12. Suppose -o*p + b = -9*p. Is -1/3 bigger than p?
True
Let t = 30 + -29. Is 7 at most t?
False
Let k(p) = p + 3. Let q be k(-13). Which is smaller: q or -39/4?
q
Let o be ((-12573)/(-54))/11 + (-1)/6. Which is greater: 18 or o?
o
Suppose -6*u = 4 + 14. Suppose 3*m - 21 = 2*r, -37 = 4*r - m - 4*m. Is r bigger than u?
False
Suppose 47 = -5*l - m, 0 = -5*l - 115*m + 113*m - 44. Suppose -2*t = 4*g + 2, 39 = -7*t + 4*t + 3*g. Which is smaller: t or l?
l
Let d = 43 - 15. Which is smaller: 29 or d?
d
Suppose 150 = 2*f + 3*f. Let h be 36/f*5/2. Suppose -b = 5*n + 20, -4 = -b + 4*n - h*n. Is b greater than or equal to 2/3?
False
Let b be 98/88 - ((-162)/(-24) - 7). Is b not equal to 1?
True
Let z = 0.08 - -0.62. Let g = z + 0.2. Let i = g + 0.1. Which is smaller: -0.1 or i?
-0.1
Let h(z) = 2*z + 1. Let b be h(-1). Let v = b + 1/5. Suppose -2*l = 0, -2*s + 2*l = -s. Which is greater: v or s?
s
Suppose -5*n = -2*b + 7*b + 35, b = -4. Let y(q) = -q**2 + q + 2. Let f be y(2). Let k be (f - -5)*(-2)/5. Which is bigger: n or k?
k
Suppose -4*j + 17 = 5. Let b be 2 + (-10)/(-2) - 1. Let v = -4 + b. Which is greater: j or v?
j
Let c = -607 - -13969/23. Which is greater: 1 or c?
1
Suppose -9 = -4*o + 11. Suppose 0 = -0*g - o*g - 5. Which is bigger: -2 or g?
g
Let w = 0.5 - -9.5. Let y = 5 - w. Let l = y - -5.1. Are 0.1 and l unequal?
False
Let v = -22 + 23. Is -2/39 at most as big as v?
True
Let a = 293 - 4393/15. Let o(f) = 2*f + 28. Let x be o(-14). Do a and x have the same value?
False
Suppose 0 = -m - 2*m + 6. Let t be (40/12 + -3)*m. Is t at least -1?
True
Let o be -1 + 1 - (-4)/(24/(-6)). Is -0.034 at most as big as o?
False
Let p(o) = -o - 12. Let j be p(0). Let w be 2/(-8) + 69/j. Let i(k) = k + 4. Let s be i(w). Are -1/2 and s unequal?
True
Suppose -6*q + 7*q = 0. Which is bigger: q or 2/3?
2/3
Let x = 22 + -12. Suppose x = a + 1. Suppose k - 3*i = 2*k + 5, -a = 3*i. Is k > 4?
False
Let r(l) = l**2 - 5*l + 2. Let i be r(4). Let z be i - (-3 + 4/20). Is 2 > z?
True
Let b be (-1)/4 + 7/(-4). Let z be -4 - -2 - 5/b. Suppose 4 = -4*s - 5*x + 14, 0 = s + x - 2. Which is bigger: z or s?
z
Suppose -3*j + 5 - 2 = 0. Let y be 51/15 + (-4)/10. Let c = y - j. Is c >= 1?
True
Let y = -30 - -20. Is 1 greater than y?
True
Suppose 6*u - 4*u - m = 3, -9 = -3*m. Suppose -3 = 4*w - 2*s - 39, -u*s = -4*w + 34. Let y be 4/6 - w/(-3). Is y != 2?
True
Let h = -4/29929 + -5955715/1167231. Let l = h + 36/13. Is -3 bigger than l?
False
Let l = 449/40 + -58/5. Suppose -2*s + 4*r - 6 = 0, -s - 4 = s - 3*r. Suppose -h + s = -0. Is l != h?
True
Let c = -0.39 + -14.61. Are -0.2 and c equal?
False
Let z = -6/23 + 35/46. Suppose 4*a - 4*u = 48, a - 5*u + u = 15. Suppose -a = 2*w - 1. Is z >= w?
True
Let v = 3 + -3. Suppose v = -2*q - 3*q + 20. Let r be (-3)/(3/q) - -2. Is -2 at most r?
True
Let r be (15/45)/(3/(-8)). Which is greater: r or -2?
r
Let s = -7 + -1. Let t(w) = -w**2 - 10*w - 12. Let c be t(s). Which is bigger: c or 1?
c
Let g = 5 - 6. Let b = -0.2 - -0.2. Let v = g - b. Is 3 less than v?
False
Let t = -3/8 + 1/8. Let s(r) = r**2 + 8*r + 10. Let c be s(-7). Let x be (c - 4)*-1*1. Which is bigger: x or t?
x
Let w be 4 - 1 - -3 - 0. Let b be 60/w + (-3)/3. Is -1 bigger than b?
False
Let q = 9 + -9. Is -6/11 greater than or equal to q?
False
Let g = 111 + -65. Are g and 45 nonequal?
True
Let z = -76 + 127. Is z > 1?
True
Let u = 0.06 + -0.07. Let x = u - 0.99. Does -1 = x?
True
Let h = -213 - -847/4. Do h and 0.3 have different values?
True
Suppose 0 = 5*q + 10. Let n be ((-1*2)/q)/(-2). Which is smaller: 0.1 or n?
n
Let j = 464/5 - 5567/60. Is -0.2 equal to j?
False
Let o = -11 - -10.3. Let w = o + 0.7. Which is smaller: w or -9?
-9
Let w be (-64)/(-21) - 3/1. Let o = 13/126 - w. Is 0 < o?
True
Suppose 0*g = -g + 2. Suppose 0 = -0*c + g*c - 14. Is c at most as big as 6?
False
Let r = -650 - -1251/2. Is r smaller than -26?
False
Let y be 6/(-1 - -1*2). Let t = -4 + y. Let r be (-6)/8 + (-18)/(-24). Is r less than or equal to t?
True
Let i = -0.62 - 0.18. Which is greater: -1/2 or i?
-1/2
Let d = -0.16 + -24.84. Which is smaller: d or 0?
d
Let a be (-10)/5*(-4 - -1). Let s be 3 + 8*(-2)/a. Is s at most 0?
False
Let a(i) = -8*i**3 - i**2 - 3*i - 2. Let l be a(-1). Which is bigger: 4 or l?
l
Let a be 2/((-22)/(-17)) + -1. Let h = -8 - -11. Let o = h - 2.9. Is a at least as big as o?
True
Suppose 3*s - 11 = 2*w, 0 = -3*w - w - 3*s + 23. Suppose w*c = -c. Let k = 2 - 2. Does k = c?
True
Suppose -10 = 2*x, -3*x - 90 + 31 = -4*v. Let d be (3 + -4)/(1/v). Let p = -12 - d. Is -1 equal to p?
True
Let k be 2/6*3 - 2. Is -1/55 <= k?
False
Let p = -171/2 - -86. Which is greater: p or 2.7?
2.7
Let k(w) = -w**2 - 5*w + 2. Let y be k(-6). Let j be 2/y + (-1)/(-4). Is -4 != j?
True
Let t = 4 - 7. Let w = t + 7.9. Let j = -5 + w. Is 0.1 equal to j?
False
Let x = 103/20 + -27/4. Let q(c) = -c**2 - 6*c + 4. Let g be q(-7). Which is greater: g or x?
x
Let p = 68/99 + -2/99. Does 2 = p?
False
Let u = -48 - -49. Is -3 equal to u?
False
Let k be -3 - ((-1020)/171 - -3). Is k less than -1?
False
Let n = 1 + -3. Does n = 5/4?
False
Suppose -4*q + 6*q + y = 2, -5*y + 2 = 2*q. Which is smaller: -2/13 or q?
-2/13
Let x = -103 + 120. Are 16 and x non-equal?
True
Let f = 0.31 - 4.31. Is f greater than -0.2?
False
Let f = -2.4 - -2.5. Which is bigger: 2 or f?
2
Suppose 4*p = 5*y + 64, 2*p - 4*y = 5*p - 17. Are 1 and p equal?
False
Let h = 256 - 12030/47. Is h >= -1?
True
Let q = 1762/9 - 196. Suppose -4*o = -4*t - 12, t + 3*t + 5*o - 24 = 0. Which is greater: t or q?
t
Suppose -3*j + 2*j - 3*f + 1 = 0, -3*j + 4*f + 29 = 0. Suppose 0 = 2*l - j*l + 5. Suppose 2*r - 24 = 3*h + 2*h, -4*r = 3*h + 4. Which is bigger: r or l?
r
Let z be ((-14)/(-35))/((-2)/(-10)). Is z at most -2/11?
False
Let w be -8*-1*4/(-648). Which is greater: w or 0?
0
Let r be 1 - 2/(-3 + 1). Let z be (2/(1 - r))/(-2). Let a = 1 - z. Is -2/7 smaller than a?
True
Let y be 76/66 + 40/220. Let o be (-10)/(-14) + (-2)/(-7). Are y and o equal?
False
Let l be (-7)/(-4) - (-4)/16. Suppose l*w = w. Let i