 Is n equal to z?
False
Let u = 166 - 162. Let l be (-5)/2*10/(-50). Is u smaller than l?
False
Suppose -4*o - 8 = 8. Let m(u) = -u**2 - 4*u + 3. Let c be m(o). Let w be (5 - -10)/(c/2). Is 10 bigger than w?
False
Let s be (-156)/42 - (-5 - -1)*1. Which is greater: s or -29?
s
Let g = 0.436 + -21.336. Let v = -39 - g. Let j = v - -18. Is -11 smaller than j?
True
Suppose -4*u + 2*p + 25 + 17 = 0, -2*u - 3*p + 41 = 0. Let o be 5*(-1 + 32/20). Suppose o*y + 3*y - 72 = 0. Is u at least y?
True
Let h = 3.83 - -0.17. Let j = h + -5. Suppose 5*s - 5 = -0*s. Is s > j?
True
Suppose 2*f - 2*n - 6 = 0, -f + 1 = -2*n - 5. Let o = -4280/11 + 389. Is f greater than or equal to o?
True
Let c be 0 - ((-655)/645 + 1). Are c and 0 equal?
False
Let j = -0.14 - -1.49. Let l = -0.25 + j. Are 0.1 and l unequal?
True
Let s = -16 + 14. Let d be -1 + -7 - (s + 1). Is -1/4 less than d?
False
Let l = 735 - 812. Is l != 2/5?
True
Let z be -3 + 0 + -3 + 3. Suppose -4 = o - 3*l, -2*o + 2*l = -2 + 6. Is z less than o?
True
Let k(j) be the third derivative of -j**5/60 - j**4/4 - j**3/3 - j**2. Let q be k(-4). Let t be 3/12 + 713/124. Is t bigger than q?
False
Let m(z) = -2*z**2 + 76*z + 78. Let y be m(39). Is y < -2/121?
False
Let l(z) = -z + 1. Suppose -2*x + 3*s - 17 = 0, 2*x + 0*x - 4*s = -22. Let h be 1*(x + 2) - 2. Let d be l(h). Is d <= 3?
True
Let m(p) = -p**2 - p + 32. Let s be m(0). Let v = s + -17. Is 14 less than v?
True
Let v = 24.1 - 23.983. Let i = 3.883 + v. Which is bigger: i or -0.01?
i
Suppose 0 = -g + 17 - 18. Let d be (1 + (-42)/40)*(0 + g). Which is greater: d or 1?
1
Let m = 24/109 - -3235/654. Let c = 11/2 - m. Which is bigger: c or -8/5?
c
Let k = -1069 + 1062. Is k less than -17?
False
Let k be (5 + -4)*2/(-12). Let a = -122 + 122. Which is smaller: k or a?
k
Suppose 3*m - 4*a + 26 = 0, 17 = 4*m - 2*a + 45. Let h = -2 - m. Suppose -4*c - h*g = 20 + 4, c + 2*g + 11 = 0. Is c less than 2/13?
True
Let k = 4 - 4. Let g be 19/(-108) - 7/(-28). Which is smaller: k or g?
k
Let t(q) = 3*q + 255. Let o be t(20). Is 315 >= o?
True
Let l = -14 - -18. Let b be (18/3)/(3/l). Let y be (-6)/4*b/6. Which is bigger: y or -5?
y
Suppose 3*c + 242 = a, 409 = -5*c - 0*c - 4*a. Let m = -58 - c. Is 23 bigger than m?
False
Suppose -787 = 9*m + 617. Is -154 at most m?
False
Let h(r) = 7*r + 5. Let o be h(-3). Let u = -46 + o. Which is bigger: u or 0?
0
Let v be (-12680)/(-25380) - 14/189. Which is smaller: v or 0?
0
Let a = -24 + 36. Let z = 167 + -185. Let v = z + a. Is v not equal to -3?
True
Let f = 15 + 0. Suppose 3 - f = 2*p. Are -7 and p equal?
False
Suppose -3*w = 3*n - 6, -4*n + 8 = -3*w + w. Suppose n*t + 15 = -3*t. Let u = 3 + t. Which is smaller: -2/3 or u?
-2/3
Let q be (-2)/(((-30)/(-375))/((-2)/240)). Which is smaller: 0 or q?
0
Suppose 3*p = -2*p. Let c = -81 - -83. Let k = 3.4 - c. Which is greater: k or p?
k
Let u = -1 - -1.04. Let x = -17 + 17.2. Let i = -0.2 + x. Which is greater: i or u?
u
Suppose 8*u = -759 + 335. Which is smaller: u or -57?
-57
Let p = -52 + 155/3. Is p > 2?
False
Let o = -1/27 + 31/108. Suppose 0 = -2*m - 3*m. Let k be (m - -2) + (-6 - -5). Which is bigger: k or o?
k
Let f = 1879 - 1816. Which is bigger: f or -5?
f
Let v be ((-2)/(-6) - 18/(-27)) + 153. Which is bigger: v or 155?
155
Let d(q) be the second derivative of q**5/10 + 5*q**4/4 + 7*q**3/6 - 2*q**2 - 20*q + 2. Let f be d(-7). Is f equal to -2?
False
Let w be (0 - 6) + -3 + 5 + -5. Which is greater: w or -8?
-8
Let k(n) = 2*n**2 + n - 1. Let a be k(1). Let q(s) = 3*s - 3. Let m be q(a). Suppose r - 4 = 4*p - 7*p, -m*r = -5*p + 16. Are p and 2 unequal?
False
Let c(b) = b**2 + 9*b - 6. Let y be c(-8). Let f be (-7)/y - (-18)/4. Suppose 62 + 3 = f*d. Which is smaller: d or 12?
12
Let y = 6771 + -6820.09. Let i = 49 + y. Which is bigger: i or 1/3?
1/3
Let t = 215 - 210. Which is smaller: t or 13/9?
13/9
Suppose 92*r - 89*r = -4*l - 74, 3*r + 59 = -l. Is -24 >= r?
False
Suppose -295 = 4*o - 4*l - 95, l + 44 = -o. Let m = -67 - o. Let g be 1*-5*(-12)/m. Which is bigger: g or -7/3?
-7/3
Let h = -15 + -7. Let f = h + 21.87. Which is greater: 1 or f?
1
Suppose 0 = -559*u + 571*u + 72. Let p be 4/(-22) + 36/(-44). Is u <= p?
True
Let l = -25.9 + 25.892. Which is bigger: 1 or l?
1
Let n(q) = q + 1. Let m be n(-1). Suppose -40 = 4*l - m. Let a(o) = -2*o**3 - 14*o**2 + 9*o + 54. Let w be a(-7). Which is smaller: l or w?
l
Let a be (-5)/3 - 1*-1. Let k be (-5 + (-5)/(15/6))/(-1). Suppose -5*x - k*x = -x. Does a = x?
False
Let b be 16/(-128) + 2*38/6240. Which is bigger: -1 or b?
b
Let j = 14.51 - -0.49. Which is greater: j or 9?
j
Let t(l) = l**3 - 6*l**2 - l + 5. Let z be t(6). Let h(b) = -b + 1. Let s be h(2). Let m be -1 + (s/5 - -1). Is m bigger than z?
True
Let d = -41536/43 + 966. Let o = d - -37/129. Is -1/41 > o?
False
Let s be (6/4)/((-42)/16). Let t = s + 5/21. Are t and 0 nonequal?
True
Let f = 1 + 0. Let y = f + 0. Let w = 2.3 - 2.23. Is y != w?
True
Suppose 3*l - 96 = -l. Let h = -6 + l. Let r be -10*(-3)/h*-3. Which is smaller: -1 or r?
r
Let p be (-3 - -5)*-1 + -2. Let c = -508 - -872. Let x be (-1287)/c + (-2)/(-7). Which is smaller: p or x?
p
Let l be 18/4 + (-2)/(-4). Let m(z) = 5*z**2 + 4*z + 15. Let y(d) = -2*d**2 - d - 5. Let b(r) = 3*m(r) + 8*y(r). Let i be b(l). Which is greater: i or -5/4?
i
Let g(o) = 2*o**2 - 127. Let z be g(-8). Which is bigger: -48/41 or z?
z
Let r(t) = -2*t. Let n = -12 - -9. Let h be r(n). Let l be h/4 - 8/8. Is -3 bigger than l?
False
Let o(l) = 31*l**2 - 4*l + 2. Let z be o(2). Let s = 110 - z. Suppose 0 = -2*i + i - 9. Does i = s?
False
Let y = 32.1 - 28. Let u = 4.2 - y. Is u smaller than 15?
True
Suppose 0 = -0*n + n + 1. Let o be (5 - 0) + (-116)/(-6). Let m = -24 + o. Is m > n?
True
Suppose 3*h + 2 = 2*h. Let b be 0/((0 + h)*1). Let p be 0 + (-11 - (0 - 11)). Is p greater than b?
False
Let z be 2 + 15/(-3) - -22. Let b = 20 - z. Which is smaller: 1/18 or b?
1/18
Let y be 3/4 - (0 - -1). Let v = -9 - -8. Let i be -1 - 1 - (8 - (4 - v)). Is i smaller than y?
True
Let r = 49 + -54. Let z be r/15*(0 + -3). Is z less than or equal to 1/11?
False
Suppose -3*l = -5*a + 87, 5*a + 2*l - 55 = -3*l. Let z = 17 + -2. Does a = z?
True
Let i = 98 + -60. Let q = -2/19 - 2861/76. Let l = q + i. Is l > 0.2?
True
Let j = 286100/249 - 1149. Which is bigger: 0 or j?
0
Let j = 5.3 + 0.7. Let g = 124.1 + -118. Let v = g - j. Which is smaller: 1 or v?
v
Let a = -22 + 52. Let b be 1 - a/(-9)*3. Let j = -2 + 13. Is b != j?
False
Let p(a) = 8*a**2 + 33*a - 288. Let c be p(7). Is c > 334?
True
Let m = -24 - -25.7. Let p be (-3 - -2)*(-2 - -1). Do p and m have the same value?
False
Let z be 1 - 0 - 23/2. Let q(k) = -2*k + 1. Let j(m) = -m**2 + 7*m + 42. Let r(t) = j(t) - q(t). Let n be r(13). Which is smaller: z or n?
n
Let x = -4918/19 + 259. Let p = -211/133 + x. Suppose -260 + 120 = 70*s. Which is bigger: s or p?
p
Let b = 1/3 + -5/3. Let h be 4*3/4*5. Suppose -4*o + 5*n = -h, 5*o - 16 = 3*n - 7. Are b and o non-equal?
True
Suppose 55*h = -12*h - 12529. Which is greater: -183 or h?
-183
Suppose 2*a - 3 = 5*a - 2*j, 5*a + 4*j + 5 = 0. Is a bigger than -1/307?
False
Suppose 5*q - 25 = 0, -5*t - q - 31 = -156. Let p = t - 22. Let z(l) = l**2 - 5*l + 5. Let o be z(4). Which is bigger: p or o?
p
Let g = 409 - 422. Which is greater: -162/13 or g?
-162/13
Let z = 2738/162225 + 4/1575. Is 0 != z?
True
Let a = 239 + -248. Does -8 = a?
False
Let r be (25032/(-6256) - 0) + (-4)/(-1). Is r bigger than 1?
False
Let s = -4480 + 44723/10. Let h = 15/2 + s. Is -1 smaller than h?
True
Suppose -2*t + 2*y = 0, -5*y + 4 = -11. Let g = -0.153 - -0.079. Let i = g - 4.926. Is i less than t?
True
Let c be (-1)/4 - 36/(-16). Suppose -11*u + 6*u - 1155 = 0. Let r be (-3)/(u/(-14)) - (-2)/11. Is r at least as big as c?
False
Let k = 7833 + -54543/7. Which is smaller: 42 or k?
k
Let j(l) = -l**2 + 6*l - 26. Let p be j(5). Is p smaller than -13?
True
Suppose 3*f + 12 = s - 1, 0 = 3*s + 4*f. Suppose -11*r + 14*r + p = 5, 37 = 3*r - 7*p. Are r and s nonequal?
True
Suppose -3*n - 9 = 0, 3*p + 3*n - 3 = -15. Let x be 12/30 + 54/(-10). Let i = x + 0. Which is smaller: i or p?
i
Let p = 35 - 35. Let z = -86/15 - -27/5. Which is greater: z or p?
p
Let t(k) = 13*k**2 + 8*k - 23. Let p(r) = r +