- 13. Is h >= -2/3?
False
Let l = -9 + 12. Suppose l + 3 = 3*v. Let z be 9/3 - (v - -2). Is z bigger than -1?
False
Suppose 3 = 7*p + 10. Suppose -3*n = -f - 16, 2*f - 28 = -5*n + 3*f. Suppose 6*o = 3*o - n. Is p greater than o?
True
Suppose 3*q + s + 2 = 0, s - 3*s = -q + 11. Let w = 0.1 + 2.9. Let p = -3 + w. Is p < q?
True
Let n = -22/19 + 28/57. Let p = 1 + -1.06. Let w = p - -0.1. Which is greater: n or w?
w
Suppose -10 - 4 = 5*m - 4*r, -r + 26 = -5*m. Let v = 314 + -320. Is m < v?
False
Suppose -2*i + 32 = 2. Let t(f) = f**3 + 27*f**2 - 4*f - 94. Let u be t(-27). Which is smaller: u or i?
u
Let k = -7 - -16. Let q be k/7 + 1/(-1). Suppose -x - 5 = 5*m + 4, -4*m + 8 = -3*x. Is q smaller than m?
False
Let n be 1 + (-4)/12 + -1. Which is smaller: n or 1?
n
Let l = 59/2 + -29. Let w(c) = c**2 + c - 1. Let z(s) = 3*s**2 + 7*s. Let g(q) = 2*w(q) - z(q). Let r be g(-4). Which is smaller: r or l?
l
Let r(w) = w**3 + 12*w**2 - 9. Let v be r(-12). Let f(s) = -s**2 - 8*s + 11. Let z be f(v). Is -1 < z?
True
Let c be (-3 - (-15141)/2925) + -2. Let z = -10/39 + c. Which is smaller: 0 or z?
z
Let x = -14 - -25/2. Which is smaller: x or -15?
-15
Let k be 2/5 - (-66)/(-90). Let z = 0 - 1. Is k less than z?
False
Let a = 1 - -1. Let h be ((-24)/18)/(a/(-1)). Which is smaller: -2 or h?
-2
Suppose -3*q - 24 = -6*q + 2*y, -3*q + y + 21 = 0. Which is smaller: q or 4?
4
Let c(d) be the first derivative of -d**4/4 - 4*d**3/3 + 7*d**2/2 + 7*d + 1. Let p be c(-5). Is p >= -3?
True
Let h(n) = -n**2 + 3*n + 5. Let q be h(4). Let c = 9 - 15. Let i be c/(-14)*8/(-12). Which is smaller: q or i?
i
Let d = 10 - 6. Let l(q) = -q**2 - 4*q - 3. Let k be l(-3). Are k and d non-equal?
True
Suppose 1 - 5 = 4*d. Which is bigger: -1/2 or d?
-1/2
Let p = 29/34 - 6/17. Suppose -v + 6*v - 30 = 0. Suppose 23 = w - 4*i, 3*w + 4*i = i - v. Is p at most w?
True
Let x(t) = -2*t - 16. Let k be x(-7). Let j be (-156)/(-84) + k/(-14). Which is smaller: 0 or j?
0
Let a = 0.38 - 1.34. Let t = a + -0.04. Which is smaller: 1 or t?
t
Let h = -8 + 11. Let v be (h/2)/((-4)/(-8)). Suppose -1 = k + 2*o, 1 - 2 = -v*k - 2*o. Is k != 3/7?
True
Let l(u) = u**2 + 31*u + 59. Let v be l(-29). Is -1/5 bigger than v?
False
Suppose -3*z = -2*u + 374, 4*z = -2*u + 174 - 682. Let o be -3*-2*3/z. Is o equal to 1?
False
Let x = 0.28 - -0.16. Let q = -3.34 + x. Let z = -3 - q. Which is smaller: 2/9 or z?
z
Let n(x) = 3*x - 18. Let b be n(-16). Which is smaller: b or -65?
b
Let y = -28 + 19. Is y > -10?
True
Let k = -151/4 - -38. Which is bigger: k or -1?
k
Let o(x) = x**2 - 11*x + 18. Let i be o(9). Which is smaller: i or 1?
i
Let g = 0.33 + -0.25. Let u = -12 - -12.22. Let k = u + g. Which is smaller: 0.1 or k?
0.1
Let x be (1*3)/(9 + -10). Let j be (0 - x/(-9))*-1. Let w be 6/2*2/(-6). Is j > w?
True
Let b(x) = -5*x - 1. Let r be b(-1). Suppose -5*a + a - r = 0. Is 2/7 <= a?
False
Suppose 5*o - q + 41 = 0, -5*o = -0*o - 2*q + 42. Let u = o + 9. Is 1 equal to u?
True
Let o = 15 - 9. Suppose 0 = -2*a + 2, o = 2*t + 3*a - 9. Is 5 greater than t?
False
Let j = -5.53 + 3.56. Let b = 0.03 - j. Let c = -1.9 + b. Do c and -0.1 have the same value?
False
Let u be (-1)/(-3 + 2) + -1 + -1. Let p = 74 + -301/4. Is p greater than or equal to u?
False
Let m = 2 - 6. Let h = m + 4. Suppose -7*d - 5*a = -2*d, 2*a = -5*d. Is d equal to h?
True
Let d be 4/(-10) - (-297)/30. Is 11 at most as big as d?
False
Let n be (12/(-10))/((-6)/40). Let l be (3/12)/(9/n). Do l and 0 have the same value?
False
Suppose 0 = -x + 2 + 3. Let y be ((-6)/3)/((-2)/(-3)). Let a be (y/(-1))/(x/5). Which is greater: 0 or a?
a
Let f(w) = -w**3 + 11*w**2 - 9*w + 4. Let q be f(10). Let g(m) = 4*m + 3. Let x be g(3). Which is bigger: x or q?
x
Let c(h) = -148*h - 3. Let x be c(-2). Let v = x - 158. Let t be 0 + (-5)/(v/12). Which is smaller: 0 or t?
t
Let i be -3 - (-104)/28 - 1. Does i = 1?
False
Suppose 0*q + 20 = 4*q. Do q and 4 have the same value?
False
Let u be (-2)/2 + 21/33. Is 1 less than or equal to u?
False
Let a = 1 + -1. Let n = 176 + -175. Which is bigger: a or n?
n
Suppose 0 = -2*l - 10 + 40. Suppose -5*o - 5*m - l = 0, -4 - 5 = -2*o + 3*m. Suppose o*k = k + 4. Which is smaller: k or -2?
k
Let d = -1379/17 - -81. Is 0 not equal to d?
True
Let v = 197/2 - 4139/42. Let d = v + -2/7. Let z = -4 - -3. Which is greater: d or z?
d
Let u = -13 + 8. Let b(t) = -t + 1. Let z be b(u). Which is smaller: z or 7?
z
Let y(n) = 15*n - 7. Let z be y(-5). Let f be (-1924)/24 + 2/(-6). Let o = f - z. Are 2 and o unequal?
True
Let b be (-1)/(1/8) - -2. Let k be 9/b*4/(-10). Let z be (3 + 0 - -1) + -3 + 1. Which is smaller: z or k?
k
Let u = -3 - -7. Suppose -u*i + i + 2*g + 5 = 0, -i + 7 = -2*g. Which is greater: -2 or i?
i
Let l be (2 - (-26)/(-4)) + 2. Let w = -17 + 11. Let s = w - -2. Which is greater: l or s?
l
Suppose -j - 3*j + 1 = -i, -j + 10 = 3*i. Suppose -y + j = 3*f, -16 = -2*f + 5*y - 38. Is f greater than -5/6?
False
Let a be (2/4)/(39/(-12)). Is a > 1?
False
Let y be -5*18/(-75)*5/2. Do 1 and y have different values?
True
Let t = 13 + -22. Let v = 9 + t. Is v < -4?
False
Suppose 5*i - i = 8. Let g be -2 + i*(2 + 0). Does 3/4 = g?
False
Let s be -35*((-12)/10 - (2 + -4)). Which is smaller: -1/4 or s?
s
Let b = 4 + -10. Suppose 5*q + 2*t = 25, -10 = -5*q + t + 30. Let v = q + b. Is v > 3/4?
True
Let f = 34 + -25. Which is bigger: 8 or f?
f
Let q be (2 - -1) + (1 - -1). Suppose -4*u - l + 1 = -0*l, q*u + 1 = -2*l. Let w be (u/5)/1*-1. Which is smaller: 1 or w?
w
Suppose 0 = x + x. Suppose x = -5*a - 25 + 5. Is a >= -4?
True
Let i(g) = g - 11. Let h be i(12). Is h smaller than 3?
True
Suppose 10 = 5*v + 3*i, 0 = -5*v + 3*i + 3 + 7. Suppose 11 - 4 = s + 2*j, 7 = -v*s + 3*j. Do s and 2 have the same value?
False
Let x(g) = 2*g**2 + 8*g + 0*g**3 - g**3 + 0*g**3 - 10 + 0*g**3. Let k be x(4). Is k at most as big as -10?
True
Let w = -421 - -419. Let c = 0.2 - 0.8. Which is bigger: c or w?
c
Let h = -18708833 - -88399236248/4725. Let n = -1/175 - h. Which is smaller: n or 1?
n
Let s = -49 - -29. Which is bigger: s or -19?
-19
Let a = -119 - -120.3. Which is smaller: -3 or a?
-3
Let h = -14 - -29. Let l = h - 16. Is l not equal to -4?
True
Let g = -16 - -6. Suppose 0 = -2*p + 6, 8*h + 39 = 5*h - 3*p. Let o = g - h. Is o not equal to 6?
False
Let d = 157/10285 + 1/121. Let p = d - 93/340. Suppose s = -l + 2 + 2, 0 = 2*s - 6. Which is bigger: p or l?
l
Let q = 76 - 60. Which is bigger: 14 or q?
q
Let r(m) = -m**3 + 5*m**2 + 6*m + 5. Let d be r(6). Let g(t) = t - 8. Let b be g(d). Let u(a) = a**3 - 2*a**2 - 2. Let x be u(2). Which is greater: x or b?
x
Let o(d) = d**2 + 4*d. Let i(q) = q**3 + 11*q**2 - 4. Let r be i(-11). Let f be o(r). Do f and -1 have the same value?
False
Let f = 17 + -28. Is 0.1 at most f?
False
Let s = 3 + -5. Let a(v) = -2*v**2 - 3*v - 2. Let y be a(s). Is y not equal to -4?
False
Let w be (-2 + 16)*(0 - 1). Which is bigger: -27/2 or w?
-27/2
Suppose 4 = d + 5. Are d and -14/17 equal?
False
Let a = -11 - -24. Let s = -12 + a. Is 9 not equal to s?
True
Let k(q) = q**2 - q - 7. Let u be k(5). Suppose u = 2*z + 5. Let y = z - 2. Which is bigger: y or -3?
y
Let q = 99 - 56. Are q and 2 equal?
False
Let v = 10 + -9.7. Let u = v - -0.7. Is u >= -3?
True
Suppose 5*o + n + 5 + 104 = 0, 5*o + 107 = -3*n. Let a be (-4)/10 + o/(-5). Let w be ((-1)/4)/(14/(-140)). Is a <= w?
False
Let q = -0.004 - 0.016. Which is smaller: 0 or q?
q
Let q be 2/(-21)*(-45)/30. Let g = -1.9 + -0.1. Which is smaller: g or q?
g
Suppose -p = 4*p - 35. Let n = p - 2. Is n >= 6?
False
Let l be (5 - 0)*4/10. Let q(v) = 93*v - 1 + 2 - 94*v + 1. Let z be q(l). Which is greater: z or -3/5?
z
Suppose -2 = -5*n + 3. Let w = -17/48 - 1/48. Is n > w?
True
Let a = 7 + -5. Suppose a = 5*w - 3. Is w less than 1/10?
False
Let h = 6.64 + -6.6. Is 0.04 not equal to h?
False
Let u = -25 - -23. Is u <= 12?
True
Suppose 0 = -n - 3*n + 116. Let q be (-1)/(3/6*n). Is 1 equal to q?
False
Suppose 3*x + 0*x - 4*f = 35, -4*f - 25 = -x. Suppose -2*t + x*s + 30 = -t, -2*s = -4*t + 30. Suppose 0 = -r - t*w + 21, -2*w + w = -4*r - 21. Is -2 < r?
False
Suppose 51 = -4*y - 5*g - 30, 0 = 5*y + 2*g + 80. Is -14 less than or equal to y?
True
Suppose -2*q - f + 3*f = -42, 4*f = 16. Suppose 0 = -w - 