e (3/(-2))/(1/(-2)). Which is smaller: t or j?
j
Let t = 0.1 - 0. Let w = -2 - -1.8. Let q = -4.8 + w. Is t smaller than q?
False
Let h(t) = -t**3 + 2*t**2 - 2*t + 1. Let m be h(1). Is m greater than -2/15?
True
Suppose 0 = 4*o - 5*o + 9. Let y be (o/12)/(54/(-16)). Suppose -2*r = -1 + 3. Are y and r equal?
False
Suppose 22 = n - 4*i, 5*n - 3*n + i + 1 = 0. Let k(l) = l**3 + 5*l**2 - 6*l + 4. Let z be k(-6). Let f be 1/z - 11/(-4). Is n bigger than f?
False
Let o(j) = j**3 + 7*j**2 + 8*j + 5. Let q be o(-6). Are q and -7 non-equal?
False
Let m = 35 + -73/2. Let r be 2 - ((-2)/6 + 2). Is m greater than r?
False
Let s = 9 - 11. Let f be s + 78/19 + -2. Which is bigger: f or 0?
f
Suppose 6*n - 5*n = 10. Let w(y) = -y**3 + 10*y**2 - y + 9. Let r be w(n). Which is smaller: -4/5 or r?
r
Suppose -d = 2 - 3. Let m = -3 + 5. Let f be (2 - 0) + 0 - m. Which is smaller: f or d?
f
Let w = 0.93 - 1.03. Let c = -0.4 + 0.42. Which is bigger: w or c?
c
Let y = -2255 - -9137/4. Let f = y + -29. Which is bigger: 0 or f?
f
Suppose s + 12 = 4*s. Suppose -2*t + 6*t - s = 0. Which is smaller: -3/7 or t?
-3/7
Suppose 0 = -2*b + 4*b - 16. Which is smaller: 7 or b?
7
Suppose 0 = 3*m - 2*b + 5, -m - 4*b + 3 = -0*b. Let q be (0 + -1)*1/m. Are 0 and q unequal?
True
Let v be (-6)/(-88)*(0 + -4). Which is smaller: v or 0.1?
v
Let f(w) = -w**3 - 2*w**2 + 3*w + 4. Suppose -u - u - 5*z = 26, 3*u - 2*z = -1. Let j be f(u). Is j at least as big as 4?
True
Let z be -2*(-6 - (-3318)/552). Which is smaller: 1 or z?
z
Suppose 2*u + 0*u + 6 = 0. Let o = 2 + u. Let q be o - (0 + -2 + 1). Which is smaller: -1 or q?
-1
Let l be ((-3)/(-9))/((-40)/(-72)). Suppose 4*z = 3*z. Is z at most l?
True
Let a(p) = p**2 + 2*p + 1. Let h(x) = x + 1. Let q(o) = -a(o) + 4*h(o). Let d be q(3). Which is smaller: 1/7 or d?
d
Let g = 67 + -39. Let l = g + -19. Which is smaller: l or 0.1?
0.1
Let o(j) = -j - 13. Let u = 6 + -13. Let b be o(u). Which is smaller: b or -0.1?
b
Suppose -d + 5 - 1 = 0. Let s be -2 - (1 + (-15)/2). Which is smaller: d or s?
d
Let l = 0.6 - 0.55. Let j = -0.05 - l. Let r = 2/369 - -1093/2583. Are r and j equal?
False
Let y(h) = h**2 + 6*h. Let d be 48/(-15)*(-5 + 0). Suppose 14 + d = -5*n. Let f be y(n). Is 1 != f?
True
Let z = 3.2 - 1.6. Let w = -4 - -4.4. Let q = w + z. Is q equal to 1/4?
False
Let u = 0.07 + 16.93. Let h = u + -12. Which is smaller: 0 or h?
0
Let k = 21.17 - 21. Is 2 >= k?
True
Let r(a) = -a + 2. Let y = -6 - -6. Let q be r(y). Suppose -q*s + 6 = -0*s. Does 2 = s?
False
Suppose 3*z + 0 - 6 = 0. Let i(o) = -o**2 + 5*o + 5. Let p be i(5). Suppose q - w - p = 0, q - 4*w = -2*w + 8. Is z less than q?
False
Suppose -5*s + 16 + 4 = 0. Let w(z) = -2 - 1 + 6 + s*z. Let g be w(-2). Is -6 greater than g?
False
Let c be (-3)/(-2)*(-2)/(-3). Let w be c/(-1)*(-3)/30. Let y(z) = z**3 + 7*z**2 + 7*z + 5. Let o be y(-6). Which is greater: o or w?
w
Suppose 4*d - 5 - 3 = 0. Let z(v) = -v - d + 0*v + 3. Let j be z(0). Is j <= 2?
True
Let m be -9*3*12/(-27). Let t be ((-3)/(-6))/(2/m). Let z = t + -3. Does z = -1?
False
Let t be 25/30*6/(-15). Is t bigger than -1/29?
False
Let x be 3 - (3 + -7)/(-2). Let u be -2*x + 9/3. Is u smaller than -3/7?
False
Let l(p) = -p - 3. Let o be l(-6). Let z = -4 + o. Is z at most as big as -2/17?
True
Let o = 0.22 + 0.68. Let i = o - 0.9. Which is greater: i or 4?
4
Let m(u) = u**3 - 6*u**2 - 6*u - 4. Let x be m(7). Let b = -11 + x. Let h(n) = n + 8. Let q be h(b). Is 0 at most as big as q?
True
Let r(g) = -g**2 - 8*g - 8. Let o(j) = 2*j - 2. Let h be o(-2). Let s be r(h). Suppose 22 = -2*a + 5*a + s*p, -8 = -2*a - p. Is a < 1?
False
Suppose 2*x - 4*k - 8 = -k, -4*x + 6 = -k. Which is smaller: -1/21 or x?
-1/21
Let b(a) = -5*a**2 - 7*a + 4. Let d(v) = -14*v**2 - 20*v + 11. Let w(t) = 11*b(t) - 4*d(t). Let q be w(-3). Let z = -10 + 14. Which is bigger: q or z?
z
Let l(b) = b**3 - 15*b**2 + 14*b + 6. Let o be l(14). Let u be (2/o)/((-4)/(-60)). Let k = -3 - -6. Which is smaller: k or u?
k
Suppose x = -5*w + 19, -2*w + x - 6*x = -3. Suppose 4*h + 3*u = -26, -3*h = -0*h - 4*u + 32. Let j = h - -13. Which is smaller: j or w?
w
Let o = -120 + 48. Which is greater: o or -71?
-71
Let r = 46 + -72. Does r = -0.1?
False
Let d be (-240)/132 + 1*2. Is 0 < d?
True
Let n be (-21 - -22)*(-1 - 0). Are n and 2/153 non-equal?
True
Suppose -9*x = -6*x + 18. Which is smaller: x or -7?
-7
Suppose 0 = t - 4*t. Suppose t = 5*a - 31 + 6. Is a < 9/2?
False
Let v be 3*((-50)/12)/5. Are 2/3 and v nonequal?
True
Let k be (-1)/(-2)*36/(-45). Which is smaller: -1/3 or k?
k
Let y(f) be the third derivative of -f**4/24 - 2*f**3/3 - f**2. Let l be y(-3). Let t be (-3)/6*0 + l. Does t = -1/6?
False
Let l be (2/(-5))/(18/90). Which is greater: 1/4 or l?
1/4
Let b(o) = -5 - 2 + o + 2*o**2 + 8 - o**2. Let z be b(-1). Which is bigger: -3/7 or z?
z
Let v be (-36)/30*(-10)/(-6)*2. Which is smaller: v or -13/4?
v
Let h = -6.801 - -0.001. Let o = h - -7. Which is greater: 1/4 or o?
1/4
Let a(f) = f**3 + 4*f**2 + 2*f - 1. Let r be a(-3). Suppose 3*b + 2*k = 6, -r*k - 28 = -4*b + 2*k. Suppose 4 = -b*o - 0. Which is bigger: -2 or o?
o
Let p be ((-3)/6*0)/(-2 - -1). Let x = 169 + -1009/6. Which is smaller: p or x?
p
Let l be (8/(-6))/((-2)/(-9)). Let j = 10 + l. Do 5 and j have different values?
True
Let t be 3/2*-6*8/(-72). Let s = 1.1 + -1. Do t and s have different values?
True
Let n be 3/(-2) - 5/(-2). Is 7 less than or equal to n?
False
Let c(m) = -m**3 + 2*m + 1. Let a be c(-1). Suppose b + b = d - 1, b + 13 = 3*d. Which is smaller: b or a?
a
Let b be (-56)/329*3/(-4). Let c = b - -28/517. Are -1 and c unequal?
True
Let w = -1.2 - -0.2. Let k = -23 + 19. Which is greater: k or w?
w
Let z = -39.8 + 43.89. Let i = -0.09 + z. Is -2/7 at most i?
True
Let b = 0.1 - 0.2. Let m be 8/44 - (-4348)/(-77). Let c = -56 - m. Do c and b have the same value?
False
Let j = 0.05 - -1.95. Let m = j + -1. Is m at most -1?
False
Let o = -93 + 1027/11. Let v = o + -27/44. Let l = 0 - 0. Is l > v?
True
Suppose 2*u = -4*s - 1 - 5, -4*u = 4. Which is bigger: 1/41 or s?
1/41
Suppose -c - 5*k = 20, 2*k + 13 = -c + 5. Let p = -20/9 - -106/45. Which is smaller: c or p?
c
Let m = -4/2787 - 4082/1039551. Which is smaller: -1 or m?
-1
Let q = -233 - -104. Is -128 <= q?
False
Suppose 5*f + 8 = 7*f. Which is smaller: f or 2?
2
Let g = -33/2 - -367/22. Let w = 45 + -317/7. Which is smaller: w or g?
w
Let j = -32 + 30. Is j != -5?
True
Suppose 3*l = -3*s, 0*l = 4*s + l + 9. Which is smaller: s or -0.1?
s
Let m be (-2)/3 + (-32)/(-12). Let r = m - -1. Let q(t) = -t**3 + 3*t**2. Let d be q(r). Do 2 and d have the same value?
False
Suppose -3 + 12 = -3*q. Let w = -8 - -6. Which is smaller: q or w?
q
Let n be 0/(2/(6/(-3))). Suppose 2*s + 2*m - 13 = 5*s, 2*s + m + 11 = n. Is s >= -6?
True
Let z = 0.6 - 0.82. Which is smaller: z or 0?
z
Let a(k) = -5*k. Let o be (1 + (-21)/12)*-4. Let p be a(o). Let c be 4/15*p/(-10). Which is bigger: c or -1?
c
Let x be (-6)/15 - (-32)/5. Let n = -37 - -39. Is x >= n?
True
Let j(k) = 0 - 2 - 2*k + 0*k. Let p be j(3). Let o be 2/8 + p/(-32). Is 1/2 < o?
False
Let v = -1/42 - 19/84. Is -0.22 >= v?
True
Let s be 2/8 + (-42)/120. Is -1 < s?
True
Let u = 31/50 + -3/25. Let k be -3*(-2 + 12/(-9)). Let h be k/2 + (-3 - -1). Which is smaller: u or h?
u
Let y be 1 + 24/(-20) - (-130)/(-225). Which is smaller: y or -1?
-1
Let z be (9/(-12))/((-37)/(-36) + -1). Is -29 smaller than z?
True
Suppose 5*l + 15 = 155. Let b be 8/l + 19/7. Suppose 16 = -3*y + 7*y. Is y greater than b?
True
Suppose -2*t - 3 = t. Suppose -4*x + 4 = 4*m, -5*x - m = -0*m + 3. Is t greater than x?
False
Suppose -3*n + 4 + 5 = 0. Let j be 7/(-5) + 3/n. Which is greater: j or -1/2?
j
Let r = -9 + 5. Which is greater: r or 1/4?
1/4
Let l be (-2)/(-4) - (-6)/(-28). Let c = -0.67 - -0.07. Is l > c?
True
Suppose -4*l = -16, -5*o - 3*l = -2*l - 24. Suppose -2*m = o - 2. Let j = 73 + -510/7. Which is bigger: m or j?
j
Suppose 0 = 3*d - 5*d + 10. Which is smaller: 2 or d?
2
Let p = -15 - -20. Suppose 1 + p = -2*d. Which is greater: -1 or d?
-1
Suppose -5*k = 8 - 28, 2*k = 3*m + 5. Is -1/9 equal to m?
False
Let x be -5 + 1*(-8)/14. Which is greater: x or -5?
-5
Suppose 16 - 4 = 4*w. Is 3 at least w?
True
Let n = 9 + -11. Let i be (