 m. Is m > -2/15?
True
Suppose 3*c = 3*h - 2 - 10, -4*h + 26 = c. Suppose 0*o - h = -o. Are 6 and o nonequal?
False
Let m = -37 - -27. Which is bigger: m or 0?
0
Let r(o) = -2*o - 9. Let z = 8 + -14. Let n be r(z). Let b be 78/(-9) + 2/n. Which is greater: -7 or b?
-7
Suppose a - 7 = -54. Does a = -47?
True
Let h = -130 + 652/5. Let u = 36 + -35. Which is greater: h or u?
u
Let o be (-10)/(-20)*(-4)/6. Let w(k) = k**3 + 3*k**2 + 3. Let v be w(-3). Suppose -18 = -2*r + f + v*f, 5*f = 3*r - 22. Which is smaller: r or o?
r
Let a(w) = -6*w**2 - 2*w + 8. Let n(s) = s**3 + 1. Let i(m) = a(m) + n(m). Let u be i(6). Let l = u - -4. Which is smaller: -1/3 or l?
-1/3
Let i be (-2)/(-7) - (-3)/14. Suppose 0 = s - 5*s. Is i at most s?
False
Let h(j) = -3*j**2 + j - 1. Let b be h(3). Let m be (16/(-10))/(10/b). Is m less than or equal to 1?
False
Suppose 3*m - m + 8 = 0. Let u(n) = -n**3 - 8*n**2 + 9*n + 7. Let a be u(-9). Suppose 4*y + 5 = -a. Which is smaller: m or y?
m
Let f(l) = -l**2 + 6*l - 2. Let b be (-1 + 0)/((-6)/24). Let i be f(b). Let y = i - 3. Which is smaller: 2 or y?
2
Let a be 78/68 - 9/9. Let p = a + 6/17. Which is greater: 1 or p?
1
Let l = -1 - -2. Suppose 0*z - z = l. Which is greater: z or -3?
z
Suppose -6*k = -k + 11*k. Let h = 55325/61 - 907. Which is bigger: k or h?
k
Let r = 3 + -2. Let a = -0.8 + r. Let g = a - 0.2. Is g > 4?
False
Let g = -6 - -13/2. Let c be (-4)/(-18) + (-32)/(-18). Suppose -o = -5, c*m - 5*m - 4*o + 23 = 0. Is m < g?
False
Let t = -31/60 - 1/12. Is t >= 0.4?
False
Suppose 0 = 2*c + 2*f + 8, f = c - 3*f - 16. Let h = 9 - 4. Suppose -10 = h*t + n, -2*n = 3 + 7. Which is greater: c or t?
c
Let b be (-1)/3 - (-13)/12. Let v = 40 - 40. Is v at least b?
False
Let o(v) = v + 6. Let g be o(-16). Is -10 smaller than g?
False
Let m be (-450)/12 + (-6)/4. Which is greater: 1 or m?
1
Let n(s) = -s**3 + 29*s**2 - 53*s - 28. Let t be n(27). Which is bigger: t or 1/10?
1/10
Let u = 198 - 196.91. Let x = -0.09 + u. Is 0.2 > x?
False
Let s(w) = -w**3 - w**2 - w. Let t be s(-1). Let l be (-2)/(t/(6/(-28))). Is l >= 4?
False
Suppose -y + 2 = -3*d, 5*y + 3*d = -0 + 10. Suppose -3*t + 3 = -y*t. Which is smaller: 0.3 or t?
0.3
Let p = 4.1 + -4. Let d = p + -0.4. Let a = 0.1 - 0.2. Which is bigger: d or a?
a
Let f = -6 - 3. Let b = -8.9 - f. Which is bigger: b or -1/4?
b
Let k be (-24)/16*(-8)/(-3). Let h = k + 2. Is h less than or equal to -1?
True
Let a(u) = u + 7. Let l be a(-11). Is l smaller than -4?
False
Let m = 3 + -1. Let g = 0.2 - 0.3. Let n = -0.1 + g. Is m at most as big as n?
False
Let r = 4.2 + -5.12. Let m = 1 + r. Which is bigger: 1 or m?
1
Let s(t) = -2*t + 7. Let w be s(4). Let m be 6 + -1*3 + 1. Let v be m/(-6) - (-3 - -2). Which is smaller: v or w?
w
Let f = -239/3 + 81. Is 2 != f?
True
Let m be (1 - (0 - -2))/1. Is m < 3/13?
True
Let s be (3/4)/((-21)/(-12)). Let t = s + 9/28. Suppose 3*j - j = 0. Is t greater than or equal to j?
True
Let s = 1 + 0. Let n(i) = -8*i**2. Let c be n(2). Let u = c + 222/7. Is s less than or equal to u?
False
Let i = 68 + -46. Is 21 at least as big as i?
False
Suppose -2 = -3*c + c. Let o = -10 - -14. Suppose 5*x - 2*l + 1 = 0, l + o - 9 = -2*x. Is x < c?
False
Suppose -13 = -3*b + 5. Let u be (3 - 2)*2/b. Let w = -1.39 + 2.09. Which is greater: w or u?
w
Let m be 939/27 - 2/(-9). Is 36 less than m?
False
Let c = 0 - -4. Let r = -3.5 + c. Is 0.2 at most as big as r?
True
Let r = -129 - -127. Which is smaller: -4/3 or r?
r
Let j be (240/119 - 1) + -1. Let f = j + -244/357. Let m be ((-2)/(-20))/((-204)/510). Which is smaller: m or f?
f
Let z be (-48)/8 - 2/(-2). Is -5 greater than z?
False
Suppose 51 = 8*b + 19. Do b and 4 have the same value?
True
Let o(c) = 32*c**2 + 2*c + 1. Let h be o(-1). Let u = -249/8 + h. Is u at least as big as 1?
False
Let p = -1.4 + 1.4. Is p bigger than -0.01?
True
Let r(t) = -2*t**2 - t + 1. Let s be r(1). Let a be (3 + -4)/(1 + s). Let d = -1 + 1. Is d greater than or equal to a?
False
Let q = -14/15 - -3/5. Is 0 greater than q?
True
Let b = 681 - 123263/181. Is 1 at most b?
False
Let l be -1 + 2 + (1 - -1). Let c = l + -5. Let r be 0 - 1/(-10)*c. Are -1 and r non-equal?
True
Let n = -35 + 35. Do n and 2 have the same value?
False
Let v = -22 - -15. Let n(q) = -3*q - 20. Let y be n(v). Let x = 138/7 + -20. Which is smaller: y or x?
x
Let a(i) = -12*i**2 + 3*i + 1. Let p be a(-2). Let y = p + 111/2. Does y = 3?
False
Let c(h) = -h**3 - 7*h**2 - 3*h - 22. Let w be c(-7). Which is smaller: 2/13 or w?
w
Suppose 0 = 4*y - 4 - 4. Suppose 4*a - 8 = y*a. Suppose 0 = 2*o - a*o. Is o equal to -4/5?
False
Let x be 9/12 + (-41)/(-4). Let d(y) = y + 4. Let r be d(6). Is r greater than x?
False
Let z be 1/4 + 82/(-40). Let v(a) = a**3 - 3*a**2 + 4*a - 4. Let h be v(2). Which is smaller: z or h?
z
Let c = -0.1 - -0.1. Let q = -2.8 + 2.5. Which is smaller: q or c?
q
Suppose -3*l + 4*f = -6, 0*f = l + f + 5. Which is smaller: l or -3/5?
l
Let t(k) = -k**2 + 6*k - 6. Let f be t(4). Suppose -22*r = -25*r + 6. Let j be (r - 1)/(f/(-2)). Which is bigger: -3 or j?
j
Suppose 0 = 8*t - 11*t + 3. Does t = -2/9?
False
Suppose 89 = -5*h - 91. Let n be 35/(-18) + h/(-24). Are n and -0.1 nonequal?
True
Let f = 0 - 0.3. Which is greater: -1 or f?
f
Let q(f) = 3*f**2. Let g be q(1). Suppose 5*t = -g*o - 7, -2*t = -2*o + 1 - 11. Let l be t/(1 + 1*-2). Which is smaller: -2 or l?
-2
Let i = -5 + 7. Suppose -q = -2*q - x, -4*x = 2*q - i. Let n(t) = t**2 + 6*t - 2. Let f be n(-6). Which is greater: f or q?
q
Suppose -8 = 3*s - 2. Let c(u) = -2*u**3 - 2*u**2 + 1. Let t be c(-1). Let p be (t/(-2))/(2/4). Is s <= p?
True
Let p = 45 + -43. Is p smaller than 1?
False
Let k(n) = n**2 + 6*n + 4. Let h be k(-5). Suppose -4*g = -4*c - 8, -2*c = -7*c - 5*g - 10. Let t be h/c*(1 - -3). Is t > 2?
False
Let c(y) = -y**3 - 2*y**2 - 2*y - 1. Let w be c(-2). Let z = 25 - 22. Is w at least z?
True
Let y be 6/24*24/(-15). Which is smaller: 2/7 or y?
y
Suppose 5*b + 2 + 3 = 0. Let t = 10 - -29. Let q be 4/((-132)/t) + 1. Which is bigger: q or b?
q
Let i be -6*4/(24/(-10)). Is 10 equal to i?
True
Let u(f) = -f**3 + 10*f**2 + f - 2. Let w be u(10). Which is smaller: 9 or w?
w
Suppose 2*d = 5*d. Let k = 12221/4 + -2138447/700. Let l = k - 1/25. Does d = l?
False
Let y(o) = o**2 + 6*o + 1. Suppose -7*z + 2*z = -m - 125, z + m - 19 = 0. Suppose -2*d + z = -6*d. Let i be y(d). Which is smaller: -1/5 or i?
-1/5
Suppose -i - 4*a - 46 = 0, 3*a = 2*i + i + 108. Let s = i + 28. Which is smaller: s or -9?
s
Let x be ((-48)/28)/((-8)/28). Which is smaller: 7 or x?
x
Let s be (-4)/(-16) - (36/16 - 1). Which is bigger: s or -2?
s
Let v be 29*(-2 - 28/(-12)). Which is bigger: 10 or v?
10
Let l = 9 - 7. Suppose -y + 3 - l = 0. Which is smaller: -2 or y?
-2
Let s(f) = -3*f - 25. Let j be s(-9). Let w = 251/222 - -4/111. Which is greater: j or w?
j
Suppose -23 = -5*g + 7. Let a be 9/g*-1*-2. Let o be (-3)/(-4) - (-2)/8. Is a >= o?
True
Let r = 30/7 + -141/28. Let g(y) = -y + 9. Let i be g(5). Suppose -l + 4*a + 4 = -15, i*a = -3*l - 23. Which is smaller: l or r?
l
Let w = -703/1175 - -30/47. Let f = -1 - 0. Which is smaller: w or f?
f
Let l be -6 + 6 - (-54)/(-5). Let s = -11 - l. Let v be (-2)/8 - 1/(-4). Is s bigger than v?
False
Let o be (-38)/(-10) - (-4)/20. Let f be (o - 7)/(2*2). Which is smaller: f or -2?
-2
Suppose -3*i - 11 = -14. Is i > -1/5?
True
Suppose 9*z + 115 = 4*z. Does z = -23?
True
Suppose u + 1 = 2. Let n = -39.1 + 36. Let i = -3 - n. Which is smaller: i or u?
i
Suppose 4*n - 4 = -8. Let u be 2/8 - 1/(-28). Is n less than or equal to u?
True
Let z = -2 + 1.8. Let t = 130.5 + -131. Which is smaller: z or t?
t
Let g = 27 - 26.8. Which is smaller: 0.05 or g?
0.05
Let l(h) = -h**2 - 9*h + 12. Let s be l(-10). Suppose -s*k - 6*i - 2 = -2*i, -5*k = 4*i + 23. Which is smaller: -8 or k?
-8
Let z = 1 + -0.8. Is 10/3 less than or equal to z?
False
Let k be (-130)/(-150) + (-1)/1. Let w = -0.4 - -1.1. Let m = -0.3 - w. Is m at least k?
False
Let u be (-1 - (0 - 2))*-1. Let g = 2 - 1. Let h be ((-2)/(-9))/(g/(-1)). Is h less than or equal to u?
False
Suppose 6 = -3*a + 3. Let o(l) = l**3 + 8*l**2 - 2. Let w be o(-8). Does w = a?
False
Suppose 2*m - 15 = -4*v - 3*m, 9 = -2*v + 3*m. Let r be v*((-24)/(-9) + -3). W