t equal to j?
True
Let s(b) = -b + 15. Let h be s(0). Let p be 0 + -4 - h/(-5). Let r(y) = y**2 - 6*y + 5. Let d be r(5). Which is smaller: p or d?
p
Let x = -27.1 + 29. Let q = x - 2. Which is smaller: q or 2?
q
Let o = 113 - 105. Is -0.1 at least o?
False
Let n = -129 - -103.1. Let s = n + 26. Is s greater than -23?
True
Suppose 6*h + 3 = 3*h. Let u = -4 - -6. Which is bigger: h or u?
u
Let s(i) = -i - 3 + 1 + 3. Let k be s(0). Let g be k/(-2) + 13/10. Which is greater: g or 0?
g
Let t be -2 + (-8)/(-2) + -31. Is t less than -29?
False
Let w be (-2 - 1)*6/(-9). Suppose 0 = -2*t - w - 2, 3*o - 2*t + 14 = 0. Do 0.1 and o have different values?
True
Let u(x) = 3*x**2 - x + 1. Let a be u(1). Let o = 15 - a. Suppose 3*n - 5*n + 3 = 5*r, -o = -3*n. Which is smaller: r or -2?
-2
Let m(b) = b**2 - 4*b - 6. Let p be m(5). Let r = -3 - p. Which is smaller: r or -5/2?
-5/2
Suppose -60 = 6*t - 2*t. Let c be (-17)/(-10) - t/(-10). Suppose -d + 2 = -3*d. Is c at most as big as d?
False
Let l = -30456189/2090 - -160290/11. Let w be 3/19*(-8)/(-3). Let m = w + l. Which is smaller: -1 or m?
-1
Let g = 1/19 - -15/76. Let c = 27/2 + -13. Is g < c?
True
Suppose 3*y = 5 + 1. Let l be (18/(-15))/(7/(-5)). Which is smaller: y or l?
l
Suppose -2*u - 4*f - 10 = 0, 2*u - f = 5*u - 10. Suppose -3 - 7 = u*g. Let w be ((-3)/2)/(1/g). Is 3 less than w?
False
Suppose p + p = 4*f, 5*p = -5*f. Which is smaller: f or -3/56?
-3/56
Suppose 2*a + 8 = -3*i, 5*a - 4*i + 16 + 4 = 0. Let d be 8/(-12) + a/3. Let g(b) = -b**2 + 2*b + 1. Let p be g(3). Is p less than or equal to d?
True
Let y(d) be the second derivative of -d**5/20 + 2*d**4/3 - 13*d**3/6 + 7*d**2/2 + 6*d. Let z be y(6). Let x be (-18)/(-75)*(5 - 0). Which is greater: x or z?
x
Let q = 0.3 + -0.27. Let x = q - 0.23. Let m = -0.02 - 1.98. Is m less than x?
True
Let s = 2 + 10. Let u = s - 12. Is u != 1/4?
True
Let y be (-2 + 3)/(121/(-165)). Is -2 equal to y?
False
Let r be 9/(-15)*6/9. Is r at most -1/10?
True
Let m(b) = b - 1. Let q(p) = 2*p + 1. Let o(i) = i**2 - 2*i + 1. Let n be o(2). Let h(g) = n*q(g) - m(g). Let w be h(-3). Which is smaller: w or -0.1?
w
Let u = 2 + -2. Suppose -5*k - g = u, -5*k + g + 7 + 3 = 0. Let n = 13 - 12. Is k bigger than n?
False
Let t = 24 + -24.2. Is t greater than or equal to 2?
False
Suppose 3*p - 3*v = -7 - 5, -2*v = 5*p - 1. Suppose -3*u = -2*l - 4, 3*l - 5*l = -5*u. Is p less than u?
False
Let f = -3.96 + 4. Let q = 0.44 - f. Is -1 greater than or equal to q?
False
Let v = 9.2 - 1.4. Is v at most as big as 0.1?
False
Let u be (2/(-5))/((-1)/(-5)). Let h be -2*(1/u - 1). Are h and 3 non-equal?
False
Let a = -7 - -5.6. Let j = 1.5 + a. Is -1/6 greater than j?
False
Let p(c) = 6*c + 39. Let i be p(-5). Which is smaller: 1 or i?
1
Let a be ((-4)/20)/((-2)/12*3). Which is greater: 1.8 or a?
1.8
Let f(j) = -j - 5. Let n be f(-8). Suppose n*l = -l + y + 27, -l = -4*y - 3. Is l smaller than 7?
False
Let j(i) = -i**3 - 4*i**2 + 5*i - 5. Let f be j(-5). Let c be 2*4/((-2)/(-1)). Let y be ((-1)/f)/(c/(-8)). Which is bigger: y or 0?
0
Let x = -2 - -3. Let k = x - -1. Let a be 3 + 3/((-30)/34). Which is greater: a or k?
k
Let n = -59 + 35. Let r be 9/20 - (-6)/n. Which is smaller: r or 3?
r
Let b = 17 + -5. Let h = b + -10. Which is greater: h or 0?
h
Let w = -104 - -209/2. Which is smaller: -2 or w?
-2
Suppose 10 = 2*u + 4*w, 3*u + 0*w = -5*w + 12. Are u and -2/111 equal?
False
Let j = 0.2 - 0.3. Let r = -131 - -914/7. Which is greater: r or j?
j
Suppose 4*i = 12, k + 0*k - 2*i + 13 = 0. Let c = k + 11. Let t(z) = z**3 - 5*z**2 + z - 2. Let g be t(5). Which is greater: c or g?
c
Let f(m) = m**3 - 2*m**2 - 5*m + 4. Suppose -3*n = -j, 0 = -5*j - 3*n + 20 - 2. Let o be f(j). Which is smaller: -1 or o?
o
Let j be (2/(-6))/((-1)/24). Let k = 7 - j. Which is smaller: k or -5/4?
-5/4
Let s be (-120)/153 - (-8)/12. Which is greater: 0 or s?
0
Suppose -3*t + 20 = 3*q - 2*t, -5*t - 60 = -5*q. Which is smaller: q or -4?
-4
Let c(d) = -d**2 - 2*d + 2. Let n be c(-3). Is n > -1?
False
Let t be -2 - (-9 + 4) - -3. Which is greater: t or 5?
t
Let r(n) = -n**2 + 6*n + 16. Let v be r(8). Are 2 and v non-equal?
True
Let c = 2 + -17/8. Let y = 82 - 82. Which is bigger: y or c?
y
Let j = 85/12 + -31/4. Let l = 11 - 19. Let w be 4/6 + l/3. Which is smaller: w or j?
w
Suppose -8*f + 25 = -5*f - 5*z, 0 = 2*f - 5*z - 25. Let a = -28/23 + 410/299. Which is smaller: f or a?
f
Let g = -6.6 - -4.58. Let l = g - -0.02. Let q = -0.26 - -0.16. Is l bigger than q?
False
Let u = -0.66 + 0.76. Which is smaller: 2/21 or u?
2/21
Suppose 0*v = -2*v. Let m = 4 + -2. Which is smaller: v or m?
v
Let g be 41/21 - (-6)/18. Let y = g - 62/21. Is 0.4 <= y?
False
Let w be 23918/(-99) - (-2)/(-11). Let j = w - -242. Is j equal to -0.1?
False
Let o(f) = -f**3 + 4*f**2 + 4*f + 4. Let b be o(5). Which is smaller: 2/7 or b?
b
Let j = 29 - 25. Suppose -3*x + 2*c + 18 = -x, 13 = 5*x + 3*c. Is x less than or equal to j?
False
Let c be 161/(-49) - 3/(-1). Which is greater: 2/5 or c?
2/5
Let o = -10 + -2. Let h be ((-2)/4)/(2/o). Let d(s) = 3*s**2 - 1. Let l be d(1). Is h at least as big as l?
True
Let v be ((-2)/10)/(6/(-45)). Which is greater: -1 or v?
v
Let w be 2*1*9/(-2). Let r be (0 - 1) + (-15)/w. Is 0.2 != r?
True
Suppose 6 = i - 4*i. Let n = i - -1. Let u be (-1)/2 - (-2)/20. Which is bigger: u or n?
u
Let t(j) = j - 9. Let q(b) = 3*b - 18. Let y(a) = -2*q(a) + 5*t(a). Let i be y(-6). Suppose -2*k - 4 = 0, 3*k + 12 = -5*z + 2*k. Which is bigger: z or i?
z
Let n(t) = -t**2 + 7*t - 2. Let l be n(6). Is l smaller than 4?
False
Suppose 3*x = 4*x + 4. Let n be (-8)/(-10)*x/(-8). Which is bigger: 0 or n?
n
Let n(y) = 3*y + 16. Let i be n(0). Which is smaller: 17 or i?
i
Suppose 0 = n - 4*q + q + 11, -n + 19 = 3*q. Let c = n + -9. Let s = -6 - c. Which is smaller: -0.2 or s?
s
Let z(u) = u + 4. Let q be z(-5). Which is smaller: q or 3/31?
q
Let d = 3.8 - -0.2. Is d greater than 0.4?
True
Suppose -5 = -3*r + 13. Which is greater: r or 7?
7
Let s = 2 - 0. Let d = 0 + s. Are 1/3 and d equal?
False
Let r be -5*(-1)/(2/(2/(-1))). Is -15/4 greater than r?
True
Let s(t) = t + 2. Let u be s(8). Suppose -4*i - 82 = -26. Let z be i/(-10) + u/(-25). Is z smaller than -1/3?
False
Let d = 3 + 0. Which is smaller: d or 3/2?
3/2
Suppose 0 = -3*a + 6. Let l be -2 + a + (-3)/(-6). Let i = l - 5/18. Which is smaller: 1 or i?
i
Let b be ((-4)/10)/((-4)/(-60)). Is -3 less than b?
False
Suppose 0*o = 5*o - 25. Suppose 2*g - o*g = -51. Let m = g + -84/5. Is -1 <= m?
True
Let q be 37/7 + (-4)/14. Let y be 2/12 - q/15. Let z(d) = d**3 + 13*d**2 + 2*d + 25. Let l be z(-13). Is l smaller than y?
True
Suppose 4*f - 22 + 90 = 0. Let t = -16 - f. Which is smaller: t or -4/29?
-4/29
Let c be (1 - -2) + 6/(-6). Let j be (c - 2)/(0 - 1). Let v = 3 + -5. Which is smaller: j or v?
v
Suppose -8 = -0*k + 2*k. Let y = -6 - -9. Let h = k + y. Is 0 at least h?
True
Suppose -6*s = -5*s + 10. Let n = s + 10. Let r = 1/20 + 1/5. Are r and n unequal?
True
Let q be (1 - 4/4) + 15. Let c = q + -16. Which is greater: -2/23 or c?
-2/23
Let v = -4.6 + 0.6. Let b = -5 - v. Is -0.4 less than or equal to b?
False
Let s = -5.13 + 5. Which is bigger: s or -1/3?
s
Let o be (1 - -3)*2/12. Suppose 5*x + 49 = f + 8, 103 = 3*f - 5*x. Suppose 3*y - 21 = -3*s, y + 2*y = -5*s + f. Is o less than y?
True
Let f = 0.023 + 16.477. Let q = f + -13.51. Let i = 0.01 + q. Which is smaller: 1 or i?
1
Suppose 0 = 2*i - 2*i - 7*i. Which is smaller: -1/57 or i?
-1/57
Suppose -3 = -15*t + 16*t. Which is greater: t or -19/12?
-19/12
Suppose -a + 5*i = 41, -26 = 5*a - i + 59. Let o be 2/a*1*-3. Let w be -6*(-15)/21 - 4. Is w greater than o?
False
Let z be (-1)/1 - ((2 - 11) + 3). Which is bigger: 6 or z?
6
Let d be (-10 + 8)/((-50)/(-2)). Which is smaller: 0 or d?
d
Suppose f + 1 = 3. Suppose 3*s + f*s - 10 = 0. Let c be (2 - 2 - s)/(-3). Which is smaller: c or 0?
0
Suppose 12 = -a - 2*r, -2*a + 2*r - 4*r = 14. Let d be 2*(3 + a) + -5. Let u = 6 + d. Which is smaller: 1 or u?
1
Let t be -1*5/25*0. Which is smaller: t or 1?
t
Let u be 6/9*(6 - 0). Suppose -u*m + 2*m + 2 = 0. Let s = m + 1. Which is greater: 3 or s?
3
Let l be (-4 - 4/2)/((-3)/8). Which is bigger: 44/3 or l?
l
Let o be 1/2*-1*-2. Let g = -2.64 - -2.