61/(-30) + 2). Let l be d*(-10)/(-25) + -5. Let h be ((-242)/232 - l)*4/(-10). Is h less than or equal to -1?
False
Let p = -4.37166 - -0.37166. Are p and 13/240 nonequal?
True
Let a be (92692/(-25))/(676/130). Let s = -713 - a. Which is smaller: s or -1?
-1
Let q(z) = -24*z - 197. Let f be q(-8). Let k(j) = 15*j + 14. Let m be k(f). Let n = -119 + 57. Is n at least as big as m?
False
Let g = 154/43 + -12673/645. Is 0.1 greater than or equal to g?
True
Suppose -46*v + 2040 = 25*v - 56*v. Which is smaller: 1919/14 or v?
v
Let t = -0.0726 - -0.0726. Is t greater than 8352?
False
Let r = 599 - 599. Which is smaller: r or -6/2419?
-6/2419
Suppose -5*d - 20 = 0, -2216 = -4*k - 0*d - 4*d. Let p = k + -5035/9. Which is greater: p or -2?
p
Let j = 23156 + -70393/3. Let u = j + 29615/96. Are -1 and u equal?
False
Let o(z) = 1285*z**3 - 30*z - 29. Let y be o(-1). Which is greater: -3851/3 or y?
-3851/3
Let t be (-6)/422*(1144/228 - 5). Which is smaller: 1 or t?
t
Let s be (-1)/3*(-2)/1. Let x = 250 + -931. Let y = x - -622. Which is smaller: s or y?
y
Let t be (-2640)/(-110)*((-10)/4 - -2). Is t greater than -194?
True
Let f(y) = -31*y**2 - 2 - 2 + 0 + 2 + y. Let v be f(1). Which is smaller: v or -31?
v
Let y = 64 + -104. Let k be (6/1395)/(4/y). Which is smaller: k or -1/2?
-1/2
Let f(b) = b**3 + 3*b**2 + 5*b + 18. Let v be f(-4). Let k be (v/12)/(2/164). Let o = -87 - k. Which is greater: 34 or o?
o
Let f(u) = u**3 + 49*u**2 - 99*u - 47. Let p(w) = -w - 1. Let h(j) = -f(j) - 3*p(j). Let b be h(-51). Is b < 50?
False
Let z(p) = -p**3 - 2*p**2 - 89. Suppose -y - 4*i = 8, 0*y = 5*y + 2*i + 4. Let t be z(y). Is t at least as big as -91?
True
Let a = 4819 + -62119/13. Do a and 40 have the same value?
False
Let n = 1214/11 - 116041/1034. Which is greater: -1 or n?
-1
Let t(r) = -2*r**3 - 4*r**2 - 16*r + 8. Let s be t(-12). Let p be ((-14)/(-8) + -1)/((-55)/s). Which is smaller: p or -0.1?
p
Let x(n) = -n**3 + 5*n**2 - n - 5. Let u be x(4). Suppose q = -u + 11. Suppose -3*m + m + c - 3 = 0, -2*m = -q*c + 6. Which is bigger: 2/3 or m?
2/3
Let j = 297 + -247. Let g = 52 - j. Which is smaller: g or -49?
-49
Suppose 0 = 5*j + 3*p - 120, -2*p + 140 = 5*j - 3*p. Let k be (-12)/j*-6*6/36. Is 0 at most k?
True
Let z be ((-98)/(-6) - 3)/(1/(-12)). Let h be 3 - ((-12)/(-20))/((-38)/z). Let m be (-12)/(-30) - (4/10 + 0). Is m less than h?
True
Suppose 0*g + 2*g = 4*q - 210, 3*g - q + 315 = 0. Let y be (-1)/16*-2 - g/(-200). Which is smaller: -0.2 or y?
y
Let x(l) = 11*l**2 + 3*l + 4. Let h be x(-4). Let f be 32/h*6/4. Let a = -221 + 242. Which is greater: f or a?
a
Let t be 33186/22 - (-1)/(-66)*-6. Let a = t - 1512. Which is smaller: a or 1/5?
a
Let c be 1*2 + -5*14. Let o = 3751 + -3807. Let m = c - o. Is -12 greater than m?
False
Let y(c) = -3 + 6*c**2 + 2 - 60*c + 61*c. Let r = -1 + 2. Let v be y(r). Is v at least 0?
True
Suppose -3*u = 5*c - 3*c + 37, u + c = -11. Let f = 268 + u. Which is bigger: f or 252?
f
Let f = 6387 + -5433. Which is smaller: 951 or f?
951
Let k = -354 - -392. Suppose u - 69 = -u - 5*x, 0 = u + 5*x - 27. Is k greater than or equal to u?
False
Let o(j) = -j**3 + 6*j**2 + 8*j - 9. Let t be o(7). Suppose -2323*l - 247 = -2304*l. Is l equal to t?
False
Let j be (-126)/56*(-4)/(-36). Which is smaller: j or -324?
-324
Suppose -2*u + c + 4 = -2, -2*c = -4. Suppose -o + u*b + 5 = 4*o, 3*o - 3 = b. Is o less than 0.088?
False
Let a be 56/18 - (-1)/(-9). Suppose 4*b = -2*m + a*b - 36, m = -2*b - 15. Which is smaller: m or 0?
m
Let a = -548.4 - -548. Which is greater: a or 9.78?
9.78
Let l = 2278 + -2278.12. Are 28.6 and l unequal?
True
Suppose -4*a - 2 = -2*u + 6, -2*u = -5*a - 8. Suppose u*q - 9 = q. Let k be 4 + 1 + -3 + 0. Which is smaller: q or k?
k
Let g be (-1)/(-4) - (-131)/4. Suppose 4*r - 188 + 456 = 8*n, n + 3*r = 16. Do n and g have different values?
True
Let g = -141/7 + 275/14. Which is smaller: 150 or g?
g
Let q(w) be the first derivative of -w**4/4 - 17*w**3/3 + 13*w**2 + 47*w - 76. Let y be q(-18). Which is smaller: y or -96?
y
Let k = -17.744 - -2.73. Let d = -0.014 - k. Which is bigger: d or 1?
d
Let m = -0.105 + 0.109. Let y = -0.096 - m. Is 0.62 at least y?
True
Let g(h) = -29*h - 88. Suppose 7*b + 9 + 12 = 0. Let n be g(b). Which is smaller: 1/126 or n?
n
Let n be (10/(140/21))/(162/(-328)). Is -2 at least as big as n?
True
Suppose 288 = -0*g + 6*g. Let z be g/16*4/3. Suppose 23 = 2*s - 5*k, z*s - 12 - 4 = 4*k. Is s != -12/7?
True
Let n(g) = -g**3 + 38*g**2 - 121*g - 274. Let x be n(27). Is 4478 != x?
False
Let i = -874 - -872. Let h = -0.52 + 0.14. Is i equal to h?
False
Let z = 42775 - 46624. Is z at least -6?
False
Let i(t) = t**3 + 2*t**2 + 73*t + 146. Let y be i(-2). Let d = 3356441/189 + -17759. Let m = d + 989/15120. Is y equal to m?
False
Let n = 355 - 355. Suppose -3*o + 2*h = 1082, -51*o + 54*o - 5*h + 1076 = n. Which is greater: o or -361?
-361
Let b = 31/49 + -1842/2989. Which is bigger: -0.4 or b?
b
Let t be 4 - (4 + -6)*-1. Let f be (-16)/(132/(-68) + t). Let c = f - -37537/138. Is 1 less than c?
False
Let a be (-504)/45 + 27/(-15). Do a and -94/7 have the same value?
False
Let p = 4917 - 4876. Does p = 44?
False
Let s = 24 + -24.089. Let r = -3260 - -3259.889. Let z = s + r. Which is greater: z or 13?
13
Let p = -438 - -432. Let k(q) = -2*q**3 - q**2 + 6*q - 12. Let z be k(p). Is 348 <= z?
True
Suppose h + 5*y - 12 = 0, -11*h + 7*h + 4*y - 24 = 0. Let l be (1 - (-5)/(-20))*h/9. Let s = -1 - -0.59. Which is smaller: l or s?
s
Let x = -3848 - -3842. Is x < -59/9?
False
Let h = -0.06 - -4.06. Let c = -186.61 - -186.7. Which is smaller: c or h?
c
Let z = 11.36 + 5.64. Which is smaller: 36 or z?
z
Suppose 3*w - 2*j - 17 = -0*w, 4*j = -4*w - 4. Let o(c) = -c**3 - c**2 - 4*c + 14. Let a be o(0). Let k be (-540)/105 + ((-6)/a)/(-3). Which is bigger: w or k?
w
Let f be (10/(-3))/2 + 1. Suppose 3*o + 6*k = 10*k - 7, -4*o = -2*k + 16. Let w be (-30)/(-24) + 2 + o. Does w = f?
False
Let y = 0.07 - 0.07. Let h = 246.6107 - 1.6107. Is y greater than h?
False
Let r(z) = -2*z**3 - 5*z**2 + 8*z + 3. Let d be r(-3). Suppose l - 1 = -5. Let k be (-1 - -1)/(l/(-2)). Is d at most k?
True
Let t = 11.9249 - -0.0751. Let h = 0.2 + 1.8. Let l = 5 - h. Which is smaller: l or t?
l
Let r = -45/86 - -5/86. Are 0.1 and r equal?
False
Let h(g) = -14*g - 8. Let i be h(-1). Suppose 0 = -16*a + i*a - 10. Is -2/19 bigger than a?
True
Let u = -1 + 3. Let v = -119 + 121. Suppose 5*b - j + u*j - 22 = 0, 0 = v*b + j - 10. Which is greater: b or 8?
8
Let t be (-30)/36 + (-15365)/(-42). Which is greater: 368 or t?
368
Let j be (-3 - (-11 + -1))*(-1)/(-3). Suppose -24*x = 3*v - 20*x + 562, j*v + 3*x = -558. Is v less than -182?
False
Let j be (-28077)/764*(-24)/42. Let p be -1 - (-1 + (-4)/(-14)). Is j <= p?
False
Let g be 6/(-9)*51 - 2. Let a = g + 59. Let q be (-1 - (-3)/7)*(-33)/(-66). Which is smaller: a or q?
q
Let o = 0.53515 - 0.4791. Is 0.3 at least as big as o?
True
Let x(n) = -27*n**2 - 11*n - 11. Let z be x(-1). Let t be (-18)/z + 19/21. Is t > 3?
False
Let v = 36364/3337 - 1242/71. Let s = 14250/2303 + v. Which is bigger: 0 or s?
0
Let a = -3803 + 2427. Is -1376 less than a?
False
Let j = 13 - 5. Let w(r) = -163*r - 405. Let h be w(-3). Suppose j*v + h = 20. Which is bigger: v or -2/3?
-2/3
Suppose 2 = -3*c - 4*a - 323, 90 = -c - 5*a. Is c smaller than 22?
True
Let g be 1 - -3*2/6. Suppose -g*t - 2 = -3*t + 4*l, -3*l - 12 = 0. Which is smaller: t or -0.1?
t
Let a(f) = -f**3 + 2*f**2 + 7*f + 5. Let x(b) = -10*b - 16. Let h be x(-2). Let u be a(h). Let z be 184/532 + (-4)/(-14). Which is smaller: u or z?
z
Let j = -102 + 163. Let d = -34 + j. Let a = d - 8. Which is bigger: 1 or a?
a
Let u = -6.61 - -5.61. Suppose 1 + 8 = -3*s. Let g = -10/3 + s. Which is greater: g or u?
u
Let m = -23 - -23.23. Let w = m - 9.23. Let d = -0.5341 + 1.5341. Which is greater: d or w?
d
Suppose 0 = -2*c + 2*v - 5*v - 5, -15 = 3*v. Let s be ((-25)/10)/c*-26. Let m(b) = b**2 - b - 19. Let u be m(6). Which is smaller: u or s?
u
Let t be (-8439)/(-3) + 0/25. Do t and 2812 have the same value?
False
Let p be (-250)/34850*3/15*-2. Let q(v) = -v**3 - 7*v**2 + 9*v + 9. Let w be q(-8). Which is greater: p or w?
w
Suppose -4*v + 2*m = 7*m - 208, 0 = v - 2*m - 39. Let d = -