et q = 4 - 4.1. Let j = -0.21 - q. Which is greater: j or 4?
4
Suppose -5 = -7*d + 2*d. Let i = 86 + -685/8. Which is greater: i or d?
d
Let n = -3/11810 - -1558959/153530. Are 9 and n equal?
False
Let r(k) = -20*k**3 - k**2 + 3*k - 3. Suppose 0 = -3*d + 3 - 15, 0 = 5*f + 5*d + 15. Let b be r(f). Which is smaller: b or -20?
b
Let i be 2794/(-312) - ((-6)/9 - 1). Let f = 3931/4 + -990. Let t = f - i. Is 0 at most t?
True
Suppose -3*o - 6 + 3 = 0. Let s be o/2*((-34)/(-8) - 6). Is 0 != s?
True
Let w(m) = m**3 - 4*m**2 + 9*m - 6. Let h be w(3). Let d be (6/(-20))/(h/(-20)). Is d > 0?
True
Suppose -9*r - 21 = -3. Which is bigger: -33/59 or r?
-33/59
Suppose 0 = 33*p - 35*p + 5*y - 10, 0 = -p + 2*y - 4. Is -136/9 at least p?
False
Let a = 52 - 146. Is a <= -93?
True
Let y = -4/27 - -7/594. Is y greater than 1?
False
Let t(q) = -q**3 - 8*q**2 + 12*q + 9. Let g be t(-9). Let h(s) = -11*s + 5. Let m be h(2). Which is smaller: m or g?
g
Let j be 4 + 2 + 4/(-1). Let s(w) = -w**3 + 5*w**2 + 3*w + 17. Let a be s(6). Let t be 1 + a*(-4)/(-36). Is t less than or equal to j?
True
Suppose -5*f = -2*y + 11, f + 2*y - 3 = -2*f. Are f and -7/6 unequal?
True
Let o(r) = -71*r + 75. Let b be o(2). Which is smaller: -69 or b?
-69
Let x = -1516 - -1560. Which is smaller: x or 1?
1
Let g be (-4)/(-4)*-1 - -4. Let y be (g + (-21)/6)*6. Let j be (8/2 - 4)/y. Do j and -8 have the same value?
False
Let j = -122 - -73. Let h be (-20)/(-15)*(-4266)/116. Let g = j - h. Is g smaller than 1?
True
Let u = 10.05 + -9.95. Which is greater: -1.93 or u?
u
Let r = -0.2 + 3. Let v = 3.2 - r. Let q = v + -0.1. Which is smaller: q or 2/5?
q
Let d = 81.55 - -5.45. Does 0 = d?
False
Let o(l) = 9*l + 123. Let s be o(-17). Which is greater: -5 or s?
-5
Suppose 0 = -3*n - 5*s + 397, 19 - 148 = -n - 5*s. Which is greater: 132 or n?
n
Let w = -449 + 899/2. Is 145 at most w?
False
Let m = -23/9 + 152/63. Let d = 1 - 4. Let x = d + 8/3. Which is smaller: x or m?
x
Let a = 1014 - 26365/26. Suppose -4*i + 3 + 13 = 0. Suppose i + 0 = -4*c. Does c = a?
False
Let m be (4 - (-5 + -6 + 15))/(-1). Which is bigger: m or 4/529?
4/529
Let m be ((-1115)/(-20))/((-9)/(-4)). Let q = -25 + m. Suppose 3*d - 2*z = 3*z - 3, 3*d + 2*z = -3. Do q and d have the same value?
False
Let t(q) = q**3 + q**2 + 2*q - 1. Let b be t(-3). Let o = -4 - b. Let d = -26 + o. Does d = 2?
False
Let d = 16 + -16.1. Which is smaller: d or -46?
-46
Let q = -5621 - -528381/94. Let x = 2489/658 + q. Which is bigger: 5 or x?
5
Let n be ((-61688)/13)/(441/18). Let w = 155/49 - n. Let d = 197 - w. Is 0 > d?
False
Let v = -32 + 20. Let z be v/(-21) - (-20)/14. Is 10/11 greater than or equal to z?
False
Let o = 8 - -7. Suppose -5*v = u - o, -3*v + 26 = 4*u - 0*v. Let j be (-1)/u*20/12. Is 1/3 greater than or equal to j?
True
Let z be (3 + -1)/(-181*1). Suppose 1477*p - 1479*p = -2*y - 2, 5 = 5*p - 4*y. Which is greater: z or p?
p
Let c = -0.72 + -87.28. Let q = c - -88.054. Which is smaller: q or 2/7?
q
Suppose 2*q + 6*a = 4*a, 4*q = -3*a. Which is smaller: q or -2/597?
-2/597
Let x = 8.4 + -7. Let c = 2.4 - x. Is c greater than or equal to -4/5?
True
Let s = 23/21 + -3/7. Let a = -0.176 - -92.176. Let q = a - 59. Is q bigger than s?
True
Let f = 212 - 212. Does f = 2?
False
Let p = 2603 + -49475/19. Is 0 < p?
False
Suppose -6 + 0 = -v. Let y be (7 + -1)*v/(-18). Let l be -8*(-1 - y)/(-2). Is l > 3?
True
Let b = 15734 + -110140/7. Let p(f) = -f**3 + 3*f**2. Let u be p(3). Is b less than u?
True
Let l = -3435 - -3409.01. Let a = l - -26. Let s be ((-12)/105)/((-2)/5). Are a and s equal?
False
Suppose -235 = 5*b + 2*p + p, 4*p + 30 = -b. Let n = 13 - b. Which is smaller: n or 64?
n
Suppose 0 = -2*h - 3 - 15. Let m(l) = 2*l**3 - 28*l**2 - 36*l + 81. Let q be m(15). Does h = q?
True
Let z(c) = 4*c**3 + 4*c. Let r(t) = -3*t**3 - 3*t + 1. Let b(n) = -3*r(n) - 2*z(n). Let f be b(0). Let x = -11 + 7. Are f and x unequal?
True
Suppose h = -2*i - 3*i - 12, -4*h + 5*i + 27 = 0. Suppose -4*g = h*x - 3 - 6, -3*g = -5*x + 15. Let w be 4 + 1 - (1 + -5). Is w <= x?
False
Let o be ((1 - 2)*(-21)/161)/(-1). Which is bigger: o or 1?
1
Let o(k) = -k**2 + 6*k + 4. Let f be o(6). Suppose 0 = -y + d + 41, 0*d = -f*y - 2*d + 158. Suppose 0*x + 5*x + 4*i + y = 0, -10 = 5*x - 2*i. Is -4 at least x?
True
Let f = -48 + 86. Which is smaller: 39 or f?
f
Let u(s) = 10*s**2 - 44*s + 20. Let i(x) = -2*x**2 + 9*x - 4. Let r(c) = 11*i(c) + 2*u(c). Let d be r(5). Is -45 at least d?
False
Let k be (7 - 2)*3/3. Suppose 74 = k*j - p, -4*j - 7*p + 9*p + 58 = 0. Which is smaller: j or 44/3?
44/3
Let s be (-6)/(-15) - (-6)/10. Let u = 8.72 + -1.72. Which is smaller: s or u?
s
Suppose 9*s + 2*n - 38 = 5*s, -5*s - 4*n = -52. Let r be 10 + -2 + -4 - s. Suppose 2*v = j - 2, -4*v + 3*j - 7*j - 4 = 0. Is v >= r?
True
Suppose 5*j + 25 = -0*j. Let z(k) = 3*k - 3. Let d be z(j). Let t = d - -17. Is t smaller than 4?
True
Suppose 0 = o - 6*o - 40. Suppose 7*a + 2*p + 80 = 2*a, -2*p = 10. Let l = 5 + a. Is l less than o?
True
Let k = 483 - 488. Is k > -1/178?
False
Suppose 4*j = -j + 70. Let d(r) = -r**2 + 15*r - 14. Let i be d(j). Suppose i = q + 4*q. Is -1 < q?
True
Suppose -2*y + 2*h + 10 = 0, 0 = -4*y - 0*y + h + 23. Let m be -6*1*(-20)/30. Do y and m have the same value?
False
Let m(g) = 3*g**2 + 22*g - 14. Let n be m(-8). Which is smaller: 8/15 or n?
8/15
Let o = 2.03 - 2.03. Which is greater: o or -2?
o
Let z be 4 + -4*(-170)/(-220). Which is bigger: 0 or z?
z
Suppose -3*j = -2*z - 11, -15 = 4*z - 5*j + 12. Let f(t) = -t**3 - 14*t**2 - 14*t - 1. Let b be f(z). Let c be 25/3 + b/18. Is c < 10?
True
Let u(r) = -r**3 + 16*r**2 - 94*r + 18. Let b be u(6). Which is bigger: b or -188?
b
Suppose -v = 27 - 34. Is 5 greater than or equal to v?
False
Let f be 2*-5*5/(-50). Is f > 1/90?
True
Suppose -4*p - 14 = -3*l, 4*p - 10 = -30. Let c be 0 + (-4)/l - (-38)/(-16). Which is smaller: c or -1?
-1
Let n = 142 + -140. Which is bigger: n or 0.1?
n
Let v(a) = a**3 - 3*a**2 - 7*a + 3. Let z be v(5). Suppose z = -2*i - i. Suppose -176 = 8*h - 144. Which is bigger: i or h?
h
Suppose 2*k + 6 = 5*j - 0, -3*j - 4*k = 12. Suppose j = -2*i - 9 - 1. Let t = -8 + 5. Is t at least as big as i?
True
Let v = 47.5 - 22.9. Let z = v + 4.4. Let j = -31 + z. Which is smaller: j or 3?
j
Suppose 0 = 3*v - 4*v + 2. Suppose v*u + 3*l = 3*u + 9, 0 = 4*l. Let p(s) = 8*s**3 - s**2 - s. Let k be p(-1). Which is smaller: u or k?
u
Suppose 4*c + 2*h = 20, -h - 3*h + 28 = 4*c. Suppose -80 = -3*m - 0*s + 2*s, c*s - 84 = -4*m. Which is smaller: 25 or m?
m
Let y be (2*2/(-4))/(-3 - -2). Which is smaller: y or 9/16?
9/16
Let y be (16/(-4))/((-28)/2). Let s = 14177/273 - 20/273. Let z = -52 + s. Which is bigger: y or z?
y
Let s = 1269 + -39333/31. Is s >= 2/17?
True
Let w be 186/15 + (-4)/10. Suppose 28 = 4*z - w. Let s = z + -10. Are -4/15 and s equal?
False
Let h = -405 - -406. Do h and -1/714 have different values?
True
Let h = 37 + -19. Let u(f) = f**2 - 18*f - 40. Let y be u(h). Does -40 = y?
True
Let k = -1031/3 + 343. Suppose -5*m + 3 = -2. Let i = 0 - m. Which is bigger: i or k?
k
Let p(q) = q**3 - 3*q**2 + 4*q - 3. Let v be p(2). Let f = -36 - -30. Let x be ((-2)/f)/(4 + -5). Which is greater: v or x?
v
Let b be 1*6/12*164. Are 82 and b nonequal?
False
Let f(g) = -g**3 + 6*g**2 - 25. Let n be f(5). Is 2 greater than n?
True
Let q(l) = -l**3 + 7*l**2 - l + 10. Let t be q(7). Suppose -15 = 13*z - 18*z. Does z = t?
True
Let y(o) = 18*o + 292. Let l be y(-16). Which is bigger: -21 or l?
l
Let x be 1*(-4)/(2 + -4). Let m be (4 - x)*2/40. Let l = -1 + 2. Which is smaller: m or l?
m
Let h be (-2)/(-4) + (-3400)/6736. Is -1 > h?
False
Suppose -5*b + 0*b = 2*p - 2, -3*b + 24 = 5*p. Let v be 2/7 + p/(-315). Is v != -1?
True
Let f be 20/90 + (-4)/18. Suppose 0*u + 9*u + 18 = f. Which is bigger: 0 or u?
0
Let a be (-260)/66 + (-2)/2*-4. Let c = -1 + 5. Let q = c - 3. Is a bigger than q?
False
Let g = -3621/70 + 360/7. Which is smaller: 7 or g?
g
Suppose -5*c = 128*a - 127*a + 14, 2*a = -3*c - 7. Is -18/23 > c?
True
Let i(s) = -s**2 + s - 3. Let y be -12 - -19 - 1*3. Let d be i(y). Is -14 > d?
True
Let b = -34 + 254/7. Which is bigger: b or 3?
3
Suppose -4*w + 20 = -0. Let j(g) = -g**3 + 4*g**2 + 8*g - 5. Let q be j(w). Suppose 4*r