- -43. Let o = q + -6. Let n be o/9 + (-6)/(-27). Is n > 2?
True
Let k(z) = z**3 - 3*z**2 - 4*z + 12. Let w be k(5). Let m be w/(-12)*16/(-28). Is -45 greater than m?
False
Let p be ((-77)/22)/(5/70). Which is smaller: p or -2/3?
p
Let o = 15682202/3285 - 42964/9. Is o bigger than 1?
False
Let k = 2.8 + -3. Let o = -28.3234 + -204.6766. Which is bigger: k or o?
k
Let v = -1013.31 + 1012.4. Is 1/8 less than v?
False
Let w = -35 + 9. Let r = 313 - 186. Suppose 3*a + 2*a - q = -137, 5*a + 4*q + r = 0. Which is greater: a or w?
w
Suppose 70 + 26 = 4*g. Let v be 12/g*(-2)/66*2. Which is greater: 0 or v?
0
Let t = 1050 + -161701/154. Let r(o) = -o**3 + 7*o**2 - 8*o + 12. Let q be r(6). Which is smaller: q or t?
t
Let h = -64.5903 - -65.84. Let g = h + -0.0197. Is -0.1 bigger than g?
False
Let p(y) = y**3 - 2*y**2 - y + 2. Let v be p(2). Let k = -25371 - -25375. Let h be 10/12 - (v + k/6). Is h at most 0.1?
False
Suppose -68*o + 66*o + 54 = -268. Which is bigger: o or -4?
o
Suppose 3*k + 12*o - 10*o - 229 = 0, -4*o = 4. Let j be (253/k)/((-2)/(-14)). Are j and 116/5 equal?
False
Suppose 3*j = -21 + 24. Let g be (j - -3) + -8 + 188/46. Is g != 0?
True
Let s(t) = -t**3 - t**2 + t + 4. Let p be s(0). Suppose v - 3*v + p = 0. Let y be ((-3)/v)/(3/54). Is -26 smaller than y?
False
Let d = 251029 + -248975.98. Let i = -2095 + d. Let c = i + 42. Which is smaller: c or -0.1?
-0.1
Let p be (-9 - 1)*(-3)/2. Suppose -3*h + 12 = 0, -h = 2*b - 16 - 12. Let i be ((-36)/(-24))/(b/112). Are p and i non-equal?
True
Suppose -2*d - 2*d - 16 = 4*q, -2*d + 4*q = -22. Let h = -4/3947 + -31340/232873. Is h less than d?
True
Let i(y) = y**2 + 11*y - 1184. Let t be i(31). Which is greater: t or -3/8?
t
Let g be ((-1)/2)/((-4)/(-368)). Let y be ((-16)/24)/(g/1). Let m = 611/690 + y. Which is smaller: 0 or m?
0
Suppose -5*x = 5*l - 285, 4*l + 267 = 5*x - 0*x. Suppose 0*c + 3*t - 22 = c, 4*c - t + x = 0. Let b be (-4)/6 - (-86)/(-6). Which is greater: b or c?
c
Let k be -18 + 30 + (-4)/(-1) + -21. Is k less than 59?
True
Let s = -30556 + 824878/27. Which is smaller: s or -6?
-6
Let i be ((-9666)/(-16))/(14*(-93)/868). Does -403 = i?
False
Let a = -52 - -16. Let q be 342/456 - 2/((-16)/(-326)). Is q < a?
True
Let d be (-8*2/6)/((-2)/18). Let b = d + -21. Suppose 0*z - 3 = -b*z. Which is smaller: 2/25 or z?
2/25
Let v be 32160/74550 + (-3)/7. Let h = -46 + 45. Is v greater than or equal to h?
True
Let c be -8 + (-5270)/482*300/(-410). Which is smaller: 0 or c?
0
Let z = -14749 + 14749. Which is smaller: 3/64 or z?
z
Let g be (80226/90)/(15/(-15)). Which is smaller: g or -891?
g
Let y = -13.51 - -14.3. Let s = y + -0.89. Which is smaller: 77 or s?
s
Let p(k) = 91*k + 615. Let l be p(13). Is l less than 1797?
False
Let p = 210701.96 - 210702. Let i = 42.19 - 42. Is p less than i?
True
Suppose 0 = -5*g - 179 - 141. Suppose 3*c + 311 = 5*a, 2*a - 2*c + c - 124 = 0. Let k = a + g. Which is greater: -2 or k?
-2
Let z(o) = -132*o + 1471. Let l be z(15). Which is smaller: -510 or l?
-510
Let x(v) = -v**3 + v**2 + 3*v + 4. Let q(h) = 2*h - 15. Let g be q(9). Let y be x(g). Let t be (48/(-84))/((-10)/(-7))*25. Is t smaller than y?
True
Let b = 621601/356 + -340/89. Which is bigger: 1742 or b?
b
Let c be (-1)/5 + (-5172)/(-60). Let s be c/(-6)*(2 - -1). Let m = -10 - 34. Does m = s?
False
Suppose 151*y - 118*y = -66. Is y less than 780?
True
Let d = 46 + 57. Suppose 0 = 10*n - d - 107. Which is smaller: n or 19?
19
Let z be (1 + -29)/((1/(-1))/(-1)). Let m(o) = 5*o + 132. Let l be m(z). Which is greater: -15 or l?
l
Let c be (-4 - (9 - 10))/3. Suppose -3*a + 2*x + 203 = 0, a - 3*a + x + 134 = 0. Let z be 4/10 + (-46)/a. Is z <= c?
False
Let m(j) = 4*j**3 + j - 1. Let h be m(1). Suppose k + 4*n + 0*n + h = 0, 4*k = -5*n - 16. Let z be k - -6 - (2 + 0). Which is smaller: -2/9 or z?
-2/9
Let b(z) = -z**3 + 24*z**2 + 27*z - 45. Let a be b(25). Suppose a*r - 2*u = 766, -r + 3*u + 617 = 3*r. Which is greater: r or 153?
153
Let y = 888 - 1524. Let c = -637 - y. Let p = -28 - -27.58. Which is smaller: p or c?
c
Let u(d) = -8*d**2 - 10 + 2*d**3 - 5 - 21 + 8 + 6 + 3*d. Let t be u(7). Is t <= 293?
True
Let j = 129 + -127. Suppose -5*y + 5*i = -145, 2*i + j*i + 20 = 0. Which is bigger: y or 26?
26
Suppose -5*x - 3*w + 522 = 0, -5*x - 8*w + 526 = -4*w. Let o be ((-8)/x)/(3/9). Let s = o + 11/119. Which is smaller: s or -3?
-3
Suppose -4*a - 11 = 13. Let y = -212 - -206. Is y <= a?
True
Let b = 76 - 60. Suppose 5*d = b + 44. Let i = -25 - -34. Do i and d have different values?
True
Let q = -91/460 - 6/115. Let s be 1/(-5) - 8/(-65). Which is bigger: s or q?
s
Let l = -339 + 338. Let b = -353 - -1403/4. Are l and b non-equal?
True
Let g(d) = 24*d**3 + 13*d**2 + 27*d + 27. Let l be g(-3). Is -583 smaller than l?
False
Suppose -z + 47 = 3*z - 5*d, -4*d + 12 = 3*z. Suppose 2*u + 18 + 27 = -3*g, 0 = -u - 2*g - 22. Let o be u/z*(-2)/(-18). Is 0 != o?
True
Suppose 5*l = 2*n - 6849, n + l - 439 - 2989 = 0. Which is bigger: 1 or n?
n
Let y = 13/2 + -6. Let c = 0.62065 + -54.62065. Which is smaller: y or c?
c
Let h be (-2 - -2)*1/2. Let d be ((100/17)/(-5))/((-292)/128). Let y = d + -9/17. Is y < h?
True
Let x = 542 + -1057. Which is smaller: -516 or x?
-516
Let z = 86/2377 - 335164/197291. Which is greater: z or -1?
-1
Suppose -b = 3*j - 5561, -9*b - 7*j + 16679 = -6*b. Let o = -1122107/202 + b. Is o at least as big as 0?
True
Let r(g) = g**3 - 6*g**2 + 22*g - 85. Let m be r(5). Are m and -32.48 non-equal?
True
Let h = 1829/285 + -32/5. Let l = 312 + -307. Suppose 0 = -3*r - l*z + 3*z - 5, 5*z + 10 = -5*r. Do h and r have the same value?
False
Let v be (-5)/30 - (4/10 + (-822)/180). Which is smaller: 83/16 or v?
v
Let r(a) = -13*a**2 + 1510*a + 281. Let i be r(128). Which is smaller: i or 1?
i
Let y = -241 - -264. Suppose 4*o + 15 = -5. Which is greater: y or o?
y
Let f = -0.8 - 0.2. Suppose -58 = -3*i + 2*q, -3*i + 46 = -i - 5*q. Suppose -l - 5*w = i, -l + 2*w = 3*l - 16. Which is smaller: f or l?
f
Let r be 42/(-35)*10/(-6). Let q be 1/r + (-2)/((-8)/(-746)). Let p = q - -1121/6. Is 0 less than or equal to p?
True
Let z(j) = -j - 8. Let w be z(-7). Let h be 1 + (-8)/6 - (-25670)/78540. Which is smaller: w or h?
w
Let v = -107 - -114. Suppose v*i - 4*i + 15 = 0, -x - i = 31. Which is smaller: x or -6?
x
Let m be ((-26960)/15165)/((-12)/999). Let f(v) = v**3 + 2*v**2 - 7*v + 7. Let s be f(5). Is s != m?
True
Let x = -6243 + 6242.9. Suppose 25 = 2*t + 3*t. Let p be (-4 + 5)*(-7)/t. Which is smaller: x or p?
p
Let x be (-224 + 226)*(-1)/946. Is x at least as big as 2?
False
Let l = -1 - 2. Let i = -170668/11 + 15512. Is i less than or equal to l?
True
Let a = 546589 + -4914331/9. Which is smaller: 553 or a?
a
Suppose 0 = -605*t + 604*t + 2*d + 13, 0 = 5*t + 2*d + 19. Is 13/196 > t?
True
Let m = -9173 - -9044. Which is bigger: 2.2 or m?
2.2
Let n(a) = a**2 + 11*a. Let l be n(-11). Let k be ((-71)/1065)/((57/9 - 1) + 3). Is k < l?
True
Let t = -150 - -57. Let q = t - -119. Are 26 and q nonequal?
False
Let f(x) = -7*x**2 - 14*x + 152. Let j be f(8). Which is greater: j or -1225/3?
j
Let a(g) = -5*g - 6. Let u(x) = -3*x - 4. Let s(f) = 5*a(f) - 7*u(f). Let w be s(-2). Suppose 2*o + 0*o = 4*c - 12, -o = 5*c + w. Are o and -8 unequal?
True
Let t = 20 + -29. Let o = 254 - 166. Let q = o + -91. Which is smaller: q or t?
t
Suppose 5*v = 4*t - 33, 2*t - 30 = 10*v - 6*v. Let f(s) = 3*s - 13. Let r be f(v). Let p be (-2)/r*16/(-84). Is p at most 1?
True
Let r(b) = -b**3 + b**2 + 7. Let n be r(0). Suppose n*f = 4*f + 240. Suppose 81 = -m + f. Which is greater: 2/23 or m?
2/23
Let b(p) = -23*p + 2. Let s be b(-2). Let w be (((-3366)/110)/51)/(2928/(-1455) + 2). Which is bigger: w or s?
w
Let q be (-117)/13 + (-49)/(-7) + 0. Let g(h) = -h**2 - 4*h - 1. Let w be g(-3). Let o be (w + q)/(5/5). Which is smaller: o or 1/37?
o
Let h = 21 + -23. Let l = -36 - -38. Suppose -3*z - 3*z = -l*z. Which is greater: h or z?
z
Let r(d) = 6*d**2 - 220*d - 71. Let s be r(37). Suppose -3*l - 4 = -4*l. Suppose -s*v - 5*x = -83, 3*v = 4*x + 105 - l. Does v = 32?
False
Let t = 0.0535 + 2.4165. Let b = 0.33 + t. Let d = 6.672 + -6.572. Which is greater: b or d?
b
Suppose -16*n = -4*n + 504. Which is greater: n or 2/21?
2/21
Let q(c) = -c**2 - 41*