 than 1?
False
Suppose -11*f + 9*f = 0. Let q be 3/(3 - f)*-8. Is q greater than -8?
False
Let k be (-1)/6*1*4. Let o(u) = -u**3 - 9*u**2 - 9*u. Let i be o(-7). Let r = i + 33. Do r and k have the same value?
False
Suppose 0 = -3*g + 6*g. Suppose -4*l - l + h - 172 = 0, 5*l + 166 = -2*h. Let d be -2 + g + l/(-20). Which is greater: 2 or d?
2
Let w(a) = -a**2 + 11*a + 11. Let u be w(6). Let y = -40 + u. Which is smaller: y or 2/21?
2/21
Suppose -4 = -2*p - 2*g, -6*p + g = -p + 20. Which is greater: -54/13 or p?
p
Let x = -186 - -745/4. Let z = -330/3383 + -4/199. Which is greater: x or z?
x
Let s(m) = -m**2 + 22*m + 55. Let r be s(22). Which is smaller: 390/7 or r?
r
Let n = -172 - -137. Let a(y) = y**3 - 4*y**2 + 2*y - 4. Let t be a(3). Let i be (1/5)/(t/n). Is i bigger than -1/6?
True
Let x = -509 - -4067/8. Suppose r = 3*i - 16, 5*i - 6*r - 28 = -4*r. Suppose 0 = i*z - 0*z. Which is greater: z or x?
z
Let a(v) = -45*v**3 + v. Let d be a(1). Let t = 29 + d. Let k = -16 - t. Which is smaller: k or -6/7?
k
Suppose -14 + 2 = 2*c + 4*j, c + 5*j = -15. Let d be 25 + -24 - (-20 + c). Which is bigger: d or 59/3?
d
Suppose 0 = 15*x - 16*x + 4. Let h(s) = -2*s**2 + 9*s - 8. Let c be h(x). Which is bigger: 1 or c?
1
Let t = -15471/40 - -2132/5. Let c = t - 40. Suppose 4*o + 14 = -2*u, -5*o + 0*u = 3*u + 20. Is o <= c?
True
Let b = -1210 - -1209. Is -1 greater than or equal to b?
True
Let d = -15 - -43. Which is smaller: d or -3?
-3
Let y be ((-82)/1295)/(20/(-25)). Let b = y - 2/259. Which is smaller: 0 or b?
0
Let w be (0 - 12)*(-405)/108. Let k = w + 48. Which is smaller: 92 or k?
92
Let b = 10621/110 - 3/55. Is b greater than 98?
False
Let o(a) = 118*a**2 - a + 2. Let n be o(1). Suppose -12*j - n = -11. Are j and -6 equal?
False
Suppose -75 = -4*x + 353. Let r = -427/4 + x. Are r and -1 unequal?
True
Let t(q) = 8*q**3 - 5*q**2 + 4*q + 5. Let x be t(2). Are x and 52 nonequal?
True
Let w = 23 + -38. Suppose -2*k + 6 = 4. Are w and k unequal?
True
Let g = 1 - -703. Let x = -7756/11 + g. Let l(h) = h**3 - 4*h**2 + 34*h - 95. Let c be l(3). Do x and c have the same value?
False
Let s(h) = -h**3 + 28*h**2 - 51*h - 26. Let n be s(26). Is n greater than or equal to 1/2180?
False
Let a be (0 + 32)/(4 - 3). Suppose -3*g = 5*c - 74, -g - c = -3*c - a. Let h be (4/(-6))/(g/12). Which is smaller: 0 or h?
h
Let q be (11/(55/(-210)))/(-1). Let z be (-21 - -2) + -6 + q/7. Are -56/3 and z equal?
False
Let v(k) = -k**3 + 23*k - 17. Let f be v(6). Which is greater: f or 10?
10
Let h be 16/9 - (-2)/9. Let r = 38.6 - 35.6. Which is smaller: h or r?
h
Suppose -4*t - 3*a + 1 = -3*t, 3*a = -2*t - 1. Let f be (6/(-6)*1)/(0 + 2). Which is bigger: t or f?
f
Let r = 199 - 198. Which is greater: -136 or r?
r
Let t = -622 - -622.1. Which is bigger: t or 336?
336
Let t = 12 + -4. Suppose 16 = z - 4*w, 0 = 7*z - 2*z + 4*w - t. Let k be (6/(-12))/(14/z). Is 0 at least as big as k?
True
Let g = 0.203 + 2.217. Is -1 < g?
True
Let u be (4/(-6))/(26/6). Suppose -13 = l + 3*t, -4*t = 4*l + 50 + 18. Let p = l - -19. Is p != u?
True
Let t be 2/(-2)*4/6. Suppose 3 + 15 = 6*o. Let f be 1 + o - 308/70. Do t and f have the same value?
False
Suppose -2*t + t + 4 = -3*g, 2*g - 2*t = 0. Let k be g/7 - (-2 - 174/21). Is k at most 6?
False
Let a(y) = -y**2 - 2*y + 47. Let m be a(-8). Suppose 0 = -2*z + 7 + 15. Let n be -1*m*(z + 0). Which is smaller: 10 or n?
10
Let l(d) = d**2 - 17*d + 1. Let t be l(17). Is -4/99 at least t?
False
Let a be 6/(-4) + (-15)/(-10). Let s be 38/7 + (-2 - 3). Which is bigger: a or s?
s
Suppose -761*q + 773*q = -144. Let t be 1*(-2)/2 + -9. Which is smaller: t or q?
q
Let c = -708 - -710. Is -256 < c?
True
Let o = -767 - -769. Is -278 less than o?
True
Let q = -124 - -85. Let f = q - -134. Is f less than 94?
False
Suppose -7*f + 18*f + 77 = 0. Let u(v) = -v**2 - 12*v + 6. Let y be u(-10). Let n be y/(-8) + (f - -5). Which is smaller: n or -6?
-6
Let u = 2/23 - 29/69. Let k(w) = w**3 - 4*w**2 - 4*w - 4. Let s be k(5). Let x(t) = 5*t**3 + 3*t**2 - t. Let q be x(s). Which is smaller: q or u?
u
Suppose u + 16 = -2*q, q - 44 = 5*u + 2*q. Let y be (u + 7)*(2 + -2). Let w be 2/4 - (-46)/(-60). Is w bigger than y?
False
Let o = -0.35 + 0.351. Let f = o + -1.001. Which is smaller: f or -7?
-7
Let m(j) = -17*j - 1. Let b be m(-1). Suppose -12 = -4*f, u - 2 = 3*f - b. Suppose -14 + 12 = 11*s + 53. Is s bigger than u?
False
Let y(l) = -4*l - 1. Let s(m) = -5*m. Let b(r) = -2*s(r) + 3*y(r). Let u be b(-1). Is u less than -1?
False
Let p(g) = -2*g**2 + 3. Let r = -14 - -15. Let i be 1/(r/(-2) - 0). Let f be p(i). Which is smaller: f or -4?
f
Suppose -2*u + 0*d + 5*d - 6 = 0, 5*d = 10. Suppose 44 = -4*i - 2*a, 0*a + 10 = -u*i + 5*a. Which is smaller: -8 or i?
i
Let i(a) = a**2 - 13*a + 29. Let q be i(8). Suppose 3*g = 4*o - 19, -4*g - 53 = g + 4*o. Which is smaller: q or g?
q
Suppose 1 = 10*c - 9. Which is greater: 2/425 or c?
c
Suppose v - 20 = -3*h, 2*h - 5 = 5*h - 4*v. Let w be (8/h)/((-40)/(-100)). Suppose 0*s - w = -2*s. Is s less than or equal to 3?
True
Let v be ((-528)/77)/12*(-14)/4. Is v >= -1?
True
Let z = -671 + 536. Is z at least -133?
False
Let c = -3.5 - -4.28. Let r = c + -0.28. Let b = 0.2 + -0.1. Which is bigger: r or b?
r
Let s = 34 + -28. Suppose s*w + 54 = 9*w. Suppose -19*k = -w*k + 6. Which is greater: k or -5?
-5
Let y(o) = -o + 182. Let j be y(-5). Which is greater: 2 or j?
j
Let h = 1 - 3. Let k = -0.7 + 7.7. Let l = 5 - k. Are h and l non-equal?
False
Suppose 0 = -13*y + 10*y + 75. Suppose u - 2*f = -7 - 0, 5*u - 5*f = -y. Which is bigger: -13/4 or u?
u
Let w = 28.1 - 28. Do w and -150/11 have different values?
True
Let w = -859 + 6835/8. Are -5 and w nonequal?
True
Let m be 7/462*-8*2/(-12). Let l(i) = -5*i**2 - 30*i. Let r be l(-6). Which is smaller: m or r?
r
Let u = 5/24 - 7/264. Let t be (8/(-5) - (-4)/(-10)) + 6. Suppose 2 = t*v - 2*v. Which is smaller: u or v?
u
Let o be -36 - (0 + -3 - -2). Let n = o + 47. Suppose -3*f + 29 = 3*k - k, -3*k = 3*f - 24. Which is smaller: n or f?
n
Let c = -97.9 - -97.8. Which is smaller: c or -0.486?
-0.486
Let y = 2099/3 - 904684/1293. Is y less than 1?
True
Let d(x) = 2*x**3 - 36*x**2 - 39*x + 35. Let b be d(19). Is 6 at most as big as b?
True
Suppose 6 = -7*d + 6. Which is smaller: d or 1/160?
d
Let f = -47/27 + 3061/1836. Which is smaller: f or 1?
f
Let d = 16.4 + 2.6. Which is smaller: d or -9?
-9
Let n(l) = l**3 - 6*l**2 - 7*l - 8. Let j be n(6). Let x be ((-14)/(-10))/(80/j). Let m = -159/200 - x. Which is greater: -1 or m?
m
Let m be (-22)/(-154) - 3978/14. Which is greater: -282 or m?
-282
Let t = -8 + 8. Let i(d) = -d**2 + 9*d + 10. Let l be i(10). Suppose o + 4 - 6 = l. Which is greater: o or t?
o
Let y(o) = o**2 - 6*o + 8. Let w be y(7). Suppose w = -5*d + 4*q, -3*d + 4*q - 27 = -10. Let j = -31/3 + 11. Which is smaller: d or j?
j
Let p = 233 + -3494/15. Let g = -3 - -4. Is g at least as big as p?
True
Suppose 2 = -4*w + 14. Let s be ((-28)/(-5))/(14/(-105)). Let n be (w/(-10))/(s/10). Which is smaller: -1 or n?
-1
Let s = 28 - 6. Let u = s + -24. Is 0 >= u?
True
Let d = 160 - 159. Which is smaller: 22 or d?
d
Let q be 12/7 - 4/(-14). Let v(b) = -4*b - 87. Let i be v(-21). Let l be (i - -7 - q) + -3. Which is bigger: l or -2/5?
-2/5
Let f be -1 + 3 - 2 - 2. Let u be f/(-11) - 228/44. Let g = 66/13 + u. Which is bigger: g or -1?
g
Let r = -3 + 4. Suppose -3*o + 40 = 2*h, 4*o + 0*h - 59 = 3*h. Suppose -r - o = 5*k, 0 = -2*i + 4*k + 14. Do i and 1 have different values?
False
Let h = -285.93 + 298. Let q = 12 - h. Let s = -88 - -86. Which is smaller: q or s?
s
Let x be -2 + 0/2 - 2. Let q = 6 - 6. Let p be 2/(1*x)*q. Is -6/11 less than p?
True
Suppose 0 = -2*h + x + 1715, 3*h + 338 - 2924 = -3*x. Is 858 < h?
True
Suppose -4*k - 5*u + 53 = 13, 16 = 4*u. Suppose x = -2*p + k, 0 = 5*x - 6*x - 5*p - 1. Is 9 less than or equal to x?
True
Let w = 1535/9 + -170. Is w at most 6?
True
Let t be -2 + (-20)/(2/(-1)). Let w = t + -13. Let p be (7 + (-6)/3)*-1. Are w and p non-equal?
False
Suppose 5*k - 2*v = 45, 3*v - 4 = 11. Suppose -j + 410 = -k*j. Do j and -40 have the same value?
False
Let x be (3/7)/(((-3)/(-7))/3). Let n be 3 + 12 + (x - 4). Are 0.1 and n unequal?
True
Suppose -17*d + 2 = -15*d. Let c = -4/83 + 