e t(8). Which is bigger: x or -21?
x
Let v = 494 - 496.144. Let w = 0.044 + v. Is 0 greater than w?
True
Let c = -224 - -673. Which is bigger: 450 or c?
450
Let q = -20 - -15. Let g(x) = x + 10. Let c be g(q). Are c and 6 unequal?
True
Let j(u) = -u**2 - 5*u - 2. Let m be j(-5). Let h = 56/75 - 2/25. Which is bigger: m or h?
h
Let p be ((-18)/(-120))/((-6)/515). Let h = p + 79/6. Let c = -37/120 - h. Which is greater: -1 or c?
c
Suppose -3*h - 2*o - 26 = -0*h, 2*o = -2*h - 14. Is -33 at most as big as h?
True
Let p = -2039 + 2128. Which is smaller: p or 82?
82
Suppose 0 = 61*b - 89*b - 840. Do -43 and b have different values?
True
Let k = 9 - 8. Let g = 34 + -6. Which is greater: g or k?
g
Suppose -24*j = 1464 - 4320. Is j > 119?
False
Let j be ((-2)/4)/((-4)/56). Let w(h) = -11*h - 10. Let a be w(-3). Let o = a - 18. Is j >= o?
True
Let v = -112 - -180. Let i = -53 + v. Is i at least as big as 3?
True
Let o be ((-4382)/(-140))/((-1)/4). Let g = o + 126. Which is greater: g or 1?
1
Let k = -292.7 + 293. Is k less than -8?
False
Let m = 0.084 - -7.916. Let v = 676 + -683.86. Let z = m + v. Is 0.1 less than or equal to z?
True
Let n = 925 + -1374. Do -449 and n have different values?
False
Let c(v) = -93*v - 8. Let g be c(4). Let h = 7603/20 + g. Which is greater: h or -0.1?
h
Let v = -2449 + 1663. Are -785 and v unequal?
True
Let b = 0.247 + -0.147. Are 0.006 and b equal?
False
Suppose 0*f - 2*f + 2 = 0. Suppose 0 = -2*d + 2*y - 4, 5*y + 1 = 2*d + 8. Let o be ((-4)/42)/(d/6). Is o not equal to f?
True
Let p = 377 - 325.2. Let n = 52 - p. Which is greater: 3/10 or n?
3/10
Let g(j) = 11*j**2 - 1. Let q be g(-1). Suppose -r - 5*l = -q, 4*r - r + 5*l - 20 = 0. Suppose -29*a = -9*a - 80. Which is bigger: a or r?
r
Suppose -490*t + 146*t = -2155 - 253. Let c = 591/55 + -51/5. Is c less than t?
True
Let k(f) = -32*f - 371. Let n be k(-11). Are n and -12 equal?
False
Let l(d) = -d + 14. Let x be l(0). Let s be 2/10 + (-8 - 714/(-30)). Which is bigger: x or s?
s
Let p = -0.33213 - -0.03213. Let c be 2/6 + (-14)/(-3). Do c and p have the same value?
False
Let k = -18 + 15. Let y be (8/(-50))/((-6)/15). Which is smaller: k or y?
k
Let t be (-2)/(-8) + (-6)/(-8). Let v(d) = d**3 + 4*d**2 - 13*d + 22. Let q be v(-7). Let u be 28/42 + q/69. Is t less than or equal to u?
False
Let n = 754.6 - 758. Is n <= 12/7?
True
Let j = 178 + -197. Let p = -5 - 13. Which is greater: p or j?
p
Let m = -171 + 2224/13. Is 0 < m?
True
Let q be (-4)/15*(-54)/63. Is -1 not equal to q?
True
Let w = -64 + 72. Let d = 0.019 - -0.011. Is d at most as big as w?
True
Let f = -55 + 54. Let n be (f - -4) + -4 + (-52)/(-20). Which is bigger: n or 1?
n
Suppose -8*j = -10*j + 48. Let n be j/(-32) - 106/8. Do -14 and n have different values?
False
Let r = -539 + 547. Is 36 smaller than r?
False
Let x = 54 - 53.93. Let a(i) = i + 3. Let z be a(-4). Is z less than x?
True
Let h(u) = u**3 - 18*u**2. Let s be h(18). Let y = -241/13 - -32027/1729. Do y and s have different values?
True
Let l = -0.07 - 0.08. Let u = -8.2 + 8.29. Let c = l + u. Which is smaller: c or 0.3?
c
Suppose -25 - 29 = -3*q. Let w = -30 + q. Is w at most as big as -13?
False
Let t = 96 - -154. Which is smaller: t or -0.1?
-0.1
Let w be (2/(-3))/((-3)/((-2655)/(-40))). Let y = 15 - w. Do -8/25 and y have different values?
True
Let f(v) = 2*v**2 - v - 4. Let d be f(3). Suppose 0*w - 9 = 3*w, -5*w - 30 = -3*k. Let i(a) = -a**2 + 8*a - 4. Let t be i(k). Is t <= d?
True
Let t = 172 + -102. Let m = t - 72. Which is smaller: 3/2 or m?
m
Let q(h) = h**3 + 15*h**2 - 37*h + 24. Let n be q(-17). Which is smaller: n or 82?
n
Let g = 248.579 + 0.421. Which is smaller: g or 0?
0
Let h = 147 - 146. Which is greater: h or -2.05?
h
Let m be 1/2 + 3/(-2). Suppose -5*a = -20 - 5. Suppose -r + a = 8. Which is bigger: m or r?
m
Let x = 2.3 - -1.3. Let c = x - 3.8. Let h = c + 0. Which is smaller: 0.7 or h?
h
Let x(f) = -f**2 - 3*f - 5. Let w be x(-3). Let r(g) = 2*g**2 + 14*g + 19. Let k be r(w). Is k less than -4/19?
True
Suppose 2*q = -s + 15, -2*s + 3*q = 6*q - 25. Suppose -5*k + 21 = -u, s*u - 7 = -7*k + 4*k. Let a = 285 + -3703/13. Is u at most as big as a?
True
Let x be 6*(4/(-2) + 53/15). Which is greater: x or 10?
10
Let y = 0.32 + -0.298. Let h = -9.978 - y. Which is greater: 0 or h?
0
Suppose -4*y + 5*s = -6*y + 58, 0 = 5*y + s - 99. Which is bigger: 55/3 or y?
y
Let i = -621/638 + 9/58. Is 0 equal to i?
False
Let j = 1117/10 + -576/5. Is j greater than -0.1?
False
Suppose -u + 11 + 4 = 0. Suppose -3*z - 2 = -2*a, -5*z + 41 = 4*a + u. Which is smaller: z or 5?
z
Let v be (-702)/(-5265) + (-32)/(-885) + 0. Is v smaller than 2?
True
Let s be 50/15*30/4. Let p be (-1)/5 - (-155)/s. Suppose 5 = c + 2*o, 3*c + p*o + 1 = 4*o. Are c and -3 nonequal?
False
Let v(i) = 0*i - 4*i + 5*i - 1 + 7*i**2. Let r be v(1). Let k = -5 + r. Which is bigger: 3 or k?
3
Suppose 0 + 1 = -2*k + 3*t, 1 = t. Let r = 187/180 - 13/12. Is r <= k?
True
Let f = 3.11 - 2.9. Let t = -0.17 + f. Let x = t + 0.16. Which is smaller: -0.03 or x?
-0.03
Let d(x) = -x**3 - 5*x**2 - 4*x. Let a be d(-3). Let w(q) = 2*q**2 + 32*q + 122. Let h be w(-8). Are a and h equal?
True
Let p = -94/7 + 11360/847. Let k be (-5)/15*(1 - 4). Is p > k?
False
Let g(f) = 2*f**3 - 71*f**2 + 38*f - 82. Let z be g(35). Which is smaller: 160/7 or z?
160/7
Let l = 2 + -2. Suppose -r + 3 - 4 = l. Let m = 7 + -14. Which is greater: r or m?
r
Let a = -7 - -8. Suppose -2 = k - a. Suppose -4*b = 2*x + 2, -b - 3*x = 2*b. Is k smaller than b?
False
Let d = 2 - 1.9. Let c = 20 - 64. Let i = c + 44.4. Is i equal to d?
False
Let c be 6/(-2)*(-3)/9. Which is smaller: 12/13 or c?
12/13
Let c = -0.57 - 6.43. Let t = -7.5 - c. Is t greater than or equal to -1/4?
False
Let c = -107/5 - -21. Which is smaller: -3/7 or c?
-3/7
Let k = 2/981 + -2951/3924. Is k greater than or equal to -3?
True
Suppose 0 = 4*i - 57*s + 52*s - 50, 5*s = 2*i - 30. Is 107/12 at most as big as i?
True
Let b be 628/18 + 5 + -5. Suppose 2*x + 51 = -4*f - 11, 3*x = 4*f - 113. Let y = x + b. Which is greater: y or 1?
1
Let z be ((-15)/(-10))/(6*(-2)/(-16)). Suppose 3 - 9 = -s - j, -2*s + z*j = 8. Suppose 0 = 5*m + 2*h + 7 + 4, -3*m - 17 = -4*h. Which is bigger: m or s?
s
Let h(k) = k**3 + 5*k**2 + 5*k + 1. Let y be h(-3). Which is bigger: 5/2 or y?
y
Let r be (-12)/20 - (-887)/(-5). Let u be r/3 - (-1)/3. Let j = u + 167/3. Which is greater: j or -4?
j
Let m = 5 + -3. Suppose 23*t - 9*t = 0. Is t at most as big as m?
True
Suppose 4*x + 18 = 2, -5*g + x - 1 = 0. Let v = -11 + 5. Which is smaller: v or g?
v
Let j be 2/(-10) + (-2)/(-5). Suppose -20 = 5*d - 10*d. Suppose c - 5 = 5*c - 5*a, 4*a = d. Which is greater: c or j?
j
Let n be (1143/36)/((-26)/(-536)). Let q = -655 + n. Suppose 8 = -5*w + 3. Is q less than w?
False
Let q be (-8)/6 + 85/(-15) + 6. Is -5/58 at most q?
False
Let w = -1/165 - 101/1485. Let c(n) = -13 + 11*n - n**3 - 6*n + 9*n + 11*n**2 + n**2. Let y be c(13). Is w smaller than y?
True
Let j be (-705)/(-438) - (-4)/(-6). Let g = 8/73 - j. Let n = -34 - -32. Which is greater: g or n?
g
Suppose -23 + 276 = -11*j. Which is smaller: -65/3 or j?
j
Let g be (-31 - -24)/(11*1). Is -1 < g?
True
Let a(o) = 3*o**2 + 3*o - 2. Let y be a(-3). Let i = y - 24. Let b(g) = 2*g**3 - 16*g**2 - 42*g + 12. Let v be b(10). Is v at least as big as i?
True
Let z be (-4 - (0 + -4)) + -64. Let l be (-108)/z*-2 - -3. Do l and -1 have different values?
True
Suppose -2 = 5*b - 22. Suppose v + 6 = -3*c, -4 = -5*v + 4*c + b. Is v smaller than 3/58?
True
Let n(z) = z**2 + 4*z - 2. Let a be n(-5). Let y = 3618 + -3613. Which is bigger: y or a?
y
Let h be ((0/2)/(3/(-3)))/(-1). Suppose h*k - 42 = -3*k. Which is smaller: k or 13?
13
Let w be (-5 + 3)/4 - 9. Let m = 7 + w. Suppose 5*t + 6 = 3*t. Which is smaller: m or t?
t
Suppose 2421*u = 2429*u + 552. Is u at most as big as -5?
True
Let b = -3434400 - -23395132745/6812. Let d = b - 47562971/647140. Let r = 367/5 + d. Which is smaller: -1/2 or r?
-1/2
Let i be 4/(-198)*702/(-819). Which is bigger: 1 or i?
1
Let b = 188 - 84. Let t = -104.2 + b. Which is smaller: t or -0.1?
t
Let m = 208 - 227. Is m >= 1?
False
Let y(g) = g**3 - g**2 - 1. Let m be y(0). Let c be m/(-3 - (3 - 7)). Let f be ((-19)/19)/(c/(-4))