> d?
True
Let w(c) = 3 + 7*c - 3 - 6*c. Let z be w(7). Let v be 18/(-7) - 3/z. Do -5 and v have different values?
True
Suppose -3*b - 13 = -37. Let i be (3/b)/(-3)*(-700)/15. Which is greater: 5 or i?
i
Let x(r) be the second derivative of -r**5/20 - r**4/2 - 5*r**3/6 + 2*r**2 + 4*r. Let h be x(-5). Which is greater: h or 0?
h
Let b = 213007/113 - 1885. Let u = -10336 + 10336. Which is smaller: b or u?
u
Suppose 17 = -10*i + 7. Is 2/195 at least i?
True
Let m(h) = 31*h**3 - 2*h**2 - h. Let w be m(-1). Let p be 16/w*(-2)/(-6). Which is bigger: 3 or p?
3
Let w = -4.201 + -0.299. Are w and 1 nonequal?
True
Let y = -7/6 + 5/3. Which is smaller: y or -192?
-192
Suppose 0 = 5*p - 10, -5*t + 2*t + 18 = 3*p. Let o(b) = -b + 7. Let l be 26/6 + 12/(-36). Let g be o(l). Which is greater: t or g?
t
Let w be 1 + (6 - 7)*(1 - 0). Let q be 4/(w - (-3 + 4)). Which is greater: -16/3 or q?
q
Suppose 5*c + 10*c + 15 = 0. Are c and -3/227 non-equal?
True
Let r(l) = -l**3 - 5*l**2 - l - 4. Let a be r(-5). Let x = 1 - a. Let u(f) = -14*f**2 - 72*f - 9. Let n be u(-5). Which is greater: n or x?
n
Let c(m) = 36*m - 432. Let w be c(12). Does w = 6/629?
False
Let m = -61 + 45. Let y = m - -15.8. Which is smaller: y or -44?
-44
Let o = -26 + 42. Suppose o = 4*l - 4*q + q, 2*l + q + 2 = 0. Which is greater: l or 6/5?
6/5
Let s = 9 - 7. Let g be -1 + 6/s - 0. Suppose g = -5*v + 7. Which is greater: v or 2?
2
Let k = 0.16 - 0.2. Let a = -2.339 + -0.001. Let x = a - -0.34. Is x <= k?
True
Suppose 4*g - 32 = 4*v, -g = -5*v - 1 + 5. Let j = -12 + g. Which is bigger: j or 3/4?
3/4
Let k = 7826 + -7814. Let i be (-2)/(-10) + (-167)/(-15). Is k equal to i?
False
Let w be (5 + 19/(-4))/(18/16 + -2). Let o be (-35)/44 - 1/(-4). Which is smaller: o or w?
o
Suppose w = 5*w + 4. Let c = 1.6 - 2. Let j = c - -0.3. Do j and w have different values?
True
Let u = -1 + 1.2. Let y = 42 - 60. Let m = y + 18.2. Do m and u have different values?
False
Let b(m) = 3*m**2 - 79*m - 413. Let g be b(-5). Suppose -5*v = -126 - 154. Which is bigger: g or v?
g
Let f be (-46)/(-4)*2*(-27)/99. Is -6 at most f?
False
Let r = 169 - 187. Which is bigger: -23 or r?
r
Let u = -1970 - -1971. Which is smaller: 2/1301 or u?
2/1301
Let a = 553 - 531.97. Let m = 21 - a. Let s = -8 + 10. Which is bigger: m or s?
s
Let g be (-10)/(-15)*6/(-8). Are g and 43 unequal?
True
Let b = -0.01 - -0.018. Let w = b - 0.008. Are w and -4.1 non-equal?
True
Let w = 182/3 + -59. Suppose -11*h + 3 = 4*f - 12*h, -13 = -4*f - h. Which is smaller: f or w?
w
Let l be (383*-1)/((5/(-10))/(-1)). Let m = l - -6884/9. Is -1 at least m?
True
Let l(g) = -g**3 + 5*g**2 + 6*g + 6. Let v be l(5). Let s be (v/(-35))/2 - 48/(-60). Which is smaller: -4 or s?
-4
Let f = -0.0979 + -0.0101. Is -0.3 equal to f?
False
Let m be 32/24 + (-64)/3. Let g = -37 - m. Let w = g + 16. Do w and 1/4 have the same value?
False
Suppose 68*o - 5 = 63*o. Is o > -9/61?
True
Let f = 1439/143 - 132/13. Let j = -11 - -10. Is j at least f?
False
Let x = 24.8 + -25. Let f = -24 + 17. Let b = 6.4 + f. Which is smaller: b or x?
b
Let g = -5113206567/4 + 1199992883210971/938740. Let t = g - 2/4267. Is -1 greater than or equal to t?
False
Let z(v) = v**2 + 20*v - 169. Let x be z(-25). Let p(n) = -6*n**2 - 3*n + 1. Let j be p(-3). Is j at least x?
True
Let a = -407 + 402. Which is bigger: a or 19?
19
Suppose 3*h - t - 143 = 0, -3*h + h + 3*t + 86 = 0. Let m = h - 34. Suppose -7 - m = 2*k. Is -12 at most k?
True
Let h = 0.21 - 0.1. Let k = 0.21 - h. Let x = -7 - 2. Which is bigger: k or x?
k
Let p = -284 - -22429/79. Which is smaller: p or -1?
-1
Let i be -1 + 3 + 58/(-30). Let c = 1410 - 1409. Which is bigger: c or i?
c
Let x(c) = -c**3 - 14*c**2 + 16*c + 16. Let f be x(-15). Let q be -10 - -2*(-2 + f). Which is greater: -14 or q?
q
Let i be 87/(-50) - (-9)/6. Suppose -3*g - 5*j + 17 = 0, -5*g = -645*j + 647*j - 3. Is i >= g?
True
Let j = 689 + -689.03. Which is greater: j or -3?
j
Suppose 4*k + 4*o - 1 = -5, 3*k + 27 = 5*o. Which is bigger: k or -33/8?
k
Let k = -1.365 + -800.635. Is k <= 0?
True
Let r = 179 - 154. Let d(n) = n**3 + 5*n**2 - n - 4. Let t be d(-5). Let k be (-1)/((-1)/t) - -23. Do r and k have the same value?
False
Let y = 0.49 - 0.07. Let u = y + -1.42. Which is smaller: u or 5/3?
u
Suppose -6 = -22*t + 20*t. Suppose -2 + 11 = -t*r, 0 = -5*q + r - 142. Which is greater: q or -28?
-28
Suppose 1130 = -23*k + 3499. Is 102 at most k?
True
Let a(p) = -2*p**2 + 13*p + 31. Let g be a(8). Let o(y) = y**2 - 3*y - 23. Let d be o(g). Which is greater: 7/2 or d?
d
Let z = -24 + 64. Let d = z - 83. Does d = -1/2?
False
Let q be ((-3120)/(-90))/(3/9). Which is smaller: 91 or q?
91
Suppose 2*t + 5*z + 4 - 11 = 0, 5*t = -5*z - 5. Let m be 36/45*(-2)/t. Let c = 20 - 19. Are m and c equal?
False
Suppose l = -4*l - 10. Which is smaller: l or -4.8?
-4.8
Let g = -279 - -383. Which is bigger: g or 102?
g
Let b = 619 - 625. Which is bigger: b or 44?
44
Let o be (0 + 0)*(-1 + (-12)/(-8)). Let y be (o - 44/(-2))*(15 + -14). Which is smaller: 21 or y?
21
Let m(i) = 108*i + 528. Let q be m(-5). Suppose -3*w + 0*u = 5*u + 22, 20 = 5*u. Is w less than or equal to q?
True
Suppose u - 1 - 3 = 0. Let x be ((-2)/15)/(u/(-5)). Let y = -12035 - -12033. Which is bigger: x or y?
x
Let i = 10293832 + -5713074611/555. Let b = -8/111 + i. Which is smaller: b or 4?
b
Let z = -1721 - -199635/116. Which is smaller: 0 or z?
z
Let h = 80 - 72. Which is bigger: h or 7?
h
Suppose 4*i - 3*v - 9 = 3*i, v = -3*i - 3. Suppose 55*p - 300 = 635. Is p < i?
False
Let p be 0/(6/(-4) - (-14)/28). Is -1/22 not equal to p?
True
Let y(f) = -2*f - 26. Let k be y(-13). Which is smaller: 20/17 or k?
k
Suppose 5*i = 4*g + 74, i - 3*i = -g - 29. Let q(d) = -d**3 + 14*d**2 - d + 15. Let z be q(i). Is -2 at least as big as z?
False
Suppose -2*k + 880 = 6*k. Let r = k + -118. Which is smaller: r or -12?
-12
Let c = -221 + 119. Let p be (c/33 + 3)*-2. Which is bigger: p or 1?
1
Suppose -4*f - 18 = -6. Let m be (1/f)/((-2)/6). Which is bigger: m or -1/22?
m
Let f be 6/(-8)*8/12. Let c = -218 - -217.94. Which is smaller: c or f?
f
Let d = 3 + -5. Let w be d - (-3 - (-15)/21). Let l = 26 + -13. Which is smaller: w or l?
w
Let v be 1*5 + 34/(-17). Suppose -v*r = -2*a + 20, 6*r - 7*r = 3*a - 8. Is r bigger than 2?
False
Let u be 2/(-11) - (-2943)/33. Suppose 2*r - 16 + u = -5*f, 0 = -r - 2*f - 35. Is -28 smaller than r?
False
Let v(a) = -a**3 + 7*a**2 - 4*a + 13. Let n be v(6). Let s be 4 - (n/(-5))/(-1). Is s smaller than -1/27?
True
Let q(f) = f**2 + 3. Let l be q(0). Let g be (-8)/4 + l + -1. Suppose g = 4*u - 5*u. Which is smaller: -1/8 or u?
-1/8
Let r = 13.15 + -0.15. Let j = r + -13.1. Are 10 and j unequal?
True
Let w = -10 + 13. Suppose -5 = -a - w. Suppose -a*c = c. Which is greater: c or 2/3?
2/3
Let a = 17 + -2. Let q be (10 - (-315)/(-27))*-9. Is a at most q?
True
Let g(j) = j**2 - j + 8. Let i be g(-17). Which is smaller: 316 or i?
i
Let m = -5 + -3. Let v = m + -2. Which is smaller: 0 or v?
v
Let q(m) = m**2 - 13*m + 14. Let f be q(12). Suppose -1 = 2*y - 3*x, -y = y - f*x. Which is bigger: y or 2/3?
y
Let w = -444177/391 + 1136. Which is bigger: 1 or w?
1
Let c = -159 + 159.039. Is -3 not equal to c?
True
Let d(n) = n + 2. Let z be d(0). Let j be 319/(-132) + z/(-6). Is j greater than -2?
False
Let b(t) = -t - 33. Let m be b(1). Which is smaller: m or -173/5?
-173/5
Let z be 10/4*(-52)/(-10). Suppose s + 4*l - z = 0, s - 5*s + 3*l = 5. Let d be (6/(-8))/((-15)/24). Which is smaller: s or d?
s
Let w = 0.04175 - 2389.04175. Which is greater: -2/7 or w?
-2/7
Suppose -m = -3*m. Let v be (-6)/(-3) - (3 + m). Let g be 0/(v/(2/(-6))). Which is greater: g or 1/12?
1/12
Suppose -5*n + 130 = 5*p, -3*n = -7*n + 12. Is p <= -1?
False
Let z(u) = -u**3 + 8*u**2 - 6*u - 8. Let x = 69 - 62. Let h be z(x). Which is smaller: h or -4/59?
h
Let h = -64010/86129 + 32/43. Which is smaller: h or 0?
0
Let h = -22 - -26. Suppose -a - 4*a = 0. Suppose a = -j + 3 + 1. Are j and h equal?
True
Let d = -5/3288 + -707/976536. Which is smaller: 0 or d?
d
Suppose -10*o + 18 + 2 = 0. Let k(m) = -m**2 - 5*m - 3. Suppose -3*w = -5*s - 8, w + 4*s + 14 = -6. Let z be k(w). Is o at most z?
False
Suppose -2*t + 0*t + 16 = -4*j, 0 = -3*j + 2*t - 12. Whi