pose 3*w - q*g = 5, 5*w + 0*g - 23 = -4*g. Is w greater than or equal to 3?
True
Let c(v) = 7*v + 58. Let h be c(-8). Suppose -3*x = w + 1, -5*x - 4*w + h = -1. Let f = -1/4 + -1/4. Which is bigger: x or f?
f
Suppose 3*w + 100 = -2*u + w, -5*u = w + 238. Let g(m) = 27*m**2 - 221*m - 6. Let f be g(8). Which is greater: u or f?
f
Let g = -0.239 - -1.239. Is 0.88 bigger than g?
False
Let i = -1692 - -1682. Which is smaller: 0.03 or i?
i
Let i = 0.01 - 0. Let x = 28 - 35. Let n(z) = 5*z + 34. Let a be n(x). Which is greater: i or a?
i
Let j(x) = 50*x - 107. Let u be j(2). Suppose -7 = 2*m + 9. Is m smaller than u?
True
Suppose -4*j = -5*n - 1100, -j + 5*j - 2*n - 1100 = 0. Let x = j + -3573/13. Suppose -4*a + 3 = -a. Which is smaller: x or a?
x
Suppose 4*z + 2*m - 4 = m, 0 = -2*z + m + 8. Suppose 0 = -c + 6*c + 15. Let b = z + c. Is -1/12 smaller than b?
False
Suppose -24*z = 2*z - 6578. Is 253 smaller than z?
False
Let p = -9.6 + 13. Let u = -0.6 - p. Let m be -5 + 1 - 270/(-65). Which is greater: u or m?
m
Suppose -5*y - 1 + 6 = 0. Let t be (-338 - 1) + (-12)/(-4). Let i = t - -4370/13. Is i != y?
True
Let j(a) = -2*a + 25. Let x be j(10). Suppose o + 4*f + 10 = -x, -18 = -2*o + 4*f. Which is smaller: o or -2/121?
-2/121
Suppose -z + 5*a + 3 = 0, z - 7 = 4*a - 3. Which is bigger: z or 16?
16
Let m(w) be the second derivative of w**5/20 + 13*w**4/12 + 2*w**3 + 15*w**2/2 - 13*w. Let t be m(-12). Let q be 1/(-3)*t/170. Which is bigger: 1 or q?
1
Let r = -891 - -898. Which is smaller: -19 or r?
-19
Let n be 8/((-7)/(-378)*-4). Which is smaller: -107 or n?
n
Let k(g) = -g**3 + 5*g**2 + 7*g - 2. Let m be k(6). Suppose -89 = -m*y + 75. Which is bigger: y or 42?
42
Suppose -7 - 45 = -4*a. Suppose -5*i - 120 = -i. Let x = 43 + i. Are x and a unequal?
False
Let t(x) = x**2 - 40*x + 181. Let b be t(5). Which is smaller: b or -2/29?
-2/29
Let p be (28 - (-4 - -2)) + 0. Let x be 2 + (-48)/p + 17/(-30). Which is smaller: x or 1?
x
Let c = -15 + 9. Let r = -4219 - -4207. Which is smaller: r or c?
r
Suppose -4*g = -3*j + 15 + 5, -g + 3*j - 14 = 0. Let a be (8/12)/(9/10). Let c = -43/270 - a. Is c > g?
True
Let u be ((-1)/(-3))/(15/18). Let h = 0 - u. Which is bigger: 1/3 or h?
1/3
Let v = 197061/890 + -1107/5. Which is smaller: -1 or v?
-1
Let r be 1*(-76)/(-12) - 2/6. Which is bigger: r or 29/5?
r
Let d = 16 + -13. Let h(c) = -c - 7. Let a be h(d). Let i be (a/42)/(-5)*-2. Is 0 at least i?
True
Let p(t) = -t**3 - 2*t**2 + t + 2. Let y be p(-3). Let u be (((-18)/y)/(-3))/((-21)/(-14)). Let n = 4.8 + 1.2. Do n and u have different values?
True
Let u = 7343041546/39704741 - 2/2335573. Suppose -854 = -3*h - 4*k - 279, -530 = -3*h + 5*k. Let l = h - u. Does -0.1 = l?
False
Let u(g) = -6*g - 4. Let s be u(2). Let p be s/(-6)*(-30)/8. Which is greater: 0.2 or p?
0.2
Let n(t) = t**3 - 9*t**2 + 5*t + 23. Let f be ((-16)/(-3))/((-14)/(-21)). Let s be n(f). Do s and -18/11 have the same value?
False
Suppose -4*i + 2*i - 6 = -4*n, -n + 40 = -4*i. Let j be -2*(44/(-112))/i. Is -1 >= j?
False
Let n = 50 - 52. Suppose 0 = -5*a + s - 17, -4*a + 5*s - 14 = 4*s. Which is smaller: a or n?
a
Let u be 30/40*(-3 - (-105 - -2)). Which is greater: u or 76?
76
Let r(s) = 7 - 79*s - 2*s**2 + 0*s**2 + 88*s. Let l be r(5). Let p be ((1 - 4) + 15)/l. Is 7 smaller than p?
False
Let m be 2/(-7) + 1456/(-49). Let o be 97/5 + 12/m. Suppose -22*x + o*x = 0. Which is greater: 0.7 or x?
0.7
Let q(j) = j**2 + 3*j - 1. Let k be q(-3). Let d = -3/766 - -8441/3830. Which is smaller: k or d?
k
Suppose 337 = w + 334. Let y(k) = -2*k**2 + 4*k - 3. Let s be y(2). Let i be s - (2 + (w - 0)). Is -8 at least as big as i?
True
Let g = 0.79 + 0.11. Let w = g + -0.9. Suppose 0 = -4*o - 18 - 6. Is o at most as big as w?
True
Suppose 0 = 4*b - 5 + 21, 4*l = -3*b - 28. Let f be (16/(-6))/(l - -2). Suppose -2*s - 8 = 3*p, 8*p - 3*p = -s - 4. Is f > p?
True
Let b = -52 + 38. Let w = -19 - b. Do -0.1 and w have different values?
True
Let t be ((-22)/(-38049))/(((-4)/(-6))/1). Is t less than 1?
True
Let m = -121874/15 + 8122. Let n = 18/5 + m. Suppose 0 = -0*d + 5*d - 5. Do d and n have different values?
True
Let n = -3.166 - -2.166. Which is greater: 5.41 or n?
5.41
Let v be (-2)/12*0 + -8. Is -62/7 at most as big as v?
True
Let o(j) = -1 + 8 + 4*j + 20 + 1. Let z be o(-8). Let n be (-3 - -4)*z - -9. Is 3 not equal to n?
True
Suppose 5*r + 32*d = 34*d + 1, -3*d = 9. Is -1/139 less than r?
False
Let b(r) = -r**3 - 8*r**2 - 7*r. Let l be b(-7). Suppose -4*c + n = -7, -2*c + 3 = -n - l*n. Which is smaller: 4 or c?
c
Suppose -7*h + 12*h = 35. Suppose -2*j = -2*d - j + h, 0 = 2*j + 10. Which is bigger: -3/28 or d?
d
Let v be ((-44)/(-1))/(18/27). Let q = -328/5 + v. Are -2/33 and q equal?
False
Let b = -0.04 - -0.027. Which is smaller: 2 or b?
b
Let q(s) = s**3 - 2*s**2 + 2. Let x be q(3). Suppose -2*f - 12 = -6. Let m = x + f. Is 0.1 not equal to m?
True
Suppose 2*m = -26 + 6. Let s = 10 + m. Let f(x) = -x**2 + 4*x + 2. Let l be f(4). Which is greater: s or l?
l
Suppose -141*u = -139*u + 8. Is u <= -4?
True
Let a = 126477/17444 - 2/4361. Which is smaller: a or -1?
-1
Let m(q) = q**2 + q - 4. Let b be m(4). Let g = b - 14. Suppose -u - g*j - j = 1, -2*u - j = 12. Does u = -7?
True
Let w = 12/17 - -18/119. Suppose -s - 5*n = -3, 3*s + 5 = 2*n + 14. Suppose -s*g + 2*m = -8 - 2, -5*g = -m - 5. Which is smaller: w or g?
g
Let u be (-76)/(-252)*3 + (-18)/(-189). Let i = -0.03 - 1.97. Which is greater: i or u?
u
Let f = -128 - -82. Let a = f - -46.3. Are a and 2/27 equal?
False
Let h = 103 - 35. Which is greater: 66 or h?
h
Let t = -2152 + 195834/91. Let g = t - 137/2093. Which is smaller: g or -1?
-1
Let l = 21437 + -44766. Let o = l + 210640/9. Let j = 77 - o. Is 1 at most as big as j?
True
Let d(m) = -m**2 - 3*m - 3. Let o be (-3)/(-2)*(-32)/(-6). Let p = o - 11. Let n be d(p). Is n at most as big as -0.2?
True
Let z(k) = -k + 13. Let v be z(16). Let q be (-68)/(-153)*v*2. Which is smaller: q or -3?
-3
Let u = -1060 + 1056. Let y be (-5 + 1)/2*-10. Suppose -3*c - 7*p + 2*p = 29, 0 = 5*p + y. Is c smaller than u?
False
Let f be 4/18 + 6/(-27). Suppose o + 4 + f = 0. Let k be ((-90)/(-27))/(6/(-9)). Which is greater: o or k?
o
Let z = 5.19 - -38.61. Let t = z + -44. Is t at most -8?
False
Let k = -21.87 + 21.5. Which is smaller: 2 or k?
k
Let q(w) = -w**2 + 2*w + 51. Let b be q(-8). Which is smaller: b or -1?
b
Let o be 26/(-39)*(-6)/4. Is o bigger than 13/11?
False
Let n be 2595/34242 - (-4)/(-52). Which is bigger: n or 1?
1
Let u be (-26545)/(-19) - (-32)/(-304). Let m = -9721/7 + u. Do 9 and m have different values?
True
Suppose 106 = 7*y - 6. Let p be 8*2*(-4)/y. Which is smaller: p or -3?
p
Let w(o) = -o**3 - 15*o**2 + 2*o + 7. Let y be w(-15). Let x = 26 + y. Suppose 2*h = -4*l + 18, 0*l + x*l = 5*h - 71. Which is smaller: 14 or h?
h
Let l(i) = -i**3 + 9*i**2 - 21*i + 19. Let y be l(9). Is y <= -167?
True
Let c = -429 - -429.4. Is c <= 6/35?
False
Let p = 998 - 6948/7. Let n = p + -432/77. Which is smaller: 0 or n?
n
Let u be (0 - -1) + (1 - 2). Suppose -19*f = -23*f + 2720. Let g be (-2)/(-17) - (-56)/f. Which is bigger: g or u?
g
Let j be ((-6)/(-8))/(292/(-56) + 5). Which is bigger: -5 or j?
j
Let a = -32 + 45. Let d = 32 + a. Is 45 greater than d?
False
Let i = -29 - -33. Let w be (-68)/12*(-2 - i). Which is bigger: w or 35?
35
Let s = -296743933/165 + 1798354. Let o = 471/5 + s. Do 1 and o have the same value?
False
Let h be 8/10 + 104/20. Let v = -9 + h. Let x = v - -3. Is 2/43 > x?
True
Let v be 1 - (-1 + (-1 - -3)). Let k = -3544 - -3528. Which is bigger: k or v?
v
Let q be (-2)/(2 - 1) - (-278)/(-16). Is -19 at most q?
False
Suppose -34 + 46 = 3*g. Suppose -3*p = -g*p - 4. Is p at most as big as -4?
True
Let v = -217/16 - -381/80. Which is smaller: -8 or v?
v
Suppose -2*g - 4 = 4. Let k be 682/(-130) + 2 + (-6)/39. Is k less than or equal to g?
False
Let g = -2.77 + -1.23. Is g < -4?
False
Let v(h) = -5*h - 12. Let r be v(-4). Suppose 21 = 4*q + 1. Suppose a + q = r. Are 3 and a equal?
True
Let y be (6/(-4))/((-3)/20). Suppose -19*v - 12 = -17*v. Let z be y/v*(-22)/(-55). Is z at least as big as 4?
False
Suppose -23*d + 22*d + 46 = 0. Let q = -119 + 165. Is q at most as big as d?
True
Let v = 4.2 - 7.2. I