/(-9). Is c less than or equal to w?
True
Let p = -1582/9 + 176. Let a be (-3)/(-6) - 644/528. Let x = 1/33 - a. Which is greater: p or x?
x
Let u = -935.43 + 935. Which is greater: u or 0.02?
0.02
Suppose 0 = 4*s - 3*o - 14, 28 = 2*s + o + 6. Let x = 2 + -2.2. Is s greater than x?
True
Let w = -95 - -101. Is -12 equal to w?
False
Let k(m) = -8*m**2 + m - 35. Let y be -8 + -5 + 0 + 2. Let o(j) = -3*j**2 - 12. Let p(i) = y*o(i) + 4*k(i). Let b be p(-6). Is 5 bigger than b?
True
Let m be (-1 + -2)/(1 + 1)*680. Let z be 3/(-9) + m/18 - -4. Which is greater: z or -51?
-51
Let i be 0*(35/(-15))/7. Suppose 28*v - 5*v = i. Let c = 10991/13 + -845. Is v != c?
True
Let q(l) = -162*l - 61. Let a be q(-1). Are 101 and a equal?
True
Let r be (-81)/(-18) - (-1)/(-2). Suppose 0*s + 47 = -5*o - r*s, -3*o - 2*s - 27 = 0. Let z be 3 + (0 - -3) + -13. Is o > z?
False
Let z = 518 + -518. Which is greater: z or 2/157?
2/157
Suppose 134 = 6*j + 122. Let s = -20/11 - -1169/649. Let i = -175/118 + s. Which is smaller: j or i?
i
Let m be 2/10 - (-14)/30. Suppose 0 = 2*w + 3*x - 8 + 1, -2*w - 2*x + 6 = 0. Suppose 4*u = -3*b - w*b - 24, 2*u = -2*b - 12. Is u != m?
True
Let v be 536/12*(-27)/(-108). Is v bigger than 1/4?
True
Let i = 2.002 - -184.998. Which is greater: -0.4 or i?
i
Let n be ((-6)/138)/(5 - 0). Let j be 0 - 343/(-230) - -1. Let b = n - j. Is -3 < b?
True
Let f = -0.27 - 0.03. Let x = f + 0.5. Let g = -122 - -612/5. Are g and x non-equal?
True
Let k = 21809311/1015 + -21487. Is 0 at least k?
False
Let b = -10.1 - -63.1. Let v = b - 54. Are v and -36/5 nonequal?
True
Let v = 9 + 7. Let z = -14 + v. Let u = z - 2.4. Which is smaller: u or 1/3?
u
Let g be 3/(-2*1/2). Let k = g - 9. Let s = k + 16. Which is smaller: s or 0?
0
Suppose -6*z = -116 + 2. Is z >= 16?
True
Let k be 0*2*2/4. Let s(p) = -p**2 + 13*p - 7. Let m be s(-13). Let x = 8627/25 + m. Is x greater than k?
True
Let q(z) be the first derivative of 15*z**2/2 + z + 12. Let a be q(1). Which is greater: a or 14?
a
Let a be 4/16*-2*-6 - 0. Suppose 2*n - a*w = 54, 0*n = -5*n + 4*w + 149. Are 31 and n equal?
False
Let x be (-3)/(-12)*23*-4. Let y = 32 + x. Let l be (-1)/3 + (-6)/y. Which is smaller: l or 1/7?
l
Let r(q) = -9*q**3 + q**2. Let u be r(-1). Let m = -8 + u. Suppose m*l - 6 = 0, 4*l - 5 = -2*d + l. Is -2 != d?
False
Let t = -16464/37 + 445. Let c be 8 - (-9 - (-3 - 13)). Which is bigger: c or t?
c
Let c = 73226/7845 + -2/2615. Suppose -3*p = 2*w - 24, 3*w - 2*p + 22 = 5*w. Are w and c nonequal?
True
Let r be (-8)/12*6/4. Let f be -4 + (4 - r/(-22)). Which is smaller: f or -2/5?
-2/5
Suppose 40 = 3*f + 28. Let m be 1/((-2)/(-26)*1). Let l = m - 8. Is f greater than l?
False
Let s be 2889/(-1989)*(-62)/30 - 3. Which is smaller: s or 0?
0
Let p = 0.825 + -6.825. Which is greater: 4/19 or p?
4/19
Let l(b) = -b + 2. Suppose -8*p = -5 + 69. Let k be l(p). Is 11 not equal to k?
True
Let i be 2/(99/96 - 1). Suppose 6*l - 2*l = i. Let x(w) = -w**2 + 17*w - 13. Let p be x(l). Which is smaller: p or 4?
p
Let t be -139 + 138 - (-178)/184. Is t > 1?
False
Let a = -328 - -327.8. Is -1.44 greater than a?
False
Let h be 56/12 - (-4)/(-6). Suppose -2*m = 2*k, -4*m + h*k - 7 = -23. Suppose 0 = m*r - 4*r. Does 0 = r?
True
Let q(k) = k**3 - 40*k**2 + 7*k - 311. Let s be q(40). Which is greater: -34 or s?
s
Let j be 231/(-44)*128/(-6). Let q = j + -113. Is q < 2/51?
True
Suppose 13*w - 7 = 6. Which is smaller: w or -6/139?
-6/139
Let t = -10 - -11. Let p be (-6)/(-15)*(-86 + t). Let w be p/(-6) - (-14)/(-21). Is 4 > w?
False
Let y(z) = 12*z + 18. Let j be y(7). Is j smaller than 101?
False
Let a = -9/26 + 75/104. Suppose 2*p - p + 20 = 0. Let z = p - -21. Is a greater than z?
False
Let u be 2 + (-4)/((-736)/62). Let o = -44/23 - u. Let d = -322 - -318. Which is greater: d or o?
d
Let a(c) = 2*c**2 + 4*c + 13. Let b be a(-6). Let i = 66 - b. Which is greater: 23/4 or i?
23/4
Let s = 153 - 155. Which is smaller: -24/13 or s?
s
Let t be ((-2)/(-4))/((-3)/6). Which is smaller: t or 8/185?
t
Let q = -50 + 24. Let w be 4/(-14) + q/(-42). Which is greater: w or -1/6?
w
Suppose 5*t + 18 - 2 = -4*b, -3*b - 4*t - 12 = 0. Let s be (-4)/16 - ((-107)/b - 3). Are s and -25 non-equal?
True
Let o = 106 - 98. Let c be (2/o - 51/12)/(-2). Is c smaller than 3?
True
Let q = -380.89 - -383. Let r = 0.16 - 0.05. Let f = r - q. Is 1/6 > f?
True
Let h = -62.8 + 62.8708. Are 0 and h non-equal?
True
Let g(t) = 2*t**2 - 5*t - 3. Let p be g(7). Suppose 0*h = 3*h - p. Suppose 0*q = -5*q + h. Which is bigger: q or 2?
q
Let g(y) = y**2 - 13*y + 4. Let u be g(7). Which is smaller: u or -77/2?
-77/2
Let l(u) = 2*u**2 - 130*u - 218. Let z be l(65). Which is bigger: -215 or z?
-215
Let x(u) = 6*u**2 + 2*u - 2. Let a be x(1). Suppose -3*z - 12 = z. Let j = 2 - z. Is j at least as big as a?
False
Let t = 41/14 - -607/462. Let a = t - 79/99. Let v = -430/117 + a. Is 1 at most v?
False
Let b be 108561/(-335790) + (-3)/15*-2. Let d = 11/182 - b. Which is smaller: d or 0?
d
Let o = 197 - 198. Is o at least as big as 4/69?
False
Let f be (-110)/((0 - -1)*(-15 - -18)). Which is smaller: -36 or f?
f
Suppose 0 = -4*v - 20, -4*a - v = 4*v + 9. Let p = 418/119 + -16/17. Which is bigger: p or a?
a
Let f = -179 - -387. Which is bigger: f or 206?
f
Let f be 4/14 + (-16)/56. Suppose 3 = 5*t + h, -3*t + h - 1 - 2 = f. Which is bigger: t or -1/16?
t
Let i be (-2320)/(-130) + -18 - (-57)/13. Is i less than or equal to 4?
False
Let h(s) = s**3 - 3*s**2 + s - 4. Let i be h(3). Suppose 2*w - 6*w = 16. Let m be (-1)/(-2) - (-1)/w. Which is greater: m or i?
m
Suppose 3 = 3*k - 6*k. Let v(y) = -4*y. Let x be v(k). Let l be x/(-6)*21/(-308). Is 1 smaller than l?
False
Suppose -4*f + 34 = -m, -f - 20 = -3*f + 2*m. Suppose f*v = 3*v. Let g = -6 + v. Which is smaller: g or -5?
g
Let s(l) be the first derivative of -l**3/6 + 5*l**2 - 5*l - 3. Let v(p) be the first derivative of s(p). Let u be v(9). Is -1 > u?
False
Let f = -10017718 + 550861138/55. Let t = -2061 - f. Which is bigger: 1 or t?
1
Suppose 7*f - 4*f = -3. Which is greater: f or -7?
f
Let q be 196/(-91) - ((-22)/26 - -1). Suppose 19 = -3*v + 7, 4*n - v + 4 = 0. Which is smaller: q or n?
q
Suppose 0 = i + 2*o + 5, -i - 5*o - 9 = -1. Is -11/4 equal to i?
False
Let p = -2/3 - 5/24. Let z(o) = -o - 3. Let s be z(-3). Which is bigger: p or s?
s
Suppose 100 = -w - 3*w. Let r = 22 + w. Let s be (1/r)/((-9)/24). Is s <= 2?
True
Suppose -5*m - 4 = 1. Let w be -19 + -2 + 1 + m. Which is greater: -22 or w?
w
Let r be (0/(-4))/(4/(-2)). Suppose r = -p - 0*p + 23. Let c = -20 + p. Is 3 at least as big as c?
True
Let k be -1*(-2)/4*4. Let i be k + (-3 - -2) + -10. Let w(b) = -12*b**2 - 28*b - 27. Let x be w(-1). Is i equal to x?
False
Let a = 42 - 50. Let t = -7.77 - a. Which is bigger: t or -1?
t
Let w = -144 + 153. Which is bigger: 101/13 or w?
w
Suppose -4*q = 3*n + 19, 9*n + 25 = 4*n. Are 7/30 and q unequal?
True
Let n = -7 - -12. Let k(m) = -504*m**2 + 507*m**2 + 5*m**3 + 6*m - 6*m**3 + 7. Let b be k(n). Is b less than or equal to -12?
True
Let q(i) = -i**2 - 2*i + 26. Let y be q(0). Suppose y*a + 16 = 28*a. Which is smaller: a or -4?
-4
Suppose 4*q = 2*x - 7*x - 2, -2*x - 10 = -3*q. Let d be (-12)/(-8) - 3/x. Suppose 0 = -5*l - u + 16, -5*l - u = -d*u - 13. Which is greater: l or 4?
4
Let t = -2 + -7. Let v(x) = x + 12. Let u be v(t). Let s be ((-6)/28)/(u/4). Is s <= 2?
True
Suppose 3*k + 14 = 50. Let f be (-5 - k/(-4))*-2. Let a be (-4 + f)*2/(-4). Which is smaller: a or 1/3?
a
Suppose -h = -5*h - 148. Suppose -3*r = 4*p + 129, 3*p - 3*r = -0*p - 102. Let o = h - p. Which is smaller: o or -3?
o
Let r = 2 + -3. Let v = 6 + r. Let y be (-4 + v)*(-1)/18. Is 1 greater than or equal to y?
True
Let y = -179 - -898/5. Let b(a) be the third derivative of -a**4/24 + 5*a**2. Let t be b(-2). Which is bigger: t or y?
t
Let q = -30 + 91. Is q bigger than 59?
True
Suppose 0*u + 5*j = -5*u + 160, 23 = u - 2*j. Suppose 24*z = u*z + 240. Which is smaller: z or -47?
z
Suppose -3*x = x - 28. Suppose x*v = 5*v + 2. Suppose -5*t - 2*o + 22 = 1, -o + 13 = 3*t. Which is bigger: v or t?
t
Let f = 19.8 - 20. Which is greater: 4/9 or f?
4/9
Let i = -11 - -38. Which is smaller: -2/3 or i?
-2/3
Let v = 0.06 - 6.06. Let s(b) = b**3 - 2*b**2 - 3