c be (4 - (9 - 5)) + o. Which is smaller: 31 or c?
c
Let z be ((-3)/(-2))/((-91)/(-7) + 6). Let a = 0 - -1. Which is greater: z or a?
a
Let j be 12/8*4/3. Suppose j*h - 71 = w, -w + 3 + 31 = h. Are h and 36 equal?
False
Let g be -3 - (2/(10/(-25)) + 1). Which is greater: -1/221 or g?
g
Suppose 0 = -3*f + 4*d + 8, 0 = -f - 0*f - 4*d - 24. Let n be -1 + 204/208 - 1/f. Which is greater: 0.1 or n?
n
Let l be (3952/114 - 2/3)/(-2). Is -17 greater than or equal to l?
True
Let h = -27 - 12. Which is greater: h or -1?
-1
Suppose -16*x = -21*x + 20, -3*m + 3*x - 18 = 0. Let y be (-1)/(-5) - 72/(-15). Are m and y nonequal?
True
Let t be (-1 + 14/18)/(40/84). Is 0 bigger than t?
True
Let q(h) be the second derivative of -h**5/20 - 5*h**4/12 - h**3/2 + h**2/2 - 10*h. Let b be q(-3). Is b less than -8?
False
Suppose 3*q = -4*b + 12 + 7, -q - 5*b = -10. Suppose -8 + 118 = -q*o. Is -22 <= o?
True
Let j be -3*(1 + 10/(-6)). Let a = -311 + 314. Which is smaller: j or a?
j
Suppose -m + 0*x + 45 = x, -136 = -3*m - 2*x. Let k = -25 + 70. Is k != m?
True
Let s be (0 + 1)*(3 + -3). Suppose s = 5*w - 34 + 54. Is w bigger than -6?
True
Suppose 0*d - 2*d = 0. Let x be (-96)/(-207) - (-1)/(-3 - d). Which is smaller: 1 or x?
x
Let j(q) = -q**3 - 4*q**2 + 7*q + 6. Let u be j(-5). Let b = 236 - 268. Let s be (4 - b/(-36)) + u. Is s greater than -2?
True
Let m = 0.296 - 0.296. Which is smaller: 2/629 or m?
m
Let i be 208/(-2808) - (-5)/((-1350)/48256). Which is greater: -178 or i?
-178
Suppose 0 = 5*r - 21*r. Which is smaller: r or 56/53?
r
Let v be (1078/(-11))/14*1*-6. Which is smaller: v or 2/11?
2/11
Let p be 1 - 1 - (-40)/8. Suppose -p*o = -2*t + 43, o + 41 = -t + 5*t. Suppose -t = -4*x + x. Is x at least 2?
True
Let b = -0.104 + 0.172. Let w = b + -0.168. Are w and 30 nonequal?
True
Let l be 134/(-20)*(-1 - -7). Let k = -8246/205 - l. Is k smaller than 1?
True
Let c(b) = 13*b - 1. Let p be c(2). Let w(j) = -j + 55. Let n be w(15). Suppose 3*t = -0*h - 2*h + 61, 2*h - 4*t - n = 0. Which is smaller: h or p?
p
Let t be (10/(-4))/((-1)/(-2)). Let b = t + 24. Let r be (-3)/5 + b/15. Which is greater: r or 1?
1
Let j(c) = -c**2 + 4*c + 2. Let u be j(3). Suppose -5 = u*z + 10. Which is bigger: z or 0.6?
0.6
Let d be 1/(-9)*64/3744. Which is smaller: -1 or d?
-1
Let f = -114 - -116. Suppose 2*o = 0, 8 = -f*g + o - 0*o. Do -4 and g have the same value?
True
Suppose 0*o - 38 = 2*o. Let v be 1*4/(-8)*38. Is v greater than or equal to o?
True
Suppose 1 = l + 2. Let m = 46 + -507/11. Do l and m have the same value?
False
Let k be 106/3 - 6/(-9). Let d = 8 - k. Let z be (-3)/6 + (-6)/d. Which is smaller: 9/5 or z?
z
Suppose -11*t = 10*t - 84. Let k = 15 - 3. Let m be 14/k + t/(-24). Is m less than 1/9?
False
Let r be 2/8*(-14)/4. Let w be (-2)/1*(-2 + 3). Are w and r non-equal?
True
Let l = -2/477 + 2920/13833. Is 1/3 greater than l?
True
Let m = -12652/7 + 1808. Which is smaller: m or -64?
-64
Let c = 70296/73 - 963. Is c less than -1?
False
Let f = -263 - -665. Is 1/2 at most as big as f?
True
Let w = -24 - -30. Suppose 3*n + w*n = -9. Is n smaller than -3/20?
True
Suppose 0 = y - 3*y + 6. Suppose 0 = y*v - 5*v - 2. Let w = -1312 - -1310. Which is smaller: w or v?
w
Suppose 8*i = 37 + 43. Let a = -5709/4 - -1436. Which is smaller: i or a?
a
Let i = 36.7 + -40. Let y = i - -2.9. Is 0.2 not equal to y?
True
Let z(a) = a**2 + 2*a - 7. Let h be z(-5). Suppose 280 = 4*d - h*d. Let v be 6/(-21) + (-25)/d. Is 1 smaller than v?
False
Let w be 0 + 1/2*-2. Let d be -2 + w*(-7)/1. Let c = -2 + 7. Is d less than or equal to c?
True
Let n = 33 + -67/2. Let f = 42996/77 - 3882/7. Which is greater: f or n?
f
Let w be (-22)/(-4)*(-14 - -24). Suppose w = -4*s - 85. Let m be 115/s + (-4)/(-14). Is m <= -3/2?
True
Let i = 11 + -15. Let w = 11 + i. Let n = 2.7 - 2.8. Is n bigger than w?
False
Let t(k) = -13*k**2. Let f be t(-1). Let q(r) = -r**3 - 14*r**2 - 15*r - 17. Let p be q(f). Let w be (-6)/p + -1 - -1. Which is greater: -14 or w?
w
Let m(g) = 44*g - 1. Let p be m(-2). Is p smaller than -88?
True
Let m be (-14)/(-12)*135/(-42). Let y = m - -5/2. Let w(n) = n**3 - 7*n**2 - 17*n - 11. Let f be w(9). Which is smaller: y or f?
f
Let u(f) = -f**3 + 2*f**2 + 2*f. Let m be u(-2). Let w = 3.8 - -0.2. Which is smaller: m or w?
w
Suppose -542 = -9*z - 920. Is -32 at least z?
True
Suppose 3*k - 4*a = -11, 2*k = 7*k + 4*a - 3. Is 1/6 less than k?
False
Suppose 0 = 2*y + w - 6, 2*y - 5*w = 2 + 4. Let l = 4 - y. Let t = 3473/4182 - -2/697. Which is smaller: t or l?
t
Let z = 21 + -16. Suppose -7*p + 4 = -z*p. Let f be (-480)/236 - p - -4. Is -1 > f?
False
Let n be 75/((-3)/7*-1). Which is smaller: 177 or n?
n
Let d = -8 - 32. Let f be ((-16)/d)/(138/632). Let s = f - 36/23. Is s not equal to 1?
True
Suppose -20 = -4*x, -x = -z + 2*x - 151. Let o = z - -154. Which is bigger: o or 13?
o
Let i(k) = 2*k - 7. Let o be i(7). Suppose -y + 13 = -o. Let d be (-8)/6*6/y. Is d > -1?
True
Suppose -9 = -l - 0*l. Let f be (-6)/l*(-2)/(-12). Suppose 0*p = 2*p. Which is bigger: f or p?
p
Let i = 0.492 + -1.392. Is 9 != i?
True
Let o(l) = -3*l**3 + 37*l**2 - 10*l - 14. Let n be o(12). Which is smaller: n or 18?
n
Let g = 22.2 - 21. Let p = 2.8 + g. Which is smaller: -0.4 or p?
-0.4
Suppose -l + 3*l + 2 = 0, -3*l + 12 = 5*g. Suppose w - 52 = -g*w. Let c be (42/(-10))/((-129)/430). Are c and w equal?
False
Suppose -k + 8*t = 6*t + 2, 2 = t. Let j(b) = -b**2 + b + 1. Let l be j(-1). Let p be l/(-3) - 8/16. Which is greater: p or k?
k
Let v be (-4)/8 + 2/(-4). Let a be ((-4)/(-45))/(6 - 60/25). Is a not equal to v?
True
Suppose 0 = -2*h - 6, 1221 = -81*q + 76*q + 3*h. Do q and -248 have the same value?
False
Let x be (9/12)/((-6)/116). Suppose -q - k = 2, 6 = q - 63*k + 60*k. Which is smaller: x or q?
x
Let t be (14/28)/((-1)/32). Suppose 0 = 4*v - 3 + 19. Let y be (-5 + t/v)*10. Do y and -10 have the same value?
True
Let r be 2/56*((-66)/(-6) + -17). Is r less than or equal to -4?
False
Let d be -8 + 12 - (-1260)/(-110). Which is bigger: -7 or d?
-7
Let w(k) = -k**3 - 12*k**2 + k + 6. Let t be w(-12). Let o be (t/(-15))/(2/10). Let p = -2 + o. Which is smaller: 0.03 or p?
p
Let r = -5 + 5. Let n(m) = m**3 + 17*m**2 + 42*m - 26. Let v be n(-14). Is v >= r?
False
Suppose 13 + 7 = 4*y. Suppose 9 = -y*m - 11. Let g = 13/12 + -3/4. Which is greater: m or g?
g
Let z = 12.2 + -12.12. Which is smaller: z or 5?
z
Let t be -1*(2 + -3)*-1. Let p be -2 + 8 + t - 2. Suppose 8*w - p*w = 2*d - 1, -4*w + 2 = -3*d. Which is bigger: w or -3/4?
-3/4
Let g be ((-1)/2)/((-259)/35 + 3). Is g equal to -1?
False
Let x be 2/9*3/(-15). Suppose -j = -1 - 2. Suppose -k - j = 2*k. Which is greater: k or x?
x
Suppose -z + 966 = -5*b + 2*z, 0 = 4*b + 3*z + 789. Let t be ((-2)/3)/((-10)/b). Is -12 smaller than t?
False
Let n be 51/(-2)*(-16)/3. Let s = 131 - n. Which is smaller: 2 or s?
s
Let b = 859 + -33499/39. Let t(l) = l**3 + 5*l**2 + 3*l - 5. Suppose -8 = 2*j + 3*a, 2*j + 2*j = -3*a - 16. Let x be t(j). Which is greater: b or x?
b
Let s = -11.3 - 0.7. Let l = s - -8. Let h = l + 8. Is 0.1 less than or equal to h?
True
Let s(x) = -6*x + 76. Let h be s(13). Which is bigger: 83 or h?
83
Suppose -5*b = -4*v - 0 - 478, 0 = -b + 5*v + 104. Is b >= 93?
True
Let g be 2/(3 + -5)*(-74)/(-20). Let a = g + 9/2. Which is smaller: 0 or a?
0
Let n = 32 - 0. Let q = -28 + n. Which is greater: 1 or q?
q
Let l be -2 + 7/((-7)/(-4)). Suppose -3*g - v - 1 = -7, -l*g = -v - 4. Let q be -6 + 1 + -1 + g. Are -5 and q equal?
False
Let a be (-12)/((-21)/6 - (-21)/(-14)). Which is smaller: 2 or a?
2
Let p(t) = 4*t + 15. Let m be p(-6). Suppose -x - 20 = 3*s, -3*x + 35 = -4*s - 6*x. Which is bigger: m or s?
s
Let d = 71 + -72. Let z = 2 - 1. Let q be z/6*20/(-3). Which is smaller: d or q?
q
Let w = -6 - 9. Let b be (-1 - (-6)/15)*w. Suppose -b*d = -4*d + 5. Is 0.3 at most as big as d?
False
Let f = 11 - 20. Let c be (6/11)/(-2 - f/3). Suppose -4*a = -2*j - j + 20, 3*j = 5*a + 25. Which is bigger: c or j?
c
Let d = -326 + 326.011. Is -1 > d?
False
Let f = -475199/17 + 27963. Let j = 10 - f. Suppose 5*h = -0*h + 5. Is j smaller than h?
True
Let q be -10 + (-11)/22*0. Which is greater: q or -19?
q
Let w(b) = b**2 + 32*b + 41 + 5 - 13. Let p be w(-28). Does p = -79?
True
Let w