= -57/4 + k. Which is bigger: -1 or r?
r
Let a be (0 - (4 + -3))*(-36)/(-4). Which is smaller: a or -4?
a
Suppose -3*l - 2*l = 3*w - 15, -w + 4*l = 12. Let y be 0/(2 - (1 - w)). Suppose 2*q - 8 = -2*q. Are q and y unequal?
True
Let d = 5 + -4.99. Let m = 0.59 + d. Let n = -0.9 + m. Which is smaller: -1/3 or n?
-1/3
Suppose 3*x = -5*a - 4 - 11, 9 = 3*a. Let l(f) = f**2 + 10*f - 4. Let r be l(x). Is -4 less than or equal to r?
True
Let n = 2.4 + -2. Let q = 0.3 - n. Let s = 6 - 7. Are q and s nonequal?
True
Let s be (2 + -2)/(2/2). Let f = -1/334 + -625/14362. Let q = f + 51/172. Is q smaller than s?
False
Suppose 4*a + 13 = 3*n, 5*n + 6 = 2*a + n. Is a greater than -7?
False
Let t = 3.2 + -4. Let n = -6.2 + t. Let b = -6.7 - n. Are b and 1 equal?
False
Let z be 1 + -2 - (1 + -24). Suppose z = -2*g - 6*f + f, 5*g - f + 1 = 0. Is g smaller than 1?
True
Let c = 0 + 0.1. Let f be (-2)/3 - (-10)/6. Suppose h - f = -0. Is c <= h?
True
Let u = 463 + -467. Let r(m) = m**3 - 2*m**2 - m + 2. Let p be r(2). Suppose -3*y = -p + 15. Which is bigger: u or y?
u
Let s = 0.14 - 0.2. Let m = s + -0.94. Let c be (9/12)/((-21)/(-8)). Is c bigger than m?
True
Let s be -3 + 1 + 0/2. Let b = s - -7. Are b and 4 non-equal?
True
Let w(h) = -h - 7. Let b be w(0). Let a = b + 7. Which is bigger: 1/4 or a?
1/4
Let q = -1/22 + -7/22. Is q bigger than 1?
False
Suppose 2*a + 2 = a. Suppose 3*f - 6 = -3*y, -3*f + 5*y + 25 = -f. Suppose 0 = 3*j - f*v + 23, -2*j + v - 2 - 4 = 0. Which is smaller: j or a?
a
Let w = -7.01 + 7. Let p = -0.01 - w. Let v be 1/2*(-2)/4. Is v at least p?
False
Suppose -6*u - 148 + 28 = 0. Which is smaller: u or -19?
u
Let n be (-12)/(-20)*(-4)/(-18). Is -1 greater than n?
False
Suppose -5*d - n - 7 = -d, n = -5*d - 9. Let r = -53 - -4. Let b be 84/r*4/6. Do b and d have different values?
True
Let k be (-4*1)/(-5 + -5). Which is bigger: k or 0.2?
k
Let w(x) = 2*x + 12. Let n be w(-5). Let k = -1 - -2. Does k = n?
False
Let r = 139/2 - 70. Is r <= -13?
False
Let w be (-22)/4 + (-1)/(-2). Let t = -10 - w. Let h be 2/t + (-13)/5. Is h < -3?
False
Let q = 25 + -73/3. Is 1 bigger than q?
True
Let r be 1/(4 - 2135/535). Let c = r - 316/3. Suppose 12 = g + 3*g. Is c bigger than g?
False
Suppose 2*v + 7 = 5*z, -3*v + 2*v - 4*z + 16 = 0. Suppose -o - i - 5 = 0, -5*o - v = i + 1. Which is smaller: o or -2/41?
-2/41
Suppose 21*u - 17*u = -176. Does u = -44?
True
Suppose -c - 3 = -1. Let l be 6/2 + 8/c. Let y be 51/(-126) - 1/(-2). Which is greater: y or l?
y
Let q = 600178/251097 + -2/3261. Let s be ((-3)/(-7))/(-1) + 3. Let j = q - s. Which is smaller: -1 or j?
-1
Let l(h) = -h**2 - 5*h - 4. Let m be l(0). Let q be 702/20 - (-2)/5. Let z = q + -38. Which is greater: z or m?
z
Let k = -28 + 54. Suppose 70 = -4*x + k. Which is smaller: -12 or x?
-12
Suppose 0*c + 5*v = -4*c + 48, 0 = -5*c + 3*v + 60. Which is smaller: 2/3 or c?
2/3
Let s = 1 - 1. Let u = -1 - -1. Is s equal to u?
True
Let z = 0.01 - -0.09. Is 2/13 greater than or equal to z?
True
Let r = -132 + 162. Is 30 equal to r?
True
Let x(h) be the third derivative of h**5/60 + h**4/4 - 3*h**3/2 + h**2. Let a be x(-7). Suppose 3*b = -b - 12. Is a greater than b?
True
Let o = -395 + 13824/35. Let s = o + 39/140. Let z(u) = u - 2. Let h be z(2). Is s at least as big as h?
True
Let t(k) = 2*k**2 - k - 1. Let o be t(-1). Suppose -5*l + o*l = -24. Suppose -4*r - 4*q = -8, -5*q + 10 = -6*r + l*r. Which is smaller: 1 or r?
r
Let o(c) = -5*c - 11. Let b be o(-6). Which is smaller: b or 20?
b
Let s(y) be the third derivative of -3*y**2 + 0*y - 2/3*y**3 - 1/15*y**5 + 0 - 5/24*y**4 + 1/120*y**6. Let b be s(5). Is b bigger than 0?
False
Suppose 0 = -4*y + 2*g, 0*g = 5*y + 3*g. Let u be (2/(-10))/(2 + (-30)/25). Which is smaller: y or u?
u
Suppose -163 + 52 = t. Which is smaller: -112 or t?
-112
Let u = 1/245 + -141/245. Suppose -4*h + 13 = -5*p, 3*h + 4*p = 3*p + 5. Suppose 2*d = h*t + 10, 0*d + 4*d - 20 = -3*t. Which is smaller: u or t?
u
Suppose 0 = -7*j + 4*j + 27. Suppose -3*p + 2*p + j = 0. Is p greater than or equal to 8?
True
Let t = 56 + -17. Which is greater: 40 or t?
40
Let v = 0.9 - 1.5. Let r = v - -0.3. Is r greater than or equal to 1?
False
Let b = -30 - -29.8. Is b >= 2?
False
Let f = 5 + -13. Let x be f/24*(0 - 9). Which is bigger: 5/3 or x?
x
Let w = 0.017 - -5.583. Let p = w - -0.4. Let r = p + -3. Which is smaller: r or -1?
-1
Suppose -26 = -i - 4*v, 5*i + 3*v = 3*i + 37. Let j = i - 11. Is j at least 4?
False
Let p(a) = -23*a**3 + 1. Let u be p(-1). Suppose 0 = 6*o - 2*o + u. Let w be o/2*(-2)/18. Does -1 = w?
False
Suppose 0 = 3*n - 14 + 2. Let q = n - 4. Are 3/4 and q non-equal?
True
Let f = 1 - 1.3. Let l = -0.7 - -0.4. Let u = f - l. Which is greater: 2 or u?
2
Let f = -2 - -8. Suppose 5*b + 1 = f, 5*y - 2*b + 17 = 0. Let s be (-4)/(y + (-2)/(-2)). Do s and -1 have the same value?
False
Let s = -19 + 29. Suppose 0 = 4*c - 4*q - 0*q - 32, s = -5*c - 5*q. Let d = 4 + -3. Which is bigger: d or c?
c
Let i be 2/((-36)/741)*2. Let j = 83 + i. Is 0 at least j?
False
Let x(i) = -i**3 - i**2 - 2*i - 1. Let w be x(3). Let j be (-10)/30 + w/(-3). Is 14 < j?
False
Suppose m = -5 + 8. Suppose m = 3*x + 6. Is -1/16 < x?
False
Let y be 1/(-2*2/4). Suppose -v = v - 4. Suppose -4*d = -v*d. Which is smaller: d or y?
y
Let w = -0.8 + -0.2. Let o = w - -1.2. Let x = 20 + -102/5. Is x > o?
False
Let j = 9 + -3. Let y = j - 7. Let s be (2 - 0)*y/8. Which is bigger: s or -1?
s
Let i = 0.66 + 0.34. Is i at least as big as 4.6?
False
Let s(u) = u**2 + 7*u - 24. Let g be s(-10). Is g at most as big as 7?
True
Let d = -0.02 - -3.02. Suppose 3*b + 20 = -2*b. Let x = b - -3. Which is greater: d or x?
d
Suppose 2*w - 7*w - 4*h + 80 = 0, -h = -3*w + 65. Is -2 not equal to w?
True
Let q = 2 + -15/14. Let c = q + -5/14. Is c < 1?
True
Let g = -5 - -6. Let v = 1.1 - g. Do 1 and v have the same value?
False
Let f = -8 + 12. Let u be (-8)/32 + 1/f. Suppose 3*d + 6 + 0 = u. Is -1 smaller than d?
False
Let r be (-1)/(2/18 - 0). Let z(o) = o**2 - o - 7. Let k be z(0). Let m = r - k. Which is smaller: m or -2/3?
m
Let r = -8 + 9. Let m = r + -1. Which is greater: 0.06 or m?
0.06
Let j = 0 + 0. Suppose 0 = 3*q - j*q. Are q and -1 non-equal?
True
Let n = -141/44 + 5/11. Is -4 greater than or equal to n?
False
Let j = 2/4845 - -78057/3230. Let m = j + -24. Is m < 1?
True
Let k be (4/(-6))/((-35)/(-15)). Do -1 and k have the same value?
False
Let z(a) = a**2 + 4*a - 4. Let h be z(-4). Let n be (-741)/3289 + h/(-22). Which is smaller: 1 or n?
n
Suppose 4*j + 8 = 6*j. Let a be (-1 + 7)*1/3. Which is smaller: j or a?
a
Let g = 478/363 + 2/121. Let k = -0.5 + 0.4. Is k at least as big as g?
False
Let h = -2675/4 + 655. Let o = 14 + h. Suppose -n - 2*z = 2, n + 5*z + 5 = -n. Which is bigger: o or n?
o
Let j(o) = o**3 + 5*o**2 - 8*o - 10. Let w be j(-6). Which is smaller: 9 or w?
w
Let g = -3135/8 - -391. Which is smaller: g or 0?
g
Let j = -6 + 8. Let d be 1/j*(6 + 2). Suppose -d*u = -0*u + 12. Is u at most as big as -2?
True
Let p be (-50)/108 + (-3)/(-6). Which is bigger: 0 or p?
p
Let n = -1.1 - -0.1. Let l = -10 + 9.6. Let p = 0.4 + l. Is p not equal to n?
True
Let j be (1*(-1)/1)/4. Let q(p) be the second derivative of -p**4/12 - 4*p**3/3 - 3*p**2 + 5*p. Let n be q(-7). Is j > n?
False
Let z be 7 - (-376)/(-56) - (-82)/(-140). Is z > 1?
False
Let b = 0.1 + 0. Let r = -0.5 + -0.1. Let v = 1.4 - r. Is v bigger than b?
True
Let b = 34 - 28. Which is smaller: b or 5?
5
Let w = 178 + -1600/9. Which is smaller: 0.09 or w?
0.09
Let p = 2.12 + -0.12. Does p = 0.07?
False
Let o = 30 + -640/21. Is o greater than 1?
False
Let a be -4 + (36/10 - 9/(-45)). Which is smaller: 2/7 or a?
a
Suppose 2*p - 16 - 2 = 0. Let o be 11/3 - 6/p. Suppose 3 + 9 = 4*r. Is r equal to o?
True
Let c = -49 + 88. Which is smaller: c or -1?
-1
Suppose 0 = -5*y + 984 + 486. Let c = -163 + y. Let o = c + -657/5. Which is bigger: o or -0.1?
-0.1
Let b = 1.5 - 1.35. Let l = b - -1.85. Which is bigger: -2 or l?
l
Suppose 0 = 7*c - 3*c. Suppose -21 = -4*w + 3*r, w - r - 6 = -c*r. Is 3 > w?
False
Let l(t) = -t**2 + 9*t + 2. Let n be l(8). Let k(q) = 2*q - 19. Let m be k(n). Which is bigger: m or 6/17?
m
Let c = -9 - -15. Let l = -7 + c. Are -2 and l unequal?
True
Let t(o) = 15