alue?
False
Let q = 85 + -85. Let l be 0 + (q - 220)/5. Is l at least as big as -41?
False
Let k be (4/(-6))/(2/(-3)) - 1. Suppose k = -u - 2*q + 4*q - 86, -96 = u - 4*q. Let p = u - -1138/15. Do -0.1 and p have the same value?
False
Let g(s) be the third derivative of 17*s**4/24 + 20*s**3/3 - 25*s**2. Let u be g(-5). Let m be 9/u*(-5)/3. Is m >= 1/12?
True
Let y = 56 + -83. Let w be (-2)/(-4) + 3 + (-135)/(-6). Suppose -w - 26 = 2*o. Do o and y have the same value?
False
Suppose 0 = -5*o - 13*o - 864. Let t be 4 + -18*(-4)/o*4. Which is smaller: -42 or t?
-42
Let y(r) = 7*r - 117. Let m be y(18). Suppose -143 + 17 = m*s. Is -71/5 > s?
False
Let m = -1509 + 1741. Which is smaller: m or 1/3?
1/3
Let t(x) = 5*x - 43. Let d be t(19). Suppose -9*i = -7 + d. Let c be 2/i + (-74)/(-60). Is c <= 1?
True
Let b(z) = -z**3 - 5*z**2 - 2*z - 3971. Let c be b(0). Is c bigger than -3969?
False
Let y = 106 + -106.98. Let q = -626.02 + 627. Let m = y + q. Is m at least 0?
True
Let g(b) = 146*b**3 - 5*b**2 + 17*b. Let j be g(2). Is 1183 < j?
False
Suppose 4*a = 6*a. Let z be (-25995)/(-50)*(-272)/72. Let g = z + 1963. Which is smaller: g or a?
g
Let c = -2162/15 - 201/5. Let b = 183 + c. Is b less than 4?
True
Let r = -259.76 + -0.24. Let m = 256 + r. Which is bigger: 83 or m?
83
Suppose 261*a - 111*a - 132*a - 18 = 0. Is 13/2 at least a?
True
Let z = -9.795 + 8.795. Are -1000 and z equal?
False
Let b be (5 - (-8)/(-2)) + 3. Suppose -111 = -3*q - 3*n, q = -b*q + n + 209. Let k = -31 + q. Which is bigger: k or 8?
k
Suppose 5*w = -196 - 294. Let x = w - -87. Let j = -1 + -12. Is j greater than x?
False
Let g = 8498.87 + -8499. Is g less than 81?
True
Let h = -418 - -1823. Suppose 2*b + 3*b + h = 0. Is -281 at least b?
True
Let l = 2333.6 + -2333.53615. Is l < -0.1?
False
Let u(a) = -10*a + 2. Let f be u(-3). Suppose h + f = -332. Let c = h + 2177/6. Is c bigger than -1?
False
Let r = 1959 + -1957. Let o(f) = -5*f - 1. Let d be o(-1). Is r >= d?
False
Let q be ((-16)/(-7))/(-4) + (-17)/((-1071)/1170). Let k be (-1 - 78/(-4)) + -1. Do q and k have the same value?
False
Suppose 7*d = -c - 57, 6*d + 64 = 3*c + 19. Is -132/361 less than c?
False
Let k = -59 + 73. Let v be (k/(-24))/(-6*(-2)/(-9)). Let l be (6 - 5)/(0 - 1). Which is bigger: l or v?
v
Let v(n) = 46*n + 603. Let c be v(-5). Are 347 and c non-equal?
True
Suppose 38*w - 34*w = 80. Suppose -58*z + 60*z + w = 0. Are z and 5 nonequal?
True
Let w be 3*(3 + 8 - (9 + -3)). Are w and 30 non-equal?
True
Let f be -15 + 12374/1035 - (-6)/(-4)*-2. Is f not equal to -156?
True
Let l = -79 + 78. Let y = 588 + -622.9. Let r = -34 - y. Which is greater: r or l?
r
Suppose 17*c - 6 = 14*c. Let i be (13/(-754))/(c/8). Is i > 1?
False
Let x = -551.8 - -302.8. Is -2 at most x?
False
Let v be ((910/(-52))/7)/(10/(-4)). Is v >= -8/715?
True
Let g = -6.07 + 6. Let h = -22.2 + 22.9. Is h bigger than g?
True
Suppose -2 = -3*t + 4. Suppose -w - 2*a = 4, -t*w - a - a = 2. Suppose 0 = -4*j - 0*j - 4*l + 28, 3*j - 25 = -w*l. Is j smaller than 11?
False
Suppose 7*p = 34*p + 81. Let t be 1/p - (-1024)/(-96). Is -17 < t?
True
Suppose -2*i - 2*i = -104. Suppose 2*c - c + 2*d - 6 = 0, 2*d = 4*c + i. Let o(n) = -n + 2. Let g be o(6). Are g and c equal?
True
Let y(h) = -341*h + 272 - 93 + 366*h. Let g be y(-6). Which is bigger: 22 or g?
g
Let z be 201/3*(-245)/2051 - -8. Is z less than or equal to 1?
True
Let j(z) = z**3 - 4*z**2 + 4*z. Let h be j(3). Let w be ((-1 + h)/(-46))/1. Let r(m) = m**3 - 2*m**2 + 18*m - 63. Let c be r(3). Which is greater: c or w?
c
Suppose 4*n = -2*a + 4, 3 - 2 = n + 5*a. Is 7/166 <= n?
True
Let r = 10.3 + -9.96. Let d be 1/18*255/(-10). Let u = d - -7/6. Is r equal to u?
False
Let w be (18/12)/(2955/15256). Let g = 11/197 + w. Which is bigger: g or 0.1?
g
Let d be -1 - (0 + 2/(-2)). Suppose 4*y - 2*p - 78 = 0, 16 = y - 4*p - 14. Suppose y*j - 40 - 14 = 0. Are d and j equal?
False
Let q = -6457 + 1749849/271. Which is bigger: q or -1?
q
Let c(k) = -483*k + 2913. Let o be c(6). Let h = -1 + 3. Let f be 0 - o/7 - h. Which is smaller: -5 or f?
-5
Suppose -20*l = 24*l + 55*l + 342243. Is -3456 >= l?
True
Let b be -1 + 24/(5 + -17). Is 30.75 at least b?
True
Let w be (-216)/(-378) + 2/((-61600)/17572). Which is bigger: w or -0.2?
w
Let m be (5/(-10))/(1/2). Let l = 132 + -136. Let u be l/6*15/(-2425)*-5. Is m bigger than u?
False
Let g = -89 + 106. Suppose -g*w = -2 + 36. Is w at most as big as -17/20?
True
Let y be -8 + 5 - 0 - -204. Suppose 0*s + 3*s - 6 = 0, -5*l = -2*s - 996. Is l at least as big as y?
False
Suppose -5*n + 34957 = 4*z + 34943, 5*z - 40 = 5*n. Let u = -2 - -3. Let k be u/(-2) - 9/4. Is k < n?
True
Suppose 0 = 2*g - o - 7, -16 + 31 = -3*o. Which is bigger: g or 20/103?
g
Suppose 2*h = -i - 8, h = 4*i - 2*h - 12. Suppose -2*f - 29 + 17 = i. Do -6 and f have the same value?
True
Suppose 2*h - 3*i = 32, 103 = 5*h + i + 3*i. Suppose 3*t - h = 2. Suppose -2 = t*r + 173. Is r != -1?
True
Suppose -5*m = -5*q - 25, 19 = 78*m - 73*m - 4*q. Which is bigger: -2/14167 or m?
-2/14167
Suppose -6*g = -9*g. Suppose -4*x = p + 17, g*p - 7 = 4*x - p. Let z be (-18)/15*(-1)/x. Which is greater: z or -2?
z
Let m = 16.749 - -15.251. Which is smaller: -179 or m?
-179
Let z = -3164 - -3965. Is z at most 804?
True
Let h = -0.5157 - 3556.4843. Which is greater: h or 0.1?
0.1
Let f be 81/9 + (1 - 2). Let n be (-3)/9 - (2 + (-35)/15). Suppose n = 6*z - f*z - 80. Do z and -40 have the same value?
True
Suppose -60 - 174 = 26*b. Let x(i) = -2*i**2 - i + 2. Let d be x(b). Is -151 at most d?
True
Let o = 8 + -8.12. Let y = 626.6 - 627. Is y at least o?
False
Let k = -87742 - -87701. Let w be 2*1*(-82)/4. Is k at most as big as w?
True
Suppose 0 = 7*w + 2*w - 18. Let i be -1 + w - (-3 - -1). Suppose u = -3*l - 43, -3*l + i = 5*u + 26. Is l greater than -15?
False
Suppose -s + 7 = 6*s. Let b be (3 - (-8 + 9)) + (-12)/11. Is b >= s?
False
Let w be (-706)/(-20)*374 - 9/(225/(-20)). Are w and 13204 non-equal?
True
Let b(q) = -524*q - 2853. Let m be b(-6). Is m > 7/6?
True
Let v(i) = 6*i**2 + 3*i - 15. Let w be v(-5). Suppose -w = r - 48. Is r > -73?
True
Let r be ((-8 + 4)/(-4))/(13/65429). Let t be r/(-154) - 12 - 4/(-22). Which is bigger: t or -1?
-1
Let r = -2563 - -2573. Which is bigger: r or 19?
19
Suppose 45 = -r + 6*r. Suppose 11*f - 12 = r*f. Let p be (-234)/(-845)*(-40)/f. Is -3 at most p?
True
Let n = 476 - 2344/5. Let q = n + -113/15. Which is bigger: -28 or q?
q
Let b = -4286/15 + 434/15. Are b and -258 unequal?
True
Let q = -47.187 - -47.087. Let c(l) = -6*l**3 + 8*l**2 - 5*l - 2. Let g be c(5). Do g and q have the same value?
False
Let h = -202 - -192. Let x be (-1028)/(-3696) + h/35. Which is greater: x or 0?
0
Suppose -194*v - 6 = -188*v. Let q be v*0/(0 - 2/(-1)). Is -2/277 <= q?
True
Let f = -343.8 - -16.9. Let o = f + 329. Which is smaller: -7 or o?
-7
Let l = -9.001 - -0.001. Which is bigger: 34.9 or l?
34.9
Suppose 0 = -37*q - 42 - 69. Let b be (7/2303*-1)/(q/(-9)). Which is smaller: 0 or b?
b
Let j = -295 - -292. Let g be (30 + -32)/((-74)/j). Is g smaller than -1?
False
Let v = 574 - 4008/7. Let b = -250 - -252. Let r(j) = j**3 - 3*j**2 + 12*j - 19. Let a be r(b). Is a at least as big as v?
False
Let o(a) = 207*a**3 - 45*a - 137. Let k be o(-3). Are -16775/3 and k non-equal?
True
Let p = 1331 - 723. Suppose -655*r = -621*r - 204. Suppose r*j = 14*j + p. Is -77 less than j?
True
Let k = 7 + -6. Let f be (-7 - -3 - -3)/(k/(-2)). Suppose 5*y = -5, 5*y + 8 - 1 = f*v. Is v equal to -3?
False
Let s be 144/1 - (-2 + -1 + 2). Let v = s - 82. Is v not equal to 63?
False
Suppose 24599*n = 24558*n + 410. Is 529/56 > n?
False
Let a(y) = -76*y**2 + y + 1. Let k be a(-1). Let j = k - -86. Which is bigger: j or 17/2?
j
Let x be (8/12)/(36/(-135)). Let j = -29/8 - x. Which is bigger: j or -2?
j
Let k = 10524.978 - 10560. Let q = 0.022 + k. Let b = 36 + q. Which is bigger: -4 or b?
b
Let l(b) be the first derivative of 31*b**4/4 - b**2 - b + 5. Let t be l(-1). Let x be ((-4)/t)/(4/(-25)). Which is smaller: 2/3 or x?
x
Let j = -38482 - -76975/2. Let w = -2 - -5. Suppose 1 = w*q - 20. Which is smaller: q or j?
j
Let h be 2*((-1)/(-2))/1. Let c = -15509/10 + 2900153/1870. Is h at most as big as c?
False
Suppose 85 = 4*q + 17. L