+ 2*i, o*i - 5 = -3*t + 8. Which is bigger: q or t?
t
Suppose 3*a + 4*q = -13 + 41, 0 = q - 1. Let s be a/4 - 1/(422/840). Which is smaller: s or 0?
0
Let f be (3/6)/((-4)/(-16)). Let h be f/(-3)*54/12. Is -5/2 > h?
True
Let z(h) = -39*h + 313. Let k be z(8). Which is bigger: k or 2/357?
k
Let q = 2882/57 - 152/3. Which is greater: 0.02 or q?
0.02
Suppose -2*h = -2*g - 126, -4*h + 334 = g + 57. Is 68 bigger than h?
False
Suppose 2*n + 1 = -7. Let p(f) = -4*f + 5. Let a be p(n). Suppose 3*t + 5*i = 12, 4*t = -0*i - i - 1. Is t bigger than a?
False
Let x(f) = -f**3 - f**2 + 6*f + 1. Let i be x(-4). Suppose -i = 2*o + 3*o. Let q be (5 + o)*(2 + -1). Which is smaller: -4/13 or q?
-4/13
Let l be (-5242)/18 + (-76)/(-342). Which is smaller: -292 or l?
-292
Let q = -33796/15 - -2254. Let k = -189 - -2837/15. Let o = q - k. Is o smaller than 0?
False
Let j(r) = -r**3 - 4*r**2. Let a be j(-4). Let v(u) = -4*u - 2 + a + 2*u + 3*u + u**2. Let w be v(-3). Do 4 and w have different values?
False
Let g = -43 - -49. Let v be g/(-10) - (-2457)/(-105). Which is smaller: -25 or v?
-25
Let h = -102 - -80. Let f = 2 - h. Is f at most as big as 24?
True
Let k(o) = 10*o + 142. Let u be k(-14). Which is smaller: 33 or u?
u
Suppose -a = 2*q - 42, a - 6*q + 2*q = 36. Do a and 40 have different values?
False
Let u = -553 - -565. Which is smaller: 170/13 or u?
u
Let j = 261.2 - 262. Let f = 6.75 - 6. Let v = f + j. Which is bigger: v or -0.2?
v
Suppose 0 = -m - 18*c + 13*c - 78, -c + 2 = 0. Is -91 not equal to m?
True
Suppose -3*v + 0*c + 3*c = -9, 4*v + 8 = -c. Which is smaller: -3/68 or v?
v
Suppose g = 5*t - 7, t - 3*g = -t + 8. Suppose 4*d = -5 + t. Is 0 smaller than d?
False
Let b = 26 - 24.97. Let q = b + 1.01. Let j = 0.04 - q. Is j less than or equal to 4?
True
Let x = 0.519 - 295.519. Which is smaller: x or -1?
x
Let u be (6 + 0)*(-75)/(-675). Is u >= 9?
False
Let g = 267 + -261. Which is smaller: 4 or g?
4
Let z(q) = -q**3 - 6*q**2 + 3*q. Let y be z(-7). Let m = y + -29. Which is greater: 6/29 or m?
6/29
Let v(n) = -n - 5. Let g be v(-5). Let z = 69 - 36. Let k be (11/z)/(2/6). Is g >= k?
False
Let z be (-14)/91 + (-76)/13. Suppose -14 - 9 = -5*g + i, 4*g - 4 = -4*i. Suppose 0 = -g*u + 5*u + 7. Which is greater: z or u?
z
Let s = 25 + -23. Let o = 31 - 17. Let v = -12 + o. Is v at most as big as s?
True
Let o = 10 - 9.76. Let b = 0.16 + o. Let g = 73 + -287/4. Which is smaller: b or g?
b
Let o = -7 + 5. Let d = 1.3 + -1.76. Let q = d - -5.46. Is o > q?
False
Let o = -38 - -52. Let q be o/21*(-27)/(-6). Is -3 bigger than q?
False
Suppose 0 = -3*b + 97 - 172. Let i be b/(-30)*-3*4/(-10). Which is smaller: 30/17 or i?
i
Let z(l) = -l**2 + 13*l - 21. Let w be z(10). Let k be 3/(-2)*((-15)/w - -3). Which is bigger: k or -7/5?
-7/5
Let m be (-16)/(-24)*3*1. Suppose 7*a + 14 = -0. Which is smaller: a or m?
a
Let t(u) = 18*u**3 + 2*u**2 - 1. Let v be t(-1). Suppose 0 = 4*x - 5*c - 93, 6 = -c + 1. Let i = v + x. Is -0.4 at most i?
True
Let v(d) = -d**2 - 71*d - 55. Let q be v(-73). Is -201 less than q?
False
Suppose -y + 18*c - 12 = 17*c, -3*y - 61 = 2*c. Is y < -20?
False
Let d(p) = 2*p**3 - 9*p**2 - 5*p + 4. Let r be d(5). Let s be (7/2)/(r + -1). Which is greater: s or 1?
s
Let c(u) = -u**2 - u + 4. Let x be c(-3). Let d be -3 + x/5*-7. Suppose i + 4*i = 5. Are d and i equal?
False
Let n(r) = r + 8. Let k be n(-5). Let q be k/(-2)*200/(-12). Suppose -5*m = q, -m = 6*f - 2*f - 15. Is 5 equal to f?
True
Let g be 1 - ((-4)/2 - -2325403). Let j = -160458692/69 - g. Let c = 265/3 + j. Which is smaller: c or -1?
-1
Let i = 1 + -1. Let p = 86.7 + 11.3. Let q = -93 + p. Which is bigger: q or i?
q
Let p = 4.68 + 0.32. Which is smaller: p or -1?
-1
Suppose -8*b - 92 = -6*b. Let s = b + 52. Are s and 4 nonequal?
True
Let d = -91 + 135. Let j be (1/d*-6)/((-18)/12). Is 1 >= j?
True
Let h = 4.03 - 4. Suppose 4*c - 6 = -0*c - 2*y, 5*y + 25 = 0. Which is smaller: c or h?
h
Let n be (-5)/(5/(-2)) - -1. Suppose w - b + 11 = n, -w - 17 = -4*b. Let f be (w - -6) + 0/(-1). Is 2 less than or equal to f?
False
Let c = -0.715 + -0.285. Do c and 191 have the same value?
False
Suppose 3*t + 49 = -2. Let i(l) = 26*l - 303. Let b be i(11). Is t greater than or equal to b?
True
Let i(r) = -3*r**3 + 2*r**2 + 2*r + 3. Let f be i(4). Let u = f + 1041/7. Let d(m) = m**3 + m**2 - m + 2. Let c be d(-2). Does c = u?
False
Let v be ((-81)/(-75) + -1)/(1/(-5)). Let p = -4/35 - v. Let t be (-2)/4*0/2. Is t bigger than p?
False
Suppose -m + 5*q + 17 = 0, -4*m - q = -2*m + 10. Is m != -8?
True
Suppose q - 25 = 29. Let g = -77 + q. Which is bigger: -22 or g?
-22
Let i(r) = r + 5. Let w be i(5). Let p be 3/(-5) + 6/w. Are p and -1/3 non-equal?
True
Let z(i) = -7*i - 1. Let j be z(-1). Let l be (-2)/j + 2/6. Suppose h = -l*h. Which is smaller: h or -3/8?
-3/8
Suppose u - 18 = -287. Which is bigger: u or -268?
-268
Let u be 540/27*(-18)/8. Is -43 bigger than u?
True
Suppose 2*p - 3*h + 9 = 0, 69*p + 3*h = 64*p + 9. Is 2/493 greater than p?
True
Let q = 3 - 2. Let f = 67/294 + -3/49. Is q at least f?
True
Let b = 1739.56 + -1739. Which is smaller: 2 or b?
b
Let r = 9/11 - 67/55. Let d(x) = -x**2 - 7*x + 3. Let y be d(-7). Suppose -6 = -0*w + y*w. Is r bigger than w?
True
Let j be 4/6 - (-70)/3. Let m = -253 + 258. Suppose -x + 5*a = -21, -m*x + 5*a = -x - j. Which is smaller: x or 8/5?
x
Suppose 1 = r - 2. Let s(t) = t**2 - 3*t - 3. Let q be s(r). Let n(x) = -x**3 + 9*x**2 - 14*x - 2. Let p be n(7). Which is smaller: p or q?
q
Let q be (-486)/(-330) - 12/(-15). Let l = -1 + q. Is 2 at most l?
False
Let v = 42 + -3. Is 37 greater than v?
False
Let s be (-4 - (-4 + 3)) + 1. Let x be s - -6*9/(-2). Which is smaller: x or -28?
x
Let j = 117278/9805 + -442/37. Which is smaller: j or -1?
-1
Let w be 1/(-1)*(42 + -42). Is -20/41 bigger than w?
False
Let w = 0.014 + 0.086. Suppose 56 = 3*l + 5*n - 116, -5*l = -n - 240. Which is smaller: l or w?
w
Suppose 0 = -z - 11 + 44. Is 33 less than or equal to z?
True
Let t = -1632359/669 - -2440. Which is greater: t or 1?
1
Let y = -133/6 + 22. Let n be ((-6)/21)/((-6)/42). Suppose -n*i - 4*i = -i. Is y not equal to i?
True
Let p(a) = a**3 - 13*a**2 - 18*a + 18. Suppose 3*m + 2*m = -3*r + 57, 0 = 5*r - m - 67. Let o be p(r). Which is smaller: o or -37?
o
Let p = -0.542 + 0.49. Let g = p - -1.052. Are -9 and g non-equal?
True
Let q be ((-12)/(-45))/((-725)/225). Is 0 not equal to q?
True
Let l = -7/29 - -34/261. Let x(t) be the second derivative of -t**5/20 - 5*t**4/12 - 2*t**3/3 + 3*t**2 + 26*t. Let g be x(-3). Which is bigger: l or g?
g
Let f(q) = 2*q - 10. Let l be f(7). Suppose -s = -4*x, -l*x = -2*x - s - 2. Let j = -3 + x. Is j bigger than -6?
True
Let b = -371 - -240. Is b != -129?
True
Let g(f) = f**2 + 15*f + 18. Let l = -9 - -3. Let z be g(l). Is -35 less than z?
False
Let f(w) = w**2 - 7*w + 15. Let t be f(10). Let k = -275/6 + t. Let c = -19 + 19. Is c at most as big as k?
False
Let b(t) = -t**3 - 10*t**2 - 15*t + 5. Let f be b(-6). Which is bigger: f or -51?
f
Let q = 6.366 + 0.034. Let g = q - 4.4. Is 0 > g?
False
Let x be (-14)/63*((-1140)/(-16) + -3). Which is smaller: -14 or x?
x
Let g = -40 - -54. Let z = 22 - g. Is 2 != z?
True
Let u be (6 - 4) + (-2 - -2). Suppose -j = j - u*t + 10, -20 = -j - 4*t. Let g = 8 - 5. Is j smaller than g?
True
Let g be (16/(-8) - 2)/(1 + -3). Let o be 1 - ((-519)/6 - -2). Let r = o - 84. Which is greater: g or r?
g
Let q(p) = 2*p**3 + 6*p**2 + 2*p - 8. Let i be q(-4). Which is bigger: i or -47?
-47
Suppose 2*v = 51 + 45. Suppose -8*c = -4*c + v. Suppose -4 = -y - 0*y, -2*r - 38 = -3*y. Which is smaller: c or r?
r
Let g = -227.9 - -255. Let i = g - 27. Which is smaller: 26 or i?
i
Let k be ((-2)/(-20))/((-13)/858). Are -7 and k non-equal?
True
Let v(y) = -3*y**3 - 4*y**2 - 3*y - 2. Suppose 16*j = 15*j - 2. Let l be v(j). Suppose 5*r = -2*m - 0 + 9, -5*r + l = m. Is 3 smaller than r?
False
Let b = -1.0267 - 0.0733. Let y = -3 - -3.2. Let n = 0.2 - y. Which is greater: b or n?
n
Let k be 12/21 - (-3)/7. Is k bigger than -2?
True
Let y be -3 + (7 - 6880/245)/(-7). Is y bigger than -1?
True
Let s(i) = i**2 + 11*i + 11. Let c be s(-10). Let j(h) = 28*h - 2. Let z be j(c). Let u be 143/z*(-2 + 0). Do -10 and u have the same value?
F