.827. Let h = l - -15. Is h at least 1?
False
Suppose 3*b - t - 3 - 7 = 0, 4*t - 2 = -2*b. Suppose 5*q = -5 + 15. Is q at most b?
True
Suppose 0 = 4*u - 23 + 7. Let a be (-8)/12*(-2)/u. Is a at least as big as 0?
True
Let b(s) be the first derivative of s**4/4 + 4*s**3/3 - 5*s**2/2 + s - 1. Suppose -z - 4 = 0, 1 - 26 = c + 5*z. Let r be b(c). Which is greater: r or 2/23?
r
Suppose -t = 5*t - 3*t. Which is smaller: -2/103 or t?
-2/103
Let r = 43.7 + -1.7. Which is smaller: r or 0.1?
0.1
Suppose 13*y = 11*y + 12. Suppose -s + 5 = -2. Which is bigger: y or s?
s
Let g(m) = -m - 5. Let k be g(-5). Which is greater: k or 10/13?
10/13
Let o = 229/4 - 57. Is 7 < o?
False
Let d(m) = -m - 2. Let l be d(-2). Suppose -5*c + c + 108 = l. Let f = 109/4 - c. Which is smaller: f or -2/7?
-2/7
Let v(y) = y + 3. Let q be v(3). Suppose 5*i = f - 13, -q = i - 4*i - 4*f. Let r be (-27)/84 - 1/4. Which is bigger: r or i?
r
Let l be (-6)/((12/21)/(-2)). Suppose 0 = -c + 3*a + 2 - l, 5*c + 2*a = -10. Let o be (-3)/c*(-6)/(-18). Which is bigger: o or 2/5?
2/5
Let a = -2/57 + 160/1311. Suppose 0 = 5*s - 3*i - 40, 0 = 4*i - 9*i - 25. Let n be s/6*(-6)/(-20). Which is greater: n or a?
n
Let n be 0 - (-2)/12*-194. Let s = 32 + n. Is s equal to -15?
False
Let k be (16/88)/(2/(-6)). Suppose 0 + 4 = -2*c. Which is bigger: c or k?
k
Suppose -3*h + 45 - 51 = 0. Is -2 <= h?
True
Let c(f) = f**3 + 4*f**2 - 4*f. Let x be c(-5). Is x bigger than 2/7?
False
Let l = 0.06 - -0.44. Let s = l - 0.8. Let y = -0.1 + 0.2. Which is smaller: y or s?
s
Let f(z) = -z**2 + 3*z + 1. Let n be f(3). Let u(d) = 9*d - 1. Let s be u(n). Let v(x) = x - 7. Let j be v(s). Is -3/7 >= j?
False
Let h be 990/994 - (4 - 3). Do h and 1 have the same value?
False
Suppose -33 = -5*v - 13. Suppose -v*u + 2*g = 6, 3*g = -2*u + 2*g + 3. Is 1/4 != u?
True
Let l = -43/330 - 2/55. Do -0.4 and l have the same value?
False
Let w(a) = -a**2 + 9*a + 12. Let o be w(10). Let l be (-294)/(-77) + (-2)/(-11). Which is smaller: o or l?
o
Let j be 39/(-9) + 3 + 1. Which is smaller: j or -5?
-5
Let o = 216 + -212. Suppose 0 = 2*m - m + q - 6, 2*m - 4*q + 6 = 0. Is m > o?
False
Suppose 2*a - 6*a + 12 = 0. Which is greater: a or 2?
a
Suppose -4*l - 3 = 5*i - l, -5*i - 23 = -2*l. Let j be -2 - (4 - 1)/i. Is -0.2 bigger than j?
True
Suppose 2*k = -0*k. Let i be (-30)/(-8) - (-3)/12. Is i at most as big as k?
False
Let t(n) = 3 - 2*n + n**3 - 2*n**3 - 7*n - 8*n**2 + 3*n. Let q be t(-7). Let v be (-8)/(-26)*q/8. Which is bigger: 0 or v?
0
Suppose 0 = -4*q - 16, 0 = 4*j - 8*j - 3*q - 32. Which is bigger: j or -8?
j
Let j(z) = z**3 + 4*z**2 + 5 - z - z**2 - 7*z**2. Let x be j(4). Is 1/7 at most x?
True
Let h = -10.98 - -11. Let b = 0.98 + h. Let u = -0.05 - -0.45. Which is bigger: u or b?
b
Suppose 0*b - 3*m + 6 = -b, 12 = 4*m. Is b at least as big as 4?
False
Suppose 2*a - 3*a = -1. Let p be 0/2 - (-2)/5. Is p greater than a?
False
Let a(h) = -3*h + 2. Let v be a(2). Is v at most -5?
False
Suppose -2*h + 3 - 19 = 0. Let l be h/(-10)*3/6. Let m(c) = c**2 + 5*c - 7. Let b be m(-6). Which is smaller: l or b?
b
Let l = -18 + 91/5. Let t be (-1 - -7) + 1*-5. Is t at least as big as l?
True
Let i = 10 - 9. Are -3 and i non-equal?
True
Suppose -3 = -5*g - 18, -2*z + 2 = 4*g. Suppose -d + z = -0*d. Which is bigger: 6 or d?
d
Let y(o) = -2*o + 2. Let n be y(-2). Suppose -1 = 5*j - n. Which is greater: j or 2?
2
Let y = -75.9 - -76. Let p = -0.2 + 0.2. Let a = p + 0.1. Is a at most as big as y?
True
Let m be 77/(-22)*4/(-91). Is m less than or equal to -0.2?
False
Let o = 8.9 - 9. Is o less than -1/2?
False
Suppose -4*n + 6 + 6 = 0. Let c = -42 - -124/3. Let j = c + 1. Which is greater: n or j?
n
Let o = -0.1 + 0. Let s = 0.2 + o. Let h = 2 + -2. Which is smaller: h or s?
h
Let j be 6/(-4)*4/3. Let k = -3 - j. Are -1 and k nonequal?
False
Let h = 8 - 4. Let f = h + -2. Which is bigger: -2/5 or f?
f
Let d(b) = b**2 + 12*b + 9. Let i be d(-10). Is i at least -9?
False
Let p be 39/15 - 4/(-10). Which is smaller: p or 1/3?
1/3
Suppose 7*k = -15 + 1. Is k not equal to -2?
False
Let d = 6/23 - 41/69. Let h(g) = -g + 18. Let n be h(9). Suppose 4*o = 8, 1 = -2*q - 5*o + n. Which is bigger: d or q?
d
Let g = 15.9 - 16. Is 10 at least g?
True
Let n = 0 + -2. Let w be n/(1 + 3/(-9)). Is -3 >= w?
True
Let b(c) = c**3 - 8*c**2 - c + 3. Let r(x) = x**2 + 1. Let f(q) = -b(q) - 3*r(q). Let y be f(5). Which is smaller: 0 or y?
y
Let q be 18/12 - (-10)/(-4). Which is bigger: q or -0.6?
-0.6
Let o = 196 - 2941/15. Let r(c) = c - 6. Let j be r(4). Let b = j - -3. Do b and o have the same value?
False
Let o be 68/(-80) + (9/(-12) - -1). Which is smaller: -2 or o?
-2
Let k be (94/(-8) - 1) + 7/(-28). Let q be -1 + 4*1/2. Which is smaller: q or k?
k
Let a(p) = p**2 + p - 2. Let j be a(1). Let q be (-15)/39*4/(-30). Which is smaller: j or q?
j
Suppose -a = -0*a. Suppose 0 = f + 2*g + 2, -f - 3*f - 3*g + 2 = 0. Is a <= f?
True
Let w be ((-5)/(-20)*0)/1. Is w greater than -4/7?
True
Let z(q) = -q + 1. Let n be z(2). Let w be 6/3 + 2 + n. Let y be (-4)/6 - w/(-3). Which is smaller: y or 8?
y
Let m(y) = -3*y**2 + 0*y**2 + 5*y + 4*y**2. Let u be m(-4). Suppose 3*l + 12 = -0*l. Is l at most as big as u?
True
Suppose 0 = 4*u - 4, 0 = -0*f - f + 5*u - 16. Is f greater than -12?
True
Let d be 4*(2 + (-273)/138). Is d bigger than -1?
True
Suppose 0*b - 18 = -3*v - 4*b, -2*v - 4*b = -16. Let u be 3 - 1 - (1 + 0). Which is greater: u or v?
v
Suppose v = -0*o + 3*o - 13, 2*v - o = -21. Let d be ((-1)/(-2))/((-5)/v). Suppose 3*f + 1 = -4*y, 2*y = 4*y - 4*f - 16. Which is smaller: y or d?
d
Let k be 2*-9*(-21)/(-9). Let o be -2 - 7/(k/8). Which is greater: 1/9 or o?
1/9
Let o = -6/7 - -8/7. Is o >= 0?
True
Let w be 5/15 - (-104)/(-6). Which is greater: w or -18?
w
Suppose 0 = 4*j - 8, -2*g + 0*g = 4*j - 6. Is -12/19 smaller than g?
False
Suppose 7*u = 2*u. Let s be (-10)/(-36) + (-5)/10. Which is bigger: u or s?
u
Suppose -5*q - 5*d = -3*d + 94, 0 = q - 5*d + 35. Do -20 and q have the same value?
True
Let m = -1 - -5. Let v be (-6)/(-30) - 19/(-5). Let h = v - m. Is h < 1?
True
Let f(n) = -n**2. Let q be f(1). Let c be q + -1 + -5 + 1. Is -2 at least as big as c?
True
Let b = -55 + 109. Let q = -2/865 - 141854/2595. Let m = b + q. Which is greater: -2/5 or m?
-2/5
Let u = 2.5 + -6. Let o = u - -3. Let m = 0 - -0.1. Does m = o?
False
Suppose -5*u = -5*a + 60, u = -3*u + 5*a - 47. Let k = -16 - u. Which is smaller: 1 or k?
k
Suppose -14 = -4*c + 34. Is 13 greater than c?
True
Let a = -0.2 + -2.8. Let t = 0.6 - 1.5. Let k = 0.1 - t. Which is greater: a or k?
k
Let g = 5795137/5791086 + -2644/2419. Let h = 1/342 - g. Are h and 1 non-equal?
True
Let q = 5913/23 + -257. Which is smaller: q or 0?
0
Let f = 7 - 5. Let z be (23*2)/f + -2. Let s be 60/161 + (-6)/z. Which is smaller: s or 2/3?
s
Let k = 6 - 1. Let r = k - 6. Let p be ((-3)/27)/(1/2). Is p less than r?
False
Let h = -35 - -32.1. Let v = 0.2 - h. Let p = 3 - v. Which is greater: p or -0.4?
p
Let w = -0.7 - -0.7. Let l = -0.3 - w. Is l smaller than 2/5?
True
Suppose -4*r - 2*m + 20 = 0, 2*m = -4*r + 6*r - 10. Is 2 > r?
False
Let k(j) = 15*j**2 + 1. Let d be k(-1). Let b be 6/d*4/6. Is 2/5 greater than or equal to b?
True
Let s be (-28)/(-5) - (-3)/(-5). Suppose -3*g + 1 = -2. Is s less than g?
False
Let p be (3/24)/((-5)/(-20)). Which is smaller: 0.11 or p?
0.11
Suppose 0*x - 16 = -3*x + 2*h, 0 = -5*x - 3*h + 14. Suppose 3*o + x = o. Is o at most as big as -4/5?
True
Let v be (-1)/(-2) - 2/(-8). Let b = 542 + -541.8. Is b greater than or equal to v?
False
Suppose -3*h = -12, 3*p - 4*h - 17 = -3*h. Which is greater: p or 6?
p
Suppose 3*f - 48 = -3. Let s be (f/(-20))/(3/12). Which is greater: 1/5 or s?
1/5
Let a = 6 + -10. Let j = a + 4.2. Let y = -0.4 + 0.2. Which is bigger: j or y?
j
Let p = -11 + 12. Is p > 2/41?
True
Let k be -1 + (-12)/(-8) - 1. Is -0.1 >= k?
True
Let o be (-5 + 1)*(-91)/52. Which is smaller: 8 or o?
o
Let z = -2 + -2. Suppose q = -q - 38. Let i = 19 + q. Which is smaller: z or i?
z
Let r(k) = -k. Suppose -2*z = -0*z - 8. Let y be r(z). Let j = y + 3. Are j and -3 nonequal?
True
Let r = -3 + 2.7. Let m = r - -0.19. Let h = m - -0.01. Which is bigger: h or 1/2?
1/2
Let x be 6/(-2) + 0/(-2). Suppose -5*m -