ller: g or 16?
g
Let o = -0.00505 + -13.99495. Which is smaller: o or -43?
-43
Let u(q) = -360*q**2 - 46*q - 363*q**2 + 728*q**2 - 44. Let j be u(10). Which is smaller: 29 or j?
j
Let r be -2 + (-272864)/(-110276) + 0. Let s = r + -1/1451. Suppose -12*y + 28*y = -9*y. Which is greater: s or y?
s
Let r(t) = -271*t + 248. Let o be r(1). Is o at most -3/5?
True
Let m be ((-54)/(-168))/(-1*60/(-1156)). Let a = -43/7 + m. Which is bigger: 0 or a?
a
Let k = 6 + -7. Let n be 9 - (-1 + 3)/(-2). Let o be ((-8)/n)/(78/30). Which is smaller: k or o?
k
Suppose d - 5*a + 39 = 2*d, d + 3*a = 49. Let m = 443 + d. Is m equal to 506?
False
Suppose -3*o = 2 - 11. Suppose -1 - 8 = -o*x. Let p = 14 + -12. Is x greater than p?
True
Suppose 0 = -129*b + 75*b. Let f = 2195/77 + -204/7. Is f < b?
True
Let w = 181 + -161. Suppose -189 = w*n + 171. Suppose 0 = -4*d - 57 - 15. Do n and d have the same value?
True
Let n = -436 - -434. Let g be ((496/(-6))/n)/((-8)/12). Are -59 and g unequal?
True
Let z(w) = w**2 + 329*w + 4107. Let x be z(-13). Is 1/7506 > x?
True
Let o(l) = 112*l**2 + 27*l - 26*l - 49 - 108*l**2. Let n be o(8). Is n less than 214?
False
Let y = -16 - -37. Let v(n) = -n + 28. Let o(x) = -x + 27. Let d(u) = 5*o(u) - 4*v(u). Let c be d(y). Which is smaller: 9/8 or c?
9/8
Suppose -5*c + 8*c - j = -140, -50 = c - j. Let q be 3 + -3 + c + 1. Which is bigger: q or -5?
-5
Let c = -239.98 - -242. Let i = c + -3.02. Is i smaller than -1?
False
Let h be 1 - (-6)/(-3129282)*529891. Let t be (4/(-4976))/((-26)/16). Let w = t + h. Is -1 greater than or equal to w?
False
Let i(g) = 13*g + 3. Let s be i(-3). Let v(f) be the third derivative of -f**4/24 - 25*f**3/3 - 23*f**2. Let b be v(-15). Which is bigger: b or s?
b
Let i = 1643/172 + 4087259/1204. Are i and 3404 unequal?
True
Let u(z) = -z**2 - 5*z + 6. Let m be u(9). Let d be 44*4/(0 + m). Let t be ((-6)/(-45)*3)/((-19)/95). Is d > t?
True
Let p(b) = 2302*b - 10803. Let s be p(7). Which is smaller: s or 0.1?
0.1
Let s = -541 + 298. Let y = s + 243.06. Which is bigger: 9 or y?
9
Let c(b) = -b**3 + 5*b**2 + 3*b - 14. Let r be c(5). Suppose w = -j - j - r, 2*w = -3*j. Which is greater: w or -17?
w
Suppose 0 = u + k - 11, 4*u + 5*k - 55 = -6. Suppose u*s - 3*s = 0. Let x = 38272/184701 - 2/6369. Is x less than or equal to s?
False
Let y = 4 - 3. Let t = 16.9729 - 0.4729. Which is greater: t or y?
t
Let m = -0.0137 + 0.1737. Let t = 116 + -1046/9. Is m smaller than t?
False
Let b(r) = r**2 + 3*r + 10. Let c(z) = 2*z**2 + 5*z + 21. Let i(g) = -5*b(g) + 2*c(g). Let u be i(-5). Let l be u/(-10)*540/132. Which is bigger: 2 or l?
l
Let z be ((-1)/9)/(-2 + 0). Suppose -2*b - 17*n = -22*n - 5, -2 = 3*b + 2*n. Suppose 4*t - l + 7 = b, -4*t - l + 6*l - 19 = 0. Is z bigger than t?
True
Suppose 50 = -x + 11*x. Suppose -x*r - 2*r = -434. Let u = r + -68. Is u at least as big as -0.6?
False
Let r(l) = 25*l**3 + 5*l**2 + l. Let w(n) = n**3 + 21*n**2 + n + 20. Let v be w(-21). Let m be r(v). Is -22 not equal to m?
True
Suppose 4*g + 11 = -1. Let j = -1661/4 - -413. Is g >= j?
False
Let u = 2094.9 + -2095. Let j = -81808/45695 - -2/2405. Let q = -1606/855 - j. Are u and q unequal?
True
Let f = -32984 + 33159. Which is smaller: 1 or f?
1
Let w = 528 - 635. Is w equal to -1?
False
Suppose 3*u = -z - 2*z - 2208, -4*z - 2874 = -6*u. Suppose 5*r - 2*r + 2184 = 0. Which is smaller: r or z?
z
Let y be ((-6)/(-8))/((-9)/6)*24. Let v be (6 + -5)/(-1 - 10/y). Let o be (6/(-45))/((-2)/v). Is -0.09 >= o?
True
Let f = 145105 + -5670558297/39079. Which is smaller: f or -1?
-1
Let z be (-114)/608*51/(-144). Which is bigger: 0 or z?
z
Let x = 3015 + -2812. Do x and 200 have different values?
True
Suppose 0 = 4*q - 2*x - 8, 22*q = 18*q - 2*x - 16. Suppose 6*s - 2*s = 3*l - 21, -3*l + 5*s + 24 = 0. Let g be (6/88)/(l/(-14)). Is g < q?
False
Let v be (-3)/2*((-544)/3060)/(2/(-5)). Which is greater: v or -828?
v
Let k = 350473/73489 - -1/5653. Let j = 3583/754 - k. Suppose -2*i - 2*i = 0. Is i equal to j?
False
Let j be -9 + 3*-893 + (-96)/8. Which is greater: j or -2703?
j
Let n be (-210)/(-72) + 4/16. Let l = -296/93 + n. Is 0 at most l?
False
Suppose 5*k = -61 + 21. Let d(f) = -f - 16. Let p be d(k). Suppose 2*t + 24 = 15*x - 17*x, 5*x - t = -30. Which is bigger: p or x?
x
Let q(c) = -4*c + 52. Let b(m) = -m + 26. Let r(i) = -5*b(i) + 2*q(i). Let u be r(-16). Which is greater: 23 or u?
23
Suppose -i = 4*h - 1, 2*h = -10*i + 7*i + 13. Is -31/5 > i?
False
Let i = 613 - 4357/7. Suppose -13*w = -12*w + 24. Let a = w + 14. Which is bigger: a or i?
i
Suppose -5*h = 5*n - 115, -6*n + 3*n = h - 59. Let r(l) = l**3 + 14*l**2 - 22*l - 1. Let v be (-1 - 3)*1/(-2). Let i be r(v). Is i < n?
False
Let d = 58/17 - 1416/425. Let f = 136 + -135.6. Are d and f unequal?
True
Let v(i) = i**2 - 12*i + 28. Let a be v(8). Let p(c) = 3*c**2 - 19*c - 58. Let n be p(a). Is n greater than 65?
True
Suppose 4*s - 3376 = g, -5*g + 2687 = 4*s - 665. Is s less than -2?
False
Let i = 339 + -848. Is i less than -515?
False
Let r = 1000703/300 - -43/75. Let h = r - 3363. Let t = h - -27. Which is smaller: t or -10/3?
-10/3
Suppose -4*k - 515*n = -514*n + 4721, 2377 = -2*k + 5*n. Is -1182 <= k?
True
Let c = 188 + -62. Let g = -128 + c. Let z = 3 + -6. Is z less than g?
True
Let i = -33993/1641458 + 17/754. Is 1 less than or equal to i?
False
Suppose -5*d + 21158 = -4*t, -3*t - 4037 = -4*d + 12890. Is 0.1 at most as big as d?
True
Let x be 3*(-65356)/20*20/(-30). Let w = -6681 + x. Which is smaller: -145 or w?
w
Suppose 3*m + 388 = -4*s, -2*m = 21 - 13. Which is smaller: 11 or s?
s
Let q be (-1)/2*138/115161. Which is greater: q or -1?
q
Suppose 0 = -d + 2, -4*f + 4*d + 22 = 9*d. Suppose -2*p = 4*t + 196, 34*t - 32*t + 102 = -f*p. Are t and -48 nonequal?
False
Suppose a - 12 = -3*y, 13*a = 14*a + 4*y - 16. Let x be ((-4)/2)/(-2) + -3. Let n be x/(-3)*3/7. Which is greater: n or a?
n
Let f = 186648001319 - 30209725605595737/161854. Let d = 2/7357 - f. Which is bigger: d or 2?
2
Let d = 1/2476 + 309/1238. Is d >= 37.98?
False
Suppose 0 = -5*p + 20, 0 = b + 4*p + p - 41. Let j(g) = -g**3 + 20 + 7*g - b - 2*g. Let w be j(2). Are -2/167 and w nonequal?
True
Let z be (-42 + 44)/(1 - 0). Let d be 14/z + (-1 - 1) + 4. Which is greater: 22 or d?
22
Let o = -14250 - -14249.9. Suppose -x + 0*x - 33 = -w, 18 = w + 4*x. Which is smaller: o or w?
o
Suppose 82 = -21*m - 2. Let a be m/54 - 580/(-540). Is 7/81 at most a?
True
Let r be (60/14)/((-51423)/(-9835)). Which is bigger: r or 2?
2
Let v(x) be the third derivative of x**6/40 + 11*x**5/60 + x**4/2 + x**3 + 77*x**2. Let s be v(-5). Is s at least -153?
False
Let z be (2 + 1 + -4)*-1 - -76. Let g be ((-65)/21 + 3)/(1221/z). Which is smaller: 1 or g?
g
Let f(k) = -13*k**2 - 7*k + 5. Let x be f(2). Let o = x - -55. Let g be o*(-1 - 3/(-6)). Is g greater than -3/5?
True
Let l be (-5 + 7)*((74/20 - 2) + -2). Which is greater: l or -0.0717?
-0.0717
Let t = -5059 + 318733/63. Is t at most as big as 0?
False
Suppose 39 = -3*d + 279. Suppose 530 + 442 = -12*p. Let a = d + p. Which is smaller: a or -10?
-10
Let n be 35 - 33 - 2/((-800)/(-806)). Let z = n + 1177/11800. Is z > 1?
False
Let m = 64 + -159. Suppose -51*t - 68*t - 11067 = 0. Which is smaller: m or t?
m
Let u = 264 - 205. Let y = u - 55. Is y less than 1?
False
Let k = -0.0275 - 0.0725. Let l(o) = -3 + 8*o - 21*o + o**3 + 7*o + 4*o**2. Let g be l(-4). Which is smaller: k or g?
k
Let h = 0.595 + -0.68. Let u = -0.045 + h. Which is smaller: 0.2 or u?
u
Suppose 9*p = 13*p. Suppose p = 11*r - 9*r + 16. Let v = r - 7. Are -15 and v equal?
True
Suppose -7*i + 8*i - 21 = 0. Suppose i*m - 18*m = 0. Is m greater than or equal to 7.8?
False
Suppose 18*b - 41 - 49 = 0. Suppose 19*q - 10920 = -b*q. Which is smaller: q or 456?
q
Let c(u) = -284*u - 4773. Let o be c(-44). Is o less than 0?
False
Let g(r) = 2*r**3 + 29*r**2 - 55*r - 112. Let l be g(-16). Which is greater: l or 18/659?
18/659
Suppose -13*x = -0*x - 39. Let w be (-2)/(-3) - 14/21. Suppose 2*m - 5*h - 35 = 0, -x*m = -w*h + h - 27. Which is bigger: 4 or m?
m
Let q(g) = -165*g + 288. Let b be q(1). Which is smaller: b or 9/5?
9/5
Let i be (65*4/16)/5. Let k = -6133/12 + 512. Let t = i + k. Is 3 at most as big as t?
True
Let f be (-2)/(-6) + (-2033)/