y = 18006405/5126 - 38640/11. Which is smaller: y or 1?
y
Let z(f) = 33*f - 359. Let c be z(27). Is c < 532?
False
Let w be ((-95)/1)/(-25 - -33). Let h = 4093/344 + w. Which is smaller: h or 0?
0
Let n be ((-3912)/(-10) - -2)/2. Let b(g) = -65*g - 126. Let i be b(-5). Let w = n - i. Are w and -3 unequal?
True
Let y be 22/(-26) + ((-32)/(-52))/(-4). Do y and 5/116 have the same value?
False
Suppose 0 = 5*n + 4*a - 841, -6*n + 2*a = -341 - 641. Which is greater: 191 or n?
191
Let s be 1 + (-1)/3 + (-16)/24. Suppose z + 12 = -4*i, -2*z - 3*z - 2*i + 30 = s. Suppose -j + 3 = -r, r + r = 3*j - z. Which is bigger: j or 10/19?
j
Suppose 3*x - 5*x - 4*g = -20, 2*x = -3*g + 23. Suppose 9*w = x*w. Which is smaller: -8/17 or w?
-8/17
Let w = 0.84 + -0.78. Let c = w - 0.76. Let m be (0 + (-4 - -2))*(-4)/(-44). Which is smaller: m or c?
c
Let s = -496 - -496. Suppose 5*m = 2*v + 84 + 95, 5*m + 2*v - 171 = s. Is 35 greater than m?
False
Let t be 447914/(-111580) + -1 + -1 + 6. Which is bigger: t or 0.5?
0.5
Let f = -116/11 + 1/22. Let c be (654 - 662) + 143/18. Is c at most f?
False
Let a(z) = -2*z**3 - 49*z**2 - 628. Let f be a(-25). Which is smaller: -60 or f?
-60
Let n(h) = 4*h**2 + 35*h - 24. Let z be n(-11). Let w be z/(-35) - (6/2)/(-21). Suppose -5*d - 3*j - 2*j = -15, -j + 7 = 5*d. Which is bigger: d or w?
d
Suppose -6*y = -11*y + 2 + 3. Which is smaller: y or 78/239?
78/239
Let k(r) = 3*r**3 - 20*r**2 - 17. Let b(d) = -6*d - 83. Let w be b(-15). Let f be k(w). Are f and 32 nonequal?
False
Let s = 125369 + -875711/7. Let z = s + -267. Let o = -3.4 + 3.4. Is z > o?
True
Let c be 3954*(30/5 + (340/(-15))/4). Is 1319 less than or equal to c?
False
Let n = 79.4 - 483.4. Let g = 405 + n. Which is smaller: g or -0.04?
-0.04
Let j(d) = -d**2 - 38*d + 599. Let t be j(12). Which is greater: t or -1/10104?
-1/10104
Let x = 9 - 15. Suppose 307 = 2*c - c - 4*p, 5*p = c - 309. Let r = c + -305. Is r less than x?
False
Let v = -4552 - -4553. Which is bigger: v or 10/511?
v
Let g be (-22)/((-26)/299 + 88/(-46)). Let t be ((-340)/(-16))/(g/(-308)). Do -595 and t have the same value?
True
Let a(v) = 19*v**3 + 3*v**2 - 4. Let w be a(2). Let b = w + -159. Is -2/805 not equal to b?
True
Let v = 199 - 181. Let r = 13 - v. Which is smaller: -0.06 or r?
r
Let p = -7 - -10. Suppose -5*s - 4*r + 14 = -3, 4*s = -p*r + 13. Which is greater: s or -28?
s
Let d = -2849 + 2811. Suppose -2*x + 4 = -0*x, -5*u + x + 188 = 0. Let j = d + u. Which is smaller: j or 6/11?
j
Suppose 2*n - z - 10 = 0, 2*n - 4*z + 16 = 8. Suppose 3*r - 9 = 4*b + 5, 13 = 2*r + b. Is n greater than or equal to r?
True
Let k be (16/20)/((-10)/(-75)). Let q be 68/8*(k + -9 + 5). Which is smaller: q or 18?
q
Let d = 19538 + -19496. Let l(z) = -45*z - 1. Let k be l(-1). Which is greater: d or k?
k
Let m be -74 + 9/(0 - -3). Let u = -26 - m. Suppose -6*w = -131 - 133. Is w at least as big as u?
False
Let q(c) = -4*c**2 - 83*c - 399. Let s be q(-9). Is 528/23 less than or equal to s?
True
Let j = 0.8407 + 0.0693. Let x = 4.3 + -3.59. Let w = x - j. Is -0.2 less than or equal to w?
True
Let s = -0.602 - 331.238. Let v = 332 + s. Is -9 less than v?
True
Let v be (-1 - 1) + 1/1. Let c = 125 - 121. Let a be (-468)/(-168) - 10/c. Which is smaller: v or a?
v
Let m = 5522542122/24433 + -226028. Which is bigger: 0 or m?
0
Let a = -17198 - -17112. Is a <= -933/11?
True
Let z(k) be the second derivative of k**3/6 - 5*k**2 + 6*k. Let c be z(8). Is -7/5 greater than c?
True
Let i = 116798428 + -189914234431/1626. Let x = i - 2/271. Which is bigger: 5 or x?
x
Let k(s) = -2*s - 2. Let j be k(-3). Suppose -2*l - 16 = -2*b, 37*l - 36*l - 4 = 0. Suppose -j*t = b, -5*v - 21 = -6*t + 3*t. Are v and -6 nonequal?
False
Let y be (-6 + 401)*(-4)/10. Let s = y - -156. Is s less than or equal to -24?
False
Suppose -2475 = z - 12*z. Let x = z + -196. Is x > -1?
True
Suppose 12*z + 236 = -4*s + 10*z, 3*z - 134 = 2*s. Are -62 and s nonequal?
True
Let b = 275.375 - -6.475. Let p = 282 - b. Is -10 not equal to p?
True
Suppose -14 = -s - 6*s. Suppose -2*t - 4*k = 60, t + 4*k + s + 22 = 0. Which is bigger: -35 or t?
-35
Let l(v) = -2*v**3 + 9*v**2 + 4*v + 6. Let p be l(5). Let z be (-11 + 9)*-1*p. Let t be 16/(-4)*1/z. Which is greater: 0 or t?
0
Let h be 17/15 + 484/(-363). Which is greater: 2256 or h?
2256
Let b(x) = -625*x + 160825. Let l be b(257). Suppose -4*m + 1010 = m. Are m and l equal?
False
Let x(g) = g**3 - 7*g**2 + 6*g + 4. Let o be x(6). Suppose -o*f = 26 + 10. Let b be (14/(-8))/((-3)/(-12)). Which is smaller: f or b?
f
Let k be -5 - (1368/(-95))/3. Let n be (-13)/(-2) + (-3)/(-6). Suppose 0*g - n = g. Which is greater: g or k?
k
Let a = 21.9598 - 21.8598. Let o be (-3)/9 - (-17)/52. Is o less than or equal to a?
True
Suppose -192*u - 1489 = 283*u + 886. Which is smaller: u or -251/40?
-251/40
Let n(q) = q + 1. Let k(m) = -8*m + 23. Let i(z) = k(z) + n(z). Let c(u) = u**3 + u**2 + u + 5. Let h be c(0). Let f be i(h). Which is greater: f or -10?
-10
Let t = 283 + -284. Let j = 2776/39173 - 1/911. Is j less than or equal to t?
False
Let y be (-62 - 1)*144/108. Let f(t) = 79*t - 5. Let a be f(-1). Is y bigger than a?
False
Let a(i) = -36*i - 795. Let w be a(-27). Which is smaller: w or 180?
w
Let d = 30611 + -23019. Which is greater: 2/9 or d?
d
Let t = -3.0217 - -2.5917. Is t >= 19?
False
Let s = -14890 + 74137/5. Is s at least as big as -64?
True
Suppose 3*n = 4*n - 5*x + 5, 3*n = 3*x + 21. Let p be 3 + 0 + -2 - 4/n. Let h(i) = i**2 - 8*i + 2. Let a be h(8). Which is bigger: p or a?
a
Let c = -3321 - -3797.4. Let g = c - 476. Is g less than -39?
False
Let g be (-7 + 5 - 4)*-5. Suppose 5*v + g = -0*v. Which is smaller: -17 or v?
-17
Let b be 2/(6/(-31)*1). Suppose -39 = 46*y - 41*y + 2*j, -y + j = 19. Which is smaller: b or y?
y
Let j = -4687 - -4669. Is -206/11 < j?
True
Let a = 1026 + -1025. Let k(u) = u**3 + u. Let d be k(a). Is 20/39 > d?
False
Let g(y) = -5*y - 17. Let s be g(0). Let x = -17 - s. Suppose 2*p + 3*n = 13, x = 4*p + 5*n + 6 - 27. Is -37 at least p?
False
Let w = -440 - -439.4. Let t = 1195 + -13135/11. Let d = -41/33 + t. Which is smaller: w or d?
w
Let o be (-10)/6*(5 + -50 + -6). Let z = -84 + o. Is z less than or equal to -4/175?
False
Let u = -405345/16 - -25347. Is 14 greater than u?
True
Let m be (-1869)/189 - 1*-7. Let b be 8/(-4)*9/6. Is b not equal to m?
True
Let d be 43/6 - 13/78. Let u(p) = -p**2 + 3*p + 1. Let f be u(d). Let n be ((-6)/f)/(-3 + 7/3). Which is bigger: n or -1?
n
Let f = -95 + 98. Suppose 5*s + 312 = -f*v - 328, 0 = 5*s - 2*v + 615. Let q = s + 121. Is -4 smaller than q?
False
Let h be (-2)/21 - 3256/(-231). Let t = -1566 - -1581. Which is bigger: t or h?
t
Let t be ((-8246)/(-57))/31 + -5. Which is greater: -21/25 or t?
t
Let n = 534.6 - 502.6. Suppose 5*x + 12 = t - 3, -3*x - 9 = -3*t. Which is smaller: n or t?
t
Let q = -315 - -357. Suppose i + 42 - q = 0. Is i at least as big as 3/55?
False
Let s be (0 - -1)/((-2)/2). Let q = -7/25 + 1373/4725. Let i = -130/2079 + q. Which is greater: s or i?
i
Let y = 2136 - 2045. Which is smaller: 98 or y?
y
Let j(r) = -r**2 - 22*r. Let w be j(-21). Let k = -13 + 21. Suppose -k*u + u + w = 0. Which is smaller: u or -2?
-2
Let n = 81 + -80.6. Let c(h) = -h - 22. Let i be c(-9). Let f = -8 - i. Which is smaller: f or n?
n
Suppose -y + 0 = 4. Let c(l) = -7*l. Let r be c(y). Let v be r/(-36)*3/(-1). Is v <= 2?
False
Suppose -m = -6*m + 35. Suppose 4*y + 5*g + m = 37, -g = -4*y + 18. Suppose -y*c = -3*c + 2*z + 34, 0 = -5*c - 3*z - 79. Which is bigger: -2/5 or c?
-2/5
Let x be 784/(-490) - 10796/(-6710). Is x smaller than 1?
True
Let x = -4.335 + -21.065. Is -4 at least as big as x?
True
Let w(s) = -s**3 - 13*s**2 - 7*s - 2. Let y be w(-5). Let o = y - -132. Let f be (-7)/(-3)*(-1 + (-25)/o). Are f and 44 equal?
False
Suppose 0 = -3*f + 4*a - 47 + 176, -a - 198 = -5*f. Suppose -3*q + 4*c = -f - 91, 20 = 4*c. Do q and 51 have different values?
True
Suppose 0 = -4*z - 5*b + 30, -z + b + 8 - 14 = 0. Is -1/5444 equal to z?
False
Suppose -6*i = 38 - 44. Let h be 0 + i + 12/(1188/(-187)). Which is smaller: h or 0?
h
Suppose -479*o = -462*o + 5797. Which is greater: -345 or o?
o
Let k be (-7 + (8 - 4))/(-1). Suppose b = -k*b. Suppose 5*d = -5*w + 25, -d 