 t = -13/81 + -641/1053. Suppose u + n + 7 = 3*n, 3*u + 5*n - 12 = 0. Is u less than or equal to t?
True
Let u be (-5 - (-1064)/245) + (-7)/35. Is u at most -2/31?
True
Let r be (-114)/(-9)*(4 - 116/8). Is r not equal to -132?
True
Let h = -11 + 5. Let i = 8 + h. Suppose 0 = o - 5*g - 16, i*o + 4*g = 3*o - 11. Which is smaller: -10 or o?
-10
Let h be (-100)/(-10)*(-4)/(-10). Let u be (h - -2)*1/3. Let f be (2/6)/(u/(-6)). Do -1 and f have the same value?
True
Let p(q) = 4*q + 79. Let y be p(-21). Let c be ((-80)/(-64))/(y/(-2)). Which is smaller: c or 15?
c
Let i be (-25 + 23)*1/(-2). Let g be (11/(-3))/(12/(-36)). Let o be 2/((2/g)/1). Which is bigger: o or i?
o
Let t be 74*((-12)/3 - (-206)/52). Which is smaller: t or -3?
-3
Let h be (-2)/6 - (-116)/6. Suppose -5 = -2*j + h. Let s(z) = z**2 - 362*z + 2843. Let q be s(8). Is j <= q?
False
Suppose 29*v - 498 = -4210. Is -127 greater than v?
True
Suppose 0 = t - 5*t + 20. Suppose 4 = t*m + p - 5, -4*p = -5*m + 14. Suppose m*w - 6 = w - 2*s, -3*s + 8 = 2*w. Which is greater: w or 0.4?
0.4
Let d = 2.4 + -2.08. Let h = 0.52 - d. Which is bigger: 6 or h?
6
Let j(q) = q**2 + 5. Suppose -3*u = -8*u + 2*c + 21, -4*c - 3 = 3*u. Let b be j(u). Suppose -4*p - b = -2*p. Which is greater: p or 2?
2
Suppose -8*s - 6*s + 448 = 0. Do s and 35 have the same value?
False
Let j = -75 - -159. Suppose -2*b + 4*f = 44, 0 = b + 4*b + 3*f + j. Let d = b - -10. Which is greater: -1 or d?
-1
Let c = 0.07 - -4.53. Let o = c - 6.2. Is 1 less than or equal to o?
False
Suppose a = -2*k - 26 + 135, -5*a - 197 = -4*k. Which is smaller: k or 2?
2
Let v = 145 + -101. Let o be (-5)/4 - (-11)/v. Which is smaller: -1/36 or o?
o
Let q = 308 - 286. Let m = 22.7 - 0.6. Let l = m - q. Which is smaller: -0.1 or l?
-0.1
Let v = 49.01 - 44. Let g = v + -0.01. Let n = g - 5.2. Which is smaller: n or 2/11?
n
Let x(b) = 2*b - 344*b**2 + 339*b**2 - 11 - b. Let r be x(-3). Are -61 and r non-equal?
True
Let s = 0 + -3. Let d(k) = k + 2. Let p be d(s). Let t = 353 - 12357/35. Which is smaller: t or p?
p
Let f = 112 + -120. Which is bigger: f or -1/40?
-1/40
Suppose -j - 4*j - 45 = 0. Let r be (-3 + 2)/(3/(-36)). Let a = r - 21. Is a less than j?
False
Let v(u) = u. Let o(z) = -12*z**2 + 2*z - 1. Let j(d) = -o(d) + 4*v(d). Let a be j(-1). Which is smaller: a or 5?
5
Let v(p) be the third derivative of 1/3*p**3 + 0 + 0*p + 1/24*p**4 + 8*p**2 - 1/120*p**6 - 1/60*p**5. Let c be v(0). Which is smaller: 8/9 or c?
8/9
Let c be (7/21)/((-2)/(-78)). Are 11 and c non-equal?
True
Let t be (-4)/(-2) + 195/(-93). Let h = 40/93 + t. Suppose 6 = 5*s + s. Is h greater than or equal to s?
False
Let s = 771.966 - 772. Which is bigger: -2 or s?
s
Suppose 0 = -f - 4*n - 34, 5*f + 213 + 8 = -3*n. Suppose 30*v = -16*v - 2162. Which is greater: f or v?
f
Suppose -17*b - 1046 = -6095. Is b smaller than 297?
False
Let k be (-6)/(-63)*150 + 24/(-84). Is 9 less than k?
True
Let w be 18/21 + 108/70. Let v = -5 - -7. Is v at most as big as w?
True
Let j(q) = -5*q**2 - 44*q + 11. Let g be j(-7). Which is greater: 76 or g?
76
Let x = -0.1844 - -0.1844. Which is smaller: x or 1.07?
x
Let s = 415 - 409. Which is smaller: s or 11/2?
11/2
Let t be (-6 + 0)/(-2 - 135/(-65)). Let k be t/9 - (-1 - (3 - 7)). Which is bigger: k or -11?
-11
Let u = -1.7 - -1.84. Let w = -8.86 - u. Let b = w + 8. Which is bigger: b or -10?
b
Let n(i) = -i**3 + 2*i**2 + 2*i + 3. Let m be n(3). Let f(w) = -4*w + 68. Let d be f(7). Suppose m = 6*o - 2*o - d. Is o at most 10?
True
Suppose 0 = -y + 3*h + 2*h - 28, -5*y = 4*h - 5. Let n be (2 - y/(-2))*0. Let p = -11/5 + 69/20. Which is bigger: n or p?
p
Let k be 39/(-91) - 507/189. Let q be (-48)/15 - 2/(-10). Is q at most k?
False
Let j = 11.899 + 0.201. Let a = j + -12. Let p be 2/(-7)*28/(-20). Which is greater: p or a?
p
Let l = 9.65 - 10.09. Is l less than 0.4?
True
Let k = -48 + 50. Suppose 4*d + 4*c + 104 = -56, 0 = k*c + 2. Is -39 less than or equal to d?
True
Let c = 78 + -98. Let p be -2 - (136/c + 4). Is p at most as big as 0?
False
Let n be -4*(-9)/(-12)*(-77)/(-22). Which is smaller: 5/8 or n?
n
Let g = 1955 - 2059. Is g less than -104?
False
Let c = -65 + 77. Suppose 4*y + 5*v - c = 0, -5*y - 4*v + 6 = -18. Which is smaller: y or 10?
y
Let k(t) = -t**2 - 2*t - 1. Let o be k(-2). Let n = -896 + 11654/13. Which is bigger: o or n?
n
Suppose 2*m + 3*o + 1 = -150, -4*m + o = 295. Is m greater than or equal to -75?
True
Let i = -7 - -4. Let p = i - -2. Suppose -4*t + 22 = -3*l - 5, 0 = -4*l - 20. Which is smaller: p or t?
p
Let b = 1 - 5. Let j be b - (4 + -7 + 4). Let s = j - -17. Is 12 > s?
False
Let u be (-1)/(-1)*(4 - 1). Let j be (2 + 0)/((-12)/u). Is -1 greater than j?
False
Let w be 59 + 1 + (-3 - -3). Suppose 4*q - w = -4*l, -4*l - 14 - 6 = -q. Is q at least 15?
True
Suppose z = 3*z - 3*s - 9, 4*z + 32 = -4*s. Let n be ((-6)/(-3 - -9))/(29/z). Which is smaller: 0 or n?
0
Let o = -4/45 + -26/45. Let a = 2.1 + -5.9. Let l = 4 + a. Is o not equal to l?
True
Suppose 4*y = h + 185, -2*y + 3*h = -41 - 64. Which is bigger: y or 43?
y
Let v be ((-2)/(-30))/(61/(-549)). Is v >= 3?
False
Let o = -223 + 394. Let v be (-3)/(-4)*(-24)/o. Is -0.2 >= v?
False
Let p = 98183/73 + -1345. Suppose -17*x = -19*x + 22. Suppose -12*g = -x*g. Which is smaller: g or p?
p
Let x be (12/9)/(7/90). Which is bigger: x or 16?
x
Let i = 2 - 1. Let r be -3 - -2*(-38)/(-28). Are r and i equal?
False
Let z = 3963 + -1287976/325. Which is smaller: z or 1?
z
Let v = -0.3 + -9.7. Let d = v + 14. Let u = -3.97 + d. Is 1 bigger than u?
True
Let u = -889/3 + 294. Let x = -3 - 4. Let l = -9 - x. Which is greater: l or u?
l
Let w(u) = u**2 + 7*u + 791. Let d be w(0). Which is smaller: d or -1?
-1
Let a = -7.6 + 8. Let u = 0.6 + a. Let q = -0.13 - 0.27. Is q >= u?
False
Let n(c) = c**3 - 14*c**2 - 14*c + 40. Let h be n(15). Is 54 less than or equal to h?
True
Let w = -615633 - -57870297/94. Let u be (-8*(-3)/1410)/((-4)/10). Let x = u - w. Which is smaller: -10 or x?
-10
Let y = -2849 + 2821. Which is smaller: -15 or y?
y
Let y = 152 - 117. Suppose y + 129 = 4*b. Which is greater: 42 or b?
42
Suppose 2*u = 3*r + 5, 2 + 5 = -2*r + 5*u. Let z(s) = -s**2 + 44*s + 962. Let g be z(60). Which is greater: g or r?
g
Let s be (-202)/(-5)*(-11 + 6). Let u = 599/3 + s. Which is bigger: u or -3?
u
Suppose 2*z = 4 + 6. Let i be 2/z - 48/(-30). Suppose 2 = 6*m - m - u, -i*m + 8 = 2*u. Which is smaller: 2/15 or m?
2/15
Suppose 5*w - 5 = 4*r - 7*r, -4*r = 4*w - 12. Let c(s) be the second derivative of -s**3/6 - 9*s**2/2 - s. Let b be c(-8). Which is smaller: b or w?
w
Let v be 3 - (225/57 + -1). Let l = -7 - -9. Suppose -l*j = j. Is v greater than j?
True
Suppose 5*o - 5*y + 2*y - 52 = 0, -3*o + 3*y + 30 = 0. Let n = -14 + o. Let a be (-64)/(-30) + 1 + n. Does 1 = a?
False
Suppose 4*z = -5*t - 515, -2*t + 721 = -5*z + 102. Let n = z - -627/5. Which is greater: -3 or n?
n
Suppose -13*z - 770 = 504. Is -100 less than z?
True
Let v be (-10)/4 - (-3)/6. Let d(b) = b**3 + 9*b**2 + 15*b + 5. Let n be d(-7). Let y be v*(2 - n/(-4)). Is -8/5 at most as big as y?
False
Let n be 2/1 + -3 + 13. Suppose -4*o = -n, -26 = -5*p - o - o. Suppose 0 = -2*k + p*k. Is k >= 0?
True
Let h be 2/6 - 1/3. Suppose 10 + 82 = 23*o. Which is smaller: o or h?
h
Let b = 178768/81 + -2207. Which is bigger: -1 or b?
b
Let o(f) = -2*f**2 + 9*f + 8. Let u be o(6). Let y be (-3)/u*((-48)/(-9))/8. Which is greater: y or 24?
24
Let t(h) = -h**3 - h**2 - h + 1. Let p be t(-2). Suppose -5*j + 13 = -32. Is p equal to j?
False
Suppose 0 = 3*z + 5*w + 26, 2*z + 4*w - 7 = -27. Let f be ((-20)/3)/((-7)/(-3)). Which is greater: z or f?
z
Suppose -2*x = 3*r - 0*r - 17, -3*r = 5*x - 29. Suppose -r*d = -9*d. Which is bigger: 1 or d?
1
Let q = -67 + 112. Let s = q - 44.7. Which is bigger: 4/19 or s?
s
Suppose -3*v - 10 = -2*x + 1, -v + 3*x + 1 = 0. Let k be (v + 4)/(3/3 + -2). Let a = -0.34 + 0.04. Do a and k have the same value?
False
Let k = 10 - 13. Let j = 0 - k. Suppose 3*b + 6 = -0*b. Does b = j?
False
Let n = -11 - 4. Let c be (31/(-93))/((-2)/12). Which is greater: c or n?
c
Let b = 341 - 299. Which is greater: b or 2/13?
b
Let n(u) be the second derivative of -u - 2/3*u**4 + 1/20*u**5 + 4/3*u**3 + 0 + u**2. Let k be n(7). Is 10 not eq