et u = 0.93 + b. Is u >= v?
True
Let a = 5.3 + -5.3. Is a <= 0.5?
True
Suppose -q - 2*q - m - 118 = 0, 5*q + 4*m = -192. Which is greater: q or -42?
q
Let p(h) = h**2 - 6*h - 2. Let f be p(7). Suppose -5*j = -10 - f. Suppose 0 = n, 4*w + 35 = -w + j*n. Is w bigger than -6?
False
Let k(u) = 5*u**2 + 2*u**2 + 3 - 6*u**2 + 2*u**2. Let w be k(2). Is w < 16?
True
Let p(b) = 3*b**2 - 2*b + 1. Let x be p(1). Suppose -x*f + 5*f - 6 = 0. Let g be (f/(-14))/((-1)/(-2)). Which is smaller: 0 or g?
g
Let v = 0.41 - 0.11. Is v bigger than -0.3?
True
Suppose g - 3*g - 3*l = -6, 6 = -5*g + 3*l. Let p(b) = -b**3 + 16*b**2 + 17*b + 1. Let d be p(17). Is d equal to g?
False
Let y(v) = 4*v - 2. Let a be y(0). Do -11/5 and a have different values?
True
Let b(p) = p**2 + 5*p + 6. Let q(g) = -g**2 + 4*g + 1. Let s be q(5). Let r be b(s). Is r smaller than 2?
False
Let x = -0.1 - -0.1. Let m be (15/(-6))/(-5)*6. Suppose 3*d = j - 6, -j = -5*d - 7 - m. Is x less than or equal to d?
False
Suppose -22 = 5*v - 2. Let m be (-1)/v - 7/(-4). Is 2 bigger than m?
False
Let f = 5 - -7. Let h be 2/(-4)*(-8)/f. Let b = -5 - -4.9. Which is smaller: b or h?
b
Let k(h) = 2*h - 9. Let s be 0 - 2*(-2 - 1). Let v be k(s). Suppose -v*x - 1 - 5 = 0. Which is smaller: -1 or x?
x
Let r be (-1 + -3 + 1)*-1. Is r at most 2?
False
Let m = 64.91 - 65. Let v = 1.2 - 0.2. Are m and v non-equal?
True
Let v = 104 + -71. Which is bigger: v or 35?
35
Let b = 15.49 + 0.51. Which is greater: -0.2 or b?
b
Let a = -16.1 + 16. Is a less than or equal to 3/4?
True
Let u = 38.985 - 39. Which is smaller: -2/3 or u?
-2/3
Let w = 14 + -4. Suppose -w = 2*l + 3*l. Is -3 >= l?
False
Let h = -2 - -8. Let v be (h/(-4))/((-72)/(-3)). Are -1 and v nonequal?
True
Let x = -4.5 + 4.5. Let l = 3 + 0. Is l < x?
False
Suppose -5*r + 7 = -4*l, 2 = r - 4*l + 7. Let f be (-6*1)/((-12)/(-8)). Let h = f - -6. Is h greater than or equal to r?
False
Let w be ((-15)/(-4) + -4)*4. Which is bigger: -12/7 or w?
w
Let f(b) = b**2 + 2*b - 2. Let u be 1/(-1)*(2 + 0). Let c be f(u). Which is smaller: 3 or c?
c
Let t = -124 + 124. Which is greater: t or 4/7?
4/7
Let f be (-5)/(-10)*0 - -62. Are 61 and f unequal?
True
Let x = -113 + 110. Are x and -3 non-equal?
False
Let f be (-3)/(-4)*(-4)/(-12). Which is smaller: 5 or f?
f
Let h be -4 - -3 - 39/(-33). Is -1 less than or equal to h?
True
Let j(s) = s**3 - 3*s**2 - 4*s. Let c be 0/(2 - -2) + 4. Let w be j(c). Let k = -1 - -2. Is k less than w?
False
Suppose v - 5*t + 7 = 34, -4*v + 2*t + 18 = 0. Which is smaller: v or 4?
v
Let f = -3.1 - -3. Which is bigger: 3/2 or f?
3/2
Let h(z) = -z**2 - 4*z + 2. Let c be h(-4). Suppose -c*i + 6 = -4*d, 5*i = -d + i + 12. Let a = d - -2. Is a less than 2?
False
Let g be -7*8/(-28) + (-27)/14. Which is bigger: -1 or g?
g
Let o(x) = -3*x**2 + 8*x - 2. Let u(j) = 16*j**2 - 40*j + 9. Let a(h) = -11*o(h) - 2*u(h). Let b be a(7). Let l = 2 + -4. Which is smaller: b or l?
b
Let d = 3287/11 - 299. Which is smaller: d or -1?
-1
Let z be (222/(-2))/(6/8). Let b = 1479/10 + z. Which is smaller: 0 or b?
b
Let x = 0 - -5. Let k = x + -2. Suppose 5*b - 3*t = k*b - 4, b + 3*t = 7. Do 1 and b have different values?
False
Let h = 2.2 + -2. Let c = -32 + 32. Let z = h - c. Is 0 smaller than z?
True
Let m(n) = -n**2. Let p be m(-1). Let w = 11 + -12. Is p != w?
False
Let g(c) be the first derivative of -c**2/2 + c - 1. Let z be g(5). Let k be (8/(-30))/(z/10). Which is smaller: k or 0?
0
Let l = 43 + -66. Let g = -22 - l. Which is bigger: g or 0?
g
Suppose -2*v + 0 = -6. Let j = 2 - v. Let q be -1 - ((-21)/9 + 2). Is j less than q?
True
Let q be -8*1/3 + 2. Let s = 14.65 + -15. Let f = s - -0.05. Which is smaller: f or q?
q
Suppose 7*j - 8 = 27. Is -0.1 at most j?
True
Let x be (12 - 24)*(-1)/22. Which is greater: 5 or x?
5
Let r(j) be the first derivative of j**2 + 1. Let n be r(-1). Let l = -16 + 15.9. Which is smaller: l or n?
n
Let f = -31/70 + -7/10. Which is greater: -0.2 or f?
-0.2
Let y = -232/2775 + 2/555. Suppose s + 1 = -0*s. Which is smaller: s or y?
s
Let a be 3/(-2) + -1 + 4. Let i be 7/5*(-5)/4. Let f = a + i. Which is bigger: f or 0?
0
Let y = -279/16 + 18. Which is smaller: 0 or y?
0
Let j = 0.95 + -1. Let b = 0.02 + j. Let z = 0.13 + b. Are -1 and z equal?
False
Let a be 1*-2*(-48)/(-160). Suppose 4 = -4*f - 0*f. Which is bigger: a or f?
a
Let d be (-142)/(-336) - (-9)/(-24). Which is smaller: d or -1?
-1
Let q = 7 + -5. Let d be ((-4)/(-10))/(q/30). Let i = 13 + -8. Is i greater than d?
False
Suppose 0 = 2*l + 3*l - 4*x - 40, -5*x + 25 = 0. Does 12 = l?
True
Let y = 35 - 40. Which is smaller: y or -6?
-6
Suppose 5*t - 3*t = 0. Suppose 4*u - 12 = 4. Suppose -u*h = -8*h - 4. Which is greater: t or h?
t
Let k(t) = -9*t**2 - 11*t + 9. Let n(j) = 5*j**2 + 6*j - 5. Let v(l) = -6*k(l) - 11*n(l). Let m be v(-1). Is m > -4/9?
True
Let u be 9/((-18)/4) - (-3 + 0). Let f be (0/2)/(2/(-2)). Do u and f have the same value?
False
Let t = -42 - -30. Is t >= -5?
False
Suppose -3*u + n - 48 - 13 = 0, 2*u - 2*n + 38 = 0. Let m be ((-14)/u)/((-2)/3). Which is smaller: m or 0?
m
Let i(n) be the second derivative of -n**5/20 - n**4/3 + n**3 + 2*n**2 + 2*n. Let a be i(-5). Suppose -y - 3*y = 0. Is y != a?
True
Suppose 2*q - 10 = -2*g, -5*g = -2*q - 29 + 4. Let y = -7 - -8. Is q smaller than y?
True
Let p(i) = -2*i + 27. Let u be p(13). Which is smaller: u or 3?
u
Let c be 5 - 0/(-1) - -1. Suppose 5*y + 1 = 5*j + 11, 4*j = 3*y - c. Which is bigger: j or -1?
j
Let c be -1 - (5 + -3)*2. Which is bigger: c or -6?
c
Suppose 0 = -7*h + 7 - 105. Are h and -15 unequal?
True
Let a be -1*(-6)/(-9)*-3. Suppose -4*f + 5*z - 51 = 0, 2*f = -0*f + a*z - 24. Let u be 5 + -5 + 4/f. Which is smaller: -1 or u?
-1
Suppose -4*r = 4*h + 28, 0 = 2*h - 2*r - 6. Suppose 3*m - 2*m - 2 = 0. Suppose -j = -2*b - 4, -2*b = m*b + 4*j + 20. Are b and h unequal?
True
Suppose -6*t + 2*m - 106 = -2*t, 0 = t - 2*m + 25. Let f be 4*(t/(-12))/(-1). Let d = f - -9. Is d bigger than -1?
True
Let d = 96 + -283/3. Which is smaller: d or 2?
d
Let o = 0.3 - 1.1. Let i = -1 - o. Let h = 0.2 + i. Is -2 < h?
True
Suppose -3*g - 40 = 2*g. Let w(s) = s**3 + 7*s**2 - 9*s - 5. Let r be w(g). Suppose -f - 3*d - 1 = -0, 3*f = d - r. Is f at most 0?
True
Let d = -12 + 11. Which is greater: d or -4?
d
Suppose 110 = -4*d + 2*m - 4*m, -60 = 2*d - 4*m. Suppose -z - 2*z + 5 = u, -u = 2*z - 3. Let q be 6/d - (-1)/z. Are q and -1/7 equal?
False
Let q = 2.89 - -0.11. Let w be (-1)/18*(-4)/1. Which is smaller: w or q?
w
Let h = 23 - 4. Let t = 18.92 - h. Is t greater than -0.1?
True
Let h = 25/2 + -51/4. Let p = 0.58 + 0.02. Which is smaller: h or p?
h
Suppose 8*h = 3*h. Are 2/23 and h unequal?
True
Suppose -5*t = -t - 576. Let j be 2/(-2 - t/(-69)). Let f be j/7 - 1 - 2. Which is bigger: -0.4 or f?
f
Let c = 7 - 14. Which is bigger: -4 or c?
-4
Let a be 2*((-9)/(-6) - 2). Which is smaller: 2/31 or a?
a
Let y = -9 + 17. Let g = -9 + y. Let q = -1 - g. Which is greater: -3/4 or q?
q
Let k = -118655/23 - -5161. Let c = 3028/1495 - k. Let v = c + 304/715. Which is smaller: v or -1?
-1
Let z be 4/2 - -243 - -1. Let c = z + -1719/7. Which is smaller: -1 or c?
-1
Let h(s) = 2*s**2 - 9*s. Let l be h(6). Let f = l + -19. Does 2 = f?
False
Suppose -a = a + 3*y + 11, -4*y = -4*a + 8. Which is greater: a or 4/11?
4/11
Let n be (-2)/2 + 0 + 1. Let l be (n/4)/(2*-1). Which is bigger: l or 1?
1
Let s be (-4)/20*190/4. Let z = s + 10. Let a = 23 - 22. Which is smaller: z or a?
z
Let s(w) = w**3 + 6*w**2 + 4*w - 1. Let g be s(-5). Let r = 2 + -2. Which is smaller: r or g?
r
Let j = -5 + 5.2. Let r be (-3)/(-5) - 4/(-10). Are r and j equal?
False
Let l be 5 - 6 - (-2 + -1). Suppose 11 + 5 = -2*t + 4*v, 3*v - 26 = 5*t. Let f be 0/(-3) + (-3)/t. Which is smaller: f or l?
f
Let h = 0.7 - -2.2. Which is greater: h or -1?
h
Suppose 2*w = 3*w + 1. Let d be 20/(-7)*-1 - 3. Which is greater: d or w?
d
Suppose 5*x - 4*o = x - 16, -16 = 5*x - 4*o. Suppose s - 6 = -2*z - s, 15 = 5*z + 3*s. Let c = -2 + z. Which is smaller: c or x?
x
Let c = 0.84 - 1.73. Let g = -0.9 - c. Which is smaller: 1/2 or g?
g
Suppose -s + 118 = 2*f, -4*f = -5*s - 13 - 251. Is f greater than 61?
False
Let l = 2.5 - 2.9. Which is smaller: -1/10 or l?
l
Suppose 2 = -n - n. Let s be 2*1