2 - 4*a - 7. Let w be g(-4). Let s be (-12)/27*(-3)/w. Which is greater: 0 or s?
0
Let b = -0.06 - 6.94. Let z = b - -7. Do z and 1 have different values?
True
Let b = 463 - 434. Is b < 1/6?
False
Let a = -437 + 437.2. Is -11 != a?
True
Let x be (-88)/66*378/(-4). Which is bigger: 0 or x?
x
Let w = 9/4469 + -3888129/49159. Is -80 equal to w?
False
Let d = 41 + -11. Let v = -25 + d. Suppose v*u = -5*c + 80, 3*c + 3*u - 36 = 4*u. Is c <= -0.1?
False
Let o be ((-28)/70)/(7/(-5)). Let b(k) = k**3 - k**2 - k. Let n be b(0). Which is bigger: n or o?
o
Suppose 0 = 2*z - 4 + 2, 26 = 3*c + 5*z. Suppose 39*d - 43*d - 32 = 0. Let m = d + c. Are m and -4 equal?
False
Let f = -182 + 334. Suppose 0 = 5*g - g - f. Let k = g + -26. Is k less than or equal to 12?
True
Let x be (-50)/(-100) - (-146)/(-8). Which is greater: x or -17?
-17
Let p = 1549 - 1550. Is p bigger than 1/471?
False
Suppose 259*x - 88 = 237*x. Which is smaller: 57/14 or x?
x
Let a(l) = -l**3 + 5*l**2 + 6*l + 1. Let p be a(6). Let u be (-3)/2 - (-3)/6. Let g be -1 - 9/(-15) - u. Which is smaller: g or p?
g
Suppose -4*q + q - 21 = 0. Suppose -4*t + 175 = 203. Let k = q - t. Is 0 greater than or equal to k?
True
Suppose 3*l - 1164 = -5*u, -5*u - 4*l = -9*l - 1180. Let t be (u/91)/(1/7). Let q = 12 - -5. Which is bigger: t or q?
t
Suppose 2*w + w = -3*w. Which is smaller: -4/159 or w?
-4/159
Let x = -1 + 0. Suppose k - 372 = -3*p + 5*p, 0 = -3*k + 12. Let c be 1 - 0 - 4/(p/(-42)). Which is smaller: c or x?
x
Suppose -2*t = -3*p + 4*p - 11, 4*p - t - 8 = 0. Is p > -0.6?
True
Let l(g) be the second derivative of g**5/20 - 5*g**4/6 - 7*g**3/6 + g**2 + 6*g. Let h be l(8). Let d be 175/h - (1 - 2). Which is smaller: -1 or d?
-1
Suppose 5 = -4*n - j, 3 = -n - 2*j - 7. Let g be (-6 - 3) + (n - -2). Let p be 2 + (-7 - (2 - -1)). Are g and p equal?
False
Let a be (10/(-195))/2*(-4 - 2). Which is bigger: -1 or a?
a
Let o = -148.2 - -150.387. Let x = o + -0.187. Let b be (0 - 5) + 0/(-2). Is x less than or equal to b?
False
Let q be 14/42*(-3)/(-4). Which is smaller: q or -5?
-5
Let y = -7087520 + 418212534/59. Suppose -2*t = -489 + 2145. Let k = y + t. Is 0 less than k?
True
Suppose 84 = -48*o + 51*o. Let x = -24 + o. Which is greater: 6 or x?
6
Suppose h = 5*w - 2 - 2, 4*w = -5*h + 9. Let r be h/((2/3)/2). Suppose f - s - r*s = -11, 3*s = -2*f. Which is greater: -3/2 or f?
-3/2
Let d be (-36)/4*(-8)/24*95. Is d < 284?
False
Suppose 0 = 5*u - 53 + 43. Which is smaller: u or 19/9?
u
Let w be (-8)/(-6) + (-2)/(-3). Suppose w = -m + 4. Let a(c) = c**2 - 42*c + 276. Let x be a(8). Is m > x?
False
Suppose 3*c + q - 11 - 12 = 0, 39 = 4*c + 3*q. Let p be c*4/32 - (-2)/8. Which is smaller: p or -2/7?
-2/7
Let b be (106/54 + -2)/1. Suppose -8 = -4*h + t, 0 = 3*h + 3*t - t + 5. Is b bigger than h?
False
Let c(x) = -10 + 8*x + 6*x + 9*x**2 - 2*x**3 - 9*x + 3*x**3. Let g be c(-8). Suppose 4*f - 18 = -2, 2*z + 2*f - 38 = 0. Do g and z have different values?
True
Let g = 0.0098 + 0.0902. Is g smaller than -4?
False
Let i be (0 + 9 + 0)*1. Let q be -6 - 3*6/i. Let b = -13 - -4. Does b = q?
False
Let w = 7.61 + 0.39. Let t = 22 - 12. Let z be t/(-24) + (-6)/(-9). Which is smaller: w or z?
z
Suppose 0*m + 4*t + 6 = -5*m, m - 5*t + 7 = 0. Suppose 2 = 2*d - 3*d. Let g be (3/(-12))/((-1)/d). Which is smaller: g or m?
m
Let d be 2/(-7)*(-3)/2. Let z = -2295 - -2296. Which is greater: z or d?
z
Let a = -5 - -23. Let t be (45/(-10))/(3/a). Let s = 29 + t. Which is smaller: s or 3?
s
Suppose -23 = -4*w + 37. Suppose -7*n = -12*n + w. Let j be 57/90 - n/5. Is j >= 1?
False
Let x = -0.18 + 2.26. Let t = -0.08 + x. Is t greater than 0.25?
True
Let f = -0.0017 - 0.0793. Are f and 0.5 non-equal?
True
Let x be (-2)/1 - -1 - -2. Suppose -7 = -4*g + x. Suppose -g + 4 = -a. Is -10/7 at most a?
False
Let y be 3/(-6)*-4 - -3. Let c be y/(775/330) + -2. Which is greater: c or 1?
1
Let g(b) = b**3 + 8*b**2 - 8*b - 63. Let q be g(-8). Let u be (-12)/14*3/(-6). Which is bigger: q or u?
q
Let p = 9.87 - -0.03. Let y = p + -11. Let a = y - -1.12. Which is greater: 0 or a?
a
Let n = 144 + -59. Let c be (-4)/(-22) + n/77. Which is smaller: 0 or c?
0
Let b = -56 - -47. Let n be (-1 + (-9)/(-15))*b/(-6). Do n and 0 have the same value?
False
Let t = 109 - 439/4. Let k = t - -19/20. Which is smaller: k or 1.8?
k
Suppose -4*f - 533 = -t, 224 = 2*t - 4*f - 834. Which is smaller: 1 or t?
1
Let f(p) = -3*p + 4*p**2 + p**3 - 10*p**2 + 8*p - 7. Let g be f(5). Let o = 11 + -19. Which is smaller: g or o?
o
Let t = 0.411 + -0.411. Which is smaller: -0.04 or t?
-0.04
Suppose 10*q - 4778 = 8*q. Let v = q + -112287/47. Is v at most -1?
False
Suppose 0 = 15*f - 164 - 121. Let x be (-4)/2*2*-1. Suppose -5*l = -4*i - 0*i + f, -5*i = 3*l + x. Which is bigger: i or 1/15?
i
Suppose -2*v - v = -6. Suppose 0 = -3*l + 2*l - v*w + 8, 0 = 2*l - 4*w + 16. Suppose l = -4*i - 0*i. Is i at least as big as -8/7?
True
Let j = 32.851 + -32.7. Let d = 0.051 - j. Which is greater: d or -6?
d
Let p = -8 + 2. Let s be (-96)/51 + -1 - -3. Which is greater: s or p?
s
Suppose -5*s - 56 = l - 51, -4*s = 4. Do 2/3667 and l have the same value?
False
Suppose 57 = -3*z - 3*r, 17 + 21 = -2*z + 5*r. Suppose 0*k - 66 = -3*k. Let b be 4/k + (-1554)/77. Which is greater: b or z?
z
Suppose -4*a + 153 = 5*h, -3*a + 41 = 3*h - 73. Let r be 84/(-28) + a/12. Which is bigger: 0 or r?
r
Let s = 146.1 + 5.9. Which is smaller: -2 or s?
-2
Let w = -2 + 6. Suppose -w*l - l = -20. Suppose 2*y - 22 = y - 5*k, l*y + 3*k = 20. Which is bigger: 3 or y?
3
Let r = -2330/957 + 22/87. Which is smaller: -9 or r?
-9
Let w = 3.12 + -3.13. Is w at most as big as -3?
False
Let q be ((-21)/14)/((-2)/4). Suppose 3*f - 45 = q*c + 9, -2*f + 45 = -5*c. Let k be (f/(-7) - -2) + 0. Which is bigger: k or -1?
k
Let p(g) = g**3 + 3*g**2 - g. Let x be p(-3). Suppose 4*m - x = m. Let z = 18/19 - 16/57. Which is greater: z or m?
m
Suppose -139 = -4*h - 0*h + 3*l, 5*l = -5. Is 135/4 >= h?
False
Let q = -0.21 + 0.01. Let r = -39922/5 - -8109. Let n = r - 125. Is n at most q?
True
Let u = -75.262 + 75.4. Which is smaller: -2 or u?
-2
Let l = 0.084 - 21.884. Let u = l + 21. Let f = 0.3 - 1.3. Is f at least as big as u?
False
Suppose -11*a + 10*a + 55 = 0. Which is bigger: -1 or a?
a
Let g = 764759/750 + -3059/3. Which is bigger: g or 1?
1
Let m = 651 + -651.01. Are m and 1 unequal?
True
Let x = -669 - -672. Which is smaller: 97 or x?
x
Let d = 1405 + -1584. Is d not equal to -1?
True
Let f(v) = -v**3 + 9*v**2 - 9*v + 10. Let i be f(8). Suppose 0 = -3*q + h - i + 4, -24 = 4*q + 4*h. Let p = q + -1. Is 0 bigger than p?
True
Let t(h) = 2*h**3 + 2*h**2 - 8*h - 8. Let y be t(-1). Which is bigger: 3/122 or y?
3/122
Let m(v) = -4*v - 37. Let l be m(-10). Suppose 3*g - z + 3 = -4*z, 17 = -l*g + 4*z. Is g at least -2?
False
Let u(g) = -g**2 - 9*g - 3. Let z be u(-6). Let m = 6 - z. Let p = -1168 + 1161. Which is smaller: p or m?
m
Let s = 0.788 - -3.212. Is -32 <= s?
True
Let k(n) = -n**3 + 38*n**2 + 40*n - 42. Let p be k(39). Is -20 not equal to p?
True
Let l(t) = -t**3 + 3*t**2 - t + 2. Let x(b) = -b**3 - 6*b**2 - 4*b + 7. Let s be x(-5). Let k be l(s). Which is bigger: 3 or k?
k
Let d(v) = 7*v - 27. Let a be d(4). Which is bigger: 3/23 or a?
a
Let p be (-143)/169 - ((-41)/(-13) - 3). Which is smaller: 10 or p?
p
Suppose -7*i + 28 = -546. Let x = i + -61. Is 21 > x?
False
Suppose -186 = o + 2*c, -15*c + 18*c - 379 = 2*o. Are -2 and o nonequal?
True
Suppose 2*j = j + 12. Let g = -11 + j. Let k be g*1/(-4)*3. Is 1/2 less than k?
False
Suppose 3*r + b = -534924, -5*r + 8*b - 891540 = 4*b. Let o = r + 1957169/11. Let j = o - -383. Which is smaller: 0 or j?
j
Let l be (2 - 11) + 890/89. Which is bigger: 2/2035 or l?
l
Let a(u) = 17*u + 359. Let f be a(-28). Does f = -116?
False
Suppose 2*l = l + 3*b + 16, -3*l + 4*b = -28. Let x = l + -24. Let g be 2/x*(-16)/12. Is -1 at least g?
False
Let x(n) = 4*n**2 + 3*n - 5. Let h be x(1). Which is greater: h or -0.7?
h
Suppose 17*t + 8 = -9. Which is smaller: -19/17 or t?
-19/17
Let j = -609 + 507. Which is smaller: -103 or j?
-103
Let k(n) = -n**3 + 6*n**2 - 6*n - 3. Let s be k(3). Let q be 18/16 - s/48. Is 3 less than or equal to q?
False
Let y be (45/5)/((-21)/270). Let i = y + 116. Let a = 202/5 + 