z + 585. Suppose 3*a + 21 = -z. Is -69 greater than or equal to a?
True
Suppose -11*d + 3*d + 48 = 0. Suppose -2*t - 4*t = d*t. Is -2/115 != t?
True
Suppose -5*f = 2*m + 8, 0*m + 5*f + 12 = 2*m. Let h be (-2)/(-14) - (-2214)/(-63). Let z be (-4)/10 - 84/h. Is z > m?
True
Suppose h - 4*q - 16 = 0, 0 = -3*h + 4*q - 2 + 10. Let p be h/(-8)*(-2)/(-24). Let a = 19/24 - p. Which is bigger: 0.04 or a?
a
Let p = -1.86654 + -0.13346. Which is smaller: p or -7772?
-7772
Let x = -461648/175 - -2638. Let z = x - 179/350. Which is smaller: z or 6.3?
z
Let i(t) = -164*t - 141. Let j be i(4). Which is bigger: j or -796?
-796
Let f(g) = -g**2 + 13*g + 4. Let h(z) = z**2 - 25*z - 9. Let q(n) = -5*f(n) - 3*h(n). Let x be q(-5). Which is smaller: x or 1?
1
Let j be 64 + (1 - -2 - (-4)/4). Let m = j - 99. Is m less than or equal to -2/3?
True
Let c be (-1630)/15 + 11/11. Which is smaller: -107 or c?
c
Let l be 1/14*(-32)/(-280)*-5. Are l and -249 nonequal?
True
Suppose 0*u - 24 = 8*u. Let b be (-1 - (2 + -2))*(u + -66). Suppose 3*y = 6*y - b. Which is bigger: y or 24?
24
Let u = -164 + 184. Let y be (152/120 + -1)/(3/u). Which is smaller: y or -0.4?
-0.4
Let r = -9984 + 9863. Is -1082/9 greater than r?
True
Let x = -121 - -112. Let f be (-6)/4*(x/(-25) - 1). Is f smaller than 1?
True
Let k = 2749969573/36615 - 75105. Which is greater: k or 0?
0
Suppose -110 + 26 = w. Let b be (w/16)/(-7) - (-3)/12. Suppose -i + 4*q - 5 = 0, 5*i - b = 8*i - 5*q. Is i equal to -1?
False
Suppose -2*w = 3*w - 15. Suppose -3*u + 29 = 5*r - u, w*r - 13 = u. Suppose 2*v + 363 = -v + 375. Which is greater: v or r?
r
Let y = -7 - 8. Let h be (-1 - -5) + (3 - 1037)/(-11). Suppose -51*i = -h*i - 752. Which is bigger: i or y?
y
Let c(k) = 2*k**2 - 11*k - 30. Let w be c(8). Suppose 4*u - 6 = 6. Suppose 3*j - 28 = -4*d - 3, 2*j - 20 = -u*d. Is d equal to w?
True
Suppose -v + t = 153, -1069*t = 4*v - 1070*t + 591. Is -148 at most as big as v?
True
Let b(g) = -25*g - 49. Let u be b(-2). Let t be -4 - ((-40)/3 + u)*3. Suppose 4*v = 99 + 29. Is v smaller than t?
True
Let k = -32844 + 33463. Which is greater: k or 0.2?
k
Let a = 4968 + -4967. Let o be 5 + -6 + (-144)/(-159). Which is smaller: a or o?
o
Let i = -234 + 405/2. Let t be (201/(-15) - -7)*(2 - -3). Do t and i have different values?
True
Let z = -59 + 60. Suppose -5*b + 6*b + 32 = 0. Let w = -17 - b. Are z and w equal?
False
Suppose 3*d - 54 = -3. Suppose 7*a - 12*a + 4*x = d, -a - 3 = -x. Is a not equal to -4?
True
Let z = -7130 - -7127. Which is greater: -636 or z?
z
Let h be (15/(-6) + 3)*14. Let t be (-3)/h + 253/(-161). Let q be t*5/10 + 2. Which is smaller: q or 1/7?
1/7
Suppose -4*d - 3*n = 2055, 5*d - 3*n = -1861 - 701. Let m = d + 505. Which is smaller: m or -1?
m
Let j = 0.2279 + -0.1869. Is j <= 0?
False
Let r(m) = m**2 - 2*m - 4. Let s be r(-3). Let q = -180.582 - -181. Let k = q - 0.418. Is k > s?
False
Let d = 751 - 756. Let n be ((-2)/d)/((-188)/(-470)). Which is greater: n or 19/13?
19/13
Let z(p) = -p**3 - 5*p**2 + 73*p + 45. Let s be z(7). Does s = -54?
False
Let y = -1 - -2. Let d(c) be the second derivative of -c**4/6 - c**3/6 + c**2 - 52*c. Let t be d(y). Which is greater: t or -18?
t
Suppose -w = 2, 5*f + 68*w = 72*w - 337. Which is smaller: 52 or f?
f
Suppose 3*o - 4*o = -6. Suppose -5*q = m + 430, o*m - 3*m - 86 = q. Let c = 337/4 + q. Is -1 less than c?
False
Suppose 2*q = -2*w + 3*w, -q - 2*w + 5 = 0. Let a be (q + 11)*(-48)/(-792). Is a bigger than 0.1?
True
Let w(y) = y**3 + 6*y**2 - 7*y + 3. Let p be w(-7). Suppose -g = -3*u + p, -4*g + 6*g = 4*u. Let i = g - 13/2. Which is smaller: i or 3/7?
i
Suppose -5*d = -5*v + 10, -v - 3*v + d + 2 = 0. Let q = -805 + 646. Is v >= q?
True
Let j be ((-9)/27)/((-80)/54). Let g = -3/5 + j. Which is smaller: g or 1?
g
Let g(m) = m**3 + 2*m**2 + 2*m + 1. Let b be g(-1). Suppose b*r + 4*r - 16 = 0. Let s be 328/70 - 4/14. Which is smaller: r or s?
r
Let o be 20*(6/10 - 274/40). Let j be (-377)/o - (-9)/((-9)/3). Which is greater: 0 or j?
j
Let u(j) = 18*j**2 + 10*j - 12. Let d be u(5). Let q = d - 503. Is -14 less than q?
False
Let g = 435983/2510118 + -53/306. Do 1 and g have the same value?
False
Let y = -147 - -136. Let u = -11.1 - y. Let l(d) = -38*d**3 - 1. Let a be l(1). Do a and u have different values?
True
Let v be (-2)/18 + 85/(-45). Let d be ((-1)/33)/(v*2/(-42)). Which is smaller: d or 0?
d
Let c = -17530 + 17532. Which is bigger: c or 6536?
6536
Let o(b) = -23*b**3 + 137*b**2 - 3*b + 4. Let l be o(6). Suppose -c = -5*d + 42, -132 = 3*c - d + 8. Which is bigger: l or c?
c
Suppose 4*s - 3*m = 1538, s - 381 = -3*m - 4. Which is bigger: 1919/5 or s?
1919/5
Suppose 9*n + 55 = 20*n. Let q(b) = 4*b + 6. Let i be q(4). Suppose -n*v + 3 + i = 0. Is v at least 3?
True
Suppose 0 = -8*g - 9 + 41. Suppose a = -g*a + 3*v + 312, -232 = -4*a - 2*v. Is 63 less than or equal to a?
False
Let w be ((-87)/580)/(6/37015). Let i = w - -926. Which is bigger: i or -0.01?
i
Let z be 42/(-9)*30/(-20). Let c be 2*((-51)/(-6) - 2). Suppose 3*d - 4*l + 8*l - c = 0, -2*d + 8 = 3*l. Do z and d have the same value?
True
Let w = 7 + -5. Let d(o) = -o**2 + o + 2. Let t be d(w). Let c be (8/170)/(1/10). Is t less than c?
True
Let b = 1333036 - 32202150646/24157. Which is greater: b or 1?
1
Let a be (-109317)/15639 - (-4 + -3). Does a = -1?
False
Let h(p) = 16*p + 15*p - 19*p - 49 + 31*p + 3*p. Let n be h(10). Which is smaller: 412 or n?
n
Let t = -106667 + 958670/9. Let u = 634/45 - t. Let l = u - 163. Is -1 less than l?
True
Suppose 5103*p + 4430 = 5093*p. Is p <= -444?
False
Let d = 5 + -5. Suppose 35 = -d*s + 5*s. Let p = -5278 + 5284. Which is greater: s or p?
s
Suppose -26*j + 3*j = -5*j + 18. Suppose 4 = 3*z - 5. Let w be (3 - 37)/(z + j). Is w smaller than -19?
False
Let c(v) = -v**3 + 4*v**2 - 3*v + 4. Let y be c(3). Suppose -y - 4 = -i. Let f(u) = -u**3 + 10*u**2 - 12*u + 8. Let t be f(i). Is 40 at most t?
True
Suppose -4*t - 894 = -k, t + 13*k = 10*k - 217. Is t equal to -232?
False
Let g(i) = -2*i**2 - i + 7. Let p be g(7). Suppose 729 = -16*r - 823. Which is greater: p or r?
r
Let o be 2 + 266 - 1/(7/(-35)). Let j = o + -273. Which is greater: 2/431 or j?
2/431
Let r = 45732 - 54100961/1183. Is -1 > r?
False
Let h = -892 + 6242/7. Suppose 5*j - 5*n = -40, 3*j + n + 2*n = 6. Let c be (3 - 0)*j/9. Which is greater: c or h?
h
Let z = -52 - -74.25. Let h = z - 22.4. Is h less than 2/9?
True
Let k = 171 - 175. Let l be 6/k*(-46)/414. Suppose 34 = 2*z - 2*y, -6 = z - 3*y - 33. Is z greater than or equal to l?
True
Let r be (6375/34)/15*2. Which is smaller: 36 or r?
r
Let g(p) = -p**3 - 5*p**2 - 2*p - 5. Let v be g(4). Let t be (8*1 + (-2)/1)*(-1027)/39. Which is smaller: t or v?
t
Let t = 614/255 - 33/17. Let w(f) = -f**3 - 22*f**2 + 19*f + 419. Let a be w(-22). Which is bigger: t or a?
a
Let u = 7 - -11. Suppose -u - 17 = 3*w - 5*b, -23 = 3*w - 2*b. Is -2 at most as big as w?
False
Suppose -5*i - 3*m = 372, -2*i - 149 = 3*m - 2. Let b = -79 - i. Is b not equal to -41/9?
True
Let f = -25.067 + 0.067. Let c = -46.08 - -46. Is c > f?
True
Let i = -263 - -384. Suppose -c - i = -122. Which is bigger: 5/127 or c?
c
Let k be 3 + 57/(-21) + (3 - 32/14). Which is greater: -24/1463 or k?
k
Let v(q) = -q**2 + 17*q - 17. Let j be v(16). Let c be -3*(27/(-12))/3. Let t = 2 - c. Is j < t?
True
Let x = -232 - -413. Let t = x + -177. Which is smaller: -25 or t?
-25
Let y(n) = n - 4. Let q be y(2). Let x be q/(18/33) - 1/(-3). Suppose -5*b - w = 2*w + 13, -2*b + 2*w = 2. Is x smaller than b?
True
Let n(t) = -t**2 - 29*t + 2. Let m be n(9). Let z be 1022/m - (7 + (7 - 17)). Which is greater: z or 1?
1
Let c(y) = 446*y - 526. Let a be c(-1). Which is smaller: a or -0.6?
a
Let i = 171 + -109. Suppose 2*p + i = 36. Which is smaller: p or -11?
p
Let f(y) be the first derivative of -2*y**3/3 - 2*y**2 - 3. Let q be f(-5). Let a be 16/120 - 86/q. Is 8 at most a?
False
Suppose y = 2*y - 24. Let h be (-3)/(-27) - 4*(-26)/36. Suppose h*n = -n + y. Are 8 and n non-equal?
True
Suppose 438 = 29*y - 490. Suppose -566 = 4*a + 5*n, -4*a - 572 = y*n - 30*n. Is a smaller than -146?
False
Let o = -78 + 91. Let j be 49/(-13) - (260/(-5))/o. Let q be (4/(-6))/((-2)/(-3)). Which is smaller: q or j?
q
Let u be 1/3 - (-55)/33. Su