smaller: x or m?
x
Let q = 3/19202 - 42451/25903498. Is 0 smaller than q?
False
Let q(o) = -41 - 141*o + 28 + 9. Let g be q(1). Which is greater: g or -146?
g
Let j(s) = -s**3 - 5*s**2 + 9*s - 16. Let u be j(-8). Suppose -2*d = 5*p - 193, 3*d + u - 381 = 5*p. Which is greater: d or 91?
d
Let w(k) = -2*k**3 - 25*k**2 + 26*k + 323. Let x be w(-12). Is x less than -5?
True
Let f = 0.502 - 0.602. Which is smaller: 33595 or f?
f
Suppose -5*s = -4*f + 102, 15 = -2*f - s + 59. Let v = 1 - -13. Are f and v equal?
False
Let m = -4/911 + -233196/4555. Is m greater than -52?
True
Let h(l) = l**2 - 5. Let i be h(6). Suppose -61*o = -878 - 891. Which is smaller: o or i?
o
Suppose 5750 = 15*n + 5735. Which is bigger: n or 2/73449?
n
Suppose -10*p - 5*f + 1201 = -7*p, f = 4*p - 1563. Let k(y) = -y**3 - 26*y**2 - 42*y - 34. Let b be k(-25). Which is smaller: p or b?
b
Let h(a) = -a**3 + 4*a**2 + 17*a - 28. Let l be h(6). Let y be ((-11)/319)/(l/(-16)). Which is greater: y or -1?
y
Suppose 16*i - 19*i = -4*o - 21, -3 = -3*i + o. Which is bigger: -1/9289 or i?
-1/9289
Let l be ((27 - 23) + 23/(-9))/((-6)/36). Which is bigger: -37 or l?
l
Let c be 8/16 - 2/(-4). Suppose -146 + 178 = -8*q. Let s be c - (q - 28 - 2). Which is smaller: s or 34?
34
Suppose -2*q = 2*q + w - 1308, 5*w + 348 = q. Suppose 2*s - 176 = q. Let g be s/244 - (-2 - -3). Which is bigger: 0 or g?
g
Let h be 1 + -1 - (0 - 0). Let z be (-13)/((-5824)/2024) - (-1)/(-7). Let q = z - 299/72. Is q > h?
True
Let y = 2252 - 2613. Which is bigger: y or -364?
y
Let f be (-1 - -2)/8 + 15067/104 + -25. Is f > 1787/15?
True
Suppose -12078 = 41*f - 33*f - 26*f. Is 671 less than f?
False
Let p be ((-4)/9)/2 + 7*12/378. Which is greater: p or 4/3155?
4/3155
Let x = 317.6 + -307.6. Which is bigger: 73 or x?
73
Let k = -264 - -268. Suppose -k*c = 984 - 2508. Are c and 380 unequal?
True
Let m = -349 + 356. Suppose -4*y = m + 5. Which is bigger: -0.038 or y?
-0.038
Let k = 172 - 622. Let x = 4952/11 + k. Is x != -26/5?
True
Let r = -19/341 - -2789/25575. Which is greater: -4/9 or r?
r
Let w be 2/(-9) + 16/72. Let z(a) = 2*a**3 - 8*a**2 + 4*a + 1. Let x be z(6). Let v = 681/4 - x. Are v and w unequal?
True
Suppose 5*o - 285 = 4*s, -4*o + 5*s - 678 + 906 = 0. Is 86 at most as big as o?
False
Let g(h) = 3*h + 161. Let x be g(-45). Suppose 12*n = x*n - 14. Which is smaller: n or 3/37?
3/37
Let a(n) = -2*n**3 - 5*n**2 + 7*n + 9. Let h(g) = 2*g**3 + 4*g**2 - 6*g - 8. Let z(c) = -3*a(c) - 4*h(c). Let u be z(-2). Suppose -u*t = -14 - 8. Is t >= 12?
False
Let o be (42/9)/1*-30*(-453)/604. Which is smaller: 102 or o?
102
Let u be 1/(1/(-2 + (7 - 4))). Let i be (-17 + 9)/(2 + -1). Let t be 84/(-192) - 2/i. Which is greater: t or u?
u
Let m be (-2695)/14 + 12 - 2/4. Which is greater: -18 or m?
-18
Suppose 0 = 2*c - 6*c. Suppose -4*d - d = -5*a - 325, -5*a - 69 = -d. Suppose -59*w = -d*w + 15. Is w != c?
True
Suppose 0 = -30*g + 136*g - 106. Which is bigger: 1/1760 or g?
g
Let m be 9/(-3) - (-25 - 60/5). Are 89 and m equal?
False
Let c = -3 - -10. Let b(z) = 0*z**2 - z**2 - z**3 + 21*z + 11 - 7*z**2 + 5. Let i be b(-10). Which is greater: i or c?
c
Let f be 336/(-288)*(-3)/(-14). Is f less than -3/340?
True
Suppose -18*k + 8 = -20*k, -2*z = k - 2498. Suppose 0 = -1249*b + z*b - 2. Which is greater: b or -1/309?
b
Let z be (-4)/10 + (-536)/(-1350). Let d = -197/9450 + z. Which is smaller: 1 or d?
d
Let d = -0.04 - 30.96. Let s = 171 + -140. Let c = d + s. Which is greater: c or -14?
c
Let k(q) = 17*q - 1938. Let a be k(114). Which is smaller: a or -2/34047?
-2/34047
Let t = 4051 + -4119. Which is greater: t or -2?
-2
Let l = 29367 + -4082011/139. Which is greater: l or 147?
147
Suppose 2*b = 3*r - 6 - 10, -2*r + b = -9. Suppose 8*j = 3*a + 7*j - 10, 14 = 3*a + j. Suppose f - 15 = -11, a*f = 2*y + 40. Does y = r?
False
Suppose -52 + 42 = -2*o. Suppose -o = -4*l + 239. Suppose 3*x - l = -61. Which is smaller: x or 2/107?
x
Suppose 2*u = 240*u - 39*u - 13333. Which is bigger: u or 880/13?
880/13
Let c = -1836.1136 - -1836. Which is greater: c or 0?
0
Let b be (-141)/(-2)*4/(-6). Let j = b - -57. Suppose 4*k - 3 = 1, 4*m - 42 = -2*k. Is m greater than j?
False
Let l(z) = z**2 + 18*z - 14. Let t be l(-16). Let n = -23 - -28. Is n < t?
False
Let f = -62749 - -62732.2439. Let l = f + -0.0439. Is l less than 0.1?
True
Let q(r) = r**2 - 8*r - 22. Let m be q(12). Suppose 5*y + m = 3*j, 12*y - 11*y = -1. Is -3 at most j?
True
Let k(m) = m**2 - 16*m + 16. Let z be k(17). Let s = -28 + z. Suppose -12 = u + 3*l, -8 = 5*u - 4*l + 6*l. Which is bigger: s or u?
s
Let s be 11072/(-6920)*((-218)/4 - -2). Let x be 1 + 0/1 - -85. Which is bigger: s or x?
x
Suppose -f + 3*b = 4*f - 26, f = -b + 2. Suppose 63*n = 65*n + 6. Let g be (n + 1)*(20/625)/f. Is -1 greater than g?
False
Let p(t) = 108*t**2 + 23*t + 10. Let k be p(-6). Let r be (-4)/3 - k/(-3360). Which is greater: -1 or r?
r
Let z = -1753/1166 + 2/583. Let y = 45 + -47. Which is greater: z or y?
z
Let r = 952 + -2666. Is 1/7 bigger than r?
True
Let w be 1/(-431)*(-5)/5. Let i = 912437659934/4741 + -192456795. Let t = w - i. Is t at least as big as 0?
True
Let v be (-1)/(-2) + (-45)/(-2). Let s be -65*10/(-50)*3. Let y = s - v. Is 14 not equal to y?
True
Suppose t + 674 = -4*b, 2*t - 262*b = -264*b - 1348. Do t and -672 have different values?
True
Let o(p) = -24*p**2 + 23*p**2 + p**3 - 2 + p + 1 + 0. Let d be o(0). Let q = -1094/9 + 122. Which is bigger: d or q?
q
Let i be (10/(-45)*1)/((-20)/(-195)). Let h = -37/30 - i. Which is greater: h or 1?
1
Let x(n) = -n**3 + 42*n**2 - 44*n + 128. Let b be x(41). Let p be (b - (1 - 1))*230/325. Does p = 3?
False
Suppose 2*f - 22946 = -12*f. Is 1638 greater than or equal to f?
False
Let g = 345 - 83. Suppose g = 3*i + 892. Is -210 > i?
False
Let x = 11 - 11. Suppose x = 2*j - 6, 0 = -3*a - 0*a + 2*j + 45. Let b = a - -12. Is b less than 29?
False
Let m = -42 + 12. Let u be 12/18*(-2691)/m. Let l = u - 60. Which is smaller: l or -1?
-1
Suppose 178 = 5*l + 188. Let y be -4 - 9/2*l. Which is bigger: -17 or y?
y
Suppose 14*n + 56 = -42*n. Is -2/1689 less than or equal to n?
False
Let x = 23361 + -23360. Is -13/608 >= x?
False
Let w = -273 - -274. Let j(a) = -a**3 + 5*a**2 + 5*a + 3. Let s be j(6). Let o be s - -6 - 165/57. Are w and o non-equal?
True
Suppose -73 = -6*n - 7. Suppose n*x - 8*x = 6. Suppose -5*i + 159 = -x*i. Which is greater: 52 or i?
i
Suppose 0 = 180*v - 178*v - 2*a - 972, -3*a = -v + 494. Which is smaller: v or 4349/9?
v
Let s = -55 - -54.986. Let y = 0.754 + s. Let a = y - 3.74. Is a < 0.04?
True
Let h = 559 + -388. Suppose a - h = -5*n, 2*n = 4*a + 5*n - 650. Which is smaller: 162 or a?
a
Let z be -1 - (1 - 2) - 0. Suppose 5*l - 3*j = 3, -12 = -2*j - j. Suppose -37 = -s - a, -s - a = -l*s + 77. Are s and z non-equal?
True
Suppose -5*u = -1070 - 835. Suppose 20*v - 1513 = -4*a + 17*v, 16*a = 5*v + 6137. Which is greater: u or a?
a
Suppose 0 = j + 2302*w - 2298*w + 89, -4*w = -24. Suppose 0 = t + b + 106, b + 10 = 3*b. Is t less than or equal to j?
False
Let w = -2514 - -64. Which is smaller: 0 or w?
w
Let g(h) be the third derivative of h**6/120 - 11*h**5/60 - h**4/3 - h**3/3 - 83*h**2 + 2. Let j be g(11). Is j less than -90?
False
Suppose 0 = -155*c + 17*c - 8970. Is c at least as big as -82?
True
Suppose -6 - 4 = -2*y. Suppose y*v + 1 = -9. Is v > -1.6?
False
Let n be (8 - 1) + -2 + -7. Let u be 9 + 72/(-12) + 2/n. Which is smaller: -4.1 or u?
-4.1
Suppose 72 + 191 = 6*k + 59. Which is greater: k or 368/11?
k
Let v(s) = s**2 + 3*s - 13. Let q be v(-6). Suppose 4 = -x + q. Suppose 3*g - 1 = -p - 6, -5*p + 4*g = -13. Is p <= x?
True
Let u(r) be the second derivative of 7*r**4/12 - r**3/6 - r**2 - 18*r. Let j(l) = l + 2. Let w be j(-4). Let m be u(w). Is 29 greater than or equal to m?
True
Let l(k) be the third derivative of k**5/60 + k**4/4 + 2*k**3/3 + k**2. Suppose 0 = -11*j + 56 - 111. Let a be l(j). Which is bigger: a or -1/54?
-1/54
Let q(f) = f**2 - 5*f - 4. Let c be q(6). Let s be (5 - c)/((-7)/(-35)*-5). Are -31/15 and s unequal?
True
Suppose -374*w = -370*w - 8. Suppose w*l - 5*l + 87 = 0. Let o = l - 28. Which is greater: o or 24/17?
24/17
Let i be ((-25)/(-22) + -1)*11*10/(-220). Let u = 0 + 0. Which is smaller: i or u?
i