be (2/8)/((-5)/k). Are g and p unequal?
True
Let c(n) = -3*n**3 + 10*n**2 + 6*n + 10. Let v be c(4). Suppose -3*i + 5 = -2*i. Suppose -y - 2*y + 5*q = 2, i*y - 4 = q. Which is bigger: y or v?
v
Let v = -51 + 259/5. Which is bigger: v or 1?
1
Let t be (-36)/(-54) - (-52)/(-6). Which is greater: 1 or t?
1
Let f(i) = i**3 - 9*i**2 + 5*i + 8. Let h be f(8). Let q be (-92)/h + 2/8. Which is smaller: 4 or q?
4
Let t(z) = -z**3 + 29*z**2 - 27*z - 29. Let o be t(28). Is o > -15?
True
Let x = 3/101 - 327/808. Is -1 less than x?
True
Suppose 4*f - 5 = 3*v + 6, -3*f + 9 = -2*v. Let t = 3 - -1. Is t greater than f?
False
Let h(g) = 3*g**2 - 5*g - 8. Let r(l) = -2*l**2 + 3*l + 4. Let u(n) = 3*h(n) + 5*r(n). Let d be u(0). Suppose -1 = 3*k + 8. Is k at most d?
False
Let w(b) = b**3 + 3*b**2 - 4. Let t be w(-2). Is t < -10?
False
Let k = -0.13 - 2.37. Let t = -0.5 + k. Which is greater: t or 2/3?
2/3
Suppose 3*l + 20 + 1 = 0. Let v = l - -2. Let p = 2 + v. Are -2 and p equal?
False
Let x(d) = 18*d - 4. Let j be x(3). Let a = j + -152/3. Let m(q) = -q**3 - 4*q**2 - 4*q - 3. Let o be m(-3). Which is bigger: o or a?
o
Let q = 14 + -44/3. Let w(h) = h**3 - 6*h**2 - 2. Let r be w(6). Is r at most q?
True
Suppose q + q = 0. Let v be (-15)/(-25)*(1 - 10/6). Is q less than v?
False
Suppose b - 8 = -b. Suppose -b*o + 1 + 19 = 0. Let h(x) = x**3 - 5*x**2 + x - 7. Let j be h(o). Are -2 and j nonequal?
False
Let m = 10 + -6. Let v be (-16)/(-24) - (-1)/((-3)/(-4)). Suppose -v*x + m = -2. Which is smaller: 2 or x?
2
Suppose -s - 4*g + 18 = g, -18 = 3*s - 3*g. Which is smaller: s or -1?
s
Let w be (-6)/(-2) - (-6 + 10). Which is greater: w or -1/5?
-1/5
Suppose -120 = v - 5*v. Do 30 and v have the same value?
True
Let o(a) = -a**2 + 5*a + 4. Let d = 3 + 3. Let m be o(d). Do -1/2 and m have the same value?
False
Let q be (16/20)/((-8)/(-20)). Is q smaller than 0?
False
Suppose 2*k - 11 = 9. Suppose 20 = 3*n - v, -2*v = -k + 2. Suppose 2*r = 3*c + 6*r - n, 3*c = -3*r + 6. Which is smaller: c or -4/5?
-4/5
Let v = -15 - -4.9. Let f = -10 - v. Which is greater: f or 1?
1
Let x = -6 + 11/2. Are -3 and x unequal?
True
Let u(w) = w**2 - 3*w - 6. Let y be u(5). Is y at most as big as 4?
True
Suppose -u + 1 = l, 2*u = -3*l + 3 - 2. Suppose 12 = -u*y + f + 3*f, 3*y + 3*f = 0. Let i be y/24*-3 + 0. Is -1/4 <= i?
True
Let t = 2 - 1.5. Let a = 2.9 - -1.6. Let g = t - a. Which is smaller: g or 1/3?
g
Let c = 7/31 - -23/310. Is 0 at most c?
True
Suppose 4*k - 68 = -4*j, j - k - 9 = -0*j. Let r = -2 + j. Let y = -6 + r. Which is greater: y or 6?
6
Let r = 0 + -1. Let g be (0 + 2/4)*2. Let a be (g/2)/(4/(-8)). Is r less than a?
False
Let u = -5 + 4. Which is bigger: -2/17 or u?
-2/17
Let n = 4.7 + -4.6. Which is bigger: -0.2 or n?
n
Suppose -66 = -4*b + 26. Which is greater: b or 24?
24
Let j be 6/(-6) + (-2 + 2 - 0). Let p be ((-3)/(-4))/(3/(-12)). Which is greater: p or j?
j
Let u(s) = -s**3 - 3*s**2 - s + 2. Let t be u(-2). Suppose 0*h = 2*h - 8. Let v = -3 + h. Which is bigger: t or v?
v
Let u = -0.076 + -7.924. Is 0.1 != u?
True
Let z = 6.2 + -6. Let i = z + 0.3. Which is smaller: 0.2 or i?
0.2
Let x be (100/15)/(36/6). Let k = 1 - 1. Which is smaller: k or x?
k
Let k be (2/38)/(1/(-3)). Which is smaller: -1 or k?
-1
Let g = -47.96 - -48. Which is bigger: -0.4 or g?
g
Let j be (0/(-1))/2*1. Let y be (-2)/8*220/55. Is y equal to j?
False
Let s = -0.028 + -6.972. Is s less than or equal to 2/9?
True
Let w be -4*2/(-4) - -1. Suppose w*u - 3*t + 6 = -4*t, t + 12 = -5*u. Let z be u/(-1*(2 + -3)). Which is smaller: -1 or z?
z
Suppose -12 = 2*q - 5*a, -5*a + 1 + 9 = 0. Let x(c) = -c - 10. Let l be x(-12). Suppose -2*z - l = 4. Is z smaller than q?
True
Let k be 0/((10/1)/(-5)). Is -3/7 less than k?
True
Let x = 88/9 - 962/99. Which is greater: -1 or x?
x
Let y be -3 - -2 - 2/3. Which is greater: -3 or y?
y
Suppose -4*j = -q - 12, 0*j + j = -4*q + 3. Let l = -2 - -5. Suppose 0*t + l = j*t. Is -2/9 not equal to t?
True
Let o be 1*(4/14)/1. Let x be 244/20 - (-3)/(-15). Suppose 3*h + 1 + x = -4*g, 14 = 2*h - 3*g. Which is smaller: h or o?
o
Let q be (2/(-15))/((-4)/(-5)). Suppose m = 1 - 0. Does q = m?
False
Suppose -7 = -2*s + 19. Which is smaller: 12 or s?
12
Let w = -8 - -9. Let p = 5 - w. Let l be 96/105 + p/14. Which is bigger: 1 or l?
l
Let k(i) = 5*i + 8. Let f be k(20). Are f and 108 unequal?
False
Let g(o) = o**2 + 2*o - 2. Let d be g(1). Is 2/7 less than or equal to d?
True
Suppose d + 3 = 0, 2*d + 12 = 2*z + 60. Is -26 at most as big as z?
False
Let u = -41/169 - -2/169. Is -1 equal to u?
False
Let u be (-28)/(-49) + (-44)/28. Which is smaller: u or -1/49?
u
Let f = -35/156 + -1/39. Let m(y) = -y + 0*y**2 - y**2 - y. Let a be m(-2). Is a less than or equal to f?
False
Suppose 3*y = y + 3*q + 33, 0 = -y + 2*q + 19. Let s be (y/(-18))/((-2)/(-12)). Is s greater than or equal to -1?
False
Let d be (6/5)/(2/10). Suppose -d*o - 8 = -2*o. Let h = -2 - o. Is h less than -1/7?
False
Let f = 119 - 125. Which is smaller: f or -23/5?
f
Let r = 48 + -43. Is 31/5 <= r?
False
Let y(t) = -t**3 + 2*t**2 + 4*t - 4. Suppose 0 = 2*u + 2*a + 3*a - 11, 2 = 2*a. Let n be y(u). Let h = -14/27 - -44/189. Is n smaller than h?
True
Let q be 2/(-3) + 16/24. Suppose q = 4*s - w - 12, -20 = -2*s + 8*w - 4*w. Is 1 at least s?
False
Suppose 5*h + h + 6 = 0. Is h greater than or equal to 1/5?
False
Let u = -39 - -32. Let i = -17 + 11. Which is smaller: i or u?
u
Let p be ((-4)/(-445))/(2/5). Let b = 81/356 + p. Which is smaller: 1 or b?
b
Let y(n) = n**2 + n + 1. Let v be y(-1). Suppose z - 3 = -2. Suppose -s + 2*s - z = 0. Is v > s?
False
Let h(l) = -l**2 + l - 21. Let k be h(0). Is k at most as big as -20?
True
Suppose 75 = 96*i - 93*i. Which is smaller: i or 24?
24
Let m(z) = -z**2 + 6*z - 3. Let f be m(4). Let q = f + -3. Let g be 0 + q/4*-2. Is -1 at least g?
True
Let q be -1 - (4 - (8 - -4)). Is 7 > q?
False
Let g be 38/14 - (-6)/21. Suppose -3*l + 21 = -3*a - 0*a, g*l = 6. Is -4 less than or equal to a?
False
Let y be (-8)/(-6) - (-8)/12. Let f = -0.91 + 1.31. Which is smaller: f or y?
f
Let c = -47 - -46.85. Is c at most -1?
False
Let l be ((-2)/8)/((-2)/8). Let d be l/31*(-5 - -3). Let s = d - 89/62. Is s < -2?
False
Let d = 21 + -21. Let a = d - -8. Is a <= 9?
True
Suppose -2*f = 5 + 3. Suppose 5*w - x = 13, 3*x - 12 - 9 = -5*w. Suppose -r - 3 - 1 = -4*t, 0 = -3*r - w*t - 12. Are r and f non-equal?
False
Suppose 8*q + 109 = -35. Which is smaller: q or 0?
q
Let z be 1/4*2*1. Suppose 0 = -0*n + n - 4. Suppose 5*u - n*u = 1. Which is smaller: u or z?
z
Let q(w) be the third derivative of w**5/60 + w**4/24 - w**3/3 - w**2. Let z be q(-2). Let l be (6/(-10))/((-189)/70). Which is bigger: z or l?
l
Suppose 4*o = -0*o + 20, -4*n - 4*o - 60 = 0. Let i be (-8)/n*5/2. Let g = i + 0. Which is greater: 1/12 or g?
g
Let p = -12 + 8. Let s = p + 7. Is 0 smaller than s?
True
Let v(f) = f**2 - f - 4. Let x be v(4). Is x > 7?
True
Let m = 31 - 30. Which is smaller: -0.12 or m?
-0.12
Let s = -1184/69 + 55/3. Let w = 2272/1955 - s. Let x = w + -77/680. Which is smaller: -1 or x?
-1
Let t = -0.045 + 0.645. Let a = -4.6 - -5. Let d = a + t. Is -0.1 less than or equal to d?
True
Let u(o) = o + 4. Let r be u(-2). Suppose r*w - 22 = -3*i, -w = w - 10. Let s = 2 - 1. Which is bigger: s or i?
i
Let x(i) = 17*i - 4. Let r be x(4). Suppose 4*m - 136 = r. Let v = m + -301/6. Which is smaller: -1 or v?
-1
Suppose 2*a + 0*c - 5 = c, -4*a = 2*c - 6. Suppose 0 = 3*j + a*j + 1055. Let r = 1897/9 + j. Is 1 at least r?
True
Let u = 4464 - 133933/30. Let a = 1/15 - u. Which is bigger: a or 0.3?
a
Suppose 8 = -3*n - 2*t, -n = -3*n + 5*t + 20. Let q = 4 + n. Let w be q/8 - (-10)/4. Is 3 <= w?
True
Let g = -6 + 9. Let b = -1 - g. Let n = b - -2. Which is greater: 1 or n?
1
Suppose -16 = -y - 3*y. Let p = -1 + y. Let r be (-2)/(-8) + p/84. Which is smaller: 1 or r?
r
Let o = -36 - 24. Let t be (-5)/(o/(-9)) - -1. Is -1 > t?
False
Let p = 457 + -15082/33. Which is smaller: 0 or p?
p
Let j = 14 - 10. Suppose -4*p = -2*k - 4, 0 + 4 = j*p. Suppose -1 = -2*n - 3*l + 6, -5 = -l. Which is smaller: k or n?
n
Let g = 0.18 + -0.2. Let d be (8 + -7)*0*(-4)/12. Is d > g?
True
Let y(s) = s**2 - 7*s - 1. Let c be y(7). Which is smaller: c or 2/11?
c
Sup