s -26 greater than l?
True
Suppose -2*u = 0, -5*v + 2*u = 17 - 2. Let g be v - (2 + (-711)/141). Let c = 41/141 + g. Are 1 and c nonequal?
True
Let z = 103.7 - 103.757. Which is smaller: z or -1?
-1
Let n = 5911.4302 - 1.4302. Let j = 5933.93 - n. Let p = j - 24. Which is smaller: 0.2 or p?
p
Let c = -2/38707 + -1199213/13624864. Let u = c - 3/32. Is u smaller than 2?
True
Suppose -4*s = s - 105. Let a = -575/2 + 308. Which is smaller: s or a?
a
Suppose 3*h - 7 = -1. Suppose h*l - 16 + 24 = 0. Is -14/3 less than l?
True
Suppose 2*z - 6 = 38*o - 34*o, 2*o - 2*z = -8. Is 22/31 > o?
False
Let s = -600/7 + 86. Is s greater than or equal to -2.83?
True
Let m(i) = -i**2 + 16*i - 21. Let q be m(15). Let y be (q/9)/((-14)/21). Are -2/5 and y non-equal?
True
Let r(c) = -c**2 - 40*c + 154. Let g be r(-46). Are -122 and g unequal?
False
Let s be -3 - 216/(-200) - -2. Which is greater: s or -1?
s
Let l = 82/119 - 21/34. Which is bigger: l or 1?
1
Let p = -8 + 11. Suppose -3*z - 3*q = p, q + 12 = -2*z - 3*q. Suppose 0 = 3*w - z*g - 16, 2*w + 20 = 3*w - 5*g. Do 2/15 and w have the same value?
False
Let p = 1405 + -1399. Which is greater: 0.02 or p?
p
Let w = 939 - 6584/7. Which is greater: -0.5 or w?
-0.5
Let q = 2101 + -2078. Is 43 bigger than q?
True
Let g = -446 - -445. Which is smaller: g or 3/259?
g
Let f(q) = -q**3 + q**2 + 4*q + 1. Let t be (-5)/20 - 33/(-4). Suppose 2*b = t - 2. Let d be f(b). Which is bigger: -1 or d?
-1
Let t = -24.6 + -5.4. Let m = 31 + t. Which is greater: 0.09 or m?
m
Let j be 4482/10530 - 2/5. Let x = -7549732/195 + 38717. Let k = j - x. Is k greater than or equal to 2?
False
Let g(r) = r**3 - 7*r**2 - 3*r + 3. Let d be g(7). Let z be 4/24 - (-3)/d. Let h be (0 - (-2)/4) + 20/(-56). Which is bigger: h or z?
h
Let t = -98 + 57. Let k = 42 + t. Which is smaller: k or -1/34?
-1/34
Let y = -2 - -30. Let d be ((-77)/y)/(-11) + 1/12. Which is smaller: 2 or d?
d
Suppose 3*s - 9*s = 30. Let y be (-9)/15 + 12/s. Is -1 >= y?
True
Suppose -z + 25 = -0*z. Let w = 74/3 - z. Let r = -189 + 192. Which is smaller: r or w?
w
Let y = -8013/260 + 387/13. Let g = 79/60 + y. Which is smaller: 0 or g?
0
Let g be (-52)/(-6) - 16/24. Suppose 4*j = -5*w + 34, -8*j + 11*j + 3*w = 24. Which is bigger: g or j?
g
Suppose 2*h + 0*h + 17 = s, 10 = -2*h. Let l(r) = r - 5. Let f be l(s). Let v(i) = -i**3 - 5*i**2 + 8. Let u be v(-5). Which is bigger: f or u?
u
Let x be 1 - 1 - (-8)/132*3. Let r = -1289/9 - -143. Which is smaller: x or r?
r
Let w = 8244 - 8261. Let g = 1 + -15. Is w >= g?
False
Let w = -24 + -9. Let l = w - -39. Is -2 greater than or equal to l?
False
Let r = 1.59 + 19.41. Let u = 1.39 - 1.49. Which is greater: u or r?
r
Let n(c) = -8*c + 1. Let p be n(-1). Suppose 5*a - k = p, 4 = 2*a + k - 1. Which is greater: a or 4?
4
Let k = 0.42 + -2.42. Let p = 3.3 + k. Let z be 4/7 - 2/7. Does p = z?
False
Let y = 23.1 - 22. Let w = -10.673 + -0.227. Let d = y - w. Which is bigger: 1 or d?
d
Suppose 1664 = 69*v - 61*v. Is v bigger than 208?
False
Let i(y) = -y**2 - 18. Let u be i(0). Let k(g) = g**2 - 14*g - 33. Let q be k(15). Let d = u - q. Is -3 >= d?
False
Let s = 24.3 + -22.3. Which is greater: -0.1 or s?
s
Suppose -a = -2*b + 5*b - 79, -87 = -3*b - 3*a. Let r = 21 - b. Does r = -36/11?
False
Let x be (7 + (-504)/45)/(-1 - 0). Is 3 at most x?
True
Let f be (-7)/(-5) - (-4)/(-10). Let b be ((-1)/(-6))/(f/4). Let v = 25.08 - 24.18. Which is smaller: b or v?
b
Let f(r) = -7*r - 4. Let z be f(0). Are 20 and z non-equal?
True
Let w be (-3 + 4)/(-1 - (-8)/10). Let o = 0.6 - 0. Let s = o - 0.5. Which is greater: s or w?
s
Let u = -54 + 60. Suppose 2*c - 3*t + u = 0, -5*c = 5*t - 41 + 6. Is -1 at most as big as c?
True
Let c be (-460)/30 + 2/6. Let l be (-30)/(-9)*(-36)/c. Let y be (1/(-5))/(l/10). Which is greater: 1 or y?
1
Suppose -l + 2*l = 1. Let w = -132/5 - -26. Which is greater: w or l?
l
Let z be (10/(-105)*7)/(6/(-136)). Are 16 and z unequal?
True
Let s = -28 + 34. Suppose -5*r - r = -s. Let z = 0 - 1. Which is smaller: r or z?
z
Let n(k) = k**2 - 10*k - 52. Let o be n(12). Which is smaller: -22 or o?
o
Suppose 11*o = -475 - 185. Let l be 6*(-4)/6 + o/(-26). Is l greater than or equal to -1?
False
Let v = 0.4 - 0.48. Let a = 0.04 + v. Let i = a - -0.09. Do -2 and i have the same value?
False
Let g(h) = h**2 + h - 1. Let w be g(2). Suppose -o + j + 2*j + 2 = 0, -4*o + 15 = -5*j. Suppose w*l = 5*x + o, 4*l = -x - x + 16. Which is smaller: 3 or x?
x
Let h = 2250 + -3441. Is h at least as big as -1190?
False
Let j = 90 + -82. Suppose 0 = -j*d - 3*d. Which is smaller: -7/16 or d?
-7/16
Let s be (0 - 0)/(-2 + 1). Suppose -4*q - 36 = -12. Let x be (q/27)/((-1)/2). Which is bigger: s or x?
x
Let n(l) = 12*l**2 + l - 4. Let j be n(2). Let z = j + -44. Is 3 <= z?
False
Let b be 12/(-4)*(-5)/(-3)*-17. Suppose 119 = 5*g + 3*r, -2*g + 6*g - r = b. Is g bigger than 23?
False
Let v = 822871/14500 + 1/3625. Is v <= 58?
True
Suppose -5 - 9 = -a - 4*l, -3*l - 9 = 4*a. Let s be (2 - (-40)/(-12))*a. Let p be (s/4 - 2)/1. Is p less than 1/4?
True
Let p be ((-348)/(-112))/((-3)/(-4)). Are 3 and p non-equal?
True
Suppose 93 - 5 = 11*s. Suppose 0*b = -2*b - s, -i + 22 = -2*b. Which is smaller: i or 15?
i
Let h be 1/(-17)*(0 - 2). Suppose 3*n - 4*x + 14 = 3, 0 = 2*x + 8. Let g be n/6*(-2)/(-3). Which is smaller: h or g?
g
Let d = 73624 + -517680/7. Let l = 331 + d. Is l at most as big as 1?
True
Let o be (-6086143)/(-81186) + 1/(-2). Let n = -12/9665 - o. Let q = n - -354/5. Is q > -4?
True
Let i(r) = r + 14. Let a be i(-9). Let x be 48/(-14) - (a - (-266)/(-49)). Which is bigger: x or -0.4?
-0.4
Let h = 0.62 + 2.98. Let u = h + -3.9. Is u <= 1?
True
Let k be 8/(-3)*(-39)/52. Let l be k/(-3) + (-69)/(-90). Do 0 and l have different values?
True
Suppose -109*t - 4786 = 5351. Is t greater than or equal to -93?
True
Let h = -1004/3 + 331. Suppose c - 1 = f - 4*f, -2*c + 18 = -2*f. Suppose 0 = -z + q - 5, 2*z + 4*q + c = 3*q. Which is smaller: h or z?
z
Let p = 6 - 2. Suppose p*c = -s + 15 - 4, -3*s - 3 = 0. Let w be (0 - 98/34) + c. Which is smaller: w or -1?
-1
Suppose 8*c = -7*c - 315. Is -2 less than c?
False
Let o be (-75)/15 + (-2470)/(-10). Which is smaller: o or 241?
241
Let g = 572 - 488. Is g smaller than 88?
True
Suppose 3*m - 1 + 100 = 2*z, 4*z - 5*m - 193 = 0. Suppose -5*h + 181 + 24 = 0. Is h at most z?
True
Let k = 530/7 - 6187/28. Let i = -145 - k. Is -0.1 at most as big as i?
True
Let i(n) be the third derivative of -n**4/8 - n**3/2 - 3*n**2. Let z be (-2)/(65/30 - 2/12). Let c be i(z). Is 5/6 greater than c?
True
Let x be 3/1 + -4 + 0. Let w(t) = -10*t**3 - t**2. Let q be w(x). Let n be 3/5 + q/(-15). Which is smaller: -1/2 or n?
-1/2
Let l = 4 - 20. Let p be -2*l/(-5)*4/16. Which is bigger: -2 or p?
p
Let v = 6163.046 - 6158. Let d = v + -0.046. Let k = -9/2 + 19/4. Is d at least as big as k?
True
Let t = 1589 + -33379/21. Let g = t + 16/21. Let q be (-45)/6*(-2)/6. Is g not equal to q?
True
Suppose 6*r = 7*r - 8. Suppose -4*f = -52 - r. Let m(k) = k**2 - 148*k - 910. Let n be m(-6). Are f and n equal?
False
Suppose 5*o = -0*o - 5*q + 35, -o + 1 = -5*q. Suppose -2*j = -o*j - 0*j. Which is greater: j or -2/7?
j
Let k = -19 + 15. Let s = -90 + 27. Let t be 32/s - k/14. Which is smaller: t or -1?
-1
Let u be (-43235432072)/(-21080) + (-2)/5. Let f = u + -2051017. Let h = 18/31 + f. Which is bigger: 0 or h?
0
Let t(r) = -r**3 + 4*r**2 + 11*r - 29. Let n be t(5). Do n and 33/34 have different values?
True
Let i(y) be the second derivative of -y**3/6 - 23*y**2/2 + 4*y. Let o be i(-15). Let n be (-4)/o*0/3. Is n >= 0.14?
False
Let d = 7 - 6.92. Let i = d + 5.92. Let z = 0.8 + -1. Is i >= z?
True
Suppose -18*m = -13*m - 10. Let o be (m/(-8))/((-54)/72). Which is smaller: 0 or o?
0
Let d = 5320/9 - 591. Let n = -9 - -6. Let r = n + 3. Are r and d unequal?
True
Let b(h) = -h**2 + 13*h - 39. Let w be b(9). Let m be 171/w*(-2)/(-6). Is m equal to -19?
True
Suppose 0 = 5*b + 2*y + 25, -b - b = -3*y - 9. Let t be 2/(-3)*(-1)/b. Let q be 2 + 3 + -2 + -2. Does q = t?
False
Suppose -9*u = -14*u - 2*x - 633, 5*x - 105 = u. Is u equal to -125?
True
Let h = -187 + 188. Which is smaller: -3.42 or h?
-3.42
Let d = 48 + -52.8. Let j = -0.2 + d. Is -3 less than or equal to 