0. Suppose -5*k = 3*c - 4*k - d, 5*k - 15 = -f*c. Which is smaller: 2/147 or c?
c
Let y(s) = -s**3 - 10*s**2 - 16*s - 11. Let d be y(-8). Let t(l) = -l**3 + 5*l**2 - 2*l + 7. Let c be t(5). Let h = -6 + c. Which is smaller: d or h?
d
Suppose -2 = 2*w + 5*j, 0 = -3*w + 4*j - 2*j - 22. Let s be ((-4)/72)/(2/w). Let c = -0.07 + 0.57. Which is smaller: s or c?
s
Let u = 2938258/681 + -12944/3. Which is bigger: 0 or u?
0
Let n = -53 + 69. Suppose 0 = -5*a + n*q - 12*q + 49, 2*a = 4*q + 10. Is a less than 15?
True
Let g(q) = q**2 + 4*q - 548. Let b be g(34). Which is bigger: 2234/3 or b?
2234/3
Suppose 3*r + 2 = -5*n - 11, -15 = 3*n. Suppose 4*x - 42 = -d, d - 4*d + 3*x + 201 = 0. Suppose d = -5*c + h, 2*c - r*h + 11 = h. Is c at least -1/3?
False
Let c = -7112/2675 + 66/25. Let u be 4/18 + -237*(-1)/27. Let k = 8 - u. Which is greater: k or c?
c
Suppose -2 = 2*b + 34. Let k be (38/10)/(b/30). Suppose 5*y + 2*u = -35, 14 = -2*y + 4*u - 3*u. Is y > k?
False
Suppose 3*z - z - 2 = 0. Let h be 95/(-20) - 9/(-12). Let k be ((-58)/15 - h)*27/42. Which is greater: k or z?
z
Let s = 36491 - 35615. Which is smaller: s or 878?
s
Let r be (-6)/1 - (-480)/(-75)*-1. Is r >= -0.58?
True
Let j be 22*1 + (-109825)/(-191). Which is greater: j or 595?
j
Suppose -274*r = -49*r + 33975. Is -140 < r?
False
Let j = 2764.3 + -2764. Does j = -0.804?
False
Suppose 35 = -9*b + 2*b. Let n be (-7 + 1)/((-435)/85 - b). Let u = n + -69. Which is smaller: u or -19?
-19
Let p be -177 + 156 - 31233/(-1487). Which is greater: p or 0?
p
Let g be (-19)/133*7 + 118/(-22). Suppose 4*o + 9 = -11. Which is smaller: o or g?
g
Let h = 431 - 426. Let l(j) = j + 3. Let r be l(-2). Suppose -3*u + 3*a + 3 = 0, -u = -5*u + 5*a - r. Is h smaller than u?
True
Let c = 1/1821 - -3511/238551. Let k = -566/2751 + c. Suppose 18*i - 17*i + 22 = -21*i. Is k at least as big as i?
True
Let c = 72/5 - 293/20. Let z = 362465425273/37107662394204 + 31/87449597. Let w = z - 2/3929. Is w at least c?
True
Let z be 141/139 + 8/24*3. Is z at least 2?
True
Let u(l) = -32*l**2 + 105*l - 29. Let m be u(3). Which is smaller: m or 265?
m
Let o be (0 - -1) + 71 + 3. Suppose -4*b + 179 = o. Let q = -1648 + 1647. Which is smaller: b or q?
q
Let c(u) = 363*u + 1417. Let h be c(-4). Are -1568/45 and h equal?
False
Suppose -4*o - 9*z + 19 = -6*z, -z - 3 = -o. Let y be o + 6 + (14 - -6). Is 1/3 greater than y?
False
Let w = -726 + 735. Let l(m) = 4*m - 2. Let h be l(3). Let u = w - h. Which is smaller: 2/109 or u?
u
Let g be 9821/(-1228) - 16*8/(-16). Which is smaller: g or -1?
-1
Let x = 125 - 376/3. Which is smaller: -7534 or x?
-7534
Suppose -99 + 83 = 8*q. Which is smaller: q or -554?
-554
Let y = 869 + -47849/55. Is -2 smaller than y?
True
Let g be (-3*(-3)/7)/((-3060)/17 - -7). Is g not equal to 0?
True
Let t = -1517/120 + -13/120. Let p = 106 + -120. Is t equal to p?
False
Suppose -59 = 2*c - 55. Let n(k) = 10*k**2 + 6*k + 4. Let x be n(c). Suppose 6 = -29*u + x*u. Which is bigger: u or -30?
u
Let m = 40.9 - 40. Let b = m - 1. Let w = 5.9 - -28.1. Which is greater: w or b?
w
Suppose 9 = -2*m + z, m - 4*z - 4 = 3*m. Let n(c) = -2*c**3 - 8*c**2 - 9*c - 6. Let s be n(m). Is s bigger than 29?
True
Let v = 280 - 266.9. Let f = v + -12.1. Which is smaller: f or 13?
f
Let b(j) = 9*j**3 - 6*j**2 + 6*j - 15. Let g be b(5). Let y = g + -998. Is -8 > y?
False
Let i = 3411 + -3588. Which is smaller: 7 or i?
i
Let v(d) = -d**2 - 8*d + 10. Let c be v(-9). Let m = 26721/17 - 1571. Which is bigger: m or c?
c
Let i be 137/137*9/(-509). Which is bigger: i or 0?
0
Let x(m) = m**2. Let v(g) = g**3 - 6*g**2 + 9*g - 10. Let k(t) = -v(t) + 3*x(t). Let r be k(8). Suppose -42 + 130 = -r*s. Are s and -43 unequal?
True
Let y = 9876 - 9918. Is y bigger than -45?
True
Suppose -5*h = 5*s, 0 = -2*s + 6*h - 11*h + 3. Is s >= 1/3960?
False
Let u(t) = t**3 - 12*t**2 - 16*t + 37. Let m be u(13). Let v be 2*(1 - 4 - 0). Let x be (-2)/(-30) + 4/v. Which is smaller: x or m?
m
Suppose 5*i + 5 = 30. Suppose 0 = -2*m + i - 1. Suppose k - q + 3 = 0, -2*k - m*q = -q - 6. Which is smaller: k or -10?
-10
Suppose -594 = 5*p - 3*z, 3*p - 2*z + 203 + 153 = 0. Let l be (-1*4)/(p/108). Suppose -3*t + 20 = 2*t. Does t = l?
False
Let q = 274.2 - 282.2. Are -13/3 and q equal?
False
Suppose 2*y + 1168*g - 1164*g = 4358, 2*g = 2*y - 4346. Is y <= -2/7?
False
Let h = 0.403 - -0.057. Which is bigger: h or -8?
h
Let o(k) = 82*k + 1559. Let m be o(-19). Which is smaller: 10/2689 or m?
10/2689
Let t = -1140 - -1139. Which is greater: -194 or t?
t
Suppose f = 3*h + 23, 18*h = 21*h - 3. Suppose f*x - 261 - 51 = 0. Let i = -6 + 18. Is i != x?
False
Suppose 4*z - 13805 + 1393 = 0. Let g = 133439/43 - z. Is 1 > g?
True
Suppose 4*h + 3*i - 11 = 0, -5*i = 3*h - 5*h - 1. Suppose 4*w + 2 = 2*u, h = w - 0*u + 2*u. Let c = 3295/7 - 472. Which is smaller: w or c?
c
Let b(m) = -m**2 + 27*m - 186. Let w be b(15). Let d(y) = -2*y**2 - y**2 - 3 + 4*y + 0*y**3 - y**3. Let u be d(-4). Which is greater: u or w?
u
Let h = 135.73 + 0.27. Let s = h + -135.9. Is 62 <= s?
False
Let u be (684/(-16))/((63/48)/(-1)). Let r = 6633/203 - u. Suppose 6*q = 2*q. Which is greater: r or q?
r
Suppose 0 = 5*s - 320 + 1370. Let c be (9/s)/(12/(-16)). Let r = c - 13/7. Which is greater: r or -1?
-1
Let x(i) = i**3 + 1. Let h(d) = 4*d**3 + 2*d**2 + 14. Let g(t) = -h(t) + 5*x(t). Let z be g(3). Suppose z = j - 13 + 9. Which is smaller: j or 3/2?
3/2
Let p = 6 - -1. Let n(i) be the second derivative of 3*i**5/10 + i**4/6 - i**3/6 - 5*i + 3. Let t be n(1). Is t greater than p?
False
Let y = 472 - 476. Let o be 0 + 0 - (-2 + (-7)/y). Which is bigger: 0.0409 or o?
o
Suppose 0*v + 3*v + 168 = 0. Let r be ((-36)/108)/(2/6). Let f be r + -50 + (-23 - -19). Do f and v have the same value?
False
Suppose -l = 1 - 3. Suppose -8 = -2*k - 2*k, -l*p - k - 12 = 0. Let f = 22562 - 22569. Is p not equal to f?
False
Suppose 0 = -2*c + 6, 0*c + c + 952 = -5*b. Let y be (-1 + 3)/(12/54 - (-3600)/(-15471)). Is y greater than b?
False
Suppose -12378 - 1629 = 3*l. Let a be l/(-290) + (-14)/4. Let k(r) = -r**3 - 5*r**2 - 2*r + 2. Let y be k(-5). Which is greater: y or a?
a
Let t be 744/651*(-49)/(-6). Which is greater: t or 8?
t
Let w = -1577 + 1577.25. Let x = -2.95 + 3. Let d = x - w. Is d < 0.3?
True
Let p = 275 - 230. Suppose -5*n = 5*d + p, 0 = d - 2*d + 5*n - 21. Is -2 equal to d?
False
Let p(o) = o - 14. Suppose 26 = d + 10. Let s be p(d). Suppose b + v = 2*v + 8, -s*v = -4*b + 22. Which is greater: 4 or b?
4
Let j = -3 + -13. Let u = j + -13. Let z(b) = 30*b**3 + 3*b**2 + 2*b. Let n be z(-1). Is u greater than or equal to n?
True
Let v = 8657/4 - 2165. Which is bigger: 2/7 or v?
2/7
Suppose 0 = 5*r - 5*g + 5 - 15, 0 = -r + 4*g + 5. Let q = -6/5 + r. Let j = -3/10 - q. Is j at least 0.06?
False
Let b(v) = v**2 - 6*v. Let h be b(6). Let p be h*((-4)/10 + 27/30). Is 8/49 smaller than p?
False
Let k = -41732 - -41848. Suppose 5*a - r - 576 = 0, 3*a - 340 = r - 6*r. Which is greater: a or k?
k
Suppose m - 2 + 0 = 0. Let q be 2/10 - (-24)/5. Suppose 5*p + q = 2*y - 0*p, -3*y = m*p + 2. Which is greater: 2/19 or y?
2/19
Suppose -448*w - 2*t - 646 = -451*w, -5*t + 1060 = 5*w. Which is greater: 218 or w?
218
Suppose -1 = -4*w + 3. Let x = 1688629/5720 + -17/1144. Let p = -296 + x. Is w bigger than p?
True
Let t = -54874/7 - -7839. Which is greater: -174 or t?
t
Suppose -8 = 3140*b - 3132*b. Let t be (8/10)/(45/25). Is t at least b?
True
Let l be (38/(-57))/((-6)/171). Suppose 6 = -l*f + 22*f. Let d be (-26)/20 - 18/(-12). Do d and f have the same value?
False
Let f be 27/(-63) - 6/(-14). Let x be 52/(-11)*(f + 1 - 2). Is 4 less than or equal to x?
True
Let r = -123 + 138. Suppose -180 = -19*u + r*u. Which is smaller: u or 46?
u
Let i = 110.35 - 110. Let q = i - 0.65. Which is greater: q or 0.9?
0.9
Let l(j) = 27*j**2 + j + 2. Let w be l(-1). Suppose 10*u + w = 3*u. Let r be (6/u)/(-8 + 7). Is r at least -4?
True
Let r be -677*6*(6/(-36))/(-1). Let s = r + 74473/110. Are 0 and s nonequal?
True
Suppose 8995265 = -86*i - 200*i - 362369. Is -32720 equal to i?
False
Let u = 413 - 302. Let t be (-8)/(-28) - (u/(-315))/(-1). Do t and -3 have the same value?
False
Let z be (-19680)/90*((-22)/(-11) + (-14)/4). Which is bigger: z or 327?
z
Let u 