 or i?
-7
Suppose -3*l = -2*t, -2*t - 3*l + 0*l = 0. Let v = -417143/182 + 2292. Is t less than or equal to v?
True
Let u = -585 - 61. Let g = u - -12265/19. Is 0 bigger than g?
True
Let b = -0.6 + 0.1. Let s = 48.064 + -0.064. Let t = s + -46. Which is greater: b or t?
t
Suppose 5*n = 4*m + 48, 30 = -n + 3*n + 2*m. Suppose 0 = -n*r + 6*r - 96. Does -16 = r?
True
Let a(u) = -u**2 - 27*u - 135. Let s be a(-7). Suppose -161 = -2*g - 5*p, -330 = -5*g - p + 3*p. Suppose -s*m - 22 = g. Which is smaller: m or -17?
m
Let a(o) = -o**3 + 2*o**2 - o + 4. Let f be a(2). Let j be (-6)/(3/(-26)*1). Let y be 2 + f + (-192)/j. Is 1 bigger than y?
True
Let x be ((-5894)/12 - 32/(-48))/(-3). Is 163 greater than or equal to x?
False
Suppose -n + 4*n = -3. Suppose z = 5*a - 15, -6 = 3*z - 8*z - 2*a. Suppose z = -l + 5 - 6. Is n greater than or equal to l?
True
Suppose -7*v + 2*v = -70. Suppose -z = -3*z - v. Let j(m) = m**2 - 8*m + 7. Let d be j(2). Are z and d equal?
False
Let d(r) = -r**2 + r - 1. Let y be d(-2). Let a(o) = 7*o + 63. Let h be a(y). Is h greater than 14?
False
Let g be (244/6 - 5)/((-1)/(-3)). Which is smaller: g or 533/5?
533/5
Let c be ((-7)/((-21)/24))/1. Suppose -3*f = -2 + c. Let h(g) = g**3 + 2*g**2 - g - 1. Let z be h(f). Which is smaller: -2/23 or z?
-2/23
Let b be (-1 + 1)/(-1 + 2). Let y be 27/6 - b/(-5) - -1. Is y <= 7?
True
Let o be 6/(-9)*(-4)/(24/135). Suppose 5*w - o = -0. Which is smaller: 0 or w?
0
Let g be (-12)/(-4) - (-86 + 5). Let p be (-1)/(-3) + 7/(g/(-256)). Which is greater: p or -18?
-18
Let p = 4 + -7. Let d = p - -6. Let l be ((-4)/(-56))/(d/2). Is l at least -1?
True
Suppose -9*f + 13*f + 1796 = 0. Is f at least as big as -448?
False
Suppose s + 294 = 2*o, -9*s - 4*o - 1484 = -4*s. Is -295 != s?
True
Suppose -4*k + 0*k + 28 = 0. Let g = 0 - k. Suppose -10*y + 7 = -11*y. Do g and y have the same value?
True
Suppose 2*g + 19 = -103. Which is smaller: g or -59?
g
Let g = 1 + 2. Let j be (-2)/1*49/(-14)*1. Suppose -g = -8*s + j*s. Is s at least as big as 1?
True
Suppose -6*y - 51 - 1215 = 0. Which is smaller: y or -210?
y
Let t = -14.1 - -17. Let y = 0.9 - t. Which is bigger: -3 or y?
y
Let x = -2493 + 2493. Let z be 1 + 24/22 - 1. Which is smaller: z or x?
x
Suppose 0 = -96*l + 110*l - 1218. Is 88 > l?
True
Let x = 444 + -438.13. Let b = x - 6. Let k = b + -0.57. Is 2 less than k?
False
Let t = 9736/59 + -165. Let y = -3371 + 3372. Which is greater: y or t?
y
Let q(l) be the first derivative of -2*l**3/3 + 11*l**2/2 - 4*l - 4. Let o be q(5). Do -2 and o have the same value?
False
Let d = -2/9 + -1/9. Let v = -35 + 35. Suppose -3*f - 3*i + 20 + 1 = 0, -2*f + 4*i - 16 = v. Which is greater: d or f?
f
Suppose 8*u + 892 = 4180. Let o = 8629/21 - u. Let x be (1 - 0)/(1/(-1)). Is o greater than or equal to x?
True
Let p(o) be the second derivative of o**4/12 - 5*o**3/6 - o**2/2 + 15*o. Let r be p(4). Is r != -6?
True
Let p = -0.089 + 1.089. Let a = -9.07 + 0.07. Which is greater: a or p?
p
Let s = 90 - 85. Let l be (-1816)/(-228) - s - 3. Which is bigger: 0 or l?
0
Let d = -2271 - -236189/104. Which is greater: 1 or d?
1
Suppose 4*z + z = 20. Suppose 2*x - x = 3*h - 215, 203 = 3*h - z*x. Let c be h/(-4) + 6/(-8). Which is greater: -20 or c?
c
Let r be 0/(-3)*(0 - 3)/(-9). Let f be r/(2 + 3) + 0/1. Is f at most as big as 4/35?
True
Let p = 495 + -495. Which is greater: p or 12/67?
12/67
Let u be 2/1 + 20/(-20). Suppose 5*h = u - 11. Which is smaller: h or 29?
h
Let d(t) = -t**3 - 32*t**2 + 30*t - 100. Let j be d(-33). Which is smaller: j or -3/71?
j
Let w = 1166 + -2383/2. Let t = -22 - w. Do t and 5 have the same value?
False
Let d be (-513)/(-114)*(-80)/(-3). Which is smaller: 121 or d?
d
Let o = -58/499 + 69704/608281. Let u = o - -30479/2438. Suppose 5*n - 4*x - 2 = 68, -n = -x - 14. Is u at most as big as n?
True
Suppose 2*y + 2*y + 2*o - 10 = 0, 3*o = 2*y - 9. Suppose s = y*s + 64. Let g = -19 - s. Which is greater: g or -0.1?
g
Let q = 19 - 28. Let s(p) = 2*p. Let i be s(q). Let y = i - -19. Which is bigger: 1/12 or y?
y
Let w = 0.04 + -6.04. Let h = 25 + -31. Is w at most h?
True
Let f = -187/736 + 8/23. Is -1 < f?
True
Let x be 360/(-72) - 8*-1. Let u be (52/(-3))/(2/(-4)). Let z = u - 35. Is x greater than or equal to z?
True
Suppose 5*n + 4*c + 1050 = 0, -638 = 3*n - c + 5*c. Let a = n - -623/3. Is -1 at least a?
False
Let o be (-16 - -60)*3/(-4). Let d be 741/(-26) + (0 - 4). Which is smaller: d or o?
o
Let t = -165 - -165.14. Which is smaller: 4 or t?
t
Let s = -29/142514 + -277458953/77670130. Let f = s - 3/109. Which is greater: -4 or f?
f
Suppose -4*b - p - 2*p = -76, 4*b = -2*p + 72. Suppose -4*a - 16 + b = 0. Is a at most -2/65?
False
Let c be ((-3 - -3) + -9)*(-2 - -1). Let f = c + -8. Are 26 and f equal?
False
Let s be (-2)/10 + 951/4905. Do s and 1 have the same value?
False
Let i = -422 + 634. Let q be (4192/i)/(-4) + 5. Which is bigger: 1 or q?
1
Let k = 115.8 - 120.8. Is -38 <= k?
True
Let p be 189/(-196) - (-20)/(-70). Let g = -2.2 - 0.8. Let v = g + 2.7. Which is greater: p or v?
v
Let q = 1.348 - 0.348. Is -6 at most as big as q?
True
Let m be (-3 - -1)/(4/8). Let c = -7 - m. Let u be c + 5 + -4 - 12. Is -13 at least u?
True
Let j be (2 - -2) + 18/(-4). Let b be 20/12 - (-4)/(-6). Let m = b + -2. Is m >= j?
False
Suppose 0 = 2*m - v + 138, -3*m - 3*v = 103 + 113. Let r be 231/m*(-8)/(-12). Which is greater: -1 or r?
-1
Suppose 3980*s - 3975*s = 0. Is -2/1763 < s?
True
Let u be (-7 + 4)*(-58)/(-6). Let v be (-10)/(-40) - u/(-4). Let r = v + 8. Which is bigger: 1.3 or r?
1.3
Let q(j) = 224*j - 2. Let p be q(-1). Let r be -4 + -3 + p/(-32). Suppose 0 = 4*v - 3*v - 1. Is r greater than v?
False
Let r = 503 + -453. Is 49 smaller than r?
True
Let a(g) = g**3 + 11*g**2 + 8*g - 11. Let f be a(-10). Suppose 0*v - f = 3*v. Suppose -7 = 2*t - u, -2*t - 5*u + 5 = 3*t. Which is greater: v or t?
t
Let p = 0.008 - 0.062. Let t = 0.02 + p. Is t greater than or equal to 0?
False
Let l = 1696 - 1637. Is l >= 55?
True
Suppose -d + 3*w - 8 = 0, 7*d + 5*w - 20 = 2*d. Let n be 1 - (-4 + d - (-29 - -1)). Which is greater: -25 or n?
n
Let h = 0 + -29. Let x = 29.08 + h. Which is smaller: -0.1 or x?
-0.1
Let y = -33459/37 - -905. Which is smaller: y or 0?
0
Let g = 3926/7 + -565. Suppose -3*r = 3*o + 24, -o - 4*o - 35 = 4*r. Is g not equal to r?
True
Let y(b) = -b**3 - 8*b**2 - b - 3. Let c be y(-8). Suppose 3 = -u - w, c*u - 5*w - 9 = -4. Let j be (0 - 10/(-12))*-2. Which is greater: u or j?
u
Let d = 4 + -10. Let n = -124 + 124. Let j be (-6 - d) + n + 0. Is j <= -2?
False
Let z = -6421 + 2279457/355. Are z and 0 unequal?
True
Let a(w) = 3*w**3 - 3*w**2 + 14. Let z be a(3). Are z and 70 equal?
False
Suppose -3*q + 5 + 79 = 0. Are -5 and q non-equal?
True
Suppose 152 - 20 = -4*v. Which is smaller: -10 or v?
v
Let n be 2 - (2/3 + (-104)/(-78)). Are -1/30 and n non-equal?
True
Suppose 4*m = -2*a, -2*m + 5*a - 15 + 3 = 0. Which is smaller: -46 or m?
-46
Let f = -8 + -8. Let b(s) = -8*s + 38. Let p be b(7). Is f smaller than p?
False
Suppose -21 = -j - 2*p, -5*j - 8*p = -3*p - 85. Suppose j*l = 9*l + 128. Let n be 8/(-12) - l/33. Which is bigger: n or -3?
n
Suppose 3 = 4*u - 4*t - 5, 2*t = 2. Let p(j) = 3*j**2 - 4*j - 1. Suppose -3*f - d + 2 = 0, 4*d = -f - 0*f - 14. Let k be p(f). Is u equal to k?
True
Let k = 746.19 + -751. Let w = 0.65 + k. Let j = -0.16 - w. Which is smaller: 2/7 or j?
2/7
Let a(h) = -h - 8. Let m be a(-7). Let z be (-13 - m)/(3/(-2)). Suppose 0 - z = -4*g. Which is smaller: g or 3?
g
Let n(s) be the second derivative of s**5/20 + s**4/6 + 2*s**3/3 + s**2 - 17*s. Let o be (0 - 0) + 1*-2. Let j be n(o). Which is greater: j or -4?
-4
Let o(w) = -w**3 + w - 3. Let u be o(-2). Suppose u*y - 7 = 8. Is 4 > y?
False
Suppose 442*z = 431*z - 3718. Is -338 greater than z?
False
Let a = -5 + 3. Let v = a + 5.8. Let j = 0.2 + v. Which is smaller: -2 or j?
-2
Suppose -v = 2, 0 = -6*p + 7*p - 5*v + 68. Which is smaller: p or -80?
-80
Suppose -4 = 4*x - 2*p - 2*p, -2*p = 4*x - 2. Suppose 10 = -2*y - 4*c + 4, x = 2*c + 4. Let a be (0 - y)*(-4 + 2). Is a at most 2?
True
Suppose 3*g = 4*j - 494, j - 3*g - 262 + 143 = 0. Is -1 != j?
True
Let n(h) = -6*h + 4. Let w be n(8). Let q be (w/(-66))/(4/(-6)). Which is bigger: -