5/12802. Let v(k) = k**3 + 9*k**2 - 7*k - 33. Let o be v(-10). Let i = o - y. Which is smaller: i or 1?
i
Let j(x) = -x**3 - 7*x**2 - x + 2. Let r be j(-7). Let g be (-15)/r - -4 - 4. Let m = g - -1. Is m less than -2?
False
Let f = -1058 - -2100. Is f less than or equal to -1/3?
False
Suppose -f + 283 - 437 = 0. Which is smaller: -157 or f?
-157
Let d be (4/22)/((-1)/4). Suppose 0 = -3*u - t, 4*u + 10 = 4*t - 2*t. Are d and u non-equal?
True
Let y = -69 + 81. Let s be ((-3)/(36/(-8)))/((-8)/y). Is s less than -4/11?
True
Let r be 12/72 + (-305)/(-6). Suppose 19*y - 22*y = -r. Which is bigger: y or 18?
18
Suppose 52*d + 4320 = 20*d. Is d >= -128?
False
Suppose -p - 4*a - 6 = -0*p, 2*a + 2 = 0. Let u be -1*(3/9 + p/6). Which is smaller: u or -10/3?
-10/3
Let o be 94 - 1/(-1) - (55 + -49). Is o >= 88?
True
Suppose 3*s + 13 = -y, 6*y + 2 = 2*s + 4*y. Which is smaller: s or -1/31?
s
Suppose 0*o + 9 = 3*o, -n + 16 = 5*o. Let g be ((-1)/(-3))/(n/6). Suppose -5 = -g*h + 3*h, 3*x - 4*h = 5. Which is smaller: x or -1/3?
x
Let x = 271 + -270. Let m be 1/3*-1 + 1. Which is smaller: x or m?
m
Let n be 4/(-72)*-274 + 2/(-9). Let o be (-20)/(-8)*3/n. Is -32 <= o?
True
Let f be (-24)/(10/7 - (1561/98 + -16)). Let g(s) = -3*s**2 - 3*s + 1. Let v be g(-3). Is v smaller than f?
True
Let x(y) = 3*y + 2. Suppose 3*u + u - 8 = 0. Let j be x(u). Suppose 0 = -4*h + 2*f - j, 0 = -5*h + 2*f + 3*f - 15. Which is smaller: h or 3?
h
Let w(v) = -v**2 + 8*v + 5. Let n be w(8). Suppose -u = 2 - n. Let o = 42 + -40. Is o less than u?
True
Let a = -111 + 113. Suppose -5*h + 5*s = -8*h - 9, 4*h + a*s - 2 = 0. Let o be ((-2)/3)/((-8)/18). Is o > h?
False
Let x(b) = 7*b + 67. Let m be x(-8). Which is greater: m or 8?
m
Let v be 102/36 - 1/(-6). Suppose v*s = -s + 20. Suppose 2*p + 27 = 6*p - 3*c, s*p + 2*c - 5 = 0. Which is greater: p or 2?
p
Suppose 103*b - 9 = 94*b. Is 5/49 <= b?
True
Let f be (1 - (-6)/(-7))/((-486)/(-567)). Which is greater: f or 1/4?
1/4
Let u(c) = c**2 - 13*c + 13. Let i be u(12). Suppose d + 12 = 5*r, i = 3*r - 4*d + 4. Suppose -a + 4 = p, -r*a - 36 = -2*p - 3*p. Are p and 5 equal?
False
Let f = -79 + 77. Let z = -11 + 15. Let d = z - 3.8. Which is smaller: d or f?
f
Let d = -3 + 2. Let h = -2 + d. Let l = 3.1 + h. Which is bigger: l or 9?
9
Let x = 15.7 - 35.4. Let y = 3.7 + x. Let t = y - -10. Is t greater than 0.2?
False
Suppose 30 = -3*p + 5*q, -p - 2*q + 21 = -4*p. Let d be ((-2)/4)/(11/(-2) - p). Are d and 2/49 nonequal?
True
Suppose -2*c + 6*c = -l - 124, -4*c + l - 132 = 0. Which is smaller: c or -20?
c
Let m = -29 + 42. Let g(i) = -2*i**2 + 36*i - 22. Let t = -144 + 161. Let r be g(t). Is m less than or equal to r?
False
Let a be 36/30 - 6/30. Let o = -0.032 - 0.01. Which is smaller: a or o?
o
Let k = 3207/1246 + -3/1246. Which is greater: 4 or k?
4
Let d = 4 - 10. Let x = 5 + d. Let n = 0 + x. Is 0.1 smaller than n?
False
Let r = 0.88 - 1. Let o = -932 + 932.62. Let n = r + o. Is n at least as big as -1?
True
Let o be ((-10)/(-4))/(7 + 129/(-18)). Is -4/3 equal to o?
False
Let u be 2/((-13)/(533/20)) + 4. Which is smaller: -1/268 or u?
u
Let l = 6072720/511 - 11884. Which is bigger: -1 or l?
l
Suppose -7*a - 127 = -8*a - 4*v, -5*a + v = -740. Which is bigger: 148 or a?
148
Let h(d) be the third derivative of d**6/120 - 11*d**5/30 + 5*d**4/6 + 9*d**3/2 - 7*d**2. Let y be h(21). Suppose -y*x + 19 + 23 = 0. Is 2 at most x?
True
Let u be (9 - 1)*(-2)/(24/(-33)). Suppose -r + m + 8 = 4, 0 = 4*r - m - u. Which is bigger: r or 9?
9
Suppose 2*u = 4*u + 4. Let r be (u - 0)*(-9)/6. Suppose -l + 15 = 10*j - 15*j, -l - 2*j = -1. Which is smaller: l or r?
r
Let i = -135 + 126. Let r be (-194)/(-18) - (-4)/18. Let u = r + i. Which is bigger: u or 1?
u
Let n = -60 + 66. Let o be 8/n*(-15)/10. Which is bigger: o or 3?
3
Let s = -2 + -1. Let g = 0 - s. Let w(z) = 30*z - 209. Let f be w(7). Does f = g?
False
Let f be ((-149)/(-38) + -4)/(6/(-36)). Which is bigger: f or -1?
f
Let a(j) = j**3 - j**2 + j + 2. Let l be a(0). Is l greater than or equal to 24/17?
True
Suppose 654 = -2*a - 4*u, 4*a + 711 = 2*u - 647. Which is bigger: a or -335?
-335
Suppose a - 3*a = -2*v - 4, -10 = -3*v - 5*a. Let h be ((-2)/(-4)*2)/(12 + -13). Let m be (h/(-2))/((-1 - -3)/20). Is v <= m?
True
Let z be 1/2 - (4 + 4/6). Is z >= -4?
False
Let b(x) = x**2 - 4*x + 2. Let d be b(4). Let t(a) = 2*a + 15. Let v be t(-6). Suppose 2*o + 2 = v*o. Is o less than d?
False
Let q be (5 + (0 - 1))*-4. Let r be (171/38 - 4)*(-34 - (0 - 0)). Which is smaller: r or q?
r
Let g be 25/(-10) + 2 + 19/6. Suppose -o + 20 = 3*c, 2*o - 3*c + 7*c - 34 = 0. Let x = -10 + o. Is g smaller than x?
False
Let n(c) = 5*c**2 - c + 12. Let f be n(4). Let u = f + -79. Which is smaller: 8 or u?
8
Let p be 7*3/2*-2. Let v = p + 5. Is -31/2 < v?
False
Let h be (-5)/10*-5*(-16)/20. Let w be (-1)/(-3) - 17/15. Is h at most as big as w?
True
Let s = -7.26 + 344.26. Is s bigger than 1/2?
True
Suppose -2*d - 2*d = -q - 6, 2*q = -4*d + 36. Let r be 4 + -6 - 586/q. Let v = 61 + r. Is -1/3 greater than or equal to v?
False
Let p = 689 - 623. Is 389/6 <= p?
True
Let h = -11 - -6. Let b = 5 + h. Let k = -0.4 + b. Which is smaller: -2 or k?
-2
Suppose 5*u = j - 21, 0*u + 5 = j + 3*u. Suppose 4 = 2*p + 5*w - j, -5*w = -3*p - 15. Which is smaller: p or -1/12?
-1/12
Suppose -495*z + 515*z = -720. Suppose -d + 0*n - n = 41, -53 = d + 5*n. Which is smaller: d or z?
d
Let z be -127 - 8*-4*(-4)/64. Which is bigger: z or -131?
z
Let f be (18/(-33))/(-3) - 20/(-11). Suppose 16*a - 1422 = -f*a. Is 79 smaller than a?
False
Let w be 1/(15/54)*405/(-243). Suppose -4*y + 0*y - 8 = 0. Let k be y/(-6) - (-66)/(-9). Which is smaller: k or w?
k
Suppose 6*c + 2 = 14. Suppose c*h - 20 = -3*h. Is h <= 3?
False
Let p = 368 - 213. Do p and 1 have the same value?
False
Suppose 0 = 6*y - 39 + 9. Suppose y*h - 114 = 101. Is h < 43?
False
Let j be 3157/91 + 14/(-2). Is 27 < j?
True
Let r(y) = 25*y**2 + 12*y - 159. Let p be r(6). Which is smaller: p or -1?
-1
Let g be 7 - ((-2 - -3) + 0). Suppose 4*n = n + 5*h + 15, 5*h = -3*n - 15. Suppose n = -6*y + 4*y - g. Is -3 > y?
False
Let l = 44 - 45. Which is greater: l or -5/4?
l
Suppose a + 2 - 1 = o, -2*o - 4*a + 2 = 0. Let k(h) = -6*h + 2*h**3 - 14*h**2 - o - 3*h**3 - 4*h + 4*h**2. Let v be k(-9). Which is greater: v or 7?
v
Suppose 3 + 14 = -2*d - 5*q, 12 = 3*d - 5*q. Which is smaller: 705 or d?
d
Let g be (-6)/4*(9380/(-21))/10. Let r = 71 - g. Which is smaller: r or -2/7?
-2/7
Suppose h + 3*z = -h + 1, h + 1 = -z. Let t be (-2 - 0)/h*-2. Which is greater: 2/31 or t?
2/31
Let q be (-3)/(-12) + 21/28. Which is bigger: q or 5?
5
Let z be (252/49)/((-26)/(-91)). Which is greater: 1/35 or z?
z
Let d = -681 - -172. Is -509 at least as big as d?
True
Let u(x) = 11*x**2 - 3*x + 1. Let l be u(1). Let h = 11 - l. Which is smaller: h or 6/11?
6/11
Let r be 504/10 - (-2)/(-5). Let i = r - 80. Let m be (-12)/i*-5*5. Is -9 at least m?
True
Suppose -40 = 5*w - 110. Let o(g) = -4*g + 2. Let b be o(-3). Let s = b - w. Which is greater: s or -2?
s
Suppose -4*b + 3*b = 6. Let v = b + 4. Let q be (2 + (-3 - 0))*v. Which is greater: 3 or q?
3
Let k(f) = f + 107. Let b be k(-16). Which is bigger: 92 or b?
92
Let f = 0.4 + -0.08. Let s = 0.22 - f. Which is smaller: 13 or s?
s
Suppose -3*d - 2*r = -2 - 45, 0 = 2*d - 4*r - 26. Suppose -14*s = -d*s. Suppose 0 = 4*b - 4*u - 20, 10 = b + 4*u - s*u. Which is smaller: 23/5 or b?
23/5
Let k(a) = a**3 - 20*a**2 + 24*a - 61. Let p be k(19). Which is bigger: 98/3 or p?
p
Let s = 0.0415 + 0.1285. Are s and 6/11 non-equal?
True
Let v(i) = 4*i - 8. Let m be v(4). Suppose -22*o = -17*o - 50. Let h be -1*o/15*-1. Which is smaller: m or h?
h
Let o = -86.2 + 62. Let f = -29 - -7. Let z = o - f. Does 1 = z?
False
Let y(g) = -g**3 - 3*g**2 + g - 9. Let d be y(-4). Suppose 3*s = -d*n - 171, n = s + 4*s + 267. Is s greater than -54?
False
Let p = -6 - -18. Let l = -13 + p. Is -0.01 greater than l?
True
Let d be (3 - 4) + (-4)/(-2). Let x = 1115 - 112613/101. Is d >= x?
True
Suppose 0 = -3*m - 5*i - 119, 4*m - 5*i = 3*m - 13. Let t be (-3 - -4)*(-693)/21. Do t and m have the same value?
True
Let s = -133 - -123.7. Let z = s + 1.3. Let q = -9 - z. Are q and 2 non-equal?
True
Let z be (-36)/(-2)*(-5)/(-10