re k and 0 unequal?
True
Let o(u) = -4*u + 145. Let j be o(43). Which is smaller: j or -29?
-29
Suppose -x + 20 = -29. Suppose -233 + x = -2*d. Let b be (-3)/4 + 85/d. Is 0 less than b?
True
Let p = 22 + -19. Let u be ((-2)/(-6))/(p/18). Suppose 5 = u*y - 5. Which is smaller: y or 1?
1
Let g be 6/(-2) - 112/(-42). Which is greater: g or -6.8?
g
Let w be ((-30)/(-30) - (-4)/(-3))*2. Suppose -178 = -4*o + 138. Which is smaller: w or o?
w
Let o be (-2 + 62)*(0 - 126/30). Is o bigger than -251?
False
Let x be ((-6)/2)/(3/14). Let b be 13/2*28/x. Let g = -8 + 7.9. Is b at most as big as g?
True
Let f = -1326 - -23863/18. Which is smaller: -1 or f?
-1
Let l(q) = -64*q + 1. Let p be l(1). Let k be ((-23)/6)/(8/132). Let m = k - p. Is m bigger than 1?
False
Let h be ((-112)/(-12) + -2)/(4/(-6)). Is 3 at most as big as h?
False
Let b be -1 - (-3107)/18570 - (-600)/720. Is 0 not equal to b?
True
Suppose 0 = 5*a - 3*p - 254, 4*p = -3*a + 68 + 67. Let x = 49 - a. Are x and -0.2 non-equal?
True
Suppose 4*r - 6 = -2. Suppose k + r = -2. Let h = 286/5 + -303/5. Which is greater: k or h?
k
Suppose 81*f = 77*f. Which is smaller: f or -1/1123?
-1/1123
Let f(t) = -4*t**2 + 3*t + 1. Let w be f(5). Let p be (-10 - 1) + w/28. Is -11 greater than or equal to p?
True
Let v be (-1)/(-4)*(-42)/9. Suppose -4*j = 4 - 0. Which is greater: v or j?
j
Suppose m + 31 = 2*o, 4*o - 8*m = -5*m + 61. Are o and 11 non-equal?
True
Let a(r) = -r**3 + 7*r**2 - 1. Suppose -2*o = 4*c + 3*o - 48, -43 = -5*c - 2*o. Let i be a(c). Let l = 19/4 + -149/28. Is l >= i?
True
Let q = -0.41 - 16.59. Let f = -17.1 - q. Is f bigger than -23?
True
Let z = 23 + 12. Which is greater: z or 36?
36
Let g = -0.358 - -0.246. Which is greater: g or -1?
g
Let r = -1284 - -1282. Is r less than or equal to -8/35?
True
Let h = 6104 - 347905/57. Which is smaller: h or -1?
-1
Let h = -379/7 - -54. Let b = -24388 - -24392. Which is smaller: b or h?
h
Let b = -3716 - -100333/27. Suppose -3 = -w - 4*q, 4*w + 5*q = q. Let k = w + 1. Which is smaller: b or k?
k
Let t be -2 - (-3)/63*47. Which is smaller: t or 0?
0
Let d = 23 + -106/5. Let r be 153 + -152 + 1/(-2)*0. Which is bigger: d or r?
d
Let j = 133 + -141. Is -7 greater than or equal to j?
True
Suppose 12*s = -50 - 10. Let g be 10 - ((-11 - s) + 5). Is 7 smaller than g?
True
Let t(b) = -9*b**2 - 15*b - 33. Let a be t(-9). Is -627 greater than or equal to a?
True
Let j = 309 - 302.98. Let l = j - 6. Let s = l + -0.42. Which is smaller: -0.1 or s?
s
Let a = 2.5 - 1.5. Let j = -29 - -59. Let q = j + -29.87. Which is smaller: a or q?
q
Let g be (-9)/(-3)*(2 + -6 + 3). Let s(j) be the second derivative of j**5/20 - 5*j**4/12 + j**3 - 3*j**2 + 3*j. Let w be s(4). Is w > g?
True
Let h be (-103)/(-21) - 7 - -2. Which is smaller: 1 or h?
h
Let z = 556 + 213. Which is smaller: z or 770?
z
Let p be -3*(-6 - (-8055)/1323). Are -1 and p unequal?
True
Let w = 32 - 31. Let n be (0 - w/2)*0. Suppose 0 = -n*x - 4*x + 8. Is 2 equal to x?
True
Suppose -3*q - 2*m + 0*m = -9, 4*q + 2*m - 10 = 0. Let n be 16/56 - (-66)/14. Suppose 0*s - 2*k + q = n*s, 2*s = 2*k + 6. Is s greater than or equal to 1/23?
True
Let y(f) = -f**2 - 6*f - 6. Let j be y(-4). Suppose j*u = -u - 24. Which is smaller: u or -7?
u
Let f be 2/3*30/155. Suppose 0 = 12*j - j. Is f bigger than j?
True
Let x be (66/165)/((-6)/(-290)). Which is smaller: 19 or x?
19
Let a = 43 + -51. Let j be 1*-11*(-4 + 1 + 4). Which is greater: j or a?
a
Let v be (-36 - -1 - 3)/1. Let f = v - -57. Is 19 bigger than f?
False
Let j = 0.501 + 0.199. Is j greater than 3/23?
True
Suppose 55*i - 63*i = -112. Which is greater: 156/11 or i?
156/11
Suppose -3 + 13 = -x. Let u = x - -12. Let p = u - -8. Which is smaller: p or 9?
9
Let m be (-1 - -1)*1*(-5)/10. Suppose 3*n = 5*n - 2*c, m = -2*c + 2. Let g be ((-4)/(-10))/(6/3). Which is bigger: g or n?
n
Let q = -5870.07 - -5840. Let d = q + 30. Is 1 equal to d?
False
Let l be 52 + -54 + (-3 - -1) - 151. Is -156 at most l?
True
Suppose 20 = 2*w - 4*p, 4*p + 27 + 5 = 5*w. Suppose -5*y = -2*q - 111, 0*y + 61 = 3*y - w*q. Which is smaller: 25 or y?
y
Let d(n) = -n**2 - n - 1. Let c be d(0). Suppose 11 = 2*h - 37. Let r be (-20)/60 - (-14)/h. Which is smaller: c or r?
c
Let k = 6255/2 + -334647/107. Which is smaller: k or -1?
-1
Let k = 77789/5 - 15635. Which is bigger: -77 or k?
-77
Let d be ((-1522)/10)/(-1) + 65/(-325). Is d greater than or equal to 0.2?
True
Let r = 3506/11 + -319. Let g(y) = 6*y + 23. Let a(d) = 2*d + 8. Let w(x) = -8*a(x) + 3*g(x). Let u be w(-3). Which is smaller: r or u?
u
Suppose i = -0*i - 3*o - 85, -2*i - 184 = -o. Let b be ((-7)/i)/(((-4)/(-5))/(-4)). Is 1 <= b?
False
Let q = -1408 + 26737/19. Which is smaller: q or 0?
q
Let d = 97 - 668/7. Let f = d - 51/28. Which is bigger: f or 3.8?
3.8
Let h = 177 - 177. Which is bigger: -413 or h?
h
Let p = -181.1 + 181. Let t = 0.16 - 0.06. Let o = t + p. Which is bigger: o or 1?
1
Let p be (2410/(-3075))/(-2) - (-5)/(-15). Which is smaller: p or 0?
0
Let o(a) be the first derivative of a**4/4 + 4*a**3/3 + 3*a**2/2 + a - 3. Let h be o(-3). Let u be 2/(-1)*(3 - h). Which is bigger: -3 or u?
-3
Let q(b) = -b + 2. Let k be q(6). Let w = 317/22 + -208/11. Which is greater: w or k?
k
Let r(u) = u**2 - 5*u - 6. Let s = 42 + -36. Let h be r(s). Which is greater: h or 3/25?
3/25
Let q = -256 - -672. Is 417 less than or equal to q?
False
Let y(c) = -c**2 - 14*c - 21. Let h be y(-12). Let m be 19/3 - h - 4. Which is smaller: m or -2?
-2
Suppose 10*d + 1200 = 30*d. Which is bigger: d or 0.9?
d
Let v = 96 - 40. Suppose -2*l = -2*o + 14 + v, -5*o + 15 = -l. Is 0.1 < l?
False
Suppose 79 = o + 5*a, o - 87 = 12*a - 9*a. Which is greater: 86 or o?
86
Suppose 2*i - 20 = 5*f, -5*i = 2*f + 6 + 2. Is i > 39/61?
False
Let n = -56.7 - -59. Which is smaller: n or 1/6?
1/6
Let t(s) = 2*s - 99. Let w be t(26). Is -49 < w?
True
Let u(z) = -z**3 - 13*z**2 - 16*z - 2. Let o be u(-12). Suppose -o = -5*m - 2*k, 2*m + 0*m - 1 = 5*k. Let i = 9 - m. Is 2 equal to i?
False
Let s(t) = -t**2 + 17*t - 11. Let m be s(16). Suppose m*f - 130 = -2*w, 5*w + 3*f = 2*w + 186. Let n be 10/65 - w/(-117). Which is bigger: 2 or n?
2
Suppose -4*b - 62 = 562. Suppose -6*v + 736 + 1226 = 0. Let j be 2/13 - v/b. Is 2/5 greater than or equal to j?
False
Let x = 0.588 + 0.252. Which is smaller: -2/5 or x?
-2/5
Let f(z) = -26*z + 1. Let a be f(1). Let b(h) = h**2 + 16*h + 38. Let s be b(-8). Is s > a?
False
Let n = 4 - -3. Suppose 0 = 5*d - 6*d + n. Is 7 < d?
False
Let q(s) = -2*s**2 - 3 + 0*s**2 - 5*s**2 + 5*s**2 - 14*s. Let u be q(-7). Is u < -4?
False
Let o be 0 + 12/8 - (-3)/6. Suppose o*b = -4*b - 120. Is b >= -20?
True
Let w = 270.7 + -270.9. Let r = 5251/21 + -250. Is w greater than or equal to r?
False
Suppose 11 - 5 = 2*n. Suppose 0 = 3*g + 13*g - 48. Is g < n?
False
Let f = 454.98 - 448. Let i = f + -7. Let z be (156/(-56) - -3)/((-6)/8). Is i at most as big as z?
False
Let z = -2570/1027 + -94/79. Suppose -4*s + 7 - 23 = 0. Which is greater: s or z?
z
Suppose 0 = 15*i - 30*i. Suppose -3*v = -7*v + 88. Let y be 0 + 2/v*6. Which is bigger: i or y?
y
Suppose 75 = -6*i + 9. Which is smaller: i or -1?
i
Let t be (-34 - 9)/(1/1 - 2). Let g = 43 - t. Is -5 less than g?
True
Let f = -1.3 + 1.21. Let q = -0.31 + f. Which is smaller: q or 4?
q
Suppose -h + 5*h = -3*g + 5, -5*g + 17 = -2*h. Suppose -g*t = t - 36. Which is smaller: 6 or t?
6
Let z = -154 + 154.1. Which is bigger: z or -5/18?
z
Suppose 0 = 5*y + w + 175, -3*w + 131 = -4*y + 10. Let v = -34 - y. Let n(q) = -q**3 - 5*q**2 - 6*q - 4. Let c be n(-4). Which is bigger: v or c?
c
Let z = 359 - 358. Which is bigger: 985 or z?
985
Let f = 0.44 + -11.44. Suppose 5*l = 2*l + 9. Suppose 0*x = l*x - 3. Does f = x?
False
Let w = 72 - 71.44. Let o = 0.66 - w. Is -11.9 bigger than o?
False
Let p = 7.5 + -1.5. Which is smaller: -14 or p?
-14
Suppose -167 = -6*r + 373. Which is smaller: 88 or r?
88
Let p = 196 - 125. Let l = p - 99. Let w be l/(-8) - (-3)/(-6). Which is smaller: w or -3?
-3
Let y = 15.1 - 15.1. Is y < -1/9?
False
Let s be (1 - -63)/((-2)/(-4)). Is -1 bigger than s?
False
Let n be 4/(-14) + (-63)/(-49). Which is smaller: -4/19 or n?
-4/19
Suppose 10 - 2 = -v. Let l be 4/v*(6 + -2). Let y(c) = c**3 - 5*c**2 - 2. Let u b