 p = 16826/85 + k. Is p at least as big as -1?
True
Let c be 6/12 + 5/((-30)/(-9)). Is c at most as big as 16/15?
False
Suppose 4*c = 41*c + 1406. Which is smaller: -272/7 or c?
-272/7
Suppose -5*l + 2*n = 42, -l - 2*n - n = 5. Let o be (-2)/l - (-18)/24. Let x = 35/24 + -13/12. Is x bigger than o?
False
Let q = 194 + -197. Is -20 greater than q?
False
Suppose -9 = -4*o + 7. Suppose -o*k - 2*p + 30 = 0, -k + p + 18 = -2*p. Let x = k - 13. Which is bigger: 0.2 or x?
0.2
Let b(k) = k - 46. Let q be b(0). Let l = q + 40. Which is smaller: l or -16/3?
l
Suppose -4*x + 20 = 0, -2*z - 35 = -7*z + x. Which is smaller: 48/7 or z?
48/7
Let q = -21 - -29. Let x(l) = l - 9. Let h be x(q). Is h greater than or equal to 1?
False
Let j = -55.906 + -0.094. Let c = j - -54. Which is bigger: -4 or c?
c
Suppose -129*i = -128*i + 170. Is -169 < i?
False
Let n = -112/11 + 479/33. Which is smaller: 3 or n?
3
Let x = -123725949/38 - -3255764. Let w = -182 - x. Is 0 >= w?
False
Let a be -8 + 84 + (-4 - 3). Which is smaller: 67 or a?
67
Let a = 57 - 55. Which is greater: a or 12/11?
a
Let j = 3135/4 - 784. Which is greater: -626 or j?
j
Suppose 11 = x - 4*x - l, -5*x - 2*l - 18 = 0. Suppose 3*q - 85 = 8*q. Let b = q + 12. Is b > x?
False
Let o be (59 + -3 + -2)*1/2. Is o smaller than 128/5?
False
Let l be (-2601)/(-37128) + (-3)/24. Is -1 greater than or equal to l?
False
Let j be ((-390)/(-12))/(-1 - (-86)/84). Let z be (-574)/j + (-4)/(-26). Which is greater: -3 or z?
z
Let t = -10 - -10.13. Let z = 0.18 + t. Which is smaller: 0.2 or z?
0.2
Let n = 37 + -34. Suppose n*j - 21 = 5*w, 2*j + 6*w - 14 = 3*w. Which is greater: 1 or j?
j
Let v be (4/6)/((-24)/(-63)). Let u = 3384 - 3382. Is u smaller than v?
False
Let d be ((-1)/2 + 0)/(41/(-4592)). Which is bigger: d or 58?
58
Let b = 2797/10 + -280. Let z = -645.7 + 646. Which is bigger: z or b?
z
Let c(d) = -2*d**2 - 86*d - 85. Let o be c(-1). Let i(t) be the first derivative of t**2/2 - 4*t - 1. Let p be i(-4). Is p at most as big as o?
True
Let c = 21 + -6. Let u = -135 - -121. Let w = u + c. Is 1 at most as big as w?
True
Let t be (2 - 1)/(5*(-3)/15). Is t less than 3/29?
True
Let k(u) = -11*u**2 - 13*u + 4. Let a be k(-4). Let p be (-64)/a + (-1)/3. Which is bigger: -1 or p?
p
Let y = 615 - 614.8. Which is greater: y or 23?
23
Suppose -18*b = 3*b + 42. Which is smaller: b or 9?
b
Let b = 0.1 + 0. Suppose 10*q = -50 - 40. Let o = q + 0. Is o greater than or equal to b?
False
Let x = 1210 + -1130. Which is bigger: x or 4/5?
x
Let r(q) = q**3 + 7*q**2 - 3*q - 21. Let u be r(-7). Which is greater: -8.3 or u?
u
Let v = 26 - 11. Let n = 16 - v. Which is bigger: -2/97 or n?
n
Let h = -2.0046 + 0.0046. Which is smaller: -0.16 or h?
h
Let k be 3/(-6) - (-15)/(-2). Suppose 9*i - 77 = 16*i. Let h = k - i. Which is greater: 5/3 or h?
h
Let u = -122 + 67. Let s = u - -274/5. Is s at least -5/9?
True
Suppose -17 = -4*d + 31. Suppose -2*t - d = -2*r, 4*r + r = -t. Is -2 greater than r?
False
Let y = 2384 - 2381. Let j be 1/2 + (-13)/(-6). Is y < j?
False
Suppose -2*m = 4*u - 80, 4*u - 34 = 3*m + 36. Is 19 bigger than u?
False
Let b be 3 - (-92)/20 - 50/(-125). Is -28 <= b?
True
Suppose -6*n + 5 = -n. Let r be (-6453)/(-100) - 4/20. Let v = 257/4 - r. Is n less than v?
False
Suppose -2*y + 3 = 5*f + 1, -3*f - 6 = 0. Let v(x) = -x**3 + 6*x**2 + 2*x + 2. Let a be v(y). Let g be ((-22)/55)/(a/10). Which is greater: g or -0.1?
-0.1
Let u = -6953/6 + 1165. Is 5 greater than u?
False
Let d = -8 - -12. Let y be 36/20 + d/(-2). Let r = 62 - 64. Is y equal to r?
False
Let w(c) = -2*c + 6 - 4*c + 7*c. Let j be w(-6). Let l be (-1)/4 - (235/(-28))/5. Do j and l have different values?
True
Let s be (-2)/7 - 0/1. Let x be (14 + 27/18*-4)*(-2)/(-4). Are x and s unequal?
True
Let g = -331/18 + 37/2. Let a be ((10/(-15))/(14/6))/(182/(-1274)). Is g smaller than a?
True
Let z(r) = -r**3 - 4*r**2 - 15*r - 2. Let n be z(-5). Is n at most as big as 96?
False
Let l = -6.2 + 6. Let n = 3.5 - 4. Let h = 0.8 + n. Which is smaller: l or h?
l
Let q be 0/(5/((-15)/(-6))). Let d = -2.489 - -2.441. Which is smaller: d or q?
d
Let x be -10*(15/6 + -3). Let g(i) = i**2 - 10*i**2 + 2*i**3 + 6*i**2. Let q be g(2). Is x >= q?
True
Let y = -0.431 - -0.031. Does 23 = y?
False
Let d = 23111/5 + -243816/55. Let i = d + -189. Which is smaller: i or 1?
i
Let s = 1316 - 22380/17. Which is bigger: -1 or s?
s
Let t = 3514 - 3505. Let l = 0.1 + 0. Is t > l?
True
Let j be (-1 + -29)*7/14. Which is smaller: j or -5?
j
Let a = 5804.739 - 5796. Let o = 0.161 + a. Let z = 9 - o. Which is smaller: z or -3?
-3
Let d = 61 - 90. Let w = d + 32. Suppose u = 5*k + 2, w*k + 3*u + u - 8 = 0. Which is bigger: -3/23 or k?
k
Let r = 0.077 + 0.099. Which is smaller: r or 0?
0
Let g(n) = -n**2 - 2*n - 1. Suppose -5*m - 18 = 3*a - 6*a, -4*a - 3*m - 5 = 0. Suppose 6*i + a = -5. Let v be g(i). Which is smaller: v or -2/13?
-2/13
Let x = -15 - -27. Let u = -7 + x. Let n = 7 - u. Is -1/5 less than n?
True
Let q(x) = -x + 10. Let l be q(-9). Suppose -4*s = 9 + l. Suppose 0 = 3*z + 2*z + 35. Is s equal to z?
True
Let b = -1 - -1. Let z = -3078 + 224696/73. Which is bigger: b or z?
z
Let z = 165 + -147. Let v(u) = u**2 - 8*u + 11. Let y be v(8). Suppose -5*p - 2*d = -4*d - y, -5*d - z = -3*p. Which is greater: p or 3?
3
Let o be (-9)/(-9) - (-675 - 0). Let s be ((-6)/(-4) - 0)*o/78. Is 12 at most as big as s?
True
Let y(u) = -u**3 - 7*u**2 + 1. Let v be y(-7). Let z be (-1)/(v/2*(-2)/(-1)). Which is smaller: -1/4 or z?
z
Suppose -m + 2*k + 2*k + 16 = 0, 3*m = -k + 9. Suppose -3*f - m + 1 = 0. Let h be (4 - 5)/(2*f). Which is smaller: 4/13 or h?
4/13
Let b(o) be the third derivative of -o**6/120 + o**5/4 - 13*o**4/24 + o**3/2 + 8*o**2. Let y be b(14). Let s = -9 + y. Which is greater: 22/3 or s?
s
Let u(i) = -i + 24. Let v be u(24). Let p be (-2*2)/((-10026)/9). Is v != p?
True
Suppose 20*p = -5*p + 350. Which is smaller: 9 or p?
9
Let n be (6/(-9684))/(5/(-15)). Which is smaller: n or 0?
0
Let d be 0/((1 + 3)*(-12)/(-24)). Let z = -3 + -1. Let c be ((-3)/(-6))/((-26)/z). Which is greater: d or c?
c
Suppose -2*l - 33 - 75 = 0. Let z be ((-4)/12)/(3/l). Let s = 0.014 - 1.014. Which is greater: z or s?
z
Let g be 660/(-1771) + (-4)/(-46). Which is bigger: 76 or g?
76
Let k = -7 + 11. Suppose -63 = -3*x + 2*r - 16, -3*r = -k*x + 64. Suppose -u - 4*u + 70 = 0. Is u >= x?
True
Let c = 112880/37 + -3051. Is c > -1?
True
Let l(s) = -9*s - 5. Let z(h) = 4*h + 3. Let t(c) = -2*l(c) - 5*z(c). Let i be t(9). Are i and -23 non-equal?
False
Let s(c) = c**2 + 28*c + 136. Let j be s(-7). Which is smaller: j or -19?
-19
Let t = 2.5 + 0. Let o = 3.3 - t. Which is smaller: 0 or o?
0
Let h = -196/5 + 39. Let v = h + 3/5. Which is bigger: v or 0?
v
Let j be (-1)/((0 - -1)/(-3)). Suppose -3*k - 2*q = 2, q + 2*q = -5*k - j. Suppose -5*o + 0 - 5 = k, 3*o - 9 = -4*d. Is 4 >= d?
True
Let k(q) = q - 4. Let o be k(4). Suppose -6*c + 11*c - 25 = o. Let n be 5/(-30)*(-4)/c. Which is greater: n or 0.1?
n
Let r = 803/104 + 21/52. Which is smaller: 8 or r?
8
Let k = 0.535 - 0.135. Let u = -28 - -27. Which is smaller: k or u?
u
Suppose -2*n = 5*o, 0 = -o + 6*o + 3*n + 5. Let b be o + -4 + 4 + 1. Are 18/5 and b unequal?
True
Let t = -18 + 12. Let o = -9 + 6. Let u be 2/o*39/4. Which is smaller: t or u?
u
Suppose 52 = -4*n + 12. Let o = n + 3. Is 1 greater than or equal to o?
True
Let i = -521 + 520. Which is smaller: -2/1163 or i?
i
Let f = -157/4 + 39. Let a be 20*((-34)/(-8) + -4). Suppose 0*i = -a*i - 5. Which is bigger: i or f?
f
Let x be 1/5 + (-1)/3. Let m = x - 23/15. Suppose -2*v - 2 = 5*t - 0*t, 0 = 2*t + 3*v - 8. Which is bigger: t or m?
m
Let o be 2/8 - (5 + (-57)/12). Let s be (-1)/(2 - (-3 - -4)). Do s and o have different values?
True
Let i(k) be the third derivative of k**5/10 + k**4/24 + k**3/6 - 5*k**2. Let t be i(-1). Let f = 3 + t. Is f equal to 8?
False
Let q = -0.041 + 8.001. Let p = q + 0.04. Which is smaller: 1 or p?
1
Suppose -2*s = 4*y - 181636, 3*y - 90810 = y + 3*s. Let x be (-116)/y*422 - -1. Let f = 3/172 + x. Which is greater: f or -1?
f
Suppose 0 = -3*t + 3*q + 27, -2*q + 3*q = 2*t - 14. Suppose 5*d - 3*d = k + 10, 7 = -k + t*d. Let o be (-16)/88 - 36/(-77). Which is bigger: k or o?
o
Let s = 493 +