u be g(-1). Is u at most as big as 1?
True
Let o be -2 + (4/(-2) - 8). Let w be (-2)/(8/o) + 3. Do w and 5 have the same value?
False
Let k = -16 - -16. Which is bigger: k or 12/11?
12/11
Let c = -52 + 33. Let o be 4/(3 - c/(-7)). Is o != 13?
True
Suppose -5*c = -4*d - 7, 2*c - 2*d + 8 = -4*d. Is 1/7 less than or equal to c?
False
Let h = 1041/2 - 542. Let o = h - -22. Is 0 at most o?
True
Let a = -0.25 - -0.25. Which is bigger: 3/2 or a?
3/2
Let d be 159/504 - 3 - -2. Let l = d - -1/56. Is l at most as big as -1?
False
Let a(t) = -19*t**2 + t + 2. Let s be a(-1). Let d = s + 17. Are 0.09 and d unequal?
True
Let l be 28/6*3/4. Let u = -25/6 + l. Is 0.02 at least u?
True
Suppose 5*k - 18 - 10 = 3*t, -8 = -2*t - 2*k. Is t != -12/7?
True
Let t(j) = -14*j + 8. Let w be t(-2). Is 36 at most as big as w?
True
Let l(k) = k + 4. Let b be l(6). Let r(w) = w**2 - 10*w - 3. Let g be r(b). Is g equal to -5?
False
Let s = -20 + 32. Let t = 8 - 19. Let j = s + t. Is 1/6 smaller than j?
True
Let d(m) = m**2 + 10*m + 16. Let v be d(-8). Which is greater: v or -1/4?
v
Let a = -165796/105 + 1579. Let n = 43/105 + a. Which is greater: n or -0.4?
n
Let q be (-20 + 2)*1/(-3). Let z be q/20*2/(-3). Does 0 = z?
False
Let s be (-4)/((-7)/((-28)/(-8))). Let z be 16/3*3/s. Are z and 8 equal?
True
Suppose -5*s + 22 = -3*j, 0 = -0*s + 4*s + 2*j - 22. Suppose -2*y + 5*b + 15 = 0, -3*b = -4*y + 8 + 15. Let h be y/s + (-2)/6. Are 1 and h unequal?
True
Let g = -0.1 - -0.2. Is -1/5 greater than or equal to g?
False
Let j = -227/5 - -2063/45. Is -1 greater than or equal to j?
False
Let q(s) = s**2 - 11*s + 7. Let u be q(10). Do u and -9/5 have the same value?
False
Suppose -p - 28 = -4*q + 3*p, 29 = 5*q - 2*p. Suppose -4*b + q*s - 6 = -35, -3*b = -5*s - 28. Which is smaller: 1/2 or b?
1/2
Let k = 121.8 + -122. Which is bigger: -0.22 or k?
k
Let b(q) = -q + 11. Let y be b(-9). Suppose 6*w = 80 + 34. Is w bigger than y?
False
Let z be -3 + 2 - (-3)/4. Let p be ((-3)/1)/(-3) + 1. Let l = -3 + p. Which is smaller: l or z?
l
Let t = -46.4 - -46. Which is smaller: t or -8?
-8
Let l(n) = 3*n**2 + 2*n + 1. Let t be l(-1). Suppose w = -5*z - t*w + 25, 0 = -2*w + 10. Is z < 1?
False
Let j(b) = -2*b + 39. Let q be j(18). Is q bigger than -3?
True
Let j = 2 + -2. Let z = 21309/40 + -533. Let o = z - -13/20. Which is greater: j or o?
o
Suppose 5*d - 26 = 3*s, -5*s + 2*d = -2*d + 26. Let i(t) = -t**2 - t - 1. Let k be i(-1). Which is bigger: s or k?
k
Let i be 2*((-62)/21 + 3). Let y(z) = z**2 - 3*z + 1. Let h be y(3). Is h >= i?
True
Suppose -3*l - 3*i - 4 = 2*i, 3*i = 5*l - 16. Let p = -101/476 + 3/17. Let x = p + 59/84. Is x at least as big as l?
False
Let m = -79811/10 + 8003. Let h = 43/2 - m. Suppose -5*o + 5 = 5*n, 3*o + 4*n - 4 = -0*n. Is o > h?
True
Let a be 2*2*(-14)/476. Do a and 1 have the same value?
False
Let p = -19.8 - -20. Is 3 != p?
True
Let t(a) = -4*a + 1. Let r be t(1). Let s be 2/r - (-34)/6. Is s bigger than 3?
True
Let y = 4.11 + -0.11. Let o = y + -3. Let q = 2 - o. Which is smaller: q or 2/3?
2/3
Suppose 0 = j - 5*h + 16, 0 = -3*j - 3*h + 6 - 18. Suppose 4*x = -4*m + 152, x - 3*m = m + 63. Suppose -5*k + 18 - x = 5*w, -4*k - w - 23 = 0. Is k < j?
False
Suppose 5*v - h + 9 = 0, 4 + 8 = 3*h. Are v and -2/113 unequal?
True
Let s = -1586/5 - -1629/5. Is s at most as big as 9?
True
Let b = -9 - -10. Let z = -17 - -26. Is b at least as big as z?
False
Let u be (5 - -3) + 0 + 0. Let k = -9 + u. Is k at most 1/3?
True
Let j be -6*1 + 4/(-4). Let p = j + 15/2. Let l = -0.28 - -0.18. Which is bigger: l or p?
p
Suppose 0*v = 2*v - 4. Suppose -9 = u + v*u. Is u greater than -4?
True
Let b be (2 + -1 - -1 - 0) + -4. Let x(o) = 4*o - o**2 + 2 - 3 + 2*o**2. Let m be x(-4). Is m smaller than b?
False
Suppose -4*i + 6*i = -o + 5, -i = 2*o - 7. Let w be (60/(-3))/(-1 - i). Are w and 11 non-equal?
True
Suppose 5*m - 4*w - 24 = 0, -4*m + 0*m + 5*w + 21 = 0. Suppose -2*u - 10 = -3*u + 5*d, 4*d = 4*u - 24. Which is bigger: u or m?
u
Let x be (-20)/(-45) + (-15)/(-27). Let c be (3*(-2)/3)/(-2). Is c >= x?
True
Let m = -30/19 - -155/38. Are m and 3 nonequal?
True
Let i(w) = 3*w**2 - 8 + 0*w**2 + 3*w - w. Let q(t) = -2*t**2 - t + 5. Let p(s) = -5*i(s) - 7*q(s). Let c be p(-4). Is c bigger than 1/2?
True
Suppose 0 = s - 3*s + 6. Suppose 5*a + 30 = s*a. Let n be 6/5 - (-3)/a. Is 0 less than n?
True
Suppose 3*s + 42 = 17*s. Do s and 30/11 have the same value?
False
Let t = -86 - -63. Which is smaller: t or -21?
t
Let d be (33/45 + -1)/((-6)/5). Is d at most as big as -0.2?
False
Suppose 0*p + 10 = 2*p. Suppose 5*b - t + 2 = 0, -p*b - 2 - 6 = t. Suppose 3*k = -4*g, 2*g + 2*g = 0. Are b and k equal?
False
Let t = -511449 - -6652726/13. Let b = t + -299. Is b > -1?
True
Suppose -3*n = -3, 2 = 3*k + 4*n + n. Let y = 16 - 14. Is y greater than k?
True
Let s(a) = a**3 + 11*a**2 + 10*a - 4. Suppose -o = 5*j + 55, -5*o = -0*o + 25. Let l be s(j). Is l at least -4?
True
Let u be 0*(-5)/10*-1. Is u at least as big as -5/17?
True
Let u be 9 + 7 + -1 + 5. Is 0 < u?
True
Suppose 0 = 3*s - 4*s + 5. Suppose 5*m - 4 = 4*t + 3, m + t - s = 0. Suppose 4*f = m*x + 17 - 7, -4 = -f. Which is bigger: x or 3/5?
x
Let s = -56 - -111/2. Which is greater: s or 0.053?
0.053
Let a = -107/74 - 2/37. Let d be 24/3 + -1 + -1. Let r be (2/d)/((-1)/3). Is r > a?
True
Let m be -2*8*7/(-28) - 3. Let w = 8.71 + -1.8. Let p = -0.09 - w. Is p < m?
True
Let r(x) = -x**3 + x**2 + 5*x - 7. Let g be r(2). Which is smaller: -3/101 or g?
g
Let t = -9 - -9. Let o = t - 0.2. Which is greater: 0.1 or o?
0.1
Suppose 6*o - 3*o + 21 = 3*m, 0 = -2*o + 4*m - 20. Let t(f) = -f**3 - 3*f**2 + 4*f - 1. Let j be t(o). Which is greater: j or -3/4?
-3/4
Let v = 1928 - 310410/161. Are -1 and v non-equal?
True
Suppose 0 = -2*r + 4*r + 304. Let g = 1061/7 + r. Which is smaller: -1 or g?
-1
Let k = -123 - -122. Which is greater: k or -1/20?
-1/20
Let z be 1/(-4) + 1 + 214/(-8). Is z at most -0.1?
True
Let q be (-60)/10 + (-2)/(-1). Is -4 > q?
False
Let u be 4 + 2 + -8 + -5. Is u < -6?
True
Let z = -7 - -4. Let g = -10 - -13. Suppose -g*s - 5*d - 7 = -s, -4*d = -5*s - 1. Which is greater: s or z?
s
Let x = 33 + -32. Is x smaller than -1/38?
False
Let l = 323 - 2903/9. Which is bigger: l or 1?
1
Let z = 15/14 + -107/126. Is z <= -1?
False
Suppose 6*w - 3*w - 3 = 0. Let y = -5 + 3. Let p = w + y. Which is smaller: 2/17 or p?
p
Suppose 0 = 2*r - 6*r - 40. Let k(j) = j**3 - 7*j**2 - 2*j + 3. Let i be k(7). Which is smaller: r or i?
i
Let v = -0.38 + -0.62. Is -36 at least as big as v?
False
Suppose -5*z = -2*c + 23, 4*c - 21 = 5*z - 0*c. Which is bigger: z or -9?
z
Let i(o) = -o + 4. Let w(x) = 3*x**2 - x + 1. Let g be w(1). Let y be i(g). Let j = 1/2 + 0. Is j smaller than y?
True
Let k(g) = g**2 - 6*g - 4. Let u = 0 + 6. Let s be k(u). Suppose 0 = d + 4, -7*m = -3*m + 2*d + 20. Is m less than or equal to s?
False
Let g = -1.38 - -0.38. Which is smaller: g or 32?
g
Let c be (-8)/28 - (-12)/(-7). Let m = 1 + c. Which is bigger: 0 or m?
0
Suppose -h = -0*h + 13. Let n = 13 + h. Which is smaller: n or 1?
n
Suppose 0 = i - 4*m - 8, 2*i = m + 4 - 2. Suppose 0 = -x - i*x + 1. Which is smaller: 0 or x?
0
Let r = 3 - 10. Is r equal to -7?
True
Suppose 16 + 0 = 4*k. Let u = -9 - -3. Let o be (2/u)/((-4)/k). Which is greater: 1 or o?
1
Suppose 3*p - d + 43 = 388, 0 = -2*p - 5*d + 213. Let i be (-2)/p*(-1 + -2). Is -1 less than i?
True
Let o(l) = l**3 - 2*l**2 - 3*l + 4. Let v be o(2). Does 2 = v?
False
Let o = -449/3705 + -3/247. Let a be 12/7 - 10/(-35). Suppose 0 = a*z - 0*z - 2. Are o and z equal?
False
Suppose -4*s - 14 = -3*s. Let n = -14 - s. Do n and 2/3 have different values?
True
Let b = 111.02 + -112. Let h = b + -0.02. Let o = 1.3 - 0.3. Is h greater than o?
False
Let l = 4/39 + 3/13. Let o = -1 + 0. Which is bigger: l or o?
l
Let g = 2 - 2. Let x be 27/7 + (-51)/17. Which is bigger: g or x?
x
Suppose -z = z - 10. Which is smaller: z or 2?
2
Let j be 0 - 11*3/3. Is j at most -9?
True
Let k be 2 + (0/(-3) - -5). Suppose -3*j = -3*a + 7*a - 2, k = -a + 3*j. Which is smaller: -2 or a?
-2
Let q = 0.71 - -0.05. Let i = q + -0.9. Is i != -0.1?
True
Suppose f + 4*f - 15 = 0. Suppose -f*r = -8*r. Which is smaller: r or 1?
r
Let a = 27 - 25. Let g = -1.2 + 1.26