0.055. Is -0.6 at least as big as y?
False
Let r be 10736/(-74956) - (7 + (-200)/28). Which is greater: -1 or r?
r
Let d(b) = -b**2 - 70*b - 513. Let u be d(-8). Which is smaller: -12/7 or u?
u
Let v = -38 - -42. Suppose 0 = 5*d + v*d + 9. Which is greater: d or 1/8?
1/8
Let i = -4829/13 - -372. Do i and 1/2 have the same value?
False
Let r be (-52)/(-14)*(6 + -13). Which is bigger: -1 or r?
-1
Let g = 33.8 - 8.8. Let b = g + -23.2. Do -2 and b have different values?
True
Let f = 18.7 + -14.7. Is 0 greater than f?
False
Let z = -11 + 38. Let i = -32 + z. Is -5 < i?
False
Let s = -19 - -19. Suppose 3*v - 3 = -15. Are s and v non-equal?
True
Suppose 4*c - g - 168 = 0, 269 = 5*c + 5*g + 59. Which is smaller: c or 38?
38
Suppose -4*l - 5 = -13. Suppose b + l*b + 30 = 3*s, 4*s = 3*b + 43. Which is smaller: s or 10?
10
Suppose -23 = -5*m - r - 65, -12 = m - r. Let g(o) = o**3 + 6*o**2 + o + 7. Let c be g(-5). Suppose -k = 0, -3*k + 3 = -3*i - c. Is m bigger than i?
True
Suppose 5*g = 5*b + 19 + 6, -3*g + 15 = -4*b. Let t be 6*1*(-1 - -2). Let r = t - g. Which is greater: -1/12 or r?
r
Suppose 3*w + 12 = -6. Suppose -32*l + 10*l = 110. Is l greater than or equal to w?
True
Let d = -6.99 + 0.09. Let n = d + 7.1. Which is greater: -29 or n?
n
Suppose 4*u + 3 = 5*u. Let a(g) = g + 7. Let w be a(u). Does w = 10?
True
Let t(n) be the first derivative of -n**2 - 7*n + 1. Let b(u) = -u - 3. Let y(m) = -5*b(m) + 2*t(m). Let g be y(-5). Which is greater: g or -2?
-2
Suppose -4*b - 44 = -3*p, -4*p + 2 = -5*b - 57. Let l = p - 13. Which is smaller: -1/3 or l?
-1/3
Let y(i) = i**2 - 31. Let p(w) = -w**2 - 2*w - 1. Let c be p(-1). Let f be y(c). Which is bigger: 2 or f?
2
Let b be -2 + 0 + 0 + -4. Let m be (b/(-3) + 0)*-1. Which is bigger: 0.04 or m?
0.04
Let a(r) be the third derivative of r**2 + 0 - 1/6*r**3 + 0*r - 1/24*r**4. Let j be a(-1). Are j and -1 nonequal?
True
Let p = -136 + 94. Let c = p + 43. Is c at most as big as 0.3?
False
Let r(d) = -d**2 + 4*d - 1. Let q be r(8). Let l = q - -49. Is 15 > l?
False
Let o be (24/(-10))/((-4)/10). Let f be o/24 - 254/(-8). Let m be (-4)/(-20)*(-20)/f. Which is bigger: m or -1?
m
Suppose 0*w = 8*w - 80. Let a be -2*w/(-28) + (-16)/(-56). Which is smaller: a or -1/96?
-1/96
Let d be ((-1)/1 - 13)/((-14)/(-35)). Suppose -3*c - 70 = 5*a + 105, 4*a = 4*c - 140. Is d less than a?
False
Let y be ((-4)/(-25))/((-3)/(-5)). Suppose -6*g = 4*b - 4*g - 8, g + 2 = b. Suppose -1 = f, -n + 2*f + b = -6*n. Which is bigger: y or n?
y
Suppose -448 = 11*q - 3*q. Which is greater: -172/3 or q?
q
Suppose -7*k + 41 - 41 = 0. Is k less than 5?
True
Let s = -1/6 - -1/2. Let n be (-18)/(-10) - (2/5)/(-2). Suppose 4*o - c = 4 - 7, -n*o - 5*c + 15 = 0. Which is greater: o or s?
s
Let g be 2 + -2 + (-2)/8. Let c be 1*(3/4)/(-3). Is g > c?
False
Let u be (-6)/(-30) + (-1 - 492/(-165)). Is 2 at most u?
True
Suppose -9 = -4*m - b, -3*b = -3*m - 4*b + 7. Suppose 0*l = -m*l. Let n be 6/6*(0 + l). Which is greater: -0.2 or n?
n
Let g = -3/1397 + -1669/523875. Which is smaller: g or 1?
g
Let j(f) = -f**3 - 2*f**2 - 2*f + 8. Let h(i) = i**3 + i**2 + 2*i - 7. Let l(g) = -2*h(g) - 3*j(g). Let v be l(-4). Does v = -18?
True
Suppose 0 = -3*g - g + 8. Let k be -1*(g + (-1 - 1)). Let b = 139/762 - 2/127. Which is greater: k or b?
b
Let n = 9 + -33. Let x be n/5*(-55)/22. Suppose b + x = 5*b. Is b greater than 3?
False
Let u = 110.6 - 111. Which is bigger: 0.6 or u?
0.6
Let w = -299 + 298.8. Which is greater: w or -52?
w
Let o(p) = -225*p**2 - 7*p + 2 + 231*p**2 + 1 + 2*p**3 - p**3. Let l = 7 + -14. Let s be o(l). Which is greater: s or 2?
s
Let x = 3.68 - 2.68. Let t = -0.02 + -0.04. Which is smaller: t or x?
t
Let t = -42 - -40. Let y be (0/(-24))/(2/t). Is y less than or equal to -10?
False
Let y = -896 + 631. Let r = y - -18286/69. Is 1 greater than or equal to r?
True
Let f = -38 - -38.0216. Is f equal to 2/5?
False
Suppose -9*m + 156 = -7*m. Is m less than 76?
False
Suppose f - 5*j = 189, f - 183 = -3*j + 5*j. Are f and 180 equal?
False
Suppose 11*u - 486 - 922 = 0. Which is smaller: u or 126?
126
Let a = -13 - -3. Let g be -5 - (-132)/(-15) - (-2)/a. Is -14 != g?
False
Let p = 28 - 26. Suppose 0 = 2*i + p - 6. Suppose -6 = i*c - 24. Which is smaller: c or 8?
8
Let v be (0 - (-4)/26) + (-280)/637. Is v at most as big as -59?
False
Let a = 4.8 + -4.4. Let j = -9 + 9. Is j bigger than a?
False
Let d = -42 + -68. Let q = d + 108. Let i be (-3)/(-12) - (-1)/2. Which is smaller: q or i?
q
Let u(y) = 2*y - 3. Let f(b) = -b + 1. Let g(v) = -9*f(v) - 4*u(v). Let r be g(-6). Let k be (-39)/5 + 32 + -26. Is k >= r?
True
Let c = -7/380 + 2609/162260. Is 1 at most c?
False
Let k = -11.851 - -11.8. Let o = -0.041 - k. Which is smaller: o or 2?
o
Suppose 5*u + 30 = 3*p + 2, -4*u = 8. Let g = -4 + p. Suppose -6 = 4*w - g. Is w < -2?
False
Let g(u) = 5*u - 15 + 27 + 9. Let x be g(-4). Let y be 6/28*8/(-6). Is x at least y?
True
Let q = 418 + -396. Is q > -0.11?
True
Let p = -8847 - -8846.9. Let j = 106 - 68. Is j at most as big as p?
False
Let y = 1555/7 + -1605/7. Let n be -5 + (-3)/(-6)*-2. Which is smaller: n or y?
y
Let u = 418.24 + -418. Is -3 greater than u?
False
Let q(g) = -g**3 - 15*g**2 - g - 10. Let a be q(-15). Let k be 4 - (1 + (-3197)/a). Let x = k + -640. Are 1 and x equal?
False
Let d = -195 - -785/4. Let k be 2/(-4) + 10/4. Are k and d equal?
False
Let u = 2791/99 + -248/9. Suppose 0 = -13*j + 18 + 8. Is j equal to u?
False
Let v = 6 - 6.1. Suppose -2*l = -4*l + 24. Let b = l + -11. Which is bigger: v or b?
b
Let h(b) = -b + 3. Let j be h(4). Let t = j + 4. Suppose 4*q = -5*p + 24, -2*p - 404*q = -407*q - 5. Is p equal to t?
False
Suppose 8 - 22 = -2*f. Let n be 38/f + (-6)/14. Is 3 at least as big as n?
False
Let b be ((-2)/(-12))/(11/22). Let s = 31 - 18. Let q = s - 24. Is b > q?
True
Let a(d) = d**3 + 6*d**2 + 2*d + 7. Let n be a(-6). Let t = -235 - -124. Let g = -114 - t. Is g <= n?
False
Suppose 0 = -4*f - 4*h - 579 - 49, -472 = 3*f + 4*h. Which is bigger: -154 or f?
-154
Let b = 782 + -753. Which is greater: 19 or b?
b
Let v = -20 + 5. Let m(r) be the second derivative of -r**4/4 + 13*r**2/2 - 10*r. Let z be m(-3). Which is bigger: v or z?
z
Let s(t) = 7*t**3 - 8*t**2 - 13*t - 7. Let j be s(-3). Is -227 smaller than j?
False
Suppose 2*f + 4 + 12 = 0. Let x(j) = -j**3 + 10*j**2 + 14*j - 8. Let d be x(11). Let v = 18 - d. Which is smaller: f or v?
f
Suppose 4*y + y - 5*o + 50 = 0, o + 35 = -4*y. Suppose 2*m = -38*x + 40*x - 14, 23 = -2*m - x. Which is smaller: y or m?
m
Let h = 9123 - 1760735/193. Which is smaller: h or -1?
-1
Suppose 4*x = 9*x - 3*j - 1496, -5*j - 1189 = -4*x. Which is smaller: 303 or x?
x
Suppose 0 = -4*m + 2*t - 4*t + 8, 5*t - 20 = 3*m. Is m not equal to -4/733?
True
Suppose 192*c = 193*c - 24. Let p = -3 - -7. Suppose 0 = d - 2*g - c + 5, -5*d + 39 = p*g. Is d at most -2?
False
Let j = 0 + 0. Let n = -1991861/26 - -180251485/2314. Let w = 1286 - n. Which is bigger: j or w?
j
Let v be 5 + -4 + -2 + 53. Suppose 4*a - v = 2*a + 4*m, -3*a + 2*m = -62. Is a < 0?
False
Let x = -538 - -551. Is x >= 14?
False
Let j = 295 + -82. Is 214 at least as big as j?
True
Let v = -24/2027 + -336026/38513. Which is smaller: v or -8?
v
Let m = 10889 - 10888.95151. Let d = m - 26.07849. Let o = -26 - d. Which is greater: 2 or o?
2
Let k(d) = -12*d**2 + 2*d - 2. Let i be k(-3). Let l be i/4 - (0 + -4). Let p be (-1)/(-2) - l/50. Is -2/17 <= p?
True
Let g(p) = -p. Let f(b) = 2*b + 5. Let n(y) = f(y) + 3*g(y). Let s be n(5). Which is smaller: 2/91 or s?
s
Let o = 3 + -2.97. Let l be (-2)/8*(-2)/(-2). Which is smaller: o or l?
l
Let q be (0/(-2))/(1 - (-7 - -9)). Let a = 1.2 + 0.4. Which is bigger: q or a?
a
Let l(v) = -v - 2. Let g be l(-3). Let k be g/(1 + 1)*-3. Suppose 38*i = -231*i + 59*i - 210. Which is bigger: i or k?
i
Let a be (2 + -3)*10/55. Let h = 17 + -25. Let w(f) = f + 8. Let r be w(h). Is r < a?
False
Let b be 2/12*14/7105. Is 0 at most as big as b?
True
Let v be 4 + (-54)/15 - (-18)/5. Suppose 4*b = -5*w + 77, -3*w + 40 = w - v*b. Which is smaller: 14 or w?
w
Suppose 0 = -3*q + 4*o + 33 - 10, -5*o = -3*q + 28. Let d be 8/20*3/6. Which is bigger: q or d?
q
Suppose 0*v = -4*v + 2*y, -4*y = -5*v. Let i be (-45)/280 - 81/(-216). Whi