ual?
False
Let b = 29.1 + -29. Is b greater than or equal to 5?
False
Let u(w) = -w**2 - 2*w - 3. Let d be u(-2). Suppose -3*t = -t - h + 9, -5*t + 5*h = 35. Is t at least as big as d?
True
Let t be 2/(-3) - ((-226)/42 - -5). Does 0.26 = t?
False
Suppose 0*n = -3*n + 27. Let j = -9 + 20. Let o = j - n. Which is greater: o or 1?
o
Let f be 0 + 0/(-2) + -8. Let k be 10/f - 5/(-20). Is k less than 3/8?
True
Let t be (-8 + 5)/((-3)/2). Let x be (-3*4/(-6))/t. Are 0 and x equal?
False
Let u(l) = -l**2 - 3*l - 3. Let j be u(-1). Is j >= -2/25?
False
Let s(a) = a + 1. Let c be s(0). Suppose -2*f = -2*z - 7 - c, -8 = 5*f + 2*z. Suppose 0 = k - f*k. Is k at most 1/7?
True
Let l = 0 - -3. Suppose 3*q - 2*m + 1 = 0, -m = -l*q - 0*m - 2. Which is greater: q or 1/4?
1/4
Let q = -1 + 3. Suppose 5*o + q*t = 40, 3*o - 2*t + 22 = 5*o. Let x(b) = b**3 - 6*b**2 + b - 8. Let p be x(o). Is p != -2?
False
Let r(p) = p**3 + 6*p**2 + 4. Let w be r(-6). Suppose 3 = -w*y - 1. Does y = 0?
False
Let v(x) = -2*x - 3. Let o be v(-4). Suppose -3 + o = 2*a. Let f be a + 2*(-2)/(-4). Is 2 less than or equal to f?
True
Let z = 2.1 + -11.1. Let k = z + 11. Let y = 0.1 - 0.1. Which is greater: y or k?
k
Suppose 3*w = 3 + 27. Are w and 10 nonequal?
False
Suppose -8 = -2*x + 2*t, -3*x = -t - 1 - 1. Suppose 5 = -6*r + r. Let k(w) = -2*w**2. Let n be k(r). Is n bigger than x?
False
Let u be ((-9)/(27/(-4)))/(2/12). Is u at most 2/7?
False
Suppose -4*r + 38 = -2*r. Let t = r - 16. Is t > 0?
True
Let z = -0.25 + -0.05. Let b = -1.6 - -1.9. Let h = z + b. Is 0 less than h?
False
Let s(i) = -i**3 + 13*i**2 - 12*i + 12. Suppose -3*t + 12 = -24. Let f be s(t). Suppose f = -4*r + 4. Which is smaller: -3 or r?
-3
Let o = -56 - -225/4. Are 11 and o non-equal?
True
Suppose 3*z + 252 = -2*z - 4*a, 0 = -z - a - 51. Let k = -146/3 - z. Is k < 0?
True
Suppose 5*m + 0*s - 120 = -s, 3*m - 59 = 2*s. Are 24 and m equal?
False
Let w = 38 + -38. Are w and 3 equal?
False
Let i = 0.25 + -0.09. Let o = -0.54 - i. Which is smaller: o or -1/3?
o
Let v be 6/(-4)*(-6)/(-9)*-1. Do v and -3/59 have the same value?
False
Let x = 1.4 - 1.5. Let a = 6 + -5.6. Is a greater than x?
True
Let p = -608/5 + 122. Let j(v) = v**2 + 13*v + 11. Let b be j(-12). Let m be ((-5)/(-15))/(b/3). Is m < p?
True
Let m = -204999 - -3483846/17. Let w = m + 67. Which is bigger: 1 or w?
1
Let p = -2 - -2. Which is bigger: 2/7 or p?
2/7
Suppose 2*o - 36 = -2*o. Let c(d) = d**2 - 7*d - 3. Let k be c(o). Which is bigger: 14 or k?
k
Let x = 0.21 - -11.79. Let b = -11.9 + x. Which is smaller: 8 or b?
b
Let i = 0.004 - 0.404. Which is smaller: i or -5?
-5
Let g = -719/21 + 438/7. Suppose -2*s - 3*s = -150. Let m = s - g. Does 2 = m?
False
Let n(w) = w**2 + 6*w + 1. Let c be n(-6). Let v be (-2)/(-8) + (-22)/(-8). Suppose -4*i + 3*s - 7 = 0, -5*i - 3 + c = v*s. Is i smaller than 2/11?
True
Let y be (-19)/(-3) + 10/15. Let v = -6 + y. Which is smaller: v or 3/7?
3/7
Let i = -100 + 236. Is i less than 136?
False
Suppose -h - 4 = -a, -h - 4 = h. Let g = -0.71 - -0.71. Is g <= a?
True
Suppose -2*n + 3*x - 122 = -x, -n = 5*x + 96. Is -71 greater than n?
False
Let f(l) = -l**3 - 9*l**2 - 2*l - 5. Let x be f(-9). Let y = x + -15. Is y greater than -2?
False
Suppose 3*r + 2 = -5*f - 12, -2*r - 3*f - 8 = 0. Suppose -4 = -3*k + r. Let y be 0/(k - (-1 - -1)). Does y = -3/5?
False
Let p(r) = 2*r - 15. Let c be p(7). Which is smaller: c or -2?
-2
Let o = -0.07 - -1.07. Is 0.05 less than or equal to o?
True
Suppose 0 = -4*t + 16, -d - 4*d - t = 86. Let l(q) = 12*q. Let x be l(1). Let m = x + d. Which is bigger: m or -5?
-5
Suppose -m - 20 = 3*v, 4*v - 3*m = 16 - 47. Let u = -3 - v. Let y(x) = 4*x - 21. Let l be y(6). Which is smaller: u or l?
l
Let b = 0 + 0.1. Let m = 0.03 - -0.27. Is b at most as big as m?
True
Let l = -14 + 12. Which is smaller: l or 0.06?
l
Let c be 1/((3/147)/(-1)). Let s = c - -197/4. Which is smaller: s or 0?
0
Let l = 15 + -11. Suppose 5*g + 2*d + 8 = 0, -2*g - 6 + l = 2*d. Suppose -2*v + 0*v - 3*y = 13, -y = 3. Is g at least as big as v?
True
Let k be 2 - 2 - (-4)/22. Suppose -2*b + 3 = -1. Suppose -b*h - 2 = -4*h. Which is smaller: h or k?
k
Let n = -1.1 - -1. Suppose 24 = r - 5*r. Which is smaller: r or n?
r
Let t be (-4)/14 - 57/(-126). Let z = -12 + 14. Suppose -3 = z*q + q. Which is smaller: t or q?
q
Suppose 6 = -3*c - 3. Let r = -1 - c. Let v be 2 - (2 - 8/14). Is r greater than v?
True
Let x = -326 + 221. Let o = x + 841/8. Which is greater: 0 or o?
o
Let t = -5.1 + 5.35. Which is bigger: t or 0?
t
Let f = 86 - 101.9. Let p = f + 16. Let d = -19 - -13. Which is bigger: d or p?
p
Let k = -28 - -29. Do 2/51 and k have the same value?
False
Let f = 18 + -30. Let k = f - -11.97. Is k smaller than 0.2?
True
Let u = -36/17 - -214/85. Let d be 1*-1*(-24)/(-8). Let b be (-4)/6 + (-5)/d. Which is bigger: b or u?
b
Let x = -45 + 43. Which is bigger: -7/8 or x?
-7/8
Let v(c) = c + 7. Let r be v(-7). Suppose 4*b + 2*k - 14 = r, 8 = 4*b - 2*k - 10. Suppose -5*w + 4 = -b*w. Which is greater: w or 3?
w
Let l = 6 - -37. Are 42 and l unequal?
True
Let p = 122 - 121. Suppose 3*u = -2*u. Is p not equal to u?
True
Let t = -0.993 - 0.007. Let n = 8 - 11. Are t and n equal?
False
Let m = 29 + -21. Let d = -4 + m. Let a = 5 - 4.9. Is a < d?
True
Let w = -1784/3311 + -2/301. Which is bigger: 0 or w?
0
Let j be (-4)/3*6/(-28). Let y(r) = r**2 - 7*r + 3. Let k be y(7). Let o = k - 3. Which is greater: o or j?
j
Let j = -275/266 + 13/14. Is 0 greater than j?
True
Let n = 41 + -41. Is n equal to 0?
True
Suppose 4*l = -4*h + 56, l + 2*h + 98 = 6*l. Let w be (0 - 2) + 32/l. Which is smaller: 1 or w?
w
Let f be ((-8)/6 + 1)*-3. Let a be 8/(-36)*45/(-100). Which is smaller: f or a?
a
Let u(c) = c + 9. Let m be u(-9). Let p be 1*3/(-15) + -1. Which is bigger: m or p?
m
Let w(i) be the second derivative of 0 - 2*i + 4/3*i**3 - 1/2*i**2 + 1/12*i**4. Let m be w(-8). Which is greater: -1/5 or m?
-1/5
Let h = 1.7 + -1.8. Let z = h + 0.6. Is 0.2 at least as big as z?
False
Let s(g) = -5*g**3 - 2*g**2 - g. Let u be s(-1). Suppose 3*q - 5*q = 0. Suppose q = d - 5 + 2. Which is greater: u or d?
u
Let c = -11 - -7. Let a be c/3 + (-3)/(-9). Let s = 60 + -299/5. Which is bigger: s or a?
s
Let x = -68 + 75. Let l(m) = -m**3 + 5*m**2 + m + 2. Let w be l(5). Do x and w have the same value?
True
Let w be 5/15 - 28/(-6). Suppose o + 4 - w = 0. Let h be (-1 + 2)*(-2)/8. Does o = h?
False
Let m be 2/(-4)*3/(-6). Let z = -34/7 + 265/56. Which is smaller: z or m?
z
Let p = 6 - 5.97. Let v = p - 3.03. Which is smaller: -0.1 or v?
v
Let i be ((-3)/2)/(9/84). Is i at most -13?
True
Let l = 7 + -1. Let z(d) be the first derivative of d**3/3 - 7*d**2/2 + 8*d - 8. Let g be z(l). Which is smaller: g or 2/3?
2/3
Let m = 20 + 5. Suppose 4*c - m = -c. Suppose 0 = -4*w - 1 + c. Do w and 2 have the same value?
False
Let u = 9 - 10. Suppose 5*i = 8 + 2. Suppose -m - 3 = 5*d, 2*m + 2*m + 12 = i*d. Which is smaller: u or d?
u
Let q = -104/51 - -12/17. Let z be (-12)/(-90)*(0 + 3). Is z >= q?
True
Let n(c) = -c**3 - 7*c**2 + c + 5. Let y(b) = b**3 + b**2 + b - 7. Let p be y(0). Let l be n(p). Is l not equal to -1?
True
Let q = 0.5 + -0.9. Let n = -24.4 - -24. Let d = n - q. Is d <= 1?
True
Let v(f) = -f**2 - 9*f + 1. Let m be v(-8). Suppose -x + 27 = 5*h, -x - x - h + m = 0. Is x at least 2?
True
Let q be ((-5)/(-10))/(4/2). Let v(u) be the first derivative of -u**3/3 + 7*u**2/2 - 2. Let y be v(7). Are q and y equal?
False
Let x(w) = w - 2. Let u be x(2). Suppose 4*v = 3*d + 23 + 21, -4 = 4*v. Is d at most as big as u?
True
Suppose 0 = -4*x - 4*r - 4, -2*r + 0 + 1 = 3*x. Suppose 0*j - 6 = -x*b + j, -j - 3 = 0. Which is smaller: 3 or b?
b
Suppose 5*r - 4*w + 33 = 0, -4*r = w + 6 + 12. Let p(y) = -y**3 - 5*y**2 - 2*y - 4. Let g be p(r). Which is smaller: g or 7?
g
Let b = -21 - -33. Is b at most as big as 0?
False
Let j(k) = -1 + 0 - 2 - 2*k. Let f be j(-3). Suppose 4*w - 14 - 2 = 0. Which is bigger: w or f?
w
Suppose -48 = 5*s - u, 7*s - 5*u + 40 = 2*s. Let y be 98/(-35) + 2/s. Let k be ((-8)/(-18))/((-2)/y). Is k less than or equal to 1?
True
Let r(s) = -4 - 5*s - 2*s**3 + 2*s**2 + 3*s**3 + 1. Let p be r(-3). Suppose q = p*q. Is q greater than 1/4?
False
Let x = 6 - 3. Let h = 39 + -36