greater than x?
True
Let g = -99 + 71. Let m = 1828 + -1828. Do g and m have the same value?
False
Let v(d) = d**3 - 7*d**2 - 2*d + 9. Let x be v(7). Let c be (-47)/x - 12/(-20). Which is greater: 9 or c?
c
Let a = 2158 + -15060/7. Is 2 > a?
False
Let m = -1 + 0.8. Let j = 33.95 + -34. Let v = 0.25 - j. Which is smaller: v or m?
m
Let l be (-261)/36 - 2/(-8). Let a(p) = -p - 11. Let d be a(l). Let b be d/(-26) + (-738)/234. Which is smaller: -7/3 or b?
b
Let h be (-3)/(-5) - (-11 - -11). Which is smaller: h or -1/5?
-1/5
Let w = -315 - -377. Which is smaller: w or -2?
-2
Let x(y) = y**2 + 9*y - 6. Suppose 11 = -5*j - 44. Let s be x(j). Which is smaller: s or 0.4?
0.4
Let v = -1/506 + -4547/3542. Which is bigger: v or -53?
v
Let x = 9508/7 + -1363. Is -6 smaller than x?
True
Let u be -1*1 - (-3 + 0). Let h(m) be the third derivative of m**6/120 + m**5/30 - 11*m**4/12 - m**3 + 46*m**2. Let d be h(4). Is u >= d?
True
Let o be (36/1269)/((616/(-12))/11). Which is smaller: 0 or o?
o
Let b = -87767 + 789002/9. Let w = b - -100. Suppose 0 = 7*f - 3*f + 4*d - 12, -7 = 3*f - d. Is w >= f?
True
Let m(g) = 12*g + 3. Let t be m(2). Let z = t + -29. Do -2 and z have different values?
False
Let u(x) = 5*x - 13. Let m be u(-8). Let v = -53 - m. Let n = 24573/19 - 1293. Do v and n have the same value?
False
Suppose 11*n - 20*n - 279 = 0. Let v = 10 - 40. Is v < n?
False
Let k be 7 + -9 + -5 + 5. Which is smaller: k or -12/7?
k
Suppose 0 = -x + 4*m - 3 - 3, 0 = 2*m. Let h be 3*(3 + 44/(-12)). Let r be ((3 + 37)/4)/h. Is x at least as big as r?
False
Let o = 29 + 36. Suppose 5*n = 205 - o. Let d be (3/n)/(10/(-40)). Which is bigger: 1 or d?
1
Suppose h + 7*t - 2*t = 27, 35 = 5*h + 5*t. Let o(a) = -a**3 + 7*a**2 + 10*a - 14. Let d be o(8). Is d >= h?
True
Suppose 4*j + 11 = -5. Let l = 29 + -27. Let f = l - j. Which is smaller: f or -0.1?
-0.1
Let w(n) = -8*n - 3 - 13 + 6*n - 3. Let o be w(0). Are o and -20 nonequal?
True
Let b(w) = -2*w**2 - 9*w - 1. Let f(z) = -3*z**2 - 17*z - 3. Let y(d) = 5*b(d) - 3*f(d). Let c be y(6). Is c > 5?
False
Let i = 1.7 - -17.3. Let x = 27 - i. Which is greater: x or 1?
x
Suppose -o = -0*q + q, -3*o = -4*q + 35. Suppose 3*u = q*x - 87, 37 = 2*x - 2*u + 3. Let j be 6/(-33) + x/(-22). Which is greater: j or 1?
1
Let u be (-2)/3*(-234)/(-12). Let c be (-8)/(-52) + 2/u. Is 0.08 at least c?
True
Let u(v) = 4*v - 4. Let q be u(2). Suppose -3*x = -0*g - 3*g, -2*g = -q*x + 4. Suppose 0 = -k + 3*t + 3, g*t + t = -2*k - 3. Is 3/4 less than or equal to k?
False
Let o = 0.3 + -0.54. Let h = 131 - 131.25. Let l = h - o. Is 1 at most l?
False
Let h = 1145 - 1144. Which is smaller: -3/31 or h?
-3/31
Let g = 0.134 - 0.1169. Is 1 != g?
True
Let j(z) = -z**3 + 3*z**2 - 3*z + 2. Let a be j(4). Let k = a - -24. Is -4 at most k?
True
Let x be (-2013)/23463 + -2*(-2)/36. Let n be (-12)/(-6)*(-1)/2. Is n at most x?
True
Let j = 0.174 + -7.474. Let p = j - -1.3. Let m = p - -5. Is -0.24 less than m?
False
Let z = 15.85 + -16. Let r = -38.4 - -39.4. Is z <= r?
True
Let x = 21 - 81. Let c = x + 59.5. Is c not equal to -1?
True
Suppose 0*x - 3*x = -12. Let c be -5*4/(-10) + 2. Suppose 3*k = -3*o - 6, 2*k - c*k = 4*o + 14. Which is smaller: x or k?
k
Suppose 6 = -2*o - 8. Let t = -1 + 15. Let g be 1*(-7)/14*t. Is g less than o?
False
Let h = 2.79 - 0.19. Let m = 2 + -4.9. Let l = m + h. Which is greater: l or 0.1?
0.1
Let p = -3817 + 1664213/436. Do p and 0 have the same value?
False
Let w be 0 - (-8)/3 - 2. Let r be ((-3)/(-144)*3716)/(2/3). Let d = r - 116. Which is greater: w or d?
w
Suppose -4*o - o - h + 12 = 0, -4*o = 2*h - 12. Let g be o - (2 + 1)*-1. Let q = 1595 - 1588. Which is smaller: q or g?
g
Let r(b) be the third derivative of b**6/120 + 2*b**5/15 - 7*b**4/24 + 17*b**3/6 + 20*b**2. Let k be r(-9). Which is bigger: 2/25 or k?
2/25
Let p = -0.48 + 0.67. Which is bigger: p or 1/3?
1/3
Let r = 9.8729 + 0.1271. Let t = -0.4 - 2.6. Is r at most t?
False
Let h = 38 + -19. Let l = h - 19. Which is greater: l or 7/5?
7/5
Let t = -0.177 + 0.127. Let y be -2 + 92/10*-3. Let q = -30 - y. Is t > q?
True
Let a = -1412 + 4189/3. Is -16 < a?
True
Let a = 909/826 + 5/118. Are a and -4 equal?
False
Suppose 4*f + t = 3, 5*f + 13*t - 14*t = -3. Which is bigger: f or 0.016?
0.016
Let m(u) = u**2 - 12*u - 17. Let v be m(8). Let c = -244/5 - v. Is -1 > c?
False
Let i = -0.17 - -12.17. Suppose 5*s = 139 - 134. Which is greater: s or i?
i
Let x(i) = 2*i - 9. Let b be x(8). Let d be (7 - 1)/(3/4). Which is bigger: d or b?
d
Let m = 392 + -377. Are m and 0 equal?
False
Let c(r) = -r**3 - 26*r**2 - 6*r - 112. Let f be c(-26). Is 55 at least as big as f?
True
Suppose -3*h + 5*h + p + 134 = 0, -4*p - 128 = 2*h. Which is smaller: -70 or h?
-70
Suppose -2*p + 594 = 4*p. Which is greater: p or 100?
100
Let n = 137 + -133. Suppose -94 = -2*x + n*a, -4*a - 199 = -5*x + 24. Are x and 44 unequal?
True
Suppose 4*p - 7 = 10*k - 7*k, -3*p - 2 = 5*k. Is -8/9 at most as big as k?
False
Let k(f) = f - 48. Let c be k(12). Is c equal to -38?
False
Suppose c = 3*a - 14, -3*c = -2*a - 5*c - 4. Suppose -3*f = a*r + 18, 0*r - 31 = 4*r - 3*f. Is r smaller than -6?
True
Let b(w) = 2*w**2 + 16*w - 27. Let r be b(-8). Let t = 3/1012 - 77933/3036. Are t and r nonequal?
True
Let n = -86 + 67. Which is smaller: -0.1 or n?
n
Suppose d + 203 - 27 = 0. Let j = -891/5 - d. Suppose -2*g - 8 = -2. Are j and g nonequal?
True
Let z(x) = -3 - 3*x + 16*x**2 + 4*x - 15*x**2 + x. Let n be z(-3). Suppose 4*m + 4 = n, -2*w - 5*m = 2*w + 1. Is w at least 0?
True
Suppose 7*t - 6*t = 1. Let g be (20/(-300))/(t/(-42)). Is g <= -2/9?
False
Let i(p) = 0*p + p + 2 + 0. Let y be i(-2). Let o be ((-248)/(-16) - 16)/((-10)/12). Which is smaller: y or o?
y
Let q(t) = t + 4. Let n be q(0). Suppose 4*m + 24 = 4*c, c + 0*m = -m - n. Let w = -705/7 + 101. Are c and w non-equal?
True
Let a be 1/(2/(-6)) + 476. Which is smaller: 475 or a?
a
Let u = -7.97 - -7.87. Let r = 41.3 + -44. Which is smaller: r or u?
r
Let t(s) = -s**3 - 3*s**2 + 4*s + 4. Let x be t(-4). Suppose -2 + 1 = -3*c - g, -x*c = 4*g - 4. Is c at most 0?
True
Let x be 2/3 + 420392/91680 + -3. Let h = -2/955 + x. Is h != 2?
True
Let c(x) = 2*x**2 - 7*x - 9. Let q be c(6). Let w = 11.9 + -12. Which is greater: w or q?
q
Let a = 2/1573 + -6536/1573. Is -4 > a?
True
Let w(g) = 2*g**3 + 4*g**2 + g + 0*g**3 - 4*g**2 - 1 - 3*g**2. Let i be w(2). Let t be (-4)/5*i/(-10). Is t greater than 2?
False
Let z = 101/3 + -199/6. Which is greater: -9 or z?
z
Let l = 138 - 569. Are l and -431 unequal?
False
Suppose -2*g = -6*g. Suppose g = -z - 4 + 5. Which is smaller: z or -2/15?
-2/15
Suppose -157 = -19*x + 223. Which is smaller: x or 15?
15
Let o = 60 + -59.7. Let m = o + -1.3. Which is smaller: 7/9 or m?
m
Let t be ((-2)/5)/(13/(-1235)). Let p = 41 - t. Is p greater than or equal to 7/2?
False
Suppose 7196 = -5*d + 2526. Is d <= -935?
False
Let q be -18 - 2/(4/(-2))*6. Which is smaller: q or -11?
q
Let s = -9 + 8. Let c = s + 2. Let v = c + -0.6. Which is greater: -0.1 or v?
v
Suppose 11*j + 669 = 658. Let f(i) = -i + 15. Let q be f(0). Let d be (-6)/q + 36/65. Which is smaller: j or d?
j
Let m be 4/(-1 + (-26)/(-22)). Suppose 4*z + m = 14. Let i be (38/285)/(z/10). Is i at least as big as -0.2?
False
Let y be 20 - (-5 + 2 - -2). Let o = -18 + y. Suppose -z - z - o*g = -18, -14 = -2*z - g. Is z <= 7?
True
Let h be ((-36)/21)/((-4)/14). Suppose 2*c - h*c = 0. Suppose v + 4*a = 2 - 5, c = -4*a + 8. Is -11 greater than v?
False
Let c = -59 - -58. Which is greater: c or -0.12?
-0.12
Suppose -7*l - 202 = 78. Let a = l - -40. Let q be -3 + 1 - 68/(-22). Which is bigger: a or q?
q
Let v = 37.1 - 37. Let r = v + -0.2. Which is bigger: -17 or r?
r
Let b(q) = -q**2 + 1. Let w be b(2). Let r be (-1)/2 + 4/(-2). Which is bigger: r or w?
r
Let n = -0.1195 - 0.0805. Which is bigger: n or -83?
n
Let u = 1 + 0. Suppose 4*a + 2*m - 59 = 57, -5*m = 5*a - 150. Let i = a - 17. Is i bigger than u?
True
Suppose 3*f + 3*c = -21, -7*c = 5*f - 8*c + 5. Which is smaller: f or 44?
f
Suppose 9 + 15 = -3*r. Let a = -15 - r. Let d be 18/(-42) - 59/a. Which is smaller: 10 or d?
d
Let s = -0.106 - 10.094. Let i = -11 - s. Let q = -0.7 - i. Is -0.09 > q?
False
Let x(p) = -6*p + 24. Let u(b) = -1. Let n(d