m = 1. Let h be 1/((-5 - -2) + 2). Is m greater than or equal to h?
True
Suppose b = -2*b. Which is greater: -1/18 or b?
b
Let l(z) = 4*z**2 + 3*z + 1. Suppose 4 = -0*y - 2*y. Let p be l(y). Suppose 17 = 2*r + 5*t, -p = -r + 5*r - 5*t. Is r less than or equal to 3?
True
Suppose 3*x - 3 = 3. Let r = -3 + 9. Suppose x*m = -m + r. Which is bigger: 1 or m?
m
Let r = -17 - -47. Let h be (-3 - -5) + (-63)/r. Let y(x) = x + 1. Let o be y(-1). Which is bigger: o or h?
o
Let x = 294/11 + -1472/55. Let i = x + 169/110. Which is bigger: i or 3?
3
Suppose 0 = -4*o + 6 - 2, 0 = -2*x + 5*o + 27. Let p(m) = -m**2 + 9*m - 5. Let j be p(8). Suppose 0 = -q - j*q + x. Which is bigger: q or 3?
q
Let u(d) = -7*d + 0 + 4 + d**2 - 5. Let g be u(7). Are -2 and g equal?
False
Let w be (-3)/1*(-3)/(-9). Let d = 0 - w. Let m = -161/6 - -27. Does m = d?
False
Let l = 12.7 + 0.4. Let m = l - 13. Which is greater: -1/18 or m?
m
Suppose -5*b = 3*h + 11 + 20, 5*h + 45 = -5*b. Let z(y) = -4*y. Let n be z(2). Let x = h - n. Which is greater: 2 or x?
2
Let l be (5/10)/(3/(-42)). Is l != -7?
False
Let c = -40 + 40. Is -2/59 smaller than c?
True
Let p = 1 - 0.7. Which is greater: p or -2/13?
p
Let x = 386210/149 - 2592. Are 0 and x unequal?
True
Let t = -1.4 + 0.4. Let l = -11 - t. Let q = l - -9. Is q equal to -0.2?
False
Let u(k) be the second derivative of -k**5/30 + k**4/24 + k**3/2 - k. Let a(m) be the second derivative of u(m). Let d be a(1). Which is bigger: d or -3/2?
-3/2
Suppose -2*f + 3*f = z + 2, -2*z + f = 0. Which is smaller: -0.08 or z?
-0.08
Let a = 9 - 4. Let m be 5*(a + -2)/3. Is 5 less than or equal to m?
True
Suppose 2*x + 103 = -365. Let o = x - -1875/8. Is 1 equal to o?
False
Let g be 55/22*((-2)/(-5) - 1). Are -1 and g non-equal?
True
Suppose 0*v + 21 = 3*v. Suppose 3*m - v = -4*u + 28, -5*m = 4*u - 45. Is u greater than or equal to 4?
True
Let y be (2 - -1)*1 + -2. Let u = y - -1. Which is bigger: u or 4?
4
Let j = 0.24 + -0.94. Do j and 2 have the same value?
False
Let f be 30/(-40) + (-2)/8. Let h be (f - 33/(-15))*5. Is h equal to 8?
False
Suppose -4 = 3*a - 1. Let b(r) = r + 21. Let i be b(0). Let j be (0 - 0) + (-6)/i. Is j smaller than a?
False
Let m = 13 + -5. Let n = m - 8.3. Let y = -1.01 - -0.01. Which is smaller: n or y?
y
Let u = 11 + -11. Which is bigger: -11 or u?
u
Let x be 2/3*(-9)/6. Let y = 1263/10 - 126. Which is bigger: y or x?
y
Let r(o) = o - 11. Suppose -3*g + 37 = 5*h - h, 5*h + 4*g - 46 = 0. Let n be r(h). Is n less than 1/29?
True
Let a be -4*3/(-4) - (-302)/(-98). Which is bigger: -1 or a?
a
Suppose 8*l + 13*l - 210 = 0. Let u(a) = a**2 + 2*a - 4. Let w be u(3). Which is bigger: w or l?
w
Let y = 249 + -351. Let n be y/280 + (-1)/(-4). Let r = 2/7 - n. Are 0 and r non-equal?
True
Let n = 31 - 30. Are n and 5/17 non-equal?
True
Let r = -34 + 45.2. Let y = r + -11. Which is smaller: -6 or y?
-6
Let f(o) = o**2 - 3*o + 3. Let b be f(3). Suppose -b*u - 14 = 5*z - 1, -5*u = 5. Is -3 equal to z?
False
Suppose -17*x - 4 - 13 = 0. Is 2/5 != x?
True
Suppose 0 = -23*u + 19*u + 36. Is 55/6 >= u?
True
Suppose 0 = 5*n + 2*l - 21, 3*l + 1 = 5*n - 30. Suppose -3*r + 4*j = -2, -5*r + 2*j - 5*j = -42. Which is smaller: n or r?
n
Let u be 6/4*(-3)/18. Let v = 22 - 22. Which is greater: v or u?
v
Let u = 0 + 6. Suppose 5*d + 24 = -u. Let t(y) = -y - 5. Let q be t(d). Is 2 > q?
True
Suppose -x + 6 = -4*a + 13, a + 2*x + 5 = 0. Which is bigger: a or -2/71?
a
Let i = -470 + 8932/19. Do i and 2 have the same value?
False
Let y = -0.27 + -0.03. Do -0.1 and y have the same value?
False
Let k = -1 + 1.02. Let b = 80.02 - 78. Let i = b - k. Is 0 <= i?
True
Let o be 11/(154/4) - 65/7. Which is bigger: 2 or o?
2
Let v(q) = q**2 - 4*q - 3. Let p be v(5). Let x(z) = -z**3 + 7*z**2 - 13*z + 18. Let b be x(5). Is p less than b?
True
Suppose 50*h = 46*h - 4. Which is greater: h or 1/34?
1/34
Let m(k) = k**2 - 7*k + 9. Let f be (2/(-4))/((-2)/24). Let v be m(f). Suppose 2*j = 3*j - v*w + 12, -5*j + 5*w - 10 = 0. Is 3/2 bigger than j?
False
Suppose b = -4, -u - 3*b - 7 - 10 = 0. Let q(t) = -t**2 - 6*t - 7. Let p be q(u). Let y be (-33)/(-18) - p/(-6). Do -1 and y have different values?
True
Let v(i) = -i**2 - 4*i + 3. Let y be v(-7). Let a be y*(-4)/8 - -2. Which is bigger: a or 10?
a
Suppose 2*j - l - 4 = 0, 4*l + 7 = 5*j - 9. Do j and -3/8 have different values?
True
Let w(k) = k**3 + 2*k**2 - 1. Let i be w(-2). Which is greater: i or -10/7?
i
Let k = 61 + -60. Let i = -53/198 - -1/22. Which is bigger: i or k?
k
Suppose -8*t + 39 = -9*t. Is -40 less than t?
True
Let q = 391 - 393. Let d = -2.307 - -0.007. Let g = -0.3 - d. Which is smaller: q or g?
q
Let c be 232/118 - 1 - 1. Let s = c + 63/118. Which is smaller: 1 or s?
s
Let x(q) = -q**2 - 4*q + 11. Let v be x(-6). Which is bigger: v or 2/49?
2/49
Let i = -25 - -24.8. Let b = -2 - -2.1. Let m = i + b. Is m smaller than -1/4?
False
Let t = 49 - 197/4. Let l(s) = -s**3 + 8*s**2 - 6*s - 6. Let d be l(7). Which is smaller: d or t?
t
Let u = 1.4 - 1. Let v = u - 0.4. Which is smaller: v or 1/2?
v
Let b be ((-840)/98)/(2/(-14)). Suppose -3*p = -i - 14, 5*i + b = 2*p + 3*p. Is i at most -12?
False
Let d(h) = h**3 + 7*h**2 + 6*h + 4. Let s be d(-6). Suppose -j - s*j = -5. Are j and 1/4 equal?
False
Let m = 34 - 106/3. Which is bigger: 0 or m?
0
Let u be (-6)/(-15)*(-10)/6. Let b be ((-4)/6)/((-6)/(-9)). Let a be 1/3*(b + 1). Which is smaller: u or a?
u
Let y be (-9)/4*1 - -2. Let c = y + -3/20. Is c bigger than 1?
False
Let q = -0.2 + 0.1. Are -2/9 and q unequal?
True
Let q be (0/(-2))/(-2 - -1). Let v(i) = i**3 + 4*i**2 - 4*i + 6. Let k be v(-5). Suppose -l = -q*l + k. Is -1/3 equal to l?
False
Let x(q) = q**3 + 8*q**2 + q + 7. Let z be x(-8). Suppose -4*c = 3*t - 17, 4*t + 5*c - 2*c - 18 = 0. Suppose -t*a - 3 + 0 = 0. Is z at most a?
True
Suppose -2 + 5 = -3*b. Is -1 greater than or equal to b?
True
Let x = 7/13 + 51/26. Is 4 equal to x?
False
Let k = 0.1 + 0.4. Let g = k - 0.4. Which is bigger: -3 or g?
g
Suppose 3*s - 5 = -2*s. Suppose s = h - 0. Which is greater: h or 1/10?
h
Let t be 2/(-4)*4 - -11. Let r = t - 9. Suppose b + 3*b - 12 = r. Is 3 at most as big as b?
True
Suppose m + 2*l - 1 = 5*l, -2*m = -5*l. Which is smaller: -6 or m?
-6
Let m be (-2)/(-3) + 2/6. Which is smaller: 1/102 or m?
1/102
Let i = -34 + -14. Is -47 less than i?
False
Suppose 3*n - 12 = -n. Suppose 4*s + 20 = 0, 2*c + 0*s - n = -s. Let a = 4 - 1. Which is smaller: c or a?
a
Let i = 8 + -1. Is 9 greater than or equal to i?
True
Let x = 1.02 - 0.02. Let a = 0.5 - -1.5. Let s = x - a. Which is smaller: s or 1/4?
s
Let r be 4 - (-3*2)/((-12)/8). Is 87 < r?
False
Let q = -212 - -4877/23. Is q at least 0?
True
Let t = 0.15 + 0.1. Is t at most as big as -0.2?
False
Let h be 22/6 + -1 + -2. Let r = -38 - -41. Which is greater: r or h?
r
Suppose -2*r + 12 = -3*t + r, 0 = r - 5. Which is smaller: t or 7/4?
t
Let p(b) = -b - 13. Let y be p(-7). Let t(j) = j**3 + 6*j**2 + 3*j + 9. Let q be t(y). Is q greater than or equal to -1?
False
Let k = -2.24 + 2.1. Let x = k + 4.14. Is 0.3 less than x?
True
Let h be 5*((-24)/15)/(-2). Suppose 0*g = -h*g. Suppose g*q = q. Is q equal to 0?
True
Suppose j = -3*a + 13, 3*j - 2*j - 17 = -4*a. Which is smaller: j or 6/11?
6/11
Suppose 0*z = -3*x - z + 1, 5 = -x + 5*z. Let t = -6 + x. Which is smaller: t or -9/2?
t
Let q = -4.08 + 0.18. Let v = 4 + 0. Let n = q + v. Is n less than 1?
True
Let l(s) = -8*s + 2. Let c be l(-2). Let a be ((-5)/(-3))/((-6)/c). Is -6 bigger than a?
False
Let v be -4*(9/48 + 0). Which is smaller: v or 1?
v
Suppose 0 = -3*z - 6*d + 2*d + 6, 5*d = 3*z + 21. Let b be 20/(-56) - 1/z. Which is greater: 0 or b?
b
Let y = 42 - 38.9. Let f = y - 3. Let h be (-2)/(-10)*45/(-6). Which is smaller: h or f?
h
Let w = 6.7 + -7. Let g be (-3)/(-4) + 1038/56. Let x = g - 19. Which is bigger: w or x?
x
Suppose -4*u - z + 4 = -2*z, 3*z - 16 = -2*u. Which is greater: u or 1?
u
Let m = 2239/6045 + -23/93. Let q = 1/13 + m. Suppose h - 2 = 3*h. Is h at most as big as q?
True
Let x be -2 + -4 + (-3)/(-3). Let f(b) = b**3 + 5*b**2 + 2*b - 2. Let w be f(x). Let z be (w/(-16))/((-1)/4). Is z greater than -3?
False
Let o = -346602 + 6660650628/19217. Let i = -4649452/3401409 + o. Let k = i - -2/59. Is -1 at le