)/9)/(v/9). Which is smaller: p or 0?
p
Let s be (1 - 410/18)/(7106/(-306) + 23). Are 94 and s nonequal?
True
Let l be 279/(-57)*656/246. Which is greater: -14 or l?
l
Let z(l) = l**3 - 46*l**2 - 91*l - 121. Let f be z(48). Which is bigger: f or 19?
f
Let n be 4/3 - 4/12 - 28. Let b be -4*(-18)/8*(-9)/n. Which is smaller: b or 2?
2
Let t = 40 - 34. Let u = 4 - t. Let v be ((-12)/105)/(u/(-5)). Is v smaller than 23?
True
Let v = 4.9 - -0.1. Let g = -5.2 + v. Let d be (6/10)/((-18)/20 - -1). Are g and d non-equal?
True
Let k = 28250 - 28251. Let j = 6/667 - 364/188761. Which is smaller: j or k?
k
Let c be (-1)/(4/48*4). Let z be (0 - -13)/(96/c). Let s = z + 1/32. Which is greater: s or 1?
1
Let h(o) = 2*o**3 + 39*o**2 - 19*o + 20. Let g be h(-20). Which is bigger: g or -2/3981?
g
Let v(g) be the third derivative of -g**6/120 + 19*g**5/60 - 3*g**4/4 - 5*g**3/3 - 3*g**2 - 2*g. Let l be v(18). Is l greater than or equal to -0.1?
False
Let y = -64 - -68. Let v(k) = 10*k**2 - 12*k + 8. Let d be v(10). Let q = -4421/5 + d. Is y equal to q?
False
Suppose -5*f = 4*t + 218, 4*f - 65 = -0*t + t. Let i = t - -67. Suppose -5*b - i = -0. Which is greater: b or -3?
b
Suppose 0 = -5*b - 4*z + 115, -2*z - 115 = -5*b - 7*z. Suppose -v + 0*r - b = -4*r, v + 5*r = -23. Let x = 79 + v. Is x equal to 57?
False
Let d = 219.3 - -34.7. Let c = d - 255. Let v = -30.77 + -0.23. Which is smaller: c or v?
v
Let d(h) = -92*h - 6893. Let l be d(-76). Is l greater than or equal to -55?
True
Let q = 9232 + -46162/5. Which is smaller: 4.785 or q?
q
Let l be (3172/20 + -4)*(9/(-5) + 2). Is 31 greater than or equal to l?
True
Suppose 0 = 2*f - 6 - 2. Let a = 3 - f. Let u be (a/(-9))/((-2)/3). Is u smaller than -1?
False
Let k(f) = 2*f + 12 + 7 + 3*f - 6*f. Let n be k(21). Let t be -1*(-2)/n*0. Which is greater: 4/63 or t?
4/63
Let n = 0 + 0.14. Let g = -3.86 - n. Let v = 1.08 + -0.08. Is g less than v?
True
Let z be 2/(-2) + 174/3. Let p = 308 - 306. Let u be (p/8)/((z/36)/1). Which is greater: u or -1?
u
Let i be (-5 - (-1 + 1)) + 6/2. Let h be (-1 - 1)/2 - i. Let p = -12 + -36. Is h not equal to p?
True
Let y = -136896/5 - -27380. Let x be 45/(-6)*(-4)/6. Suppose 0*g = x*g - 5. Which is smaller: y or g?
y
Suppose -3*y - 17 + 11 = 0, 5*f - 83 = 4*y. Suppose -2*c = 35 - f. Which is smaller: -19 or c?
-19
Let k = -12 - -21. Let j = 1522 - 1515. Is j < k?
True
Let h(f) = -222*f - 444. Let s be h(-2). Is s not equal to 13/141?
True
Let t be (999/555)/(6/(-250)). Which is smaller: -1 or t?
t
Suppose 8*w = 5*w + 5958. Let k = 10572/5 - w. Let v = 128 - k. Does v = 1?
False
Let n = 121067/67 + -1807. Let i = 927 + -927. Which is greater: n or i?
i
Suppose 0 = 4*z - 3*z - 20. Let s = 24 - z. Let n(k) = -2*k**3 + k**2 + k. Let o be n(-1). Which is greater: o or s?
s
Let f = -99/124 + -14/31. Suppose 7*s + 10 = -46*s - 43. Is f greater than or equal to s?
False
Let x = -3941 + 3940.8. Is 2.573 at most as big as x?
False
Let h = -25.8877 - -25.9. Let i = h - 0.4123. Which is smaller: 23 or i?
i
Let k be (8/2096)/((-2)/(-8)). Let t be 10 + -13 - (-5603)/1645. Let c = -2/329 + t. Which is bigger: c or k?
c
Let d(c) = c**3 - 3*c**2 - 4*c + 2. Suppose 2*x + 3 = -3*s + 6, 0 = 3*x + 3*s - 12. Suppose -i = -x + 5. Let v be d(i). Which is greater: v or 20/9?
20/9
Let q = 448323/10 - 44716. Which is bigger: q or 116?
q
Suppose 11*r - 25*r - 530 = -19*r. Which is greater: 747/7 or r?
747/7
Let p = -16294 + 277110/17. Which is smaller: p or 6?
6
Let f be -6*10/(-15) - 10. Let v be (f/(-2))/(18/(-66)). Which is bigger: v or -2?
-2
Let c = 193 - 374. Let l = c - -180.93. Is l less than or equal to -2/9?
False
Let x = 12/2069 - 56614/9047737. Which is bigger: x or 0?
0
Suppose g - 2 = 0, 8*l + 5*g - 3 = 9*l. Suppose -l*k = 2482 - 970. Is k smaller than -215?
True
Let x = 67951/14 + -4865. Is -12 at least as big as x?
False
Suppose -4*n = -9*r + 4*r + 39, 5*r = 5*n + 55. Let d be ((-388)/n)/(-1)*-4. Which is smaller: d or 100?
d
Let n = -0.0062 + -13.8138. Let q = n + 2.82. Is -5 smaller than q?
False
Suppose -5*h - 1009 = -1034, 3*h = -4*y + 11. Is y bigger than 1/3956?
False
Suppose -31 = -4*u + 57. Suppose -14 = -2*a + r + u, -2*a + 4*r + 30 = 0. Which is smaller: a or 20?
a
Let s = -1235747/12 + 102979. Let a = 22 - 39. Is a at most as big as s?
True
Let g be 408/272*(-118)/(-3). Which is smaller: g or 49?
49
Let v(x) = x**3 - 17*x**2 - 478*x - 18. Let p be v(32). Let c(r) = -r**2 - 17*r - 20. Let y be c(-12). Is y at most p?
True
Suppose 2*f + 2*f - 4*p = 4, 5*f = -p + 29. Let m be (7 + f)/((-3)/8). Let q = 32 + m. Is -4/3 equal to q?
False
Suppose 74 = 12*g - 94. Let r be 204/g - (-6 - (-78)/14). Is r greater than 16?
False
Let g = -4583.962 - -4584. Do g and 24/5 have the same value?
False
Let i = -186 - -185. Is 0 smaller than i?
False
Let d(r) = 9*r**2 + r + 18. Let o be d(-6). Let u = 246 - o. Is u at most as big as -90?
True
Let n = 1.7 - 5.7. Let u = -4.4 - n. Is u greater than 0.3?
False
Let k = 54 - 51. Let i = -5.3 - k. Let h = i - -7.99. Is 0.2 at least as big as h?
True
Let l = 574.59 - 574. Let a = l - 0.39. Is 141 > a?
True
Suppose -32251 = 83*b + 4850. Which is smaller: b or -455?
-455
Let l = -26 + 13. Let x(p) = 7*p + 30. Suppose -4*c + 5*q - 44 = 0, 0 = -c - 3*q - 2 + 8. Let m be x(c). Which is bigger: l or m?
m
Suppose -207 = 4*g + 5*o, 5*o + 81 = -2*g + 10*o. Let z be (-6*(-4)/g)/(11/6). Suppose 0 = -5*i - 4*l - 1, 0*i - 7 = 2*i - 5*l. Which is smaller: i or z?
i
Let g = 0.04 + -4.28. Let w = g - -2.24. Is w at most as big as 0.11?
True
Let x be (-1)/(-5)*2 - (-74)/(-185). Which is smaller: x or -8/177?
-8/177
Let p = 41 + -56. Let s = p + 14.9. Let f be (3*1/15)/((-7)/91). Which is smaller: s or f?
f
Let i = -12 + 18. Suppose 2*y - 61 = 3*w + i*y, 5*y - 40 = 4*w. Let j be (-2 - -3 - 0)/((-84)/1428). Which is bigger: w or j?
w
Let b(q) = -q + 1. Let s(i) = i**2 - 2*i + 1. Let w(d) = b(d) - s(d). Let u be w(1). Let f be (4 - 1) + 100/(-36). Is f equal to u?
False
Let x = 846/73 - 3165/292. Let n = -8393/10 + 840. Do n and x have different values?
True
Suppose 11*f - 3*n = -1528 - 1353, -3*f - 773 = n. Which is smaller: -220 or f?
f
Let i(k) = 24*k + 156. Let v be i(-7). Let x be 1 + (2/(v/15) - 1). Suppose 5*s - 24 = 3*p, 4*p + 0*s - 2*s + 18 = 0. Which is smaller: p or x?
p
Let a be (-8)/6*(-1242)/483*32. Which is smaller: a or 109?
109
Let m be (-36)/(-6)*(-902)/4. Let i = m - -531728/393. Let a = i + -1144/13755. Is a <= -1?
False
Let h(r) = 6*r + 6. Let l(q) = -q + 1. Let p(a) = -h(a) - 5*l(a). Let s be p(-14). Suppose y = -5*f, s*f - 2*y + 3 + 10 = 0. Is f > 1/40?
False
Suppose 0 = 64*r - 28*r + 146*r - 2342340. Which is bigger: 12871 or r?
12871
Suppose -t - 33 = -4*l + 4*t, 0 = 2*l - 2*t - 14. Let u be (l + 1)*(-2)/(-6). Let k = 2/2331 - 9374/58275. Which is bigger: u or k?
u
Let w be (0 + 10/(-12))*-2. Suppose 7*h - 1524 = -544. Let y = 143 - h. Is w greater than y?
False
Let j = 7831 - 6583. Which is greater: 1246 or j?
j
Let o be 3 + (-75)/(-12) + (-4)/16. Suppose -o*q + 1 = -v - 5*q, -5*v + 2*q - 5 = 0. Is v < 6/49?
True
Let o = 1/24 + 463/24. Let w = o - 20. Are -2/17 and w non-equal?
True
Let c be (12/15)/(2/5). Let r be 4/(-16)*2*0 + c. Suppose r*d - 9 = l, 6*l + 3*d - 18 = 3*l. Which is bigger: l or 11/6?
11/6
Let w = 2208 - 2209. Which is smaller: w or 3/908?
w
Suppose 75*f = 70*f + 390. Let h = 69 + -68.73. Let n = h + -0.37. Which is smaller: n or f?
n
Let g be -1 + (-2 - 0)*-2. Let o be (g - -2 - 5) + 1 + 25. Suppose o = -4*k - 6. Are -8 and k non-equal?
False
Let t = -1.01 - -0.96. Let n = t + 0.15. Which is greater: 10.9 or n?
10.9
Let v = -87 - -87.1. Let a = 13 - 29. Let c = a - -37. Which is greater: v or c?
c
Let r = 318 - 328. Let o = 12 + 10. Suppose 5*n - 3*n + o = 0. Is r equal to n?
False
Let d be 134*(-147)/(-28)*2/(-3). Is -467 less than or equal to d?
False
Suppose 44 = -15*w + 12*w - f, -2*f = 4*w + 62. Are w and 200 unequal?
True
Let k(b) = -b**3 - 6*b**2 - 4*b - 24. Let n(j) = j**3 - 5*j**2 - 24*j - 6. Let s be n(8). Let h be k(s). Which is bigger: 1/375 or h?
1/375
Let g = 2096 + -77660/37. Is g less than -3?
False
Let r(o) = 2*o**2 - 24*o + 36. Let k be r(12). Suppose -18 + k = 2*w. Does 7 = w?
False
Let t be (-228)/(-30) + -8 + (-17)/45