Is -1 bigger than j?
False
Suppose 3*l = -4 + 1. Is 7/29 at least as big as l?
True
Let w = -1/90 - -349/15210. Suppose 0 = -38*t + 6847 - 6809. Is w greater than t?
False
Let h = -1917 - -458162/239. Is h <= 1?
True
Let x(s) = -s**3 + 19*s**2 + 16*s + 16. Let c be x(20). Is c less than or equal to -125/2?
True
Let t be (-336)/2 + (-434)/(-62). Is t greater than -162?
True
Let j(p) = 12 - p - p - 31. Let s be j(-10). Let x be 0/(-5 + s - -3). Is x < 8/9?
True
Let k = 1537 + -1440. Which is bigger: k or 104?
104
Let l be (-1227)/1484 - (-4)/16. Let i = l + 2/371. Let h = 1996 + -1996. Which is greater: h or i?
h
Let l be -7 + 10 + (6 - 1). Suppose -2*i - 2*x = -l, -2 - 2 = -5*i - x. Let k = 35/12 - 11/4. Is k greater than or equal to i?
True
Let x = 853/762 - -6/127. Let d = -3043 + 3045. Is x > d?
False
Let g be (-3)/4 - (-205)/60. Let q(u) = u**3 - 13*u**2 + 10*u + 11. Let j be q(12). Let h = j + 15. Which is smaller: g or h?
h
Suppose 6 = 24*k - 27*k. Let j = 0.03 + 0.97. Which is greater: k or j?
j
Let w = 5445 + -81806/15. Let p be 38/(-6) - (1 - -1). Let b = p - w. Which is greater: b or -4?
b
Suppose -4*m + 136 = 3*b, 6*b - 7*b - 3*m = -47. Let o = 44 - b. Which is smaller: o or 8/13?
o
Let r = -619.7 + 621. Is 2 less than or equal to r?
False
Let h = 291 + -165. Let x = 4912/39 - h. Which is smaller: x or 1?
x
Let a = -1445 - -1546. Which is bigger: 103 or a?
103
Let h be 86/40 + (-2)/5. Let f = 1031 - 1028. Which is smaller: f or h?
h
Let k(c) = 4*c**2 + 0*c**2 + 4 - 14 - 6*c + 5. Let h(t) = -5*t**2 + 6*t + 4. Let o(y) = -3*h(y) - 4*k(y). Let q be o(7). Which is smaller: -1 or q?
-1
Let j = -23/33 - -15/11. Is 1/1011 greater than or equal to j?
False
Let h = -98 + 3907/40. Which is smaller: h or -0.1?
h
Suppose -4*q - 2*g + 20 = 0, -5*g + 2 = -10*q + 8*q. Let n be ((-292)/(-36) - q) + -4*1. Is n >= -2?
True
Suppose 3*q + 5*v - 103 = -q, -q + 25 = 2*v. Is q less than or equal to 24?
False
Suppose -t = -5*t - b - 9, 4*t = b + 1. Let s(a) = a + 1. Let u be s(t). Let j = 5092/7 - 193489/266. Which is greater: u or j?
j
Let u(g) = -11*g + 142. Let p be u(13). Which is smaller: p or 6/259?
p
Let q = -19 - -24. Suppose -q*d + 4 = -1. Which is bigger: d or 5/3?
5/3
Let z be 4 - 8 - (8/4 + 78). Is -82 less than or equal to z?
False
Suppose -19*c - 16 = -23*c. Let h be 3 - 13 - (c - 2). Which is bigger: -10 or h?
-10
Suppose 5*d - 53 - 197 = 0. Suppose -9*u - d = -14. Which is smaller: -3 or u?
u
Let j = -37.009 + 37. Let d = j + 0.109. Let s be 1 + 13*(-2)/34. Are d and s unequal?
True
Let z(g) = -g**3 + 10*g**2 + 12*g + 6. Let k(t) = 10*t**2 + 1. Let w be k(-1). Let r be z(w). Let f = r - 16. Which is smaller: 7/3 or f?
f
Let y be (-130 + 118)*4/(-21). Suppose 3*c - 6 = 3. Is c > y?
True
Let b = -219.33 - -218. Let d = 2.59 + b. Let s = d - 0.26. Is s at least as big as -1?
True
Let p be 2656/(-24196) + 18/207. Is p greater than or equal to 1?
False
Let b be (-1 - 58/(-34)) + 0. Let w = -1983 + 1985. Is w equal to b?
False
Let b = -210.86 - -211. Let y = b + 0.16. Let k = 0.3 + -0.2. Is y != k?
True
Suppose -w - 2*h = -3, 3*w + 0*h + 2*h - 13 = 0. Let q be w*(-2)/(-10)*3. Which is greater: 5 or q?
5
Let q be (100/(-525))/((-12)/14). Which is smaller: 29 or q?
q
Let b = 152/1115 - 2/669. Which is smaller: 0.4 or b?
b
Suppose -60*o + 59*o - 25 = 0. Is o less than -26?
False
Let j = 29 + -16. Let q = -10 + j. Let b be (-3 - -1) + (4 - q). Is -3 less than or equal to b?
True
Suppose -7*f + 6*f - 4*f = 0. Let r be f + ((-2)/4)/(40/32). Which is greater: r or -6/11?
r
Let u = 56 - 32. Suppose 0*n - 2*n + 6 = -c, -4*n + u = c. Let b = -2 + 7. Are b and n nonequal?
False
Let j = -10.3 + 8.9. Let n = 0.24 - -2.16. Let f = n + j. Is 0.1 >= f?
False
Let k = -12 + 22. Suppose 3*c + 1 = k. Let l be (c + -2)*(-2 - -2). Is l less than -6?
False
Let v = -32 - -32. Let p be (v + 1/74)/(1/6). Which is greater: p or 1?
1
Suppose 2*y - 5 = 3*z, 5*y = y - z + 3. Are 1/94 and y nonequal?
True
Suppose -5*p = 27*p. Let j = 5/119 - 521/1071. Which is bigger: j or p?
p
Let d = -325 + 331. Let z(b) = -b**2 - 9*b - 6. Let s(a) = a**2 + 6*a + 1. Let g be s(-4). Let t be z(g). Which is smaller: d or t?
d
Let q = 0.104 - 0.134. Which is bigger: -8 or q?
q
Let z(c) = c**3 - c + 64. Let o be z(0). Is 66 != o?
True
Let r be 2/(-4) + (378/(-156))/7. Is -1 bigger than r?
False
Let y be 110/(-7) + 4/(-14). Is y at least as big as -7?
False
Suppose 0 = -3*n - 24 + 24. Suppose 4*z + 122 - 114 = n. Which is greater: z or -5?
z
Suppose -4*l + 11*l - 28 = 0. Which is greater: l or -1/19?
l
Let v = -676 + 678. Let k(r) = r**2 + 11*r + 10. Let i be k(-10). Suppose -4*m - 9 = c - 2, i = -c + 1. Which is bigger: m or v?
v
Let x = -52.95 - -53. Is -3/7 at least x?
False
Let x(r) = -6*r**2 - 4*r - 4. Let b be x(-2). Let s be 132/(-10) + (-4)/b. Let c = s + 12. Which is greater: -3/8 or c?
-3/8
Let i = 12 - -2. Let d = i + -16. Is d at least 4?
False
Suppose -4*z + 26 = 4*j - 18, -5*z + 43 = 2*j. Let n = z + -4. Suppose -n*k - 2 = 4. Which is greater: k or 1?
1
Let x = 0.9 - -0.1. Let k = -1157 - -1165. Which is greater: k or x?
k
Suppose 3*f + 6*v = v + 16, 3*f - 4*v + 29 = 0. Let p = 15 - 17. Is f < p?
True
Let s be 16/(-1) - -6 - -5. Let d = -4.4 + 10.4. Which is smaller: s or d?
s
Let k be (-6)/((-72)/(-4)) + 16/12. Which is smaller: 4/545 or k?
4/545
Suppose 5*d - 43*b + 39*b = -310, -b - 111 = 2*d. Which is smaller: -62 or d?
-62
Suppose -22 + 6 = -4*a. Suppose m - a*m = 0. Let r be 12/10 - 208/90. Is m < r?
False
Let v be 20 - (-66)/((-11)/1). Is v at most 13?
False
Let o(m) = m - m**3 + 0*m**3 + 0*m**2 - 7 + 0*m + 9*m**2. Let t be o(9). Let n = 39 - 115/3. Which is bigger: n or t?
t
Let o = -12 - -23. Suppose 4*a - 21 = 5*c, a = -3*a - 5*c + o. Suppose 0 = -2*m - a + 2. Do m and -2/33 have different values?
True
Let a(m) = 5*m**3 + 12*m**2 + 2. Let k(b) = -11*b**3 - 25*b**2 - b - 4. Let w(u) = -13*a(u) - 6*k(u). Let l be w(5). Is l bigger than 4?
False
Suppose 8 = 2*b - 2*s, 0 = -5*b - 3*s - s - 16. Let l be b - ((-3 - -1) + 8/4). Let r = -2 - -2.01. Which is bigger: l or r?
r
Let s be (1/6)/(10/(-42)). Let v(f) = 24*f - 98. Let x be v(4). Which is bigger: s or x?
s
Let c be 5 - (4 - 5) - -36. Is 37 < c?
True
Let x(y) = -y - 5. Let r be x(-3). Let z be 15/r + (-4)/8. Let w be (-2)/4*z/22. Does w = -1?
False
Let v(o) = -9 - 13*o - 5*o**2 - 2*o**2 - 15*o. Let y(w) = -10*w**2 - 42*w - 13. Let f(j) = 7*v(j) - 5*y(j). Let q be f(-14). Which is bigger: q or 3?
3
Let y(z) = -2*z**2 + 41*z + 56. Let q be y(24). Which is smaller: q or -114?
-114
Let a be (-954)/(-12)*(1 - -1). Suppose 0 = 3*b - 66 - a. Let i = b - 374/5. Which is greater: 0 or i?
i
Suppose -5*c = -5 - 5, -3*o = 4*c - 11. Suppose 3*s + s + 8 = -4*m, 2*s = 5*m + 10. Let p be m/6 - (-8)/20. Which is greater: p or o?
o
Let v be (135/(-90))/(1/(-38)). Is 1 != v?
True
Let z be ((-14)/4)/((-1)/(-6)). Let v be z/14 - 381/6. Is v > -65?
False
Let w = 53 + -29. Let p be w/(-14)*(-14)/4. Let g = 4 - p. Which is smaller: g or -5?
-5
Let b = -315 - -541. Let h be b/10 - (-16)/40. Suppose 5*x = -5*u + 70, x = -x - u + h. Are x and 10 equal?
False
Let j = 33 + -48. Let s = j + 22. Is s less than 7?
False
Let l be 11 + -15 + 40/2. Let q = l + -14. Suppose -5*z - q*n = -13, z - 2*z + 4*n = 15. Is -1/12 not equal to z?
True
Let b be 1/((-36)/696*12/40). Which is greater: b or -63?
-63
Let j = -4 - -10. Let k be -5*j/(-15)*-5. Let u(r) = -r**2 - 10*r + 4. Let s be u(k). Are s and 3 nonequal?
True
Let n(d) = d**3 - 8*d**2 + d + 2. Let a = 17 + -9. Let q be n(a). Is 0 < q?
True
Let y be 14 + -2*(-3)/(-6). Suppose 0 = -g + 9 + y. Is g at most as big as 23?
True
Let h be (-8)/(-4)*(8 - (-74780)/(-9350)). Which is smaller: -1 or h?
-1
Let p(o) = o**3 - 2*o**2 - 2*o - 2. Let c be p(0). Suppose -5*m + 9 = -2*m. Let b = 1 - m. Are b and c non-equal?
False
Suppose -5*g + 4*j = 245, -j + 155 = -4*g - 6*j. Which is bigger: g or -44?
-44
Let v be (198/(-24))/(4/16). Which is smaller: -18 or v?
v
Let z(p) be the second derivative of p**4/12 + 5*p**3/6 + p**2 + 3*p. Let y be z(-6). Suppose 2*h + 14 = 5*x - 13, -2*x + 3*h = -2. Are x and y unequal?
True
Let z be (-14)/(-46)*426/(-14413). Is 1 at least z?
True
Let p = -1.067 - -0.967. Which is smaller: p 