 Let n be q(-1). Suppose 5 = 2*i + 2*u + 3*u, 0 = -i - 5*u + 10. Which is smaller: i or n?
n
Let h = -24 - -26. Let m be h/((-3)/((-21)/2)). Is 7 smaller than m?
False
Let n(x) = 9*x**2 + 4*x + 3. Let t be n(-1). Let h(c) = -c**3 + 9*c**2 - 9*c + 8. Let g be h(t). Is -3/11 greater than g?
False
Let r = -0.2 + 0.1. Let m = 0.22 - 0.02. Let j = m + 0. Which is smaller: r or j?
r
Let p = -8 - -4. Let c = 1263 + -2525/2. Do p and c have different values?
True
Let g be -4*(6/(-2) + 2). Suppose -12 = 2*p - 2*y, 5*p + 0*y = -g*y + 6. Suppose -12 = -t + 5*t. Which is smaller: t or p?
t
Suppose 27*z = 26*z. Suppose t + 3*v - 1 = z, -2*v = -5*t + 7*t - 14. Let w(j) = -j + 3. Let a be w(t). Which is greater: -8 or a?
a
Let d(l) = 6*l - 12. Let n(h) = -5*h + 11. Let p(k) = -6*d(k) - 7*n(k). Let q be p(-9). Which is smaller: 3 or q?
3
Let o = 43 - 43. Let k = -11.81 + -0.19. Let i = k + 13. Is i less than o?
False
Suppose 2*j + 0*j + x = -1, -x = 1. Suppose 2*c - 5*f + 30 + 1 = j, 5*c - 4*f = -52. Let t be 2/c + (-108)/16. Which is bigger: t or 1?
1
Suppose 11*v - v - 200 = 0. Suppose g = -4*y + 8*y - v, -g = 4. Let r(p) = -2*p - 6. Let t be r(-4). Is t at most as big as y?
True
Let h be -45 - -46 - ((1 - 7) + 0). Is 7 at least as big as h?
True
Let p = -906 + 943. Is 29 > p?
False
Let v = -64 - -63.72. Let g = 0.02 - v. Which is bigger: g or 3?
3
Let r be 4/10 + (-8494)/4185. Which is smaller: r or -3?
-3
Let s(t) = -7*t + 115. Let i be s(44). Which is smaller: i or -2/3?
i
Let d = 46 - 28. Let f = 20.4 - d. Which is smaller: 0.1 or f?
0.1
Let h = -0.063 + 3.013. Let z = h - 3. Let k = 1.05 + z. Is -6 less than k?
True
Let i = 0.287 - 0.487. Let c be 8/4 + 1*-1. Suppose -2*n + n + c = 0. Which is smaller: i or n?
i
Suppose -8*x - 40 + 48 = 0. Let p be (-1)/9*(-6)/16. Is x less than or equal to p?
False
Let h = -289 - -289. Are 1/8 and h unequal?
True
Suppose -49 = 2*t + 2*t + 5*q, q = t + 1. Let z be 91/39 - (-8)/t. Let b = -4 - -3. Which is smaller: z or b?
b
Let x = 0.0134 + 101.9866. Which is smaller: 1/8 or x?
1/8
Let t be 544/12 + 2 + (-1 - 0). Let q = t + -47. Is -0.13 equal to q?
False
Let u = 36 + -29. Let a be (-3)/u - (-60)/140. Is a greater than -2/9?
True
Suppose -5*x - 40 = -x. Let l be 4/x + 68/20. Suppose -l*m - 3 = -0*m. Is -1/13 < m?
False
Let i = -6314/9 - -2759254/3933. Which is smaller: 1 or i?
i
Let a = -7718/142355 - -24/401. Which is smaller: 1 or a?
a
Let n = 6/6361 - -1030368/120859. Which is smaller: n or 8?
8
Let q = 107 - 105. Suppose -5*s + 45 = -5*h, -2*s - q*h + 23 - 1 = 0. Does 1 = s?
False
Let s(v) = 2*v**2 + 7*v + 103. Let z be s(0). Which is smaller: 1 or z?
1
Let c = 3.73 - -0.67. Let i = 62.6 + c. Which is bigger: -1 or i?
i
Let y = -32.62 - -33. Let t = -0.18 + y. Is 3 at least as big as t?
True
Let q = -133 + 136. Suppose 3*d + 4 - 19 = 0, q*u + 4*d = 23. Do -1/29 and u have different values?
True
Suppose -5*s + 4*a = 7*a - 285, s - 57 = -3*a. Which is smaller: s or 6?
6
Let j = 6.53 + -5.8. Let t = j - 0.56. Is t > -0.1?
True
Let i be (-4)/(-20)*(-1748 - (-3 + 4)). Which is smaller: i or -349?
i
Let l be (12/30)/(-1) + 244/10. Suppose -v - l - 15 = -2*w, 4*w - v = 73. Which is greater: 15 or w?
w
Let p = 687 - 687.1. Let s = 35.1 + 0.9. Is s != p?
True
Suppose -5*j - 2*n + 0 - 54 = 0, -2*j = 4*n + 12. Is j greater than or equal to 11?
False
Let u(b) = -b**3 - 5*b**2 + 5. Let r be u(-5). Suppose r*k = 20, 4*g = -0*k - 4*k - 12. Which is smaller: g or -8?
-8
Let i = 0.36 + 1.54. Let r = -0.9 + i. Are 3 and r equal?
False
Let y(h) = -5*h**2 + h + 98. Let c be y(15). Which is smaller: c or -0.1?
c
Suppose -4*x - 1200 = x. Let j be 2/(-5)*(x/(-4))/6. Which is bigger: j or -8?
j
Let i be (1 - 13)/3 - -324. Let f be 1/(-7) - i/(-35). Let m be (-38)/f - (-4)/18. Which is bigger: m or -0.1?
-0.1
Let d be (-1313 - -2)*1/(-3). Let l be 3 + -2 - d/(-987). Let w = l - 2/141. Are w and 1 nonequal?
True
Suppose 2*o = 4*s - 2160, -140 + 134 = 3*o. Is 540 at most as big as s?
False
Let z(r) = 2*r + 4. Let i be z(4). Suppose 4 = -2*a + s, s - i = a - 2*s. Which is greater: a or -1/3?
a
Let f(p) = p**3 - 8*p**2 + 7*p + 13. Let v be f(6). Let q be (-15)/30 - v/18. Which is smaller: 0 or q?
0
Let f = 62 + -30. Suppose 4*z = 32 + f. Suppose 0*x = 4*x - z, 2*w - 2*x + 18 = 0. Is -5 greater than or equal to w?
True
Let g = 415/3 + -139. Do 2/981 and g have different values?
True
Let j(q) be the first derivative of -q**3/3 + 5*q**2/2 + 9*q - 29. Let t be j(6). Is 4/9 bigger than t?
False
Suppose -9*b + 14*b = -45. Let s be (1 - 1/(-2))/(b/6). Are -2 and s equal?
False
Let n = -699 + 996. Which is smaller: n or 299?
n
Let y = -6459/4 - -1623. Is y >= 9?
False
Suppose 128*z = 125*z. Let x be (-4)/(-12) - 191/555. Are x and z nonequal?
True
Let b be 2/(-2)*(-1 + 910/889). Which is bigger: b or -1?
b
Let a = -294 + -32. Let o be -8 + 4 - a/(-2). Let w = o + 1167/7. Which is greater: -1 or w?
w
Let r be ((-2 + -2)/4 - -1)/(-2). Which is smaller: r or 8/21?
r
Let d = 0.4 + -0.33. Let t = -0.27 + d. Suppose 16 = -0*g + 4*g. Which is smaller: t or g?
t
Let v(j) = 14*j - 21. Let m be v(3). Do 12 and m have the same value?
False
Let q = -1717 + 2451. Let s = 417 - q. Let a = 2533/8 + s. Which is bigger: a or -1/3?
-1/3
Let g(b) = b**2 - b + 12. Let m be g(5). Let c = -22 + m. Suppose -3*i = 5*p - 59, -3*p + 4*p + 5 = 5*i. Are p and c non-equal?
False
Let c be 2/(-2) - 2 - -1. Let f = 0 - c. Let x be 0/((-5 - -4) + -1). Do f and x have different values?
True
Let t = -20.6 + -131.4. Let w = t + 147.14. Let k = w + -0.14. Which is smaller: k or 0.1?
k
Let d = -6035 - -6036. Let f = 1584 - 36438/23. Which is smaller: f or d?
f
Suppose -7 = -2*f - 3*f - j, 3*j + 13 = 2*f. Which is smaller: f or 0?
0
Let g be (1 + (-10)/6)*-6. Suppose -2*h + 0*h + 18 = -4*i, -i - g = 0. Let q be (-2 - (-7 - -9))/((-1 + -10)*22). Which is smaller: q or h?
q
Let g = 18 - 18.6. Let b = g - -5.6. Let p = 6 - b. Are -4 and p nonequal?
True
Let y = 0.005 - 23.005. Let n = y + 25. Which is greater: n or -0.04?
n
Let s = -771 - -771. Is -10/103 less than s?
True
Let y = -602 + 4212/7. Let b = 3 - 1. Suppose 2*p + b = -0*p. Which is bigger: y or p?
y
Let v be -2*4/(-8) + 4. Suppose v*h = 4*k + 387, -6*h + 2*h = k - 297. Which is smaller: 74 or h?
74
Let k = 6.85 - 6.76. Which is smaller: -0.15 or k?
-0.15
Let i be 8/(-5) - 2/5. Let y be 52/((-312)/(-2))*-3*(0 + 10). Which is smaller: y or i?
y
Let y = 1287 - 1846. Let b be ((12/15)/4)/(y/(-26)). Which is bigger: b or 1?
1
Let q = 8041/910 - 125/14. Is -1 >= q?
False
Let t(o) = o**3 - 9*o**2 - 23*o + 24. Let r be t(12). Let s = r - 2525/14. Which is greater: s or -1?
s
Let i = 66 + -2. Let w = -65.4 + i. Do -0.1 and w have different values?
True
Let d(r) = 49*r + 2 - 48*r - 2. Let v(g) = 3*g - 6. Let y be v(4). Let w be d(y). Which is smaller: w or 5?
5
Let n be (8/2)/(-336)*-110. Let y = n + 4/21. Let b be (4/(-6))/(2/3). Is b < y?
True
Let b be (340/(-102))/((-2)/48). Is b at least 79?
True
Let j = -11 - -39. Which is greater: j or 190/7?
j
Let n = 74 - 144. Let z = n + 70.2. Is z >= -0.23?
True
Let z = 33 - 28. Suppose -l = -j + z + 7, -j = 2*l. Are 8 and j non-equal?
False
Let a = 1620 + -1615. Which is greater: a or 31.8?
31.8
Let h be 3510/(-126) + 1/(-7). Is h greater than -23?
False
Let n(b) = b**2 - 2*b. Let x be n(2). Suppose x = 3*y - 4*t + 5 - 3, -4*t = -y + 10. Let u(j) = -j**3 + 5*j**2 - 5. Let q be u(5). Which is smaller: y or q?
y
Let i = 43616 - 479408/11. Which is greater: i or 34?
34
Suppose -9*p = -3885 - 66. Is 439 at most as big as p?
True
Suppose 35*v + 21 = -14. Which is bigger: -20 or v?
v
Suppose -4*a - a + 90 = 5*v, -a + 20 = -v. Let r = a + -32. Is -12 not equal to r?
True
Let n = 4 + -19. Let p = -12 - n. Let m = -63 - -67. Which is smaller: p or m?
p
Let u = -353/4 + 88. Let c = 0 + 8. Let s(j) = -j**3 + 9*j**2 - 10*j + 6. Let t be s(c). Is u at least as big as t?
True
Let m = -102/13 + 5445/689. Suppose -u + 3*u = 5*o, -4*o = 2*u. Which is bigger: o or m?
m
Let c = -3 - -4. Let k = 1 - c. Let i = 51.95 + -52. Is i at most k?
True
Let o = 24 + -14. Let i(b) = -9*b - 141. Let r be i(-17). Which is greater: r or o?
r
Let k = -67 + 67.055. Let p = k - 27.055. Is -2 less than or equal to p?
False
Let k