o + 4*w + 104, 0 = 4*o - w + 3*w - 80. Which is greater: -1 or o?
o
Suppose 6 = 5*x - 3*q, -2 = -4*x + 5*q - 5. Let o be 3*(-1)/x*-32. Suppose 4*p + o = 4*h, 4*p + 5*h = 2*h - 46. Are -10 and p non-equal?
False
Suppose -6 = -3*z, -5*j - z + 2 = -0*z. Suppose 3*d - r = -8, j = -5*d - 3*r + 13 - 3. Let p be (2/62)/(d - (-16)/12). Is p >= 0?
True
Let s = 5605758147/15535 + -360847. Do s and -1 have the same value?
False
Let a be 2 + -4 + 4 + 4089/12. Is a < -1?
False
Suppose -3*j + 5 = 2*j - 5*a, 0 = -2*j - a + 5. Let n be (-1*580)/j - 6. Which is smaller: n or -295?
n
Suppose -102*z = -107*z + 120. Let j be (-5 + (-44)/(-4))*z/(-117). Let l(y) = -y**3 - 6*y**2 - 5*y - 2. Let x be l(-5). Is j at least as big as x?
True
Let d(w) = -w**2 + 30*w - 58. Let r be d(28). Let t be (6 + -9 - -4) + r. Does t = -6/101?
False
Let u = -3544 + 3498. Let p be (-9)/12*1/3. Which is greater: p or u?
p
Let j(g) = 2*g**2 - 33*g + 46. Let y be j(15). Let m(x) = -13*x + 14. Let t be m(y). Which is smaller: 1/352 or t?
1/352
Suppose 5*f - w = -3413, 3*f = -2*w + 456 - 2496. Let t = f - -976. Let h be 12/t + 0 + 0. Which is greater: h or -1?
h
Let k be (-16 - 1 - -15)*-6*(1 + 0). Which is greater: k or 381?
381
Let a be 4 + (-30)/8*64/(-48). Let b be (-6 - 336/(-60))*(a + 1). Which is greater: 0.048 or b?
0.048
Let v = -59314297/2733 + 21703. Which is smaller: v or -1?
-1
Let p(l) = -79 - 5*l - 5*l - 13*l + 8. Let j be p(-3). Does -0.1 = j?
False
Let v = -0.3 - -0.2. Let b be ((-1 - 2) + (-540)/(-170))/((-333)/(-1110)). Is v at most b?
True
Let v = -2.583 - 56.867. Let t = v + 37.42. Let w = -0.97 + t. Is w at most -1?
True
Let z(t) = 167*t**3 + 19*t**2 + 34*t. Let g be z(-2). Which is greater: g or -1325?
-1325
Let w = -9.9 + 111.9. Let g = -148 + w. Let n = -46.8 - g. Does n = -2?
False
Suppose 45*k - 572 = 34*k. Let h be 12*(6 - k/6). Let b(o) = -6*o - 4. Let w be b(5). Is h less than w?
False
Let x be (-41)/(-4) + ((-192)/40 - 16/(-20)). Let v = 8 - 5. Suppose -a = -v*a + 10. Which is smaller: x or a?
a
Let c(f) = -2*f**2 - 185*f - 1191. Let y be c(-118). Is -7208 greater than or equal to y?
True
Suppose 4*v = -c + 24, -c + 17 = 4*v - v. Let r = v + -12. Suppose 15*p + 30*p + 90 = 0. Which is greater: p or r?
p
Let n = -23739 - -94959/4. Let v(t) = -t**2 + 5*t + 1. Let w be v(5). Let o = w - -1. Is n > o?
False
Let f = -0.797 + 0.7647. Let z = -2.3677 + f. Is z >= -0.6?
False
Let h be (-1 - 5)/(-3) - (-416 - 13). Which is greater: h or 436?
436
Let n(j) = 8*j + 171. Suppose -3*w + 504 = -24*w. Let h be n(w). Let l = -2 + 3. Is l at least as big as h?
True
Let h = -0.6 - -4.6. Let a = 0 - h. Let u = -1657/21 - -550/7. Which is smaller: u or a?
a
Let u = -5.4 - 0.6. Let i = -24.2 - -77.2. Are u and i unequal?
True
Let b = 7594 + -7592.9644. Is -1 bigger than b?
False
Let g(c) = -c**3 + 17*c**2 - 15*c + 6. Let r be g(16). Suppose 6*o + 16 = r*o. Is -55 <= o?
True
Let j = -37.4 + 27.82. Let u = 0.42 - j. Are -7 and u equal?
False
Let k = -19629 - -569251/29. Is -31 smaller than k?
True
Let o be (-7 - -8)/(2/(92/1)). Let r = o - 46. Suppose 0 = 4*t + q - 8, t - 6 = -2*t - 4*q. Which is smaller: r or t?
r
Let g be 7/(-84)*(-184)/(-26841). Which is smaller: 1 or g?
g
Let o be 2 - 53*(-1)/1. Suppose 496 = -w + o. Let f be ((-7)/w)/(-1 + 2). Which is bigger: f or -1?
f
Suppose 1165 + 824 = -5*o + f, o + 375 = 4*f. Is -396 greater than o?
True
Let n be 1273/(-190)*(-1 - -3). Let x be -2 + 3 - (7 - 3). Let l be x/12 - 102/8. Do l and n have the same value?
False
Let v = -6759 - -7280. Does 521 = v?
True
Let h be 1/9*(-1650)/(-4300). Is 0 greater than h?
False
Let g = 187508 - 937387/5. Let w be (-62)/(-4)*-1*-2. Is w greater than g?
True
Suppose 3*o - 19 = 20. Let a be (1 - o)*(123 + 3 + -4). Let p be 4/10*(-240)/a. Which is smaller: 0 or p?
0
Suppose x = -o - 13, 3*o + o + 64 = 2*x. Let g = -2 - -1. Let l = g - -1. Are l and x unequal?
True
Let m(t) = -19*t**2 - 130*t + 13. Let x be m(-7). Let w(y) = -y**3 - 6*y**2 + 16*y - 1. Let d be w(x). Let c = 68616/91 - 754. Which is greater: d or c?
c
Let u = 39 - 55. Suppose 0 = -9*r + 14*r + 2*t, r - t = 7. Is r at least as big as u?
True
Let r = -4/5295 + 2123311/21180. Let m = r + -2799/28. Which is smaller: -3/170 or m?
-3/170
Let a = -781192875/6866 + 113777. Which is greater: -1 or a?
a
Let l = -4003 - -5733. Is 1732 > l?
True
Let u be (-54240)/(-168) - 13/(-91). Let s(h) = 162*h. Let y be s(2). Which is greater: u or y?
y
Let r(f) = 236*f + 1105. Let p be r(-6). Which is smaller: -310 or p?
p
Let a = 4.4 + -3. Let x be (-247)/(-325) - (-108)/(-675). Which is smaller: a or x?
x
Let w(f) be the first derivative of 5*f**2/2 - 29*f + 20. Let u be w(15). Suppose -5*y - u = -d + 112, y + 4*d + 19 = 0. Which is smaller: y or -28?
y
Let s(d) = -d**3 - 9*d**2 - 16*d + 1. Let l = 47 - 54. Let y be s(l). Suppose -4*u + y = 3*r, -2*r = -5 - 5. Is 4/59 smaller than u?
False
Let p(q) = q**2 - 7*q - 12. Let m be p(9). Let f be 13/((-2)/(-4)*(m + -4)). Suppose -16 = 4*s, 0 = 4*y - y + s - 35. Is y < f?
False
Let j be (-4)/((-80)/(-12)) - -1. Let z = 5.8 - -7.2. Let g = -48 + z. Is j less than g?
False
Suppose -9*r - 20 - 13 = -24. Is r equal to 1/221?
False
Let d = 442.041 - 442. Let n = d + 0.159. Do n and -42 have the same value?
False
Let d be 2/5 + (-951)/2365. Let v be 3 + (14 - 21) - -4. Does v = d?
False
Let v = -12 - -7. Let z = 10459 - 10439. Which is bigger: z or v?
z
Let z = -18609/2 + 9305. Are -5919 and z equal?
False
Suppose 0 = -p + 5*c + 196, 0 = -2*c + 4*c - 8. Let y = 148 - p. Do y and -68 have different values?
False
Suppose 5*u + 4*o - 218 = 0, -2*u = -2*o - 73 - 25. Let r(h) = h**3 - 45*h**2 - 43*h - 64. Let m be r(u). Is 74 at most m?
True
Let p(w) = -2497*w**2 - 55*w + 55. Let x be p(1). Which is bigger: x or -2496?
-2496
Let n = 0.02793 + -3288.02793. Is -0.1 at most n?
False
Let v be (-7550)/(-12) + (355/30 - 11). Is 630 <= v?
True
Let r be 1/(6*1*(-8)/612). Let o(x) = x**3 + 6*x**2 - 13. Let h be o(-6). Which is smaller: h or r?
h
Let c = -45.97 + -0.03. Let l = -170 - -126. Let g = l - c. Which is greater: -2 or g?
g
Let k = -11 + -361. Let j = 178 + k. Is j < -194?
False
Let l(i) = 2*i**2 - 10*i + 6. Let b be l(4). Let w be (-4)/(-3 + (b - 5)). Let j be 3/(-10)*(-16)/12. Are j and w equal?
True
Let c(q) be the first derivative of 3*q**4/4 - q**3/3 - q**2 + 2*q - 2. Let x be c(1). Suppose 5*b + 7 = -x*b. Which is smaller: b or -1/10?
b
Let n = -0.17 - -0.17. Suppose f + 2 = 4*u, -2*f - 3*u + 24 = f. Let i be (48/f)/(2/(-3)). Is i != n?
True
Let t = -778 - -553. Let r = 225 + t. Is r smaller than 77?
True
Let x = -133/880 + 5/44. Let t = 1279/2480 - -61/310. Let q = t - x. Which is greater: -1/2 or q?
q
Let z(t) = -6*t + 127. Let f = 128 + -107. Let o be z(f). Are 1/224 and o equal?
False
Let j(i) = 22*i + 3. Let c be j(5). Let n = 237/2 - c. Let y = -1706 - -1705.9. Which is bigger: n or y?
n
Let w = -0.0035 - 6.3965. Which is smaller: w or 0.05?
w
Let g = -20 - -27. Let d be 21/g + (1 - 2). Let o be d/(-10) - 909/(-45). Which is greater: 0 or o?
o
Let f(g) = -2*g**3 + 4*g**2 + 4. Suppose -5*w = -5*x + 6 - 21, 2*w - 5 = 3*x. Let j be f(w). Let y = -182/3 - j. Is y > 0?
False
Let k(g) = 60 - 5*g + 2*g - 6 - 4*g. Suppose -3*r = 4*u - 10 - 36, 4*r = 4*u - 32. Let w be k(u). Is -18 less than or equal to w?
True
Suppose -2316 = 3*r + r - 5*b, -3*r - 1737 = 5*b. Which is greater: r or -0.2?
-0.2
Suppose -15*w - 52*w + 6432 = 0. Which is bigger: 100 or w?
100
Suppose 17*a - 20*a + 18 = 0. Suppose 4*t + 2*t = -a*t. Suppose t = -d + 3*y - y - 62, 4*d + y = -293. Do d and -72 have the same value?
True
Let r be ((-2)/(-8))/(5/60). Suppose -r*s - 28 = -s + 2*x, -4*s = -4*x + 88. Let h be 16/3*(-459)/s. Which is greater: 135 or h?
h
Suppose 442 = 85*y - 68*y. Which is smaller: 244/9 or y?
y
Let q be 1/((21/(-3))/(-21)). Suppose 2*k = q*w - 12, 4*k + 16 = -k + 4*w. Which is smaller: 3/118 or k?
k
Suppose -2*d = 5*f - 75, 0 = 3*f + 2*d - 25 - 20. Let a be (-55)/44*(-6)/f*2. Is -4/17 > a?
False
Let w be ((-15)/(-6))/((2/(-2))/2). Let v be w/((-630)/(-304)) + (-4)/9. Suppose -2*o + 5*o = -12. Is v bigger than o?
True
Let b(x) = -x**2 - 1. Let y(z) = 2*z**2 + 5*z - 1. Let l(d) = -3*b(d) - y(d). Let n be l(4). Let k be ((-1)/(-5