(-4)/(-80) - (-2)/(-10). Suppose -5*b + p*b - 5*k + 31 = o, -5*b = -2*k. Is b less than or equal to 1/2?
False
Let v be 3 - (-2325)/(-35) - -4. Let x = v + 59. Which is smaller: 0 or x?
x
Let h = 89.14 + -90. Let q = h - -0.82. Which is greater: -13 or q?
q
Let j = -20 + 14. Let w(t) be the third derivative of t**4/12 + 4*t**3/3 + 26*t**2. Let v be w(j). Which is smaller: v or -1?
v
Let u = 13.3 - -1.7. Let b = u - 17. Which is bigger: 0.3 or b?
0.3
Let g be (18/(-14) + 3)*-7. Let p = g - -7. Let u = -4 - p. Is 2/11 >= u?
False
Let m = -52 + 23. Let l = 29 + m. Which is greater: l or 2?
2
Let f = -16.88 + 17. Let r = f + -17.12. Let m = r - -16.9. Are 14 and m nonequal?
True
Let m = 0.69 + 0.31. Do m and -17/21 have the same value?
False
Let a be (-8)/92*(-1)/2. Let r(w) = 2*w**3 - 3*w + 2. Suppose 0 = -6*h - 0 + 6. Let n be r(h). Which is greater: n or a?
n
Let y be (-2 - (-2 - 2))*(-2)/4. Let d be 18/(-3) + 1 - (1 - y). Suppose 0 = -2*b + 10 - 26. Which is smaller: b or d?
b
Let s be 72/20*20/(-6). Let l(c) = c**3 + 13*c**2 + 11*c - 13. Let h be l(s). Let y = -41/140 + 3/20. Which is bigger: h or y?
y
Let k(z) = -2*z - 19. Let w be k(-13). Let m be -21 - (6/21 + (-2)/w). Which is bigger: 0.2 or m?
0.2
Suppose -3*g + 2*i = 7*i - 39, -3*g + 4*i + 12 = 0. Let x = 10 - g. Which is bigger: 5 or x?
5
Suppose -5*h + 18 = -5*r + 68, -5*r - 40 = h. Is -5 greater than h?
True
Let b be -5 - (-7)/(56/(-200)). Which is greater: -25 or b?
-25
Let x = 10042/27 + -372. Let w be ((-3190)/87 - -34)/(1/(6/(-16))). Is x > w?
False
Let g = -179 - -148.2. Let u = g + 31. Which is smaller: -8 or u?
-8
Suppose -3*n = 5*m - 113, 41 = m - 3*n - n. Suppose -30*s = -m*s. Suppose -y + 2*c + 6 = s, -3*y - c = 4*c + 26. Is -6/11 greater than y?
True
Suppose -1127 + 6561 = -13*u. Which is greater: -419 or u?
u
Let c = 177 + -108. Let s be (-4)/6 - (c/(-36) + 2). Suppose 2*u + 0*u + 2 = 0. Which is bigger: s or u?
s
Let r be ((-444)/350)/((-18)/(-20)). Let q = 25/21 - r. Suppose -5*w + 0*w = -10. Are q and w equal?
False
Let s be (-9)/21 + (-110)/(-154). Is 19 at least s?
True
Let r be (-87)/145 - (-6)/(-15). Is -2/275 >= r?
True
Let o = -50 + 135. Suppose r + o = -5*z + 4*r, 5*z = 5*r - 95. Is -14 >= z?
True
Suppose 0 = -6*t + 2*t - 64. Let r = 51 - 90. Let w = r + 23. Is w equal to t?
True
Suppose a = 4*g - 78, 0 = -3*g + 4*a + 63 - 11. Let o = g + -25. Let x = -20 - -14. Is x at least o?
False
Let b be 6/(-30) - 56/(-5). Let z = b - 11. Let a = -6.3 - -6. Which is smaller: a or z?
a
Suppose 0 = -5*y - 2*z + z + 99, -3*z = -2*y + 26. Suppose -y*l = -24*l + 120. Which is smaller: 23 or l?
23
Suppose 7*s + 1183 = -595. Which is smaller: s or -257?
-257
Let y be (-56)/(-30) + (-60)/50. Suppose -4*m - 5*s - 11 = 0, -4*s + 2*s = 6. Let g be (((-108)/22)/3)/m. Is g bigger than y?
False
Suppose -56 = -b - 55. Let i be (-1805)/(-20) + b/(-4). Which is smaller: i or 89?
89
Let c be (-12)/9*54/6660. Which is bigger: 1 or c?
1
Let y(k) = -k**3 - 30*k**2 + 12*k + 167. Let r be y(-30). Is -193 < r?
False
Suppose -10*c = -11*c + 16. Let q = 36 - 18. Let y = q - c. Which is bigger: 1 or y?
y
Suppose 4*l - 20 = -q, -5*q - 5*l + 52 = -l. Suppose q*a - 6 = 5*a. Let i = a - 5/2. Which is smaller: -1 or i?
-1
Let h = 47 + 57. Suppose 5*j - h = 126. Is j at least 0.2?
True
Let a = -8 - -6. Let o be 0/5 - ((-6)/39)/a. Which is smaller: 0 or o?
o
Let u be ((-13)/(-26))/((-1)/106). Is -52 at most u?
False
Suppose 5*y - 84 - 31 = 0. Let b = y + -18. Suppose b*f + 32 = -2*u, -f = -2*u - u + 3. Is f less than -6?
False
Let d = 839 + -1042. Which is smaller: d or -201?
d
Let f = -291 - -2012/7. Which is smaller: -4 or f?
-4
Let m be (-2)/10 + (-138)/10. Let y be 8/m + 4/(1092/177). Suppose -i = -0*i - 2*b - 1, 4*i = 5*b + 4. Which is smaller: i or y?
y
Let q be ((-3)/15)/(1/2). Let c = 0.29 + -0.42. Let j = c + 0.13. Which is smaller: j or q?
q
Let u = 303 - 213. Which is smaller: u or -0.1?
-0.1
Let g = 45 - 40. Let s = -4 + 3. Let o be (-4)/(s*6/9). Which is bigger: o or g?
o
Suppose -5*r = -20 - 20. Let u = r + 1. Let y be 3/u + (-6)/(-9). Are y and 0 non-equal?
True
Let o = -1029/13 + 79. Let m = -34 - -17. Let p = 17.2 + m. Is p less than or equal to o?
False
Let n(c) = 14*c + 9. Let v be n(-1). Let t be ((-1 - -3)/(-16))/(v/(-10)). Let a(h) = 9*h**3 - h. Let z be a(1). Is z equal to t?
False
Let u = -29 - -10. Let y = u - -16. Does -4 = y?
False
Suppose 0*i = 3*i - 90. Suppose -2*z - i = -w, -4*w - w = -2*z - 46. Which is greater: z or -23/2?
-23/2
Let r(l) be the third derivative of 7*l**4/24 - l**3/2 + 4*l**2. Let f be r(-3). Let v be (6/(-20))/(f/(-10)). Which is greater: -1 or v?
v
Suppose -4*l = 0, -w + 2*l + 5 = -6. Suppose w*r - 15*r - 36 = 0. Which is smaller: 0 or r?
r
Suppose 0 = -m - 14 + 3. Is 1 bigger than m?
True
Suppose -11*v + 7*v - k = -6304, 0 = -3*v - 5*k + 4745. Do v and 1575 have different values?
False
Let r = -449 - -246. Which is greater: r or -1/4?
-1/4
Suppose 5*v - 6*u + 90 = -u, 34 = -2*v + u. Let t be 2 + -2 + -4*(-13 - -1). Suppose 3*y + 0*y + t = 0. Are y and v nonequal?
False
Let r be (-3)/12 + (-15)/(-12). Let i = r - 4. Which is bigger: 1 or i?
1
Let x be 1 + 12 + 0 + 5. Which is smaller: x or 13?
13
Suppose -5*w = -2*q + 31, -5*w + 15 + 2 = 4*q. Suppose g + 4*v = q, -2*v + 8 = -4*g + 2*v. Suppose 3*b = -g*b + 3. Is b < 0?
False
Let p = -0.07 + -0.04. Let y = p - -1.11. Let c = 0 + y. Is c < 4/7?
False
Suppose 0 = -6*b + 4*b + 396. Let j be 75/(-11) - 36/b. Are -5 and j nonequal?
True
Let k = -8410 - -33435/4. Let p(i) = -12*i + 135. Let x be p(7). Let c = k + x. Is 1 greater than c?
True
Suppose 3*a - 12 = 0, 4*v - 4*a - 234 + 3254 = 0. Which is greater: v or -752?
v
Let n be 2*671/6 - 15/9. Are n and 223 unequal?
True
Let n = -2.7 - -2.4. Let x = -2.3 - -1.7. Are x and n nonequal?
True
Suppose 15 = 3*m, -2*m - 13 = -2*i - m. Let z be 1 - (i/(-3) - -12). Let y be (-2)/z - (-195)/52. Which is bigger: 2 or y?
y
Let u = -10817381/28500 - -599/1500. Let j = u - -379. Which is greater: j or -1?
j
Let d = 15 - 15. Suppose d = -m + 7 - 5. Suppose 0 = -m*f + 36 - 8. Which is bigger: 13 or f?
f
Suppose 2*n = -3 + 11. Suppose 4*j - n = 2*c, 0*j = 2*j - 2*c. Suppose -3 = -3*z + 9. Which is smaller: z or j?
j
Suppose -3*z + 3 = -3, 2*z = s + 1. Suppose 2*j + s = -9. Suppose -2*a + 4*a = -12. Is a at most as big as j?
True
Let m = -2809/5 - -269329/480. Let p = m + 1/32. Which is greater: p or -1?
p
Let k = 171 + -173. Which is smaller: k or 1.62?
k
Let p = -40.054 + 0.054. Let l = 36 + p. Do l and -0.01 have different values?
True
Let j(o) = -o**3 + 32*o**2 - o + 74. Let u be j(32). Is u at most 48?
True
Let u(f) = -f + 1. Let x be u(0). Let w be -1*(-20915)/(-1290) - -2. Let p = -85/6 - w. Are p and x equal?
False
Let s(w) = w**3 - 6*w**2 - 6. Let f be s(3). Is f > -32?
False
Let n be ((-136)/10)/(8/20). Is n greater than -36?
True
Let n = 264417/380 - 2783/4. Which is smaller: n or 0?
0
Let y = 5/24 + 1/8. Let m = y - 0. Let q be ((-8)/6 - 259/(-111))*-1. Which is bigger: q or m?
m
Let b = 2 + 1. Let p = -2 + b. Let c be 17 - (p - 9/(-3)). Which is bigger: 0.2 or c?
c
Suppose 3*v - 8 = c + 7, 15 = 3*c + 3*v. Suppose c = -0*s + 2*s. Is s smaller than 0.03?
True
Let n = -2319 + 85809/37. Which is bigger: n or 1?
1
Let z(s) = -2*s + 19. Let c be z(-4). Suppose 5*m + 5*y - 165 = 0, -m + 2*y + 3*y + c = 0. Is 33 smaller than m?
False
Suppose -8*h + 5*h = 6. Let p = -5 - h. Do 0 and p have different values?
True
Let w = 11.012 - 0.012. Let m = w - 11.21. Which is smaller: 2/7 or m?
m
Suppose 4*p + u = 103, -2*p + 3*u = -41 - 28. Let r = p - 28. Let j = 2 - 1.6. Which is bigger: j or r?
j
Let l be 35/3 + 17/51. Let c be 2/(-6)*60/(-2). Is l > c?
True
Let o = -0.39 + 39.39. Which is smaller: 2 or o?
2
Let f be (3/(-4))/(2/(-40)). Let p be 2 - f/4 - -2. Let t(h) = -6*h - 72. Let d be t(-12). Is p at least d?
True
Let j = 42 - 26. Let x be 6/(-20) + (-8)/j. Is 0 not equal to x?
True
Let z = -34.4 + 22.4. Is -6 smaller than z?
False
Let u = 3 - 7. Let q be (-205)/65 - (-8)/52. Which is smaller: q or u?
u
Let n(w) = -w**2 + 3*w + 20. Let x be n(-7). Let l be 4/12*(x/6 - 1). Which is smaller: -2 or l?
l
Let z be (-2 - 0) + (-50)/(-15). Let m(p) = -3 + 3 + 9 + 1 - p. Let s be m