ent values?
True
Let n be -4 + (-11)/(-3) + 12147/(-90). Let w = 135 + n. Let s(k) = k**3 - 6*k**2 - 6*k - 7. Let m be s(7). Which is bigger: m or w?
m
Let q = -19900/13 - -1532. Let l(o) = 36*o + 73. Let j be l(-2). Is j < q?
True
Let f = -204 + 212. Suppose -f = -2*g + 6*g. Is g <= -1?
True
Let n be (-15 - -263)*(3 - -4)/(-1). Which is greater: -1735 or n?
-1735
Suppose -11 = -4*x + 11*k + 15, -3*k - 5 = x. Let m be (-10)/(-4)*(-3)/65. Let a = m + 43/598. Is x > a?
True
Let x = 152734425/5009 + -30492. Is x greater than or equal to 0?
False
Suppose -4*q + 3*h = 10, h + h = 4*q + 8. Let d be -9 + (-4)/(-2) + (-352)/21736*-418. Which is smaller: d or q?
q
Suppose 0 = -3*n - 4*x - 24, 1 = -4*n + 5*x - 0. Let u be -4 + (24/30)/(n/20). Is u > -6?
False
Let u(k) = -5*k - 12. Let p be u(-14). Let w = 63 - p. Suppose 5*t - 10 = 2*h, -5*t = 5*h - 39 - 6. Is t != w?
True
Let i be (-10 + (-32)/(-3))/(2/3). Let r(x) = -287*x**2 + x - 1. Let p be r(i). Is p greater than -286?
False
Let l = 0.16 - 0.26. Let s = -180 + 170. Let k = 63 - s. Which is smaller: k or l?
l
Let n(w) = -2*w + 144. Let h be n(0). Let q = h + -25. Let y = q - 80. Is 40 less than or equal to y?
False
Let a = 471 + -411. Suppose a = -6*b - 66. Which is bigger: -23 or b?
b
Suppose 156 - 36 = 5*j. Let f = j + -24. Is f smaller than 12/25?
True
Suppose 0 = -9*l - 6 - 3. Let g be 3 + -2 + l + 1. Let p = -6.97 - -7.4. Which is smaller: p or g?
p
Let p = -44806120/67 - -668748. Let q be (-2)/2 + (1 - -1). Which is smaller: q or p?
p
Let x = -22 - -46. Suppose 12*d - 2244 - x = 0. Let u be (-1)/(((-7)/d)/(1/(-1))). Which is smaller: -26 or u?
u
Suppose -706 - 3496 = 22*h. Let z = -194 - -1. Is z greater than h?
False
Let g = 174.628 - -0.372. Let n = -180.7 + g. Are -0.1 and n non-equal?
True
Let z(t) = 2*t**3 + 8*t**2 - 5*t - 4. Let l be z(-4). Let m(s) = -7*s**2 + 111*s + 3. Let u be m(l). Is u at least as big as -99/7?
True
Let s be 1*(-2 - (4 + -3)). Let j be (6/(-4))/(s/(-16)). Do 1 and j have the same value?
False
Suppose 2*u - i - 14 = 2*i, 3*u - 4 = -4*i. Suppose 2*o = -o + 5*l - u, 0 = o - 2*l. Is -11 > o?
False
Let j = 161 - 158. Suppose -5*l = -2*u + 14 - 21, 3*u = 5*l - j. Let o = 0.29 + 0.01. Does o = u?
False
Let o be 158/8 + (2 - 22). Which is smaller: o or 0.05388?
o
Let x be (-2)/(-3) + (-6)/9. Let q = -227/74 - 18361/962. Let m = 14151/637 + q. Is x > m?
False
Let d = -21 - 45. Let s(o) = -63*o**2 - 1. Let r be s(-1). Let a = r - d. Is 7 <= a?
False
Let i(o) = 3*o + 8. Let p be i(-7). Let g be (-2 - 2)*(-15)/10. Let x be (27/g)/(-3)*208/24. Is x greater than p?
False
Let r = -10139/79100 - -3/700. Does -1/3 = r?
False
Let u = -0.3 - -0.2. Let t = -5.95 + -28.15. Let b = -18.1 - t. Are b and u nonequal?
True
Let v be (16/22)/((-408)/(-2865588)). Which is bigger: 5107 or v?
v
Let m = -3795 + 6901. Does 3105 = m?
False
Let x = -6/25837 - -142846/170084971. Which is smaller: -1 or x?
-1
Suppose -14 = 2*u - 3*d - d, 3*d - 3 = 0. Let f = u - -6. Which is bigger: f or 12/67?
f
Let p be 2/(-3) + (-5214)/(-18). Let w = 23407/81 - p. Let j be -1 + (2 - (-1 - -3)). Which is smaller: w or j?
j
Let x be 4/(-8) + (-47412)/(-78537). Let u = -3/1114 - x. Are u and -1 equal?
False
Let c be ((6 + 2)*1 + -4 + -1)*-282. Is -847 < c?
True
Suppose q - 2*f + 3 = 0, 5*q - 129 = -f - 133. Is q at most 535?
True
Let t = -481 + 558. Suppose 12*n = 19*n - t. Which is greater: 119/10 or n?
119/10
Let l(g) = g + 2. Let s be l(5). Let r = 2499 - 2639. Let x be (-2)/s + (-334)/r. Which is bigger: x or 2?
x
Let s(q) = -237*q + 21. Suppose -4*t + 5*t = -b - 2, 0 = -t + 3*b + 10. Let o be s(t). Is -216 < o?
False
Let z = 22 - 52. Let c = z - -34. Suppose 5*v - v = -c. Which is greater: v or -1/4?
-1/4
Let o be (-196)/980 + (2 - 145/25). Let b = -0.9 + 0.5. Let z = b + 0.4. Which is smaller: o or z?
o
Let q = -6 + 15. Let k = 12.6 + -12.3. Do q and k have the same value?
False
Let n be 2/8 - 152/(-32). Suppose -n*y - 24 = -9*y. Let i be (y/(-15))/((-6)/15). Which is greater: i or 2/3?
i
Let d = 4136 - 4136. Which is bigger: d or 1/1583?
1/1583
Let h = -11212705/10198 + 2199/2. Let r = h + -25383/285544. Which is greater: r or -1?
r
Let y be 4 + 2322/(-399) + 19/(1805/10). Which is smaller: 0.074 or y?
y
Let x = 4472 + -4539. Which is smaller: -72 or x?
-72
Suppose -3*o - v + 18 = 0, -3*o + 14*v = 11*v - 18. Suppose o*z = -5*z. Is z less than -5/98?
False
Suppose 0 = 5*n, 5*n + 5 = -5*f + 2*n. Let l = -14239/35 - -407. Let v = -124/315 + l. Which is bigger: v or f?
v
Suppose 4*l + 4*i + 116 = 0, 46 = -l - l + 4*i. Let o = 31 + l. Suppose -o*j = j. Which is greater: 5/9 or j?
5/9
Let o be (480/(-10))/(14/1169). Which is smaller: -4006 or o?
o
Let z be (3 - 9) + 285/19. Suppose -3*c - 21 - 25 = -l, 0 = -2*c - 5*l - 59. Let h = c - -27. Is z < h?
True
Let x be (6/5)/((-10)/(-100)). Let d = x + -12. Let c = -5681/6 + 947. Is d bigger than c?
False
Suppose 2*s - 272*z + 271*z = 410, 5*s - 1031 = 4*z. Let d be 10/4*(1 + -3 + 84). Which is bigger: d or s?
d
Let c(t) = -57*t + 280. Let k be c(-18). Is 1308 at most as big as k?
False
Let b = 345.74 + -342. Let y = b - 0.24. Let o = -5.5 + y. Which is bigger: -3 or o?
o
Suppose -129*c + 108*c - 420 = 0. Is c smaller than -270/13?
False
Suppose 42 = -5*m + 4*i, -37*i + 34*i = 9*m - 6. Let g = -613/266 + -21/38. Which is greater: m or g?
m
Let w = 128.72 + -514.72. Which is smaller: 0.12 or w?
w
Let r = -49744/11845 - 1/2369. Which is bigger: r or 4.2?
4.2
Let k(b) = -22*b**2 + 137*b - 11. Let y be k(5). Which is bigger: y or 3/11?
y
Let v be 0 - (8611/27 + -5). Let z = -314 - v. Is z > 0?
False
Let r be 68/2805*11*2/(-8564). Is r >= 1/3?
False
Suppose 0 = -2*q - 4 - 0, 5*o + 5*q = 535. Let t = 4987 + -4879. Which is smaller: o or t?
t
Let w = 3747 + -131154/35. Let m = -38 - -39. Are w and m non-equal?
True
Suppose -5*x + 365 = -5*i, 2*x + 3*i - 25 = 116. Is 0.15 greater than x?
False
Let r(d) = 1 + 7*d - 4769*d**3 + d**2 + 0 + 4761*d**3 + 5. Let i be r(3). Do 0 and i have the same value?
False
Let r(b) = b**2 - 29*b - 88. Let t(a) = -a. Let l(m) = r(m) - 3*t(m). Let g be l(34). Is 1 at most as big as g?
True
Suppose -l = -2*i - 27, 0*l = l - i - 29. Suppose 39 - l = -4*u. Let g = -59 + 173/3. Which is smaller: g or u?
u
Let q be 3*((-1)/3)/(-1). Suppose -39*u - 18877 = 33032. Let f = -34605/26 - u. Is f less than or equal to q?
True
Let f(u) = -2*u**2 + 14*u - 11. Let s be f(9). Let k = 4588 + -4634. Is s less than k?
True
Let t = 1624 + -4027. Let m be 0 + 9 + t/261. Which is bigger: m or -1/3?
m
Let l be -5 + -3 - 46090/(-5761). Do l and 1 have the same value?
False
Let l = 263 - 550. Let g = 283 + l. Are -1 and g equal?
False
Suppose -3*t + 2*d = -6787, -3*t - d + 9042 = t. Suppose -s + 20*s + t = 0. Is s != -119?
False
Suppose 0 = 6*n - 26*n - 5060. Let b = -253 - n. Are b and 7/25 equal?
False
Let f(m) = 2*m**2 - 2*m + 1. Let y be f(1). Let w be (9/6)/1*-6. Let v = 47/5 + w. Is y != v?
True
Let v be 304/(-36) - (-16)/36. Let r be 8/90*(588/v)/7. Which is bigger: r or 0.4?
0.4
Let t be 46/(-65)*(-5 + 7 + 312/(-36)). Is 4 at most t?
True
Let l = -34 - -34. Suppose l = -17*f + 22*f - 50. Let b = -5 + 5.2. Is b != f?
True
Let f(a) = -2*a**2 - 9*a. Let w be f(-7). Suppose 138 = -5*c + c - q, 0 = 4*c + 2*q + 136. Let x = w - c. Which is smaller: x or -1/37?
-1/37
Let v be (-2 - 0)*(-22)/4. Suppose 12*u - 109 = 131. Suppose -u*d - 44 = -24*d. Is d greater than v?
False
Let w be (1/(-2))/((-1)/(-6)). Let a be (72/(-8) - 3)*1/(-2). Let g be (12/9 - a)*(-2)/(-4). Is g bigger than w?
True
Let z be ((-14)/(-21))/((-13)/(-39)). Is 43/37 equal to z?
False
Let g be 41/5289*((-21)/(-6) - 2). Which is smaller: -5/2 or g?
-5/2
Let w = -16310 + 16443.9. Is w not equal to -4?
True
Suppose -4*g + p = 74, -46 = 5*g - 2*p + 48. Let r(q) = -q**3 - q**2 - q - 1. Let y be r(0). Let b be (y/2 - -2)/3. Is g smaller than b?
True
Let d = -2 + -1. Suppose 4*u + 12 = 0, -4*t - 9*u + 8*u = 15. Let z be (d - -4)*t - 12. Are -15 and z unequal?
False
Let q = 109.06 - -276.94. Is 11/2 smaller than q?
True
Let g = -11/5 + 24/5. Suppose 3*j + 9*b - 5*b - 1039 = 0, 0 = -2*j - 2*b + 692. Let y = j + -342. Which is smaller: y or g?
g
Let z be 2/(-7) - 240/(-56). Suppose -5*u - 4*k = -18, -3*u + 2 = 2*