6?
False
Let o = -6 - -7. Let m(d) = -d**2 - d - 2. Let l be m(0). Which is smaller: l or o?
l
Let h be 225/(-20)*(-4)/(-42). Does -2 = h?
False
Let r be (1789/(-3))/(5/15). Let q = -30399/17 - r. Let x = q - 76/51. Which is greater: 0 or x?
0
Let j = -19.25 - -1.55. Let k = 18 + j. Which is greater: 2 or k?
2
Let d be (1*-4)/(1/(-2)). Suppose o = -3*o + d. Suppose 0 = -s - o - 1. Which is bigger: s or -2?
-2
Let x = -2176/11 - -198. Is 1 greater than or equal to x?
True
Let g = -26 - -20. Which is bigger: g or -7?
g
Let m be 17/102 - 13/(-12). Let f be 8/12 + 1/3. Which is greater: f or m?
m
Let o be 27/(-78)*(-1)/(-6). Let s = o + 4/13. Is s greater than or equal to 1?
False
Let x = -1518 + 4622/3. Let q = x + -46/3. Let v = 148/21 - q. Is 0 >= v?
True
Let k(s) = -s**3 + 2*s**2 + 6*s - 3. Let p be k(4). Suppose 3*q = 6*q + 18. Let t be q + 3 - p/4. Is t equal to 3?
False
Let p = -1.69 - 0.31. Let g = 0.3 - 0.4. Which is smaller: p or g?
p
Suppose 0 = -3*z + 2*d - 7, -4*z - 12 = -0*z - 4*d. Let n be (-3)/(1 + 2/(-3)). Let h(q) = -q**3 - 10*q**2 - 9*q - 1. Let f be h(n). Is z <= f?
True
Let l be 324/(-32) + (-1)/(-8). Is -10 at most as big as l?
True
Let p = 7.083 + -0.083. Which is smaller: p or -0.2?
-0.2
Let z = 0.09 + -0.15. Let r = -0.6 - -0.62. Let i = z + r. Which is bigger: 0.1 or i?
0.1
Let m = -13/33 + 5/264. Is -0.1 > m?
True
Let i be (-3 - -2)*1*16. Let p be (-4)/(i/(-7)) - -2. Which is greater: 1 or p?
1
Let a = -132 + 134. Which is smaller: a or 7/9?
7/9
Let i be (-4 - -1) + 50*5. Let r = 2467/10 - i. Which is smaller: r or 0?
r
Suppose -10 + 4 = -b. Suppose v = 3*v - b. Let t be 1 + 0 + -2 + v. Which is smaller: t or 4?
t
Suppose -5*p + 1 = -39. Do p and 10 have different values?
True
Let p be 45/36 - 2/8. Which is smaller: p or -2/3?
-2/3
Suppose 5*j = -10, -h + 7 = 5*j - 14. Is 30 <= h?
True
Let o(z) = 2*z**2 - 3*z - 4. Let y be o(3). Let n be 11/6 - y/(-30). Let f = 7 - 5. Is n less than f?
False
Let o(m) = m**2 + 4*m - 2. Let j be o(-5). Suppose 0 = f - 2*w + 6 + j, 21 = -5*f + 2*w. Is -3 greater than f?
False
Let a = 0.12 + -6.12. Which is smaller: a or -2?
a
Suppose 0 = -3*v - 2*v + 2*q + 19, -2*q = v - 11. Suppose -4*o + s - 3 = 0, -6 = -o - v*s + 9. Is -2 < o?
True
Let y be (-2)/14*(-6 - 1). Suppose 0 = g + p - 6, 0*g - 4*p = 2*g - 18. Let r be 1 - 1 - (-3 + g). Which is smaller: y or r?
r
Let d = 7.81 + 0.19. Let s = d - 7.7. Do 1 and s have the same value?
False
Let v(a) = -a**2 + 2*a + 4. Let h be 6/4*12/9. Let d be 3*((-3)/(-1) - h). Let c be v(d). Is c less than 4?
True
Let z be ((-7)/((-42)/4))/((-2)/(-21)). Is z greater than 6?
True
Let k = 377 + -2243/6. Let x = 5/2 - k. Let s(r) = r**3 - 7*r**2 - 1. Let b be s(7). Is x <= b?
False
Let b = 127/2 + -65. Which is bigger: -3 or b?
b
Let w(k) = -2*k**2 - 4*k + 5. Suppose 5*p = p - 20. Let f be w(p). Let j = 49/2 + f. Which is smaller: -1 or j?
-1
Suppose 14 = -4*g + 3*l - 0*l, 4*g + 3*l = -26. Let r = g + -18. Let i = -183/8 - r. Are i and 0 nonequal?
True
Suppose 3 = 5*z - 7. Suppose 3*v + 3*a - 3 = 0, 3*v + 0*a = -z*a + 6. Suppose x - 2*t = 2*t + 10, 4*x + v*t = 0. Which is greater: x or 1?
x
Suppose 5*t + 19 = 19. Let c be 63/114 - (-2)/(-4). Is c at least t?
True
Let y = 2 - 3. Let n = -8 - 1. Let w = -11 - n. Which is smaller: w or y?
w
Suppose -2*g + 37 = 5*l, g + 5 = 2*l - 8. Let m = 4 - -3. Let y = m - l. Is y less than or equal to -1/2?
False
Let w = 27 + -18. Is w at least as big as 0.1?
True
Let d be (-3 - (3 - 5))*0. Which is greater: 1/7 or d?
1/7
Let c(x) = -x**2 + 7*x + 4. Let m be c(7). Suppose -2*h + 0 = m*k + 2, k - 2 = 2*h. Suppose -4 = -4*z - k. Which is smaller: z or 3/5?
3/5
Suppose -4*i - 4 = -2*z, -i - 3*z + 3 + 3 = 0. Suppose 6*u - u = -5. Is i > u?
True
Let r = -651/8 + 81. Which is greater: -1 or r?
r
Let t = -8 + 57/7. Let o = 3 - 1. Let y be (1 + o/(-2))/1. Is t > y?
True
Let z be (6/(-9))/((-3)/9). Let a be z/4*1/2. Let q = 4 - 3. Are a and q nonequal?
True
Let l = -9 + 15. Let v = l + -4. Let h be 0/(-2)*v/4. Is 3/5 > h?
True
Suppose -3*p + 2*u = 81 + 102, -4*u = 4*p + 264. Is -62 at most p?
False
Let k = -26 + 25.9. Which is bigger: 1/4 or k?
1/4
Let v be 0 - 310/(-4) - 2. Let r = v + -74. Is r <= 3?
True
Let z be (-21)/(-56) - (-54)/(-16). Let n(b) = b**2 + 4*b + 2. Let y be n(-2). Are z and y unequal?
True
Let t = 0.1 + -0.6. Let w = -1.6 - -0.6. Which is smaller: t or w?
w
Suppose -14*t + 9*t = 180. Which is bigger: t or -37?
t
Let i = 3/94 - -367/282. Suppose 10*l = 5*l. Do l and i have different values?
True
Suppose 3*k = -4*l + 4, 21 = 2*l - 5*k - 7. Suppose -q = 3*q - 5*m - 23, -2*m - 2 = 2*q. Suppose -l*o + 2 = -q. Is o >= 1/5?
True
Let d(g) = -g**3 - 5*g**2 + 7*g + 4. Let x = 2 - -2. Suppose -3*m - 10 = -x*p, 4*m + 8 = p - 14. Let k be d(m). Is k equal to -3/5?
False
Let f = -190 - -763/4. Which is greater: 1 or f?
1
Let m(u) be the third derivative of 0*u + 1/3*u**3 + 1/6*u**4 - 1/60*u**5 + 0 - u**2. Let d be m(5). Which is smaller: d or -1?
d
Let q be (1 - 1)*((-65)/10)/(-13). Let u = 0.2 + -0.3. Let p = u - 0. Which is bigger: q or p?
q
Suppose 2*h - 8 = 3*z, z + 4*z + 4*h = 16. Suppose z = -2*r + 3*r - 4. Which is smaller: r or 2?
2
Suppose 0 = -4*u + 5*p + 30, -u = -3*u - 4*p + 2. Let x = -14 + u. Let v be 26/42 - (-3)/x. Is v <= 0?
False
Suppose q = -2*q + x + 20, 0 = -3*x - 15. Is q less than 3?
False
Suppose -2 = -t - 1. Let i be (-119)/(-28) - t/4. Let l = 227/2 - 111. Is i greater than l?
True
Let h = -7 - -6. Let w = -2.13 + 2. Which is greater: h or w?
w
Let a = 2/1203 - 1277/44511. Which is smaller: a or -1?
-1
Let q = 173 + -174. Which is smaller: 10 or q?
q
Let d(h) = h + 8. Let z = 8 + -5. Let w be -7 + (-1)/z*0. Let g be d(w). Is g smaller than 3?
True
Let c be (2 - 0) + -2 + 0. Let d be (1/22)/(3/36). Is c at least d?
False
Let o = 56/9 + -634/99. Let b(d) = d**2 - 2*d + 2. Let s be b(2). Suppose 2 = -2*y - s. Is y at most o?
True
Suppose 5*q = d + 19, 3*d + 3 - 2 = q. Let x be (1/(-1)*d)/(-1). Let f = -0.7 + -0.3. Is f greater than x?
False
Suppose 0 = 3*h - 3*t - 30, -3*h + 0*h - 5*t + 6 = 0. Let k = 8 - h. Which is greater: k or -2?
k
Let u = 61.1 - 62. Suppose -1 + 5 = 2*z. Is z equal to u?
False
Let q(t) = 11*t**2. Let y be q(-1). Let l = -7 + y. Suppose 17 = -7*c + 38. Are l and c nonequal?
True
Let b = 0.3 + -0.4. Let s = -2.99 - 0.01. Let h = s + 4. Is b bigger than h?
False
Let n(k) = k**2 - 3*k + 3. Let f be n(3). Let i be f/(2 - (-10)/(-8)). Let a be ((-12)/(-9))/(i/6). Which is smaller: 1 or a?
1
Let g = -351 - -241. Let d be 12/30 - (-104)/g. Is -2 != d?
True
Let g be (1 - (-2 - -2))*-1. Let z(c) = c**2 - 7*c - 2. Suppose 9 = -0*y - y - 4*l, -5 = y + 3*l. Let w be z(y). Which is bigger: w or g?
g
Let s = 4 - 1. Let k = s - 2. Let h be (-2)/(-28)*6*-1. Do h and k have different values?
True
Let p be 1437/(-18) + (-7)/42. Which is greater: p or -79?
-79
Let l = -6 + 10. Which is bigger: l or 5?
5
Suppose 0 = 5*u + 3*l + 2*l + 15, -4*l = u + 18. Suppose 0 = 2*p + u*p + 4. Which is smaller: p or 2/7?
p
Let s(p) = -2*p - 3. Let m be s(-4). Let a = 10 - 7. Suppose 4*y + a + m = 0. Is y less than or equal to -2?
True
Let p(c) = -c**3 + 5*c**2 - c + 5. Let q(v) = v**2 + v - 1. Let f be q(-3). Let j be p(f). Are j and 4/9 equal?
False
Let u be -1 + (-4)/4 - 0. Let v be (-14)/3 - u/3. Which is smaller: v or -3?
v
Suppose -k + 22 = -3*t, 0 = -5*t + 4*t + 5*k - 26. Which is smaller: t or -7?
-7
Let m be 2/11 + 2714/(-9240). Let n = m + 1/35. Which is greater: n or -1?
n
Suppose 0 = 3*m - 7*m - 3*d + 74, m = d + 15. Let y be (m/20 - 1)*4. Suppose -3*a = a - 3*r + 1, -5*a - 9 = 4*r. Is y > a?
True
Let y(t) = 4*t + 14. Let f be y(6). Does f = 1?
False
Let j = -3.8 + 4. Let r = -0.07 - 3.93. Let a = r - -4. Is a > j?
False
Suppose -10 = 4*g - 4*w - 2, -5*g = 5*w - 30. Suppose 0 = -g*a + 6*a - 12. Suppose a*j - 4 = j. Is j <= 2?
True
Let m = -13 - -3. Let g be (-3)/4*(-16)/m. Are -0.2 and g equal?
False
Let t = 24 - 20. Which is greater: 1 or t?
t
Let n be (-1)/(-3)*3 + 3. Suppose -90 = j + 5*v - 11, n*j - 2*v = -206. Let m be 0 + 4/j*3. Which is smaller: m or -1?
-1
Suppose -3*x - 10 = -i, 0 = 3*i - x + 4 - 2. Let j(z) = -4*z**2 - z. Let k be 8/(-6) - 1/(-3). Let d be j(k). Which is smaller: d or i?
d
Let q