et p = -1 + 0.9. Is q <= p?
False
Let f = -1164 - -68674/59. Does 0 = f?
False
Let d = 171 - 170. Is -39 at most d?
True
Let q be 2/(-11) - 13/(-11). Let m be 2/((-4)/(-16) + 21/12). Is q >= m?
True
Let k be ((-4)/3)/2*9. Let n = 10 - 17. Does k = n?
False
Let h(k) = -k**3 + 5*k**2. Let a be h(5). Let t = 1 - a. Suppose 3*m - 4*m = 0, -x - 5*m = 0. Is t at most x?
False
Let x = 18 + -18.15. Let u = 0.12 + x. Is u <= -1?
False
Let t = -6.04 - -0.04. Which is bigger: t or -1?
-1
Let a(d) = d**2 + d + 2. Let k be (-2)/6 - (-6)/18. Let t be a(k). Which is smaller: 1 or t?
1
Let d = 3 - 2. Is 20/11 at least as big as d?
True
Suppose 3*h = -q - 2, 0*q = h - 3*q + 4. Let i(l) = -2*l**3 - l**2 + l + 1. Let m be i(h). Let t be -2*1/(-36)*4. Which is greater: t or m?
m
Suppose 0*f + 2*f = 0. Let p(q) = -2*q - 1. Let b be p(f). Let t = -53/98 - -2/49. Is t at least as big as b?
True
Let i be 2 + 2 + 19 + 2. Suppose 3*t + i = 4. Is t greater than -6?
False
Let u(z) = z**2 - 13*z - 17. Let t be u(14). Which is smaller: -3/2 or t?
t
Suppose 2*j - 58 = -2*w, 2*w = 3*w + 3*j - 19. Which is smaller: 33 or w?
33
Let j(f) = -f**3 + f. Let c = -2 - -7. Suppose -2*y = 5*l + 11, y - c*y - 8 = -4*l. Let z be j(l). Which is smaller: z or -2?
-2
Suppose 5*s - 10 = -0*b + 2*b, 2*s = -3*b + 4. Which is smaller: -9/5 or b?
-9/5
Let f = -13 - -8. Let m = 76 - 81.1. Let a = f - m. Is 0.2 greater than or equal to a?
True
Let u(b) = b**2 - b - 4. Suppose 0 = -3*z + 4*k - 4, -2*z = k - 1. Let d be u(z). Is -5 at most as big as d?
True
Let s(c) = -c**3 - 22*c**2 + 51*c + 36. Let x be s(-24). Is x > -37?
True
Let p = -91.5 - -91. Is p >= 10?
False
Suppose -2*i - 2*i = -24. Suppose -n - 9 = 2*n - 3*r, -i = -3*r. Let k be (1/2)/(n/2). Which is bigger: k or -1/3?
-1/3
Suppose 2*i + 15 = -3*g + 2*g, -2*g + i = 5. Is g bigger than -4?
False
Suppose -k + 5 - 3 = 0. Let d be 3 + 1*(-2 - -1). Suppose d = -4*b + 14. Is k at most as big as b?
True
Let d be 2 + (-4)/(1 - -1). Which is greater: -14/11 or d?
d
Let b be 1/(-3) - (-15)/(-9). Let h = -1 - b. Which is greater: h or -2/13?
h
Let n = 587 + -308. Let j = -2793/10 + n. Is j less than 0?
True
Let u = -3 + 2. Let v be ((-21)/(-252))/((-2)/(-18)). Which is smaller: u or v?
u
Let q = 61 - 243/4. Let b(c) = -c**2 + 2*c. Let u = 1 - -1. Let n be b(u). Which is smaller: q or n?
n
Let b = 17 + -16.81. Which is greater: 0 or b?
b
Let s(q) = -q**3 - 5*q**2 + q + 5. Let p(a) = 2 - 5*a**2 + 3*a - 3 + a**3 + 0*a**3. Let l be p(4). Let y be s(l). Is y less than or equal to -1/4?
False
Let z = 0.22 - -0.78. Which is smaller: z or 44?
z
Let w = 61 + -123/2. Let m be -2*3/6 - 12. Do w and m have different values?
True
Let k = -215 + 150. Do k and -64 have the same value?
False
Let k = 1.32 - 1.22. Let b be 2/14 - (-2)/(-7). Which is greater: k or b?
k
Let u(c) = 4*c + 8. Let r(q) = -3*q - 8. Let m(t) = 3*r(t) + 2*u(t). Let x be m(-7). Let y = -128 + 898/7. Which is smaller: y or x?
x
Let p be 2/10*6/1. Let m = -5 + 8. Suppose 5*a + n - 1 = 0, -2*a - m*n + 4 = 1. Are a and p unequal?
True
Let m = 5 + 0. Suppose -5*c = m*k + 15, 2*c = -0*k + k. Is k <= -2?
True
Suppose 0 = 5*z + 2*g - g + 10, g = z + 2. Which is greater: -5 or z?
z
Let p(q) = q**3 - 17*q**2 + 2*q - 34. Let o be p(17). Which is smaller: 11/2 or o?
o
Let s = 1 - 1. Let r be 8038/(-56) + (-3)/4. Let g = r - -144. Is g greater than or equal to s?
False
Suppose 3*s - 6 - 6 = 0. Suppose 4*u - 40 = 2*t, 3*t + s = 4*u - 38. Let v be u/(-6) - 1/2. Is 0 greater than or equal to v?
True
Suppose 4*s - 20 = -2*y, s + 2*s = -5*y + 15. Suppose 0*z - 3*z = -2*j - 2, 3*j - 15 = y. Suppose -z*a + a - 3 = 0. Is -1 > a?
False
Let p = 0.008 + 0.162. Is -2 at most as big as p?
True
Let y = -23 - -8. Which is greater: y or 0.1?
0.1
Let x(u) = -u - 6. Let j be x(3). Is -8 > j?
True
Let m = 2.37 - 2.7. Let b = m + 0.03. Let j = -0.5 - b. Is j >= -2?
True
Suppose 4*s = -3*p - 23, -2*s + 6 + 10 = -4*p. Let k(z) = z**3 + 5*z**2 + z + 3. Let a be k(p). Let o be 4/(-6) + (-1)/3. Which is greater: a or o?
o
Let d = -20101/33 + 609. Is 1 bigger than d?
True
Let k = -4 - -6. Let s = 0 + -3. Which is bigger: k or s?
k
Suppose -3*i + 8*i + q + 82 = 0, 5*q = 3*i + 66. Do i and -17 have the same value?
True
Let l = -16 + 17.2. Let n = 1.1 - l. Is n smaller than -2/5?
False
Suppose 4*d = -3 - 1. Are d and -2 nonequal?
True
Let l = -2505 + 162829/65. Which is bigger: l or 1?
1
Let c be (5 - (-3 - -4)) + -80. Let y = c + 830/11. Which is smaller: 0 or y?
y
Suppose 0 = -2*m, 3*g - 5*g = m + 20. Is g at least -9?
False
Suppose 4*m + 12 = 4*j, 2*j + 3*m + 2 + 7 = 0. Suppose 8*x + 1360 = 3*x. Let a be -2 + (x/(-28))/4. Which is smaller: a or j?
j
Let b = -0.09 - -0.89. Let g = -0.2 - b. Which is bigger: g or 9?
9
Let u = 4 - 3.8. Let d = u - -0.1. Which is smaller: -1 or d?
-1
Suppose 0 = -0*o - o. Suppose o = 2*y - 4*y - 2. Is y at least -1?
True
Let l be -20*(1 - 18/10). Is 14 bigger than l?
False
Suppose 5*r - v + 22 = -0*r, 0 = 5*r + 5*v + 10. Let k be (7 + r)*4/(-24). Which is greater: 1/3 or k?
1/3
Let w be 1/1 + (0 - 4). Let g(k) = k**2 + 4*k + 3. Let v be g(w). Let h be (-1 - -3) + 54/(-30). Which is smaller: h or v?
v
Let z be (1 + 0)/(6/60). Let a = z - 14. Which is smaller: a or -2?
a
Let k = 0 - 7. Let w = -11 - k. Let i = w + 2. Which is bigger: i or 0.1?
0.1
Let l be 3*4/(-54)*1. Are l and -1 equal?
False
Suppose -4*g = l, 3*l - 2*g = -5*g. Let r = -2 + l. Let h = 1 + r. Is 2/5 at most as big as h?
False
Suppose 6*w = 74 + 4. Which is smaller: 10 or w?
10
Let f be -20 - 2/4*-2. Which is smaller: 1 or f?
f
Let y = 0 - 0. Let x = y - -15. Suppose 5*f = -x + 5. Which is bigger: f or -1?
-1
Let t = -18 + 29. Which is smaller: t or -2/3?
-2/3
Let j be 2 + -2 + 0 + 1. Let t(x) = x**2 - 42 - 2*x**2 - 7*x + 50. Let y be t(-8). Is j >= y?
True
Let k = -4456/141 - -95/3. Is k at most as big as -1?
False
Let q(a) = a + 5. Suppose 3*o + 8 + 10 = 0. Let d be q(o). Do 0 and d have the same value?
False
Let n(k) = -k + 4. Let t be n(5). Let a = -571/2002 - 3/91. Let x = 107/198 + a. Is x > t?
True
Let r = -2873/9510 + 2/951. Is r not equal to 0?
True
Let a = 18 + -16. Which is smaller: a or 1/4?
1/4
Suppose -31 - 1 = -16*n. Is n equal to 13?
False
Let q = -6 + 7. Let n be (q/5)/(12/15). Let u = 0 + n. Which is smaller: 0.1 or u?
0.1
Suppose -4*r = -6*r + 2. Which is bigger: r or -3?
r
Suppose 0 = g + 2*g - 3. Let m = 6 - 7. Let n = g - m. Which is smaller: 1 or n?
1
Let z be ((-2)/4)/(4/(-56)). Suppose -3*y - x + 18 = 0, 8*x = y + 4*x + z. Which is bigger: y or 2?
y
Let n(o) = -2*o - 2. Let j be n(-2). Let z be (4 - 2)/(1/j). Suppose -3*v + 11 - 3 = f, -27 = -2*v - 5*f. Are v and z equal?
False
Let s be (0 - -3)/(-3) + 3. Suppose s*j = -3*j - 5. Suppose -5 = -2*m - 3. Which is smaller: m or j?
j
Let d(g) = g - 4. Let p be d(3). Let j be 67/120 - 3/5. Let x = j - -55/168. Is p <= x?
True
Suppose 3*w - 3 = -6. Let t be w/(-5) + (-12)/10. Which is smaller: -1/2 or t?
t
Let x be 13178/5 - (-6)/15. Let t = x - 503474/191. Let c = 392/955 - t. Are -1 and c non-equal?
True
Let c = -1265/7 - -181. Is c smaller than -0.1?
False
Let r = -63 + 255/4. Are r and 2 equal?
False
Suppose -2*n + 3*q - 10 = -q, 0 = 4*n - 3*q + 10. Let u = -1/19 + -15/76. Is u at least n?
True
Suppose 2 = -3*d + 4*d. Let p be ((-6)/(-9))/(d/3). Let r be (-1)/2 + 13/14. Which is bigger: r or p?
p
Let n = -7 - -7.7. Let y = n + -0.8. Which is smaller: y or -0.6?
-0.6
Let r = 35 - 34. Is r at least 14?
False
Let a be 855/38*4/6. Is a greater than 14?
True
Let t = 34 - 16. Let n be t/10*(-14)/28. Is n <= 0?
True
Suppose -9 = -3*k + 6. Let a be 0 + (2 + 4 - 2). Suppose -31 = -k*v + a. Which is smaller: 6 or v?
6
Let k be -2*5/(9 - 4). Is -9/7 > k?
True
Let a = 10 + -7. Let p(c) = -18*c - 4*c**a + 13*c + 3*c**3 + 3*c**2 + 4 + c**2. Let x be p(3). Which is smaller: -1/2 or x?
x
Let f = 9 + -17. Let n be ((-8)/(-30))/(f/(-100)). Which is greater: 2 or n?
n
Let d(u) = -2 + 3 - 3*u**2 + 2*u**2 - 2*u + 6*u. Let j be d(3). Let r be (-1*1 + 4)/1. Are j and r unequal?
True
Let s = 0 - 0. Let v(n) = 2*n - 1. Let a be v(s). Are 2/11 and a unequal?
True
Let m(p) = p**3 - 9*p**2 - 22*p + 15. Let z be m(11). Which is smaller: 14 or z?
14
Suppose -3*s - 2*s = -15. Suppose -s*t 