 61 + m. Does g = -1?
True
Let z(m) = 14*m**3 - m**2 - 7*m - 15. Let b be z(-3). Suppose -5*h - 15 = x, -3*h + 2*h + 18 = -4*x. Which is bigger: b or h?
h
Let s be (16/(-6) - 0)/((-4)/1080). Suppose -4*v = -28 - s. Let n = v + -1307/7. Which is bigger: -1 or n?
n
Suppose 3*a - 56 = -56. Let f = -94/55 - -3386/1595. Is f greater than or equal to a?
True
Suppose 10*l + 53 = -167. Which is greater: -235/11 or l?
-235/11
Let z = 300608/13 + -23166. Which is bigger: z or -42?
-42
Let q = -1465.147 + 1465. Is q less than 0.4?
True
Let o = 16418 - 12250. Is 4169 less than o?
False
Let w = -32 - -33. Let t be (((-36)/(-16))/(-9))/(w/(-28)). Suppose -t*v + 239 - 22 = 0. Is 31 at least as big as v?
True
Suppose 0 = -9*t - 31 - 113. Let h be 68/(-510) - t/30. Which is smaller: -1 or h?
-1
Let b = 0.38963 - 0.67963. Is b > 22.8?
False
Let h = -3 + 2. Let f be ((3/497)/((-1)/(-4)))/((-746)/2611). Is h != f?
True
Let r = -4244 - -3813.25. Let z = -388 - r. Let i = z - 43. Which is smaller: 1 or i?
i
Let w = -4673203/162 + 28845. Let v = 185147/2106 - w. Let y = v + -90. Are -1/3 and y equal?
False
Let o(f) = 6*f**2 + 26*f + 7. Let w(j) = 5*j**2 + 25*j + 6. Let b(i) = 2*o(i) - 3*w(i). Let x be b(-7). Let z = x + -10. Which is smaller: z or 6/13?
z
Let n = 9169 - 45852/5. Let l = 4 - 6. Is n at most l?
False
Let v be 6/(-16) + ((-4797)/328)/((-9)/15). Which is bigger: 774/31 or v?
774/31
Let r be -8 + (-7284)/(-42) + 3. Does 168 = r?
False
Suppose -17*z - 2480 + 2973 = 0. Do z and -4/5 have different values?
True
Let s = 739/2988 + 2/747. Which is greater: -3 or s?
s
Suppose -7*j + 19*j - 180 = 0. Suppose -11*h - 184 = -j*h. Which is smaller: 134/3 or h?
134/3
Let w = 0.1171 - 154.1171. Which is smaller: -0.04 or w?
w
Let z(j) = 3*j - 11. Let k be z(11). Let v be 2012*(39/9 - 4). Let m = v + -648. Which is bigger: m or k?
m
Let m(h) be the second derivative of -h**5/20 - 5*h**4/3 - h**3/6 - 6*h**2 - 2*h + 11. Let q be m(-20). Is 105/13 greater than or equal to q?
True
Let r = -0.29 - -0.207. Let t = r + -44.917. Let i = t - -50. Which is bigger: -1/3 or i?
i
Let c = -3034 + 3034.07. Is c < 0.176?
True
Let h = -6372 + 6326. Is 46 at least h?
True
Let t(s) be the second derivative of -s**5/20 - s**4 + 11*s**3/6 + 61*s**2 + 30*s - 5. Let j be t(-10). Are 1/2 and j nonequal?
True
Let y = 8846993 + -62150947/7. Let f = y + 31895. Let o = 181 - f. Which is smaller: 0 or o?
o
Suppose -2*b - k - 5867 = 0, -4*b - 5*k = 861 + 10852. Is b at most -2935?
True
Let g = -268919826017 + 328888908399550/1223. Let r = g - -31741. Is -1 less than or equal to r?
True
Let w be (-490165)/(-9322521) + (-9)/171. Which is smaller: 0 or w?
w
Let r = -6538.3 + 532.3. Which is greater: r or -1?
-1
Suppose -807*p + 1027*p = 220. Which is smaller: -3/3602 or p?
-3/3602
Suppose 4*f = -h - 1, 5*f - 24*h - 15 = -22*h. Is -999 greater than f?
False
Let v = 5 - 0. Suppose -v*u + 2*m + 242 = 0, -m - m + 46 = u. Let p = 37157 + -37109. Is u smaller than p?
False
Suppose -j - 3*j = 1192. Let d = -97.176 - -96.176. Is j > d?
False
Let j(i) = -51*i**2 - 41*i + 121. Let z be j(-2). Let w = 906/5 - 34553/190. Which is smaller: z or w?
z
Let p be (-12)/16 + 20134/(-56). Let g = p - -361. Suppose -4 + 0 = -2*f. Which is smaller: f or g?
g
Let r = 18771 - 882193/47. Is 0 at most r?
True
Let m be 8/(-16)*-6 + (-1283)/(-42). Let z = m + -271/7. Are z and -4 unequal?
True
Suppose 4*u - 27 = -47, -3*l + u = -5. Which is smaller: 21/23 or l?
l
Suppose -364 = -15*r + 12*r - a, 2*r + 2*a - 240 = 0. Is r greater than 0.023?
True
Suppose -18*h + 23*h + 30 = 0. Let j be 612/78 + h/(-39). Let t be ((-12)/j)/1 + 38/20. Is t less than 0.1?
False
Let r be ((-12)/644)/(48/(-28)). Is r less than 0?
False
Let k(l) = l**2 - 43*l - 8. Let i be k(37). Let f = i + 228. Let n be ((-11)/7)/((-1)/(-2)). Which is bigger: n or f?
f
Let t = 7 - 1. Suppose -134*p + 64*p = -43*p - 135. Which is bigger: p or t?
t
Suppose -353*v = -343*v - 5580. Which is smaller: 1678/3 or v?
v
Let r = -3 - -3. Suppose 0 = 16*u + 3 - 35. Let c be -6 + u - (-6)/1. Which is smaller: c or r?
r
Let v = 38941.19772 + -38941. Is v smaller than 0.1?
False
Let s = -16132/3 - -5339. Which is smaller: -37 or s?
s
Let v = 10941 + -645477/59. Do 0 and v have the same value?
False
Suppose -24*v + 44 = -4. Suppose -4*s - v = -5*i, 5*i + s - 5 = 7. Is i at least as big as 19?
False
Let o(h) = 161*h + 13. Let a be o(1). Let c = a - 30. Which is smaller: c or 143?
143
Let v be (-2)/(-27) + ((-24336)/486 - -12). Which is smaller: v or -301/8?
v
Let s(w) = w**2 - 26*w - 9. Let o be s(27). Suppose -2*h = -2*n - 4*h + 4, -n + o = -3*h. Suppose -n = -9*m + 66. Which is smaller: m or 7?
7
Let m(q) = q**2 + 5*q + 3. Let s be m(-5). Suppose s*x + 21 = 3. Let a be (x/(-15))/((-36)/255). Is -4 >= a?
False
Let o be 19/(-2)*-8*(-18)/(-54)*(-12)/8. Let a(d) = 5*d**3 + d**2 + 2*d + 2. Let n be a(-2). Is o > n?
False
Let c(j) = -j**3 - 8*j**2 - j - 4. Let h be -4 - ((-12)/2 - -6). Let o be c(h). Do 0 and o have different values?
True
Let h(f) = f**3 - 13*f**2 + 20*f + 27. Let c be h(11). Suppose -2*d - c = 3*d, -5*d + 59 = -4*r. Is r at most -17?
False
Let i = -7843 + 11052. Which is smaller: i or 3207?
3207
Let z(a) = -a**3 + 19*a**2. Let t be z(19). Suppose t = 8*h - 0*h - 48. Suppose 3*u + 0*u = h, 4*b = -3*u + 10. Is 1 greater than b?
False
Suppose 3*j = 2180 - 2183. Which is greater: -1/1982 or j?
-1/1982
Let n = -2341 - -2340. Is 141.9 greater than or equal to n?
True
Let u(h) = 0 + 2*h**2 - 6 + 2 + 3 + 89*h - 103*h. Let f be 9 + 2 + (-6 - -2). Let q be u(f). Which is smaller: q or 2?
q
Let c(a) = -146*a + 3795. Let z be c(26). Is z equal to 1/11263?
False
Let s be 1/7 - (-21331)/(-2905). Let w be 8/(-10)*(0 - 5). Let d be (-11)/(-22) - 30/w. Which is smaller: s or d?
s
Let u be ((-3)/6)/(((-21)/6)/7). Let c be u/((-20)/15) - (-11)/(-4). Which is smaller: -5 or c?
-5
Let s = -0.5 - 3.5. Let m = -7746 - -7758. Are m and s equal?
False
Let k = 2855 + -3489. Which is greater: -641 or k?
k
Let z(c) be the first derivative of -c**2 - 6*c + 14. Let i be z(-4). Let w be -1 - 2*(-1)/i. Which is smaller: 1 or w?
w
Let i be (144/(-26))/(-3) + 8/52. Suppose -3*m - 22 = 5*q, 16 = 3*m - 6*m - i*q. Let c be (-4)/8*(m + 2). Which is smaller: c or 2/55?
2/55
Let k(q) = 22*q**2 + 116*q - 37. Let d be k(-7). Which is greater: d or 14?
d
Let a = 74 + -63. Suppose -56 = h - 6*h - 2*w, 3*h = 4*w + 44. Which is smaller: a or h?
a
Let t = -156 + 158. Suppose -t*c + 9 = -3*y, 0 = -5*y + 2*c - 7*c - 40. Is y smaller than -5?
False
Suppose 34*u - 12*u - 20*u + 2 = 0. Is 10/1353 smaller than u?
False
Let z(f) = 10*f**3 - 6*f**2 + f. Let d be z(5). Let w = d - 13249/12. Which is bigger: w or 1?
1
Let f be (-69)/(-1449) - 2617/55398. Which is smaller: 1 or f?
f
Let f(x) be the second derivative of -35*x**3/6 - 20*x**2 + 108*x - 1. Let q be f(-4). Let l = -0.2 - -0.3. Which is smaller: l or q?
l
Suppose -9 - 10 = a + 3*h, -4 = 4*h. Let k be (12/30)/(a/(-10)). Which is bigger: k or -19?
k
Let y(g) = 29*g - 142. Let a(r) = -1. Let f(m) = -18*a(m) - 2*y(m). Let s be f(5). Is -4 less than or equal to s?
True
Suppose 7*f = -24 + 304. Suppose 4*p + 4*p - f = 0. Let y = 14 - p. Is 10 at least y?
True
Let b = 7724 + -7721. Which is smaller: b or 70/57?
70/57
Let z be 1406426145/4189146 - (1/(-2) - 0). Let y = 12/53707 - z. Let q = y - -336. Which is bigger: -1 or q?
q
Let w be 81*1*230/(-69). Is w less than or equal to -273?
False
Let g(m) = -2*m**3 + m**2 - 236*m - 982. Let a be g(-4). Is 845/8 != a?
True
Let c = -3044/8490069 - 2/314447. Are c and 1 equal?
False
Suppose 33*a = -548 - 583 - 717. Which is smaller: -64 or a?
-64
Suppose j = 3*n + 10, -23 + 54 = 4*n + 5*j. Is n at least as big as 29/73?
False
Suppose 20*g - 9 = 11*g. Let z = -27421/11116 - -69/28. Is z at least g?
False
Let r be (0 - 0)*(-4)/(-8)*(-4 - -5). Is -30/97 smaller than r?
True
Suppose -30544 = 3*d - 9094. Let s be (-31)/((-25389)/d) + (-2)/(-7). Is -9 at least as big as s?
False
Let c = -9662 + 11235. Is 4718/3 != c?
True
Let j = -174520 - -48691177/279. Let p = j + 3/31. Is 32 less than p?
False
Let p(n) = 11*n**2 - 19*n + 34. Let d be p(9). Which is greater: d or 753?
d
Let m = -0.11 + -0.69. Let x be (-15448)/32 + (-18)/(-24). Le