 4/(-50)*5*-2. Suppose -22 = -2*j - 4*q - 4, 5 = 3*j - 5*q. Let p = 7 - j. Is p greater than f?
True
Suppose 0 = -m + 3*m - 16. Which is smaller: m or 7?
7
Let o = 12 - 10. Which is greater: o or -4/11?
o
Let y be 1/(-14) - (-57)/(-133). Is -1 <= y?
True
Let t(r) = 2*r**2 - 13*r + 2. Let h be t(6). Is h greater than or equal to -3?
False
Let h = 2 + -7. Let c be h/2 + 2/4. Suppose 0*z + 2*z + 6 = 0. Is c >= z?
True
Let l = 5 - 8. Which is smaller: l or -4?
-4
Let i = -13/33 - -8/11. Let d be (-1 + 2 + -1)/1. Is d >= i?
False
Let c = 0 + 0. Suppose -o + c*o = 0. Which is bigger: o or 3?
3
Let u(r) = -r**3 + 8*r**2 - 6*r - 3. Let h be u(7). Let a = h - 4. Suppose -l - 4*l - 10 = a. Are -1 and l non-equal?
True
Suppose -5*w = 5*v + 14 + 11, 3*w = -2*v - 12. Let r be 60/14 - w/(-7). Let a be (r/10)/(2/10). Is a not equal to 5/3?
True
Let k = 17 + -17. Is k != 2/27?
True
Suppose 3*c = -2*c - 100. Let o = -61/3 - c. Suppose -5*g = -5, 4 = -2*m + 3*g + 3. Is o <= m?
True
Let h(o) = -o**3 + 9*o**2 - 11*o - 23. Let m be h(7). Which is smaller: -23/8 or m?
-23/8
Let l = 52128/5 - 10514. Let x = l - -88. Which is smaller: -0.1 or x?
x
Let j = 3503 - 16798/5. Let g = j - 143. Which is bigger: 0 or g?
g
Let x be 2/8 - ((-24335)/(-7500) + -3). Is -1 < x?
True
Let g = -6 + 7. Let j be ((-2)/(-14))/((-5)/(-5)). Which is greater: j or g?
g
Let l = 6 - -3. Suppose -l - 2 = 5*d + f, 0 = 3*d - f + 13. Let u be ((-3)/2)/((-9)/d). Is u greater than -2/3?
True
Suppose 2*q = 3*q - 5*g + 17, 4*q + 22 = -3*g. Let y(v) = -v**2 - 5*v + 8. Let n be y(-7). Which is greater: n or q?
n
Let k be (-31)/(-21) + 0 - 0. Let a = 8/7 - k. Let q(d) = d**3 + 9*d**2 + d + 7. Let r be q(-9). Are r and a non-equal?
True
Let b = 25/396 - -1/36. Is b not equal to 0?
True
Suppose 0 = 5*q + 15, 2*z - 48 = -q - 21. Is z at most -1?
False
Let f = 11/5 + -17/10. Is -97 greater than or equal to f?
False
Let x(d) = -d**3 - 5*d**2 + 6*d. Let v be x(-6). Let z be (-4*(-1)/6)/((-2)/(-3)). Which is bigger: v or z?
z
Suppose 2*n + 6 = 5*t - 2, -n = 4. Let b be (-2)/(-7) + (-45)/84. Which is greater: t or b?
t
Suppose 5*f + n = 264, -9*f + 11*f = -4*n + 120. Are f and 52 equal?
True
Let h = 0.07 - -0.05. Suppose -124*i + 125*i - 1 = 0. Is h greater than i?
False
Let m(t) = -t**2 - 5*t - 3. Let f be (5 - 4) + 2*-3. Let v be m(f). Is -3 < v?
False
Let j = 25 - 20. Let s = -8 - -13. Is s less than or equal to j?
True
Let j = -0.3 + 0.2. Let p = 4778/513 - 184/19. Let g = p + 4/27. Which is bigger: j or g?
j
Suppose 0 = 2*q - 2*s + 4, 0 = -5*q - 0*s - 4*s - 10. Let g = 4 + q. Suppose d = g*x + 3*d, -2*d = 4*x + 2. Is x at least as big as -2?
True
Let n be ((-4)/2)/((-2)/(-3)). Let s = n - -5. Let x be s/4*(0 + -2). Are x and -1 non-equal?
False
Let d = 0.06 + -0.14. Let i = d + 4.08. Let z = i - 5. Does 0 = z?
False
Suppose 2*u + 4*a = 112, 53 - 129 = -2*u + 5*a. Is u less than or equal to 49?
True
Let y be 6*5/15 - 10/(-1). Which is smaller: y or 32/3?
32/3
Suppose -3*l - 5 = -2*l. Let n be -2*(l + -4 + 7). Which is smaller: n or 5/2?
5/2
Suppose 3*r = -4*p + r - 6, -2*p + r = -3. Suppose p*m - 2*m = -2. Is m at most 2/13?
False
Let p = -6 - 9. Let h be 0 + 0 - (-6)/p. Let b be 3 + (-3)/30*34. Is b at least h?
True
Let n be (0 + -1)/(3/9*-1). Is 3 less than n?
False
Suppose 0*y = -5*d + y + 19, d - 3 = y. Let g = d - 4. Let a be (0 - g)*(-3 - -2). Is -1 bigger than a?
False
Let x = 618 + -19154/31. Are x and 1 equal?
False
Let w = -0.02 + -0.28. Let b(s) = 6*s - 17. Let k be b(3). Which is greater: k or w?
k
Let c(j) = j**3 - 9*j**2 + 9*j + 1. Let x be c(8). Let b = x - 7. Is 3 greater than or equal to b?
True
Let d = 46293/47 - 985. Let v = d + -39/188. Let u = 145 + -146. Which is bigger: u or v?
v
Let q = 2.1 - 2. Let c = 2 - 3. Let g be 0 + (2*c)/(-2). Which is bigger: q or g?
g
Let y = -0.31 + 0.349. Which is bigger: y or -2/3?
y
Let q be ((-17)/(-4))/(2/(-8)). Let o = q + 18. Which is smaller: 4 or o?
o
Let d(r) = r + 6. Let h be d(-7). Which is bigger: h or 1?
1
Let k = -1 + 3. Let w = 0 + k. Is w at most 1?
False
Let u = -2 + -3. Is u > -4?
False
Suppose 5*h - 20 = -q - 4*q, -2*q + 7 = 3*h. Suppose -b + 2*o - 2 = 7*o, 4*b + 8 = 5*o. Let r = 2 + b. Is r at least as big as h?
True
Let w be 15/4 + (-18)/24. Suppose -11 = -p - 3*s, -3*p = -s + w*s + 2. Do p and -4 have different values?
False
Let s = 1.96 - -0.04. Let b = 0.5 + 0.2. Let r = -0.6 + b. Which is smaller: s or r?
r
Suppose -4*r + 7 = 3. Which is bigger: r or 2/37?
r
Let i = 14 + 3. Suppose -k + 5*p + 13 = -i, -3*p + 10 = 5*k. Suppose -b + 1 = k*j - 12, 5*b = -4*j - 19. Which is smaller: -6 or b?
b
Let v = 0.3 + -0.4. Which is greater: 1/8 or v?
1/8
Let t = -12 + 13. Which is smaller: t or -2/37?
-2/37
Let r = 6 + -2. Suppose -2*t + o + 2 = 0, t + t + r = -2*o. Let g = 71/24 + -13/8. Is t bigger than g?
False
Suppose 5 = 4*l - 7. Suppose -4 = l*y - 1. Let o = -69 - -344/5. Is o at least as big as y?
True
Let z = -2 - -2.04. Let q = z + 0.36. Which is bigger: 1/2 or q?
1/2
Suppose 4*s = 37 + 15. Let c = s + -12. Which is smaller: c or -2/31?
-2/31
Let b(k) = -2*k + 4. Suppose m = -3*j + 16, -4*m + 0*j = -5*j + 4. Let a be b(m). Is a >= -4?
True
Let d = 11 - 11. Which is greater: d or 17?
17
Let r = 7.6 + -1.6. Let i = -4 - -3.96. Let x = 0.14 + i. Which is greater: r or x?
r
Let x = 30 + -23. Is -4 > x?
False
Let z = 0.1 - 0.1. Let k = -0.2 - z. Is k bigger than 1?
False
Let l = 0 + -0.2. Let f = l + 0.2. Which is smaller: -3 or f?
-3
Suppose 0 = -3*d - 13 - 11. Which is greater: -7 or d?
-7
Let i = -1 - -1. Which is bigger: i or -9/7?
i
Let q be 26/8 - (-1)/(-4). Suppose -3*d + 4 = -q*r + 1, 4*r = 5*d - 9. Let t = r - 6. Does t = -2?
True
Let h be (-2)/(-5) - 253/(-55). Suppose -h*z - 13 = -48. Do z and 6 have different values?
True
Let l(v) = -v**2 - 5*v - 7. Let u be l(-3). Is -2/7 smaller than u?
False
Let p be -2 - (-2 + (2 - 84/39)). Is p smaller than 0?
False
Let o = -4 + 3. Suppose 0 = 4*w - 5*z - 6 + 79, -5*z - 35 = 5*w. Let l be ((-3)/w)/(2 - 1). Which is smaller: l or o?
o
Let g = -314/85 - -90/17. Which is greater: g or 3?
3
Let n = -0.2 - -1.2. Let v = 0.9 - n. Let z = 48 + -48.6. Which is smaller: v or z?
z
Suppose -2*x + 10 = 3*o, 2*x + 2*x - 2 = 3*o. Suppose -4*c - o = 10. Let d = -0.6 - -0.6. Are c and d equal?
False
Let z = 95 + -94. Is -2/83 >= z?
False
Let p(w) = 4*w + 6*w**2 + 2*w - 2 - w**3 + 10. Let b be p(7). Suppose -4 = -5*g + 6. Which is bigger: g or b?
g
Let r = -130 + 90. Are -39 and r non-equal?
True
Suppose m + 10 = -2*q + 3*m, -2*q + m - 9 = 0. Is -4 at most as big as q?
True
Let h = 163.1 + -155. Let g = 15 - 23. Let j = h + g. Is 3 < j?
False
Let i = -193/1001 + 3/77. Suppose -3*h + u = -23, -4*u + 9 = 4*h - u. Suppose -h + 1 = -5*c. Is c smaller than i?
False
Let r = -177 + 1773/10. Are -1 and r equal?
False
Let a = 4 - 4.05. Let t = -0.95 + a. Which is bigger: t or -2/5?
-2/5
Let z = 2 - 2. Suppose 0*c + 2*j = 4*c, c + 4*j = 0. Let d = z + c. Which is bigger: 2/3 or d?
2/3
Suppose -4*l = -6*l - 10. Let x be -8*1/l - 2. Which is smaller: 0 or x?
x
Let o = -115/8 - -1971/136. Is o greater than 1?
False
Let n = -2 - 4. Let a be (-4)/12 + (-2)/n. Let x be 0/(5 - -1) - (2 + 0). Does a = x?
False
Suppose 10 = 7*v - 2*v. Suppose -5*r = 2*b - 33, v*r - 2*b - 3 = -1. Suppose r*s = -5*h, 0*s + h + 9 = -4*s. Which is smaller: s or -3/2?
s
Let c(u) = u**3 + 8*u**2 + 9*u - 5. Let b(a) = -5*a**3 - 33*a**2 - 36*a + 20. Let w(y) = -2*b(y) - 9*c(y). Let n be w(7). Which is smaller: n or -8?
n
Suppose -l + 5*i + 18 = 0, 2*l - 2*i = 3*i + 16. Let o = -109/72 - -1/72. Which is smaller: o or l?
l
Let o be (-152)/40 - 2/10. Let v = o + 6. Which is smaller: 1 or v?
1
Let l = -0.2 + 0.3. Let h = -0.5941 + -0.0059. Do l and h have different values?
True
Suppose 4*z = -2*w + 16 + 12, -2*z + 62 = 4*w. Is w > 16?
False
Suppose 0 = 4*a + 39 - 239. Suppose -5*o + n - 55 = -3*n, n = -3*o - a. Let h be 6/o - (-3)/(-5). Which is bigger: h or 1?
1
Let q = -19 + 22. Let v = -31.1 + 31. Is v less than q?
True
Suppose 3 = 3*g, -s - 2 - 8 = -2*g. Is -9 at most as big as s?
True
Let u be 2/(-5) - (-27)/5. Suppose 5*m = 4*m - c, 2*m - u*c = 14. Which is smaller: 1 or m?
1
Let d = -2431/6 - -411. Which is greater: 6 or d?
6
Suppose -4*a - 