lues?
True
Let r be 1/(-2) - (-13)/14. Let o(d) = d**2 + 4*d - 119. Let c be o(-13). Let y(p) = -p**3 - 5*p**2 - 5*p. Let q be y(c). Which is bigger: r or q?
r
Let a(q) = 2*q**2 - 2*q - 2. Let o be a(2). Suppose 27*x + 128 = 59*x. Suppose 3*v + x = n, -4*v = o*n - 2 + 4. Is 1/67 equal to v?
False
Suppose 4*x + 16 + 152 = 4*a, 2*x + 3*a = -79. Let o = x - -44. Suppose 2*d - 4*f - 12 = 0, 0 = -3*d - 5*f - o - 1. Is d equal to -3?
False
Let v = 28.453 - 4.491. Let c = v - 24. Let s = 4.962 - c. Which is smaller: -0.2 or s?
-0.2
Suppose -23*s = -1720 + 12438. Is s equal to 4?
False
Let w = -0.083 - -33.083. Let l = -37.933 - 0.067. Let o = l + w. Which is greater: o or -1/6?
-1/6
Let c = 31.9 + -2.9. Let x = c + -28. Let w be 22/48 + 2/(-16). Is x greater than or equal to w?
True
Let g(o) = -o - 11. Let s be g(-15). Suppose 5*c - c - 61 = -3*l, -2*l - s*c = -42. Suppose q - 12 = m, q + q - 3*m - l = 0. Which is greater: q or 16?
q
Let t = 3.125 - -0.875. Which is greater: -209 or t?
t
Let i(k) = -k**2 - 9*k - 17. Let y be i(-8). Let c be (4 + (-22)/6)/(1/y). Let b = -78 - c. Which is bigger: b or -76?
b
Let m = 78 - 80.5. Let l = 3.5 - 1. Let y = l - 2.5. Which is smaller: y or m?
m
Let x be 6 + ((-52)/39 - 7495/15). Which is greater: -503 or x?
x
Let w = 20292262/279 + -72732. Which is smaller: w or 1?
w
Let x(q) = 7*q + 26. Let t be x(-3). Suppose 7*r + t + 9 = 0. Let w = -3 + 2. Is w smaller than r?
False
Let b(p) = -p**2 - 9*p - 9. Let j be b(-7). Suppose -10 + 2 = o + 2*r, -j*o - 16 = 4*r. Suppose 7*v - 3*v = o. Is -2/13 != v?
True
Let j = -594 - -1403. Let g be j/(-10) - (-2)/5. Let f = -2419/30 - g. Is 0 at least as big as f?
True
Let j be 1*12/(-20) + 8/(-20). Let d = j - -2. Let l = -22829/11 - -2077. Which is smaller: l or d?
d
Let b = -19995 + 19996. Let c(q) = -q**2 - 2*q + 3. Let o be c(-3). Do b and o have the same value?
False
Let z = 91768/504603 + -2/45873. Is z greater than -90?
True
Let r = -24.9 - 40.1. Let z = 64.9 + r. Which is smaller: 8/11 or z?
z
Suppose 5*w - 2*c = 2*w - 28, -1 = -4*w - 5*c. Let b(g) = -g**2 + 2*g. Let x be b(-2). Let v = -15 - x. Which is greater: w or v?
w
Let z = -2 + 9. Let w be 4*(8 + 0/5). Suppose 0 = -8*q + w + 8. Is q less than or equal to z?
True
Let g = 14 + -10. Let j(o) = -o**3 + 89*o**2 - 501*o + 227. Let h be j(83). Is h < g?
True
Suppose 4*r - 121 = 5*x, -4 = 2*r - 3*r - 4*x. Suppose 26*b - r*b = -4. Is 4 at least as big as b?
True
Let x be 100/(-40)*(-8)/(-75890). Is -1 <= x?
True
Let d = 0.072 - -0.04. Let p = d - 0.112. Let n = 3.5 + -3. Is p bigger than n?
False
Let v = 45 - 57. Let c be (3 + (-3611)/(-15))/(v/(-20)). Let w = -407 + c. Does 0 = w?
False
Let c = 467 + -676. Let r = 213 + c. Is r not equal to 2/43?
True
Suppose -164*v = -332*v + 141*v - 891. Is -574 at most v?
True
Let g(x) = -x - 2 + 1 + 9 + 6. Let p be g(10). Suppose -2*f - p*v = -1 + 3, 4*f - v = -4. Which is bigger: -9/5 or f?
f
Let h = 14 + -19. Let f(l) = -3*l**3 + 15*l**2 + 7*l + 10. Let k(y) = y**3 - 7*y**2 - 3*y - 5. Let p(g) = -2*f(g) - 5*k(g). Let i be p(h). Is 2/29 less than i?
False
Suppose -11*r - 2832 - 2499 = 2028. Which is bigger: r or -668?
-668
Let y(p) be the second derivative of p**6/720 + p**5/120 - 11*p**4/12 + 16*p. Let k(a) be the third derivative of y(a). Let g be k(-2). Is g equal to -2/55?
False
Let f(y) = 3*y + 15. Let s be f(-6). Let u be (-5 - (-9)/s)/((-10)/(-40)). Let a be (6/2 - 2)*-33. Do a and u have the same value?
False
Let l be 1*((-35)/(-7) + -12 + 797). Which is smaller: l or 789?
789
Suppose -258 = 2*s - 5*s + 4*g, 369 = 4*s + 3*g. Suppose 13*k + 66 = -s. Let r be k/(-6*3/(-27)). Is r at most 1?
True
Suppose 5*v = 2*m - 1292, -661 = -m - 190*v + 185*v. Is 648 smaller than m?
True
Let n be 555/(-45) - 4/(-12). Let z be 10/n - 98/84. Which is bigger: -10/17 or z?
-10/17
Suppose 0 = 5023*c - 5028*c - 520. Is c > -514/5?
False
Let q = 243 + -76. Let k = q - 96. Let i = k + -61. Is 1/4 greater than i?
False
Let o = -7695 - -7697. Let g = -161 - -24. Which is bigger: o or g?
o
Let y = 2 - 2. Let p = -574/21835 + -4/397. Which is bigger: p or y?
y
Suppose 0 = o - 4*u - 18, 4*o + u + 12 = 16. Let h be (-344)/774 - o/(-18). Is 3/7 not equal to h?
True
Let g = 17879/9570 - 38/165. Which is bigger: g or 3?
3
Let u be (44880/13365)/(2/(-3)). Does -4 = u?
False
Suppose -399 + 393 = 6*z. Let k be 0/(-2) - 1/(-27). Which is bigger: k or z?
k
Let m(d) = d**3 - 10*d**2 - 8*d + 8. Let g be m(10). Let j be (-12)/(-54) + 178/g. Let c = 59 - 61. Is j at least as big as c?
False
Let m be (-4)/374*9/3. Suppose 0 = 5*y - 13*v + 9*v - 20, 2*y - 4*v - 20 = 0. Which is greater: y or m?
y
Let u = -0.44 - 24.56. Let o = 4.14 - 37.14. Let t = o - u. Which is greater: t or -1?
-1
Let x(m) = 6*m - 17. Let c(r) = 13*r - 34. Let q(d) = 2*c(d) - 5*x(d). Let a be (16 + -17)*11 - -15. Let s be q(a). Is s > -1/51?
True
Suppose -l - 33448 = -8*q, q - 126061 - 41491 = 5*l. Is l less than or equal to -33513?
False
Let l(f) = -65*f**3 - 2*f**2 + f. Let h be l(1). Let g = -74 - h. Let m be 1 - g/16*(-4 + 0). Are -1/94 and m equal?
False
Let p = -1358 + 1357. Let o = -8/1623 + -6/71953. Which is smaller: p or o?
p
Let o = -2926 - -2925.701. Which is smaller: -5 or o?
-5
Suppose 11 = 3*q - 0*q + 4*k, -4 = 4*q - 4*k. Let p(r) = 2*r**2 - r + 7. Let m be p(3). Let x be -9 + 8 + 24/m. Is x >= q?
False
Suppose 26*n = 9618 - 1922. Let f = n + -284. Suppose -3*k = -39 + 3. Do k and f have different values?
False
Let c = 48919 + -48919.8. Is 0.0094 at most as big as c?
False
Let p(z) = 193*z - 1115. Let v be p(6). Is v bigger than 44?
False
Let t(w) = -w**2 + w + 9. Suppose -17 = q - 14. Let x be t(q). Is 10 < x?
False
Let g = 471 + 1204. Let k be g/15 - (-1)/3*1. Suppose 2*z + 0*z - 329 = -3*c, 0 = -2*c - z + 220. Which is smaller: k or c?
c
Let a = -10708 - -8625. Is a greater than -2083?
False
Let v = 11363320 - 15942737303/1403. Let r = v + -10/61. Which is smaller: 2 or r?
r
Let l be (65/35 + -4)*(2632/(-20) - 5). Which is smaller: 292 or l?
292
Let o = -11869.1 + 11869. Is 3080 greater than o?
True
Let m be (-3 + -30)/1 + (-6)/(-3). Let c = -94 + 62. Which is bigger: c or m?
m
Let h = 862 - 607. Suppose 5 = -h*n + 260*n. Is n at least as big as -3/2?
True
Let v be 2/22 + 15/2310*4298. Which is smaller: v or 9/19?
9/19
Suppose -q = 3*q. Let i be ((-4982)/(-6))/1 + (-76)/(-114). Let p = 13301/16 - i. Which is smaller: p or q?
q
Suppose -3*v - 2*h = 6, 2*v + 6 = -v - 3*h. Are -0.1135 and v non-equal?
True
Let d = 43/2 - 2369/110. Suppose -11 - 14 = -5*i, 3*i - 15 = -3*y. Does y = d?
False
Let x(y) = -17*y. Let i be x(1). Let o = 21 + i. Suppose o*w - 5*j + 5 = 5*w, -w + 3 = 3*j. Which is smaller: 2/103 or w?
w
Let v(x) = -2*x**2 - 32*x - 12. Let s be v(-21). Let u = 220 + s. Is u at least as big as -16/19?
False
Suppose 5*o + 7 = 5*l - 8, o + 3*l = -23. Let z = o + 16. Suppose 0 = y - 2*y - 4*v + z, -2*v - 24 = 4*y. Is y equal to 0.3?
False
Let r = 20 + -36. Let n be (1 + 1)/(70/(-595)). Is n at most r?
True
Suppose 2 = 5*u - 3, -3*s - 5*u = -5. Suppose 2*o = -s*o + 4*o. Let t be (-2)/(-7)*2/(-4). Which is bigger: o or t?
o
Let i = 258399/4 + -64265. Which is greater: i or 335?
335
Let x be (-2)/(-4) + (-1974)/(-84). Let j be 172/345 + x/(-48). Which is bigger: j or 0?
0
Suppose -9*h + 14*h - 5*y + 20130 = 0, 0 = 4*h + 3*y + 16069. Which is bigger: -4022 or h?
h
Let q(n) = -2*n**2 - 16*n - 15. Let v(j) = 4*j + 49. Let o be v(-14). Let t be q(o). Is t greater than or equal to -1/2?
False
Suppose -a = -2*w + 3 + 1, 2*w = 5*a - 12. Suppose -12 = 2*l + a*m, 5*l + 7 = -m + 4. Which is smaller: 2/263 or l?
l
Let q be 1*11 + (71610/(-2240) - (-17 + -4)). Suppose 0 = 2*l + 9 - 1, 5*p - 2*l = 8. Is q != p?
True
Let i(l) = -5*l - 3. Let h be i(-6). Suppose -s = -5 + h. Let p be 3/18 + 3 + 151/(-6). Is s less than p?
False
Let q(b) = -14*b - 34. Let w be q(-14). Let r = -128 + 290. Is w >= r?
True
Suppose 4*i = -20, -42*h - 3*i = -41*h + 15. Which is smaller: -32 or h?
-32
Let h(m) = 20*m + 721. Let k be h(35). Which is bigger: 1420 or k?
k
Let l be 3927/714 - (-2650)/4. Is l > 664?
True
Let t(k) = k**2 + 29*k + 187. Let p be t(-28). Are -1 and p non-equal?
True
Let r = 3143369/1456 - 15114/7. Is r greater than 1?
False
Let l(w) = 18*w