 - -1.7. Which is greater: o or 2?
o
Let u be (-3)/1 - (-9)/6. Let a = 7 - 8. Does a = u?
False
Let k be (4/1)/((-2)/(-4)). Let q(g) = -g**2 + 3*g + 2. Let m be q(k). Let w = -113/3 - m. Which is smaller: -2/3 or w?
-2/3
Suppose -4*v = v - 80. Let i be (v/(-216))/((-2)/12). Is 1 >= i?
True
Let a be 9/2*(-4)/6*3. Is a > 5?
False
Let g be 1*(-39)/(-15) - 3. Is g < 0.7?
True
Let f = -1.8 + -7.2. Which is bigger: -0.1 or f?
-0.1
Suppose -1 = 4*c - 9. Let z = -53 - -56. Is c less than or equal to z?
True
Let i(n) = -n**2 + 7*n - 5. Let p be i(10). Which is bigger: 1 or p?
1
Let k be (-20)/(-6) - 2/(-3). Suppose 0 = 5*h - 0*h - 20. Is k > h?
False
Let p = -9 - -7. Is p <= -2?
True
Let u = 11 + -10. Which is bigger: u or 0.3?
u
Let j = 12 + -8. Let p(s) = s**2 - 8*s + 9. Let i = 6 - -1. Let f be p(i). Which is greater: j or f?
j
Let s be ((-54)/30)/(-9) + (-519)/195. Which is smaller: s or -1?
s
Let t be (1/3)/((-6)/(-252)). Let d = -43/3 + t. Which is greater: 0.5 or d?
0.5
Let f = -194/3 + 64. Suppose -a + 0*a = -4. Let l = 3 - a. Which is greater: f or l?
f
Let w = -1 - -5. Suppose -5*k - 9 = w*z, 4*k = k + 5*z + 2. Which is bigger: k or -2/3?
-2/3
Let u = 5 + -2. Let z be u/15*(-5)/(-14). Is z less than or equal to -1?
False
Let q(m) = -m**2 - m - 1. Let t(g) = 2*g**2 - 3*g - 6. Let d(u) = 3*q(u) + t(u). Let s be d(-4). Is 0 less than s?
False
Let j(b) = -12*b**3 - b**2 + 1. Let f be j(-1). Suppose 0 = 4*q - 36 + f. Let u = q + -5. Is -1 greater than u?
False
Let l(y) = y**3 + 5*y**2 - y - 6. Let u(g) = 5 + g**2 + 2 - g**3 - 4 - 2*g. Let f be u(2). Let s be l(f). Which is greater: 1/5 or s?
1/5
Let p be 12/10*(-10)/(-4). Suppose 4*a - v + 4 = p*v, 4*v - 18 = -3*a. Let k(g) = 2*g - 1. Let r be k(1). Is a bigger than r?
True
Let u(f) = f**2 - 5*f - 6. Let m be u(7). Is m at least -2/3?
True
Let f be 17 + 0 + (-1)/(-1). Let l be (8/f)/(-2) + 0. Let b(d) = -d - 2. Let m be b(-3). Is m less than l?
False
Let c(s) = -s**2 - 7*s. Let j be 86/(-12) + (-2)/(-12). Let a be c(j). Which is smaller: -2 or a?
-2
Let v(a) = -a**2 + 5*a + 2. Let h be v(3). Let q = 3 - 1. Suppose -4*f - 15 - h = -3*j, j - 1 = -q*f. Is 0.1 smaller than f?
False
Let m(c) = 1 - 5*c + 3*c**3 - c**3 + 0 - c**2 + 2*c. Let u be m(2). Is u bigger than 8?
False
Let l = 7 - 26/3. Let j = 22 - 15. Let f be (-11 + j)*1/2. Are f and l unequal?
True
Let b(y) = y**2 + 8*y + 10. Let o be b(-7). Suppose 6 = -o*p + 15. Suppose 0 = p*t - 3 + 12. Is t < -2?
True
Let f be (-10)/(-5)*(-22)/150. Let s = -38/325 + 1/13. Let l = s + f. Is -1 greater than l?
False
Let q(k) = k**2 - 7*k + 7. Let b be q(5). Let w be b/(-27)*15 - 2. Is w at most -0.2?
True
Let g = 0.212 - -3.898. Let r = -0.17 - -0.06. Let o = g + r. Is -2/5 greater than o?
False
Let a = 7/75 - -87/50. Is 2 < a?
False
Suppose 0 = -4*p - 3*p. Are -4/55 and p unequal?
True
Let q(u) = -u**2 + 6*u - 4. Let a be q(5). Which is smaller: -1/3 or a?
-1/3
Suppose 1 = m + n + 2, -5*m + 1 = -n. Let k = 451/69 + -20/3. Is m <= k?
False
Let b be 179*((-2)/(-630))/(-1). Let r = b - 1/315. Is r < -2?
False
Let h = 2 + -1. Let b be (h/(-2))/((-10)/(-4)). Let z = -13/3 + 5. Is z at least b?
True
Suppose n - 3*n = 30. Let d be 124/(-6) - (-5)/n. Let s be d/(-28) - (0 - -1). Which is smaller: 0 or s?
s
Let m be (-52)/(-10)*90/(-968). Let p = m + -2/121. Which is greater: p or -1?
p
Let i = -3 - -2. Let o(w) = -10*w**3 + 2*w**2 - 1. Let h be o(i). Suppose -a + l + h = -4*l, 24 = -3*a - 4*l. Is -3 <= a?
False
Let m be 0/(-1) - (-4 - 5). Suppose 4*x + 19 = -2*d + 55, 0 = -x - 2*d + 9. Do x and m have the same value?
True
Let z = -68 + 62. Let n be (-9)/(-60) + (-2)/(-8). Which is greater: z or n?
n
Suppose -4*y + 2 = -2*y. Is 9/7 equal to y?
False
Let c = 123 + -125. Which is greater: c or -1.8?
-1.8
Let a be 4 + (-4)/((-4)/(-3)). Is 2/33 smaller than a?
True
Let g be 24/(-18) - 1/(-3). Let h be 42/(-45) + g/(-3). Is h >= -1?
True
Let w be -4*-3*(-2)/12. Let o be (-1)/2 - 7/w. Suppose 2*h + o*h = -5. Which is bigger: h or 0?
0
Let r = 30 - 30. Is r bigger than -2/77?
True
Suppose 3*j = -5 - 4. Suppose 0 = 2*f + 8. Which is bigger: j or f?
j
Let n = 223/9 + -25. Let o be -2 + (-1)/(-2)*6. Let t be 0/(2 + (1 - o)). Which is smaller: n or t?
n
Suppose -3*g = 3*z, 12 = g + 3*z - 6*z. Let v be (-2 - 0/3) + g. Which is greater: 2 or v?
2
Let o(a) be the first derivative of -3/2*a**2 + 2 + 5/3*a**3 - 2*a - 1/4*a**4. Let b be o(4). Which is bigger: b or 1?
b
Let v(d) = d**3 + d**2 - 2*d + 10. Let y be v(0). Suppose -2*g = -2*s - 22, -2*s - g = -0*g + y. Which is smaller: s or -1/2?
s
Let l be (-3 - 1 - -83) + -1. Is 77 equal to l?
False
Let z(h) = -h - 1. Let g be z(-4). Suppose -d - 5*s = -0*d + 20, g*s + 12 = 3*d. Are d and 2/3 equal?
False
Let m(c) = 4 - 1 - c - 3 - 5. Let l be m(-5). Let j = 48 + -289/6. Which is greater: j or l?
l
Let k be (0 - (-7)/9) + (-24)/(-108). Which is bigger: -10/29 or k?
k
Suppose -15 = 3*t + 2*t. Are -2 and t equal?
False
Let f be ((-4)/(-16)*54)/(-6). Which is smaller: -3 or f?
-3
Suppose 0*w - 3*w + 6 = 0. Suppose -3*r = w*r - 5*c - 40, -r + 4*c = 1. Suppose -t + 4*z = 11, 5*z - 3*z - r = -5*t. Are -2/9 and t equal?
False
Suppose -4*n + 2*m = m - 19, -5*n - 2*m = -40. Is n at least as big as 4?
True
Let n be -3 - (2 + 87/(-21)). Is -1 smaller than n?
True
Let x = -0.3 + -0.1. Let m = x - -0.5. Is -3 at least m?
False
Let o = 6.1 + -6. Let w = -0.1 - o. Let k = 0.1 - -0.1. Which is bigger: w or k?
k
Let c(j) = j**2 - 5*j + 5. Let f be c(5). Let q = 18 - 42. Let a = -19 - q. Do f and a have different values?
False
Suppose 0 = 2*w + 4*h + 7 - 39, 10 = 2*h. Let y be (-3)/(-2) + (-3)/w. Let f be 0 + 2 - (y - -1). Which is bigger: 0.4 or f?
0.4
Let l = 0.1 + 1.45. Let k = -0.05 + l. Let m = -2 + k. Does m = -1?
False
Suppose 37 = 5*a - l, a = 2*a + l - 5. Suppose 5*z - 15 = -4*d - 0, 0 = -2*d - 3*z + a. Suppose -k = -q - 4*q, 0 = d*q + 5*k. Which is smaller: q or 1/9?
q
Let l(b) = -b**3 - 14*b**2 - 13*b. Let i be l(-13). Let u = -1/105 - 13/105. Do u and i have different values?
True
Let a = 0 + 0.08. Let b = a - 0.06. Let k = 0.18 + b. Is -1 not equal to k?
True
Let d = -3 + 5. Suppose 2*g = -4, -3*b - 10*g + 12*g = -19. Is b greater than d?
True
Let p = 97 + -100. Is p greater than 7?
False
Let z be 6/4*(2 - 0). Let t(j) = j**2 + 6*j + 2. Let d be t(-5). Let b be 2 - (d/(-2) - 1). Which is smaller: b or z?
b
Let x be 12/(-9)*(-3)/(-2). Is -5 <= x?
True
Let f be (-2)/10 + (-46)/(-80). Let t = -1/8 + f. Is 0 not equal to t?
True
Suppose 0*d - 2 = d. Let s(t) = t**2 + 3*t - 2. Let y be s(-4). Suppose -y = -l - 5. Which is smaller: d or l?
l
Let m = -2/1119 - 218197/4476. Let v = 49 + m. Which is greater: v or 1?
1
Let r be 2/(-7) - (-24)/(-112). Do r and 0 have the same value?
False
Let c = 27 + -619/23. Suppose r + 3*r + 5*y = -25, -2*r - 20 = 4*y. Suppose -3*o - 2*f = 2, r*f - 3 = 4*o + 3*f. Which is smaller: c or o?
o
Let f(k) = k**3 + 5*k**2 - k - 3. Let c be f(-5). Let o be (-51)/(-13) - 1 - (59 - 57). Which is smaller: o or c?
o
Let j(h) = -h - 2. Let i be j(-4). Let o = 7.89 - -0.11. Let b = o - 8.1. Is b not equal to i?
True
Let k be -2 - -2 - (-81)/(-5). Is k at least -17?
True
Suppose 2*b = 4*w - 16 - 2, -5*b + 4*w = 33. Let c be (-16)/(-56) - (-44)/(-7). Which is smaller: c or b?
c
Let n = -7 - -5. Which is smaller: n or -13/5?
-13/5
Let b = 1/38 + -81/190. Let j = -59/3 - -1897/96. Let c = -23/96 - j. Is c != b?
True
Let l = 1426247/263 + -5423. Which is smaller: 0 or l?
l
Suppose g - m + 23 = -16, -2*m + 148 = -4*g. Does -35 = g?
True
Let k = -4 - -3. Is k equal to -2/29?
False
Let v be (14/105)/(1/(-5)). Is 4 < v?
False
Suppose -4*f + 3*f - 4 = 2*s, 0 = 4*s - 2*f - 8. Let i = 0.01 + 0.29. Which is smaller: i or s?
s
Let y = 1.29 + -1.2. Let w be 2/4*(-1 + -1). Which is bigger: y or w?
y
Suppose -4*l = p + 6, -5*l + 2 = -p + 5. Let u(m) = m + 6. Let y be u(-3). Suppose -4*w = -y*w + 4*d + 11, 5*d = -3*w - 19. Is w at most as big as p?
True
Let b be 5/3 + 0/(-5). Suppose 5*m - 37 = -4*g, -2*g = -6*m + 4*m + 4. Which is smaller: b or g?
b
Let d be 1 + 0 - 32/30. Which is smaller: d or 0?
d
Let f = -51/11 - -289/22. Which is smaller: 8 or f?
8
Let y(k) = -k - 7. Let h be y(-5). Let m(v) = -3*v + 4. Let j be m(-3). Suppose 4*l + 