). Is d at most as big as -1?
False
Let o = -251 - -250. Are -10 and o non-equal?
True
Suppose 16*w - 54 = -11*w. Which is smaller: w or 19/30?
19/30
Suppose -5*p = -5*t + 10, -t - t + 24 = 3*p. Let q be 0/(-3)*(1 - 0). Let a be q/(3/(t/4)). Which is bigger: a or -2/3?
a
Let c = -0.022 + -0.478. Which is smaller: c or 1?
c
Let m = -125/7 + 1993/14. Let r = m - 121. Which is smaller: -1/4 or r?
-1/4
Let f = 204796/9 - 22778. Is -24 less than or equal to f?
True
Let t = 17 + -30. Let c = -617 - -619. Is t > c?
False
Let s(m) = -5*m**2 + m. Let t be s(1). Let d = -5 - t. Which is smaller: -6/19 or d?
d
Suppose 4*n - 683 = -123. Let s = n - 142. Which is smaller: s or -33/2?
-33/2
Suppose 3*w + 2*d + 58 = 0, -7*w + 8*w + d = -20. Is w less than -22?
False
Let p be 8922/(-2090) - (2/10 - 0). Let k = 48/11 + p. Which is smaller: 0 or k?
k
Let o be (-2)/(-15) + 5/3 + -1. Let r(l) be the third derivative of -l**5/60 + l**4/6 - l**3/6 - l**2. Let w be r(4). Which is bigger: w or o?
o
Let p = 50.96 - 51. Let w = p - -0.24. Is -1/12 smaller than w?
True
Let w be 270/65 - (-4)/(-26). Suppose v + 2*v = -5*u - 6, 4*v + 8 = -w*u. Suppose -2*l + 0*l + 4*h + 26 = u, -4*l - 5*h = -39. Is l >= 11?
True
Let t = -1.42 - -3.42. Is t at most as big as 0.35?
False
Let g(v) = v**2 - 1. Let f(o) = 7*o**2 + 9*o - 4. Let p(x) = f(x) - 6*g(x). Let u be (2 - (5 - 2))*7. Let a be p(u). Is a > -12?
False
Let s = -3926483/140 + 28046. Let r = s - -3/28. Which is greater: 0.13 or r?
0.13
Let s = 91 + -74. Is 2/7 equal to s?
False
Let l = -0.468 + 0.468. Is -1/150 bigger than l?
False
Let g = 351 - 395. Is g > 1?
False
Let k(w) be the third derivative of -w**6/120 + w**5/20 + w**4/6 + 7*w**3/6 + 3*w**2. Let l be k(4). Is 7 >= l?
True
Let y = -3897/19 + 205. Let i = 7.8 - 7.5. Which is greater: y or i?
i
Let m(a) = a**3 + 3*a**2 - 14*a - 12. Let d be m(5). Is d bigger than 120?
False
Suppose 0 = -2*p + p - 3. Let j be (p + 7)*(-94)/(-24). Let g = j - 16. Is g at most 0?
True
Suppose 23*v + 9 = 14*v. Is 7/171 > v?
True
Let n(t) = -6*t**3 - t**2 + 3*t + 2. Let v be n(-1). Suppose u - v*c = 48, 4*u + 3*c - 138 = c. Is 35 at least u?
False
Let a be ((-30)/(-10) + 210/4)*2. Is 112 equal to a?
False
Suppose -16*h - 66 = -14*h. Suppose 2*w - 11 - 53 = 0. Let d = h + w. Which is greater: 1 or d?
1
Suppose -m - 2*t = 1, -3*m - 16 = 2*m - t. Let r = 3 + m. Suppose 2*w - 1 = s, r*w = 3*w - 3*s - 3. Which is smaller: w or -4/7?
-4/7
Let d(v) = v**3 + 6*v**2 - v - 5. Let j be d(-6). Let r = j + 3. Suppose -r*m + 20 = -2*p + p, 20 = -2*p + 4*m. Which is smaller: p or -3/4?
-3/4
Let m = -7/198 - 1201/99. Let x = m - -17/2. Which is greater: -4 or x?
x
Let p = -8 + 11. Suppose -3 = p*d - 0*d. Is d smaller than -2/91?
True
Let a be 5/10*-2 + 1310/(-7). Let j = -186 - a. Is 3 smaller than j?
False
Let k = -204 + 201. Which is greater: 3 or k?
3
Let p be (8 + -7)*3/((-9)/51). Let s be (p/4)/(10/40). Which is smaller: s or -18?
-18
Suppose -3*f + 10 = 3*a + 13, -5*f + 3 = -3*a. Which is smaller: a or 1/134?
a
Suppose -28*i - 55*i = 0. Let u = -96499325/23 + 4194617. Let k = -1006 - u. Are k and i unequal?
True
Let t = -33 + 35. Let c be (-22)/(-18) - (t/9 + 0). Let w = -772/11 - -70. Is c greater than w?
True
Let n be 5*(-1 + (-9)/(-5)). Let s(d) = d - 2. Let k be s(n). Suppose -3*r - k*q - 25 = 0, -2*q - 18 = -0*r + 2*r. Do 0 and r have the same value?
False
Let m be (1*-2)/(-1321 - 17). Is m < 1?
True
Let p(y) = y**2 - y - 1. Let i be p(1). Is -3/139 greater than i?
True
Let b be 2/12 + 201/(-27) + 6. Which is smaller: -2 or b?
-2
Suppose 4*m + 44 = 40. Is -2/807 less than m?
False
Let n = 124 + -139. Which is smaller: n or -14?
n
Suppose 5*v - 4*n = 27 + 14, 5*v + 3*n - 48 = 0. Suppose v = 5*z - 6. Suppose 20 = -5*q + z*l + 2*l, 2*q + l = 4. Which is smaller: 5 or q?
q
Let s be (1 - 3)/(6/(-21)). Let a be (s - 5) + (-21)/18. Let j = 4/3 - a. Which is bigger: j or 0?
j
Let w = 2063 - 2130. Let x be (-2)/(0 - 1) - 1. Is w greater than x?
False
Suppose -2*v + 11 = -3*b - 4*v, -3*v = -5*b + 7. Let q = -9 + b. Let w be (-256)/28 - 3/(-21). Is q greater than w?
False
Suppose 0 = 2*u - u - 2. Suppose u*q - 458 = -p, -2*q - 1161 - 641 = -4*p. Let m = p - 3170/7. Which is bigger: 0.2 or m?
0.2
Let j = 265 - 271. Which is bigger: j or -2?
-2
Let u = 0.08 + 0.12. Let k be -4*(-7)/(-140)*10/16. Which is bigger: u or k?
u
Let t(x) = x**3 + 9*x**2 + 21*x + 6. Let z be t(-5). Is 12/7 smaller than z?
False
Let y = -0.05 + -5.95. Let s = 2.68 - 0.28. Let r = 0.4 - s. Which is bigger: r or y?
r
Let w = 36299 + -399004/11. Let l = w - 2675/99. Is -2/11 less than or equal to l?
False
Let h be 4 + -4 + 1 + 14. Suppose j = -10 + h. Is j <= 2?
False
Let u = -876.1 + 875. Let r(d) = d**3 - 7*d**2 + 7*d - 4. Let i be r(6). Let s be (-5)/4 - (-2)/i. Is u less than s?
True
Let o be 0 + (-5)/((-19)/(-6) - 3). Let d be 2/8 + (-22)/(-8). Let f be (d/o)/(2/(-12)). Are 2 and f nonequal?
True
Let x = 0 + 30. Suppose -2*k - k = x. Let f = 28 + -38. Is f smaller than k?
False
Let y(d) = 17*d - 30. Let k be y(2). Let h = 41 - -19. Suppose -f - 34 = -5*g - k, -5*g + h = 5*f. Which is bigger: 6 or g?
g
Suppose 481 = 3*t + 205. Which is smaller: t or 646/7?
t
Let t(w) = 4*w - 15. Let h(s) = s + 1. Let l(k) = -6*h(k) + t(k). Let p be l(-10). Which is bigger: p or -35?
p
Let m(w) = 14*w**2 - 3*w - 9. Let h be m(-2). Is 53 less than h?
False
Let w = 153 + -90. Let q = w + -64. Which is bigger: -19 or q?
q
Suppose 5*z = 13 + 112. Let l be 1/(6 - (-44)/(-8)). Let u be l/(-1) + 65/z. Is u smaller than 2?
True
Let h be (5/(-6))/((-29)/174). Which is smaller: 135 or h?
h
Let o be (5 - 4)/(3/(-108)*1). Let r be (9/(-18))/((-2)/o) + 3. Is -6 less than or equal to r?
True
Let h(x) = -2*x - 7. Let j be h(-7). Let v be j/((-28)/8) - -7. Suppose 3*d = -14 + v. Is d equal to 3?
False
Let w = -1032 - -1034. Which is smaller: w or 93/29?
w
Let n = 1704 + -1727. Let m be (-1 - 1)/((-1)/(-12)). Do n and m have the same value?
False
Suppose -5*d - f - 68 = 0, -4*d + 2*f + 22 = 68. Suppose 3*x = u - 20, 4*x + u - 3*u + 30 = 0. Let s = x - d. Which is smaller: s or 6?
6
Let i = 19.44 + -2.6. Is i at least -2/5?
True
Let t = -5.4 - -5. Let i(d) = -7*d + 9. Let l(j) = -11*j + 14. Let m(f) = -8*i(f) + 5*l(f). Let h be m(2). Which is smaller: t or h?
t
Let n = 3 - 0. Suppose i + n*r = 9, -i = i + 5*r - 15. Suppose f - 2 - 1 = i. Which is smaller: f or 0?
0
Let u(d) = -5*d + 35. Let p be u(7). Let b = 25/392 - -3/49. Is b at most p?
False
Suppose 4*r = -n + 18, 0 = 5*r + 4*n - 2*n - 21. Suppose 0*d = -r*d - 20. Which is greater: -1/4 or d?
-1/4
Suppose -12*g - 163 = 161. Suppose 4*p + 100 = 2*o, -5*o - 5 - 15 = 0. Is g > p?
False
Let p = 9.6 - 10.6. Which is smaller: -2.9 or p?
-2.9
Let q = -220 - -328. Does 109 = q?
False
Let n = -6.06 + 6.06. Is n < 298?
True
Let j be (6/(-27))/((-2)/3). Which is smaller: j or 4?
j
Let g(z) = z**3 + 9*z**2 + z - 4. Suppose -12 = -6*s - 66. Let c be g(s). Which is smaller: c or -10?
c
Let i be 4 + (-1208)/798 + 18/(-171). Is 2 at least i?
False
Suppose 5*u = 11*u - 12. Suppose -z + 3*q + 8 = -3*z, 0 = z - u*q - 3. Is 7 bigger than z?
True
Let j = -6024/33011 + 2/3001. Which is bigger: -50 or j?
j
Suppose 0*z - 2*z = -6. Suppose z*n - 5 = 4. Suppose -2*p + n = 1. Is 0 at least as big as p?
False
Let g = -51 + 36. Let q = g - -41. Suppose -i = -p - 3, 4*i - 2 = -5*p - q. Which is smaller: i or 3/14?
i
Let k(s) = -8*s + 10. Let g be k(1). Let r be ((-1)/(472/g))/((-3)/(-8)). Which is greater: r or 0?
0
Let w = -7 - -4. Let i be (w*1)/(33/(-22)). Suppose 4*k = 2*k - i. Does 2/45 = k?
False
Let z = 0.307 - -0.131. Let x = z + -0.038. Is 0.3 at most as big as x?
True
Let c be (-15)/(-175)*(-4)/6. Let n = -10 + 11. Is n not equal to c?
True
Let t be (542/(-186) - -3)*(-3)/4. Which is smaller: -0.021 or t?
t
Let o = 84 + -83. Suppose o = 15*a - 16*a. Which is greater: a or -3/23?
-3/23
Suppose 5*u - 4*u - 4*g - 18 = 0, u + 3*g = -3. Suppose 9*o - 4*o - 30 = -3*t, 5*t = -o + u. Which is bigger: 1 or o?
o
Let v = 9 + -7. Suppose -4*a = z + 9 + 8, -3*z + 5 = -v*a. Let r be (z + -1 + 2)/2. Which is bigger: -1/8 or r?
r
Let b = -0.7 + 0.6. Suppose -m - 3 = -3. Which is smaller: b or m?
b
Let h = 1022 + -1024. Is -2 at least h?
True
S