an -6?
False
Suppose m + 2 = 5*g, -2*m - 3*g = -3*m. Which is bigger: m or -1?
m
Let j(r) = -r**3 + 2*r**2 - r + 2. Let g be j(2). Suppose 0 = 3*o - o - 3*y + 8, y = -4*o - 2. Let p be (-3 - 3/o)/(-4). Is g at most p?
True
Let o be ((-15)/(-6))/((-2)/(-8)*2). Is 5 smaller than o?
False
Let a be (-4*2 - -4) + 3. Let x = 392 - 6668/17. Which is smaller: a or x?
a
Let s = 1 - 0. Is 7 >= s?
True
Suppose 6*h - h - 25 = 0. Let q be 7 - h - 10/4. Which is smaller: 0.1 or q?
q
Suppose -2*a + 5*h + 13 = -4*a, 5*h = -4*a - 11. Let u = 2 - 0. Suppose 3*f + 2 = -4*n - 6, 4 = 3*f - u*n. Is a at least f?
True
Suppose -3*r = -r - 4. Let m be (-3 - -2) + 10/(-14)*-5. Which is smaller: r or m?
r
Let n = 4 - -1. Let q = n - 9. Let t = 3 + q. Which is smaller: t or 0?
t
Let c be ((-1)/(-2))/((-3)/(-192)). Suppose -v + 3*j - 16 = 0, 4*j - c = -3*v + 7*v. Which is smaller: v or -3?
v
Suppose 5 = -2*r + d, 3*d + 1 = -2*r - 0*d. Let g be (-1)/r - 2/4. Let u(y) = 2*y**3 + 1. Let t be u(-1). Is t equal to g?
False
Let b = 1.94 - 2. Let r = -0.44 + b. Let t = 0.6 + r. Are -2/7 and t equal?
False
Suppose 20 = -2*w + 7*w. Suppose 4*r + 40 = 5*s, 5*s + 4*r = -0*s. Is s greater than w?
False
Suppose a - 5*s = 12, -5*a = -3*s - 5 - 11. Let z be 2/(-6)*(-8 + a). Which is smaller: z or 0?
0
Let w(a) be the first derivative of -a**2/2 - 6*a + 1. Let m be w(-6). Let j be m + 2/(-6)*-3. Which is smaller: 1/3 or j?
1/3
Let p = 174 - 171. Do p and -0.08 have the same value?
False
Suppose -3 + 11 = 4*g. Suppose 0*c + 8 = -g*c. Let b(l) = l**2 + 6*l + 6. Let d be b(c). Which is bigger: d or -3/4?
-3/4
Suppose 1 = -2*t + 10*g - 7*g, -3*g = t - 4. Which is bigger: t or 6/29?
t
Let o = -4 + 16. Let u be 78/(-180) - 2/o. Is u equal to -1?
False
Let u = -176 + 709/4. Let f = 5.8 + -4.8. Which is bigger: f or u?
u
Let t be 6/((-1 + -1)/2). Let n = t + 4. Which is smaller: n or -3?
-3
Let v = -3311/460 + -6/115. Is v > -8?
True
Let g be (-1)/(1/(1/1)). Let z be ((-12)/(-16))/((-2)/8). Let m(j) = j**2 + 5*j + 4. Let c be m(z). Which is smaller: g or c?
c
Let y = 0.1 - -0.1. Let b = -0.3 + y. Let r be (-3)/(-6)*(-7)/(7/(-12)). Do r and b have the same value?
False
Let t(x) = -x**3 + 2*x**2 - 1. Let p be t(2). Let m(w) = -w - 3. Let a be m(-5). Suppose 0*f = -a*f. Is f >= p?
True
Let j = 50 + -91. Let u = j - -43.1. Let b = 0.1 - u. Which is smaller: b or 0.1?
b
Let a = -1761 + 86285/49. Is a smaller than 0?
True
Let j be (-2)/10 - 42/(-70). Let b be -3*(2/(-2))/(-3). Let k be (b - (-1)/1)/(-1). Which is smaller: j or k?
k
Suppose -3*u - 3*l = -24, 4*u = -0*l - l + 23. Let d(y) = -y**2 + 4*y + 5. Let p be d(u). Let q = p + 0. Is 6 > q?
True
Let t = 37 - 71. Let b be t/(-182) + -1 + 4. Let p = b + -34/13. Which is smaller: p or 2?
p
Let n = 15 + -14. Which is greater: -23 or n?
n
Suppose 0 = -2*j - j + 132. Is 44 at least j?
True
Let v(c) = 4*c - 1. Let k be v(-1). Let i = k - -6. Let o be -4*(0 + i/(-2)). Is 2/3 bigger than o?
False
Let q = -5 + 7. Is q < 4?
True
Let n = 13 + -19. Let r be n/4*(-56)/21. Let j be r/10 + (-15)/100. Which is bigger: 1 or j?
1
Let v = 10 + -5. Let s = v - 6. Is s greater than -1?
False
Let a = -8 - -3. Suppose 3*c - 18 = -3*u, 3*c = 3*u - u + 13. Let g = c + a. Is g <= 1/5?
True
Let k be ((-218)/(-106) + 0)/3. Let l = k + -1/53. Let d be (-4)/(-6)*(-3)/(-4). Which is smaller: d or l?
d
Let m be (2 - -60) + 2 - 1. Let z be (-6)/21 - (-4)/m. Is -1/3 <= z?
True
Suppose 2*c = 3*p + 21, 2*p - 6*p - 18 = -c. Let r be (-7)/(-9) + c/27. Is r greater than 4/3?
False
Let m be -2 - 4/(-4) - 1. Is -3 smaller than m?
True
Let w = 685/416 - 21/13. Is w at most 0?
False
Suppose 2*t = 5*t + 12. Is -3 equal to t?
False
Let k(m) = m**2 + 4*m - 1. Let i be k(-5). Suppose 6*o - i*o = -12. Is o less than -7?
False
Let k = 3 - 2.9. Let p = -0.999 + -0.001. Is p equal to k?
False
Let z = 113 - 130. Which is smaller: -21 or z?
-21
Let t be ((-6)/(-9))/(1/(-12)). Let v = t + 8. Suppose 0 = 2*m - v*m - 6. Is 4 greater than or equal to m?
True
Let o = -0.5 - -2.5. Is o greater than -0.1?
True
Let c be 88/(-6)*546/(-20). Let g = -6596/15 + c. Let u = -39 - g. Which is smaller: u or 0?
0
Let f be 112/(-737) + (-4)/(-22). Do f and 1 have the same value?
False
Let o = -1.5 + 1.39. Let x = o + -7.89. Let d = -7 - x. Which is greater: 9 or d?
9
Suppose 0 = 3*k + 34 + 2. Let f = k + 16. Is f <= 4?
True
Let w = -0.5 - 1.5. Let u = w - -3. Let o = -12.53 + 12.52. Is o at least u?
False
Let m = -9 + 1. Is -9 not equal to m?
True
Suppose 3*y - 6*y = i + 10, 0 = 2*i - 4. Let x be ((-1)/(-3))/(2/(-16)). Is x at most as big as y?
False
Let l = 52 + -54. Which is bigger: 0.2 or l?
0.2
Let z = -5 + 5.8. Let l = z - -0.2. Which is greater: 8 or l?
8
Let i = -1.4 - -0.4. Let m = -0.5 - i. Let n = -0.5 - m. Which is bigger: n or 3?
3
Let k be (180/(-27))/2*(18 - 0). Which is bigger: -59 or k?
-59
Let h = 1.2 + -0.2. Suppose 3*k = -k. Is h at least as big as k?
True
Let n be ((-7)/(-2))/((-9)/6). Suppose -2 = -f + 4*j + 3, -j + 4 = -2*f. Which is smaller: n or f?
f
Let p = 129 - 2453/19. Let b be 2*(-2)/12*0. Is b equal to p?
False
Let k = 0.4 - 0.4. Is k at least as big as -4/11?
True
Let g(b) = b + 1. Let w be g(0). Let r = 18.4 - 20. Is w != r?
True
Let q be 2*(2 - (-6)/(-2)). Let o(m) = m**3 + m**2 + m + 2. Let w be o(q). Let r be 3 - (-1)/(2/w). Which is smaller: -2/3 or r?
-2/3
Let c be (2 + -2)/2 - 0. Let q(k) = k**2. Let b be q(-1). Which is smaller: b or c?
c
Suppose -3*o = a - 6*o - 14, 3*a = -4*o - 23. Is a less than -14/11?
False
Let p = -22 + 16. Is -0.1 greater than or equal to p?
True
Let c be (6/(-261))/((-5)/15). Which is bigger: -1 or c?
c
Suppose 19 + 6 = -5*g. Let v(k) = 3*k + 1. Let j = -1 - 1. Let s be v(j). Is g < s?
False
Let w be -2 + 0/(-4) + 3. Is w less than or equal to -3/41?
False
Suppose 2*u = 3*j + j - 34, 4*u + 2*j = -18. Let w(s) = s - 4. Let o be w(-5). Let a = o - u. Which is smaller: -5 or a?
-5
Suppose -6 - 2 = 2*u. Let o be (60/(-21))/u - 0. Which is greater: 1 or o?
1
Let m(w) = -19*w**2 + 2*w + 3. Let r be m(-1). Is r <= -21?
False
Let u = -2.019 + 0.019. Is -3/7 greater than or equal to u?
True
Let g be 4/14 - (-24)/14. Suppose 0 + 3 = n. Let l be (-4)/(-3)*n/2. Does l = g?
True
Suppose f = 1, -f = y - 3*f + 12. Let s be 2/(-5)*y/8. Let j = -1 - -3. Is s > j?
False
Let a = 7 + -5. Suppose 3*i + 21 = 3*t, -a*i + t + 1 = -3*i. Is i at most as big as -5?
False
Let s be -3 + 1 - 149/(-84). Let g = s - 3/28. Is g at most 1?
True
Let n = 23/6 - 4. Let t = -6 - -8. Suppose 0 = -4*i + 4*q - 12, -2*q + t + 2 = -4*i. Is i at least n?
True
Let p = -9 - -15. Let x be p/2*(-3)/(-24). Is x bigger than 0?
True
Let l be -3 - -1 - (1 - 5). Let o = 10 + -7. Let d be o - -1*(-2)/l. Is d equal to 2/3?
False
Let s(p) = p + 1. Let w be s(-5). Let c be (-2)/(-1) - (-9)/w. Let u(x) = -x + 8. Let b be u(7). Is c > b?
False
Let o = -0.01 + 10.01. Is o less than -0.1?
False
Suppose -5*c - 4*i - 5 = -0*c, c = -i - 1. Is c <= -2?
False
Let g(y) = -y**3 + 6*y**2 + y - 8. Let a be g(6). Let u = -1 - 0. Which is smaller: u or a?
a
Let y = -1 - -5. Suppose w = -y*z - 14, z = -4*w - 0*w + 4. Let b be (-2)/(-2) + 6 + -5. Is w greater than b?
False
Let c(f) = f**3 - 8*f**2 + f - 5. Let t be c(8). Let h = t + -2. Let b be (0 - h) + (-10)/(-16). Is b at least as big as 0?
False
Suppose 38 - 10 = -7*d. Which is greater: d or 1/3?
1/3
Suppose 5*c = -3*n - 9, 1 = -n - 4*c + 3*c. Suppose n + 2 = 4*o. Let x = -3/11 - -5/99. Which is smaller: o or x?
x
Let l(d) = -d**3 + d**2 + d + 16. Let h be l(0). Let k be h/(-5) + (-2)/(-10). Let v(u) = -u + 8. Let q be v(9). Is k less than q?
True
Let a = -5 - -7. Let y be (-6)/a - 3/3. Let r be (-6)/(-9)*(-6)/y. Which is bigger: -1/8 or r?
r
Let x = 2 + -4. Let q = -4 - x. Is -2 at least as big as q?
True
Let h = 841 - 847. Let k = 0.2 + -0.3. Is h at least k?
False
Let s(q) = -q. Let l(k) = 4*k - 6. Let m(f) = -l(f) - 6*s(f). Let c(h) = -h**3 + h**2 - 2*h + 3. Let g be c(2). Let n be m(g). Is n <= -3?
True
Let f = -19 - -18.8. Which is greater: f or -0.04?
-0.04
Let d = -41 - -165/4. Let m be (-1 - -1)/(1 - -1). Which is smaller: d or m?
m
Let w be (-6)/9 + 20/35. Which is smaller: 0 or w?
w
Suppose 2*a - 8 = -0. Which is bigger: a or 6?
6
Suppose -5*i + 5 + 8 = 3*t