02 = t. Which is greater: n or h?
h
Let y(k) = k**3 - 25*k**2 + 120*k + 19. Let i be y(7). Suppose 48 = 14*p - 17*p. Which is bigger: p or i?
p
Let x = -6473 - -6472.9. Which is smaller: -3293 or x?
-3293
Let q(v) = 14*v - 4*v - 111 - 12*v - 5*v. Let c be q(-10). Are c and -41 nonequal?
False
Let d(a) = a**3 - 5*a**2 + 6*a - 4. Let l be d(4). Let f be 1 + 67/l + -5. Which is greater: 13 or f?
13
Let l be 1/5 - (0 + (-76)/20). Let q be (l - (-23)/(-3))*-3. Let z be q/(-66) + 1 + (-163)/(-6). Is 29 at most as big as z?
False
Let r = -1542 + 1294. Let f(p) = 256*p + 6. Let n be f(-1). Which is greater: n or r?
r
Let y = 10.2 + -9.2. Let f = -6.6 + 6.45. Let k = f - -0.21. Which is greater: y or k?
y
Let s(n) = -n**3 + 6*n**2 - 16*n + 28. Let u be s(6). Let w = u + 69. Is w at least -8/19?
True
Let z be ((-3)/9)/((1/6*6)/(-1)). Is 965 not equal to z?
True
Let f be -26*(3 - 7/2). Suppose -12 + 103 = -f*m. Let h be 3 - (-3 - 62/m). Is -2 != h?
True
Let t = 9879 - 9365. Is t < 514?
False
Suppose 25 = 5*u, 2*a + 2*u = 6*u - 6. Suppose i + 2*o = a, i - o - 4 = -0*o. Suppose -m = -g + 6, -i*g - 20 = 3*m - 6*g. Is -8 at most m?
True
Let a be (-1 + -2)/(-39)*72/132. Let q = a + -167/572. Is q at least as big as 291/2?
False
Let p = 10345 - 10346. Is -0.4441 at most p?
False
Let z = 12.687 - 6.887. Do z and 0.13 have the same value?
False
Suppose -2*q - 300 = -2*h, -q - 72*h + 70*h = 141. Which is smaller: q or -18?
q
Suppose -6*q + 12 = -3*q. Suppose 0 = -2*h + q*y - 6, h + 2 = 4*h + 5*y. Let n be 2922/(-264) + (-121)/(-11). Which is bigger: n or h?
n
Let n be (12/5252)/(72/234*13). Is -1 at least n?
False
Let i = 70886 - 779950/11. Let g = -20 - -1. Do g and i have the same value?
False
Let f = 0.1155 + -9.1155. Let s = -16 - -10. Is s <= f?
False
Let q(s) = -s**3 - 2*s**2 + 3*s - 1. Let i be q(-3). Suppose 41*k + 220 = 61*k. Suppose -k + 13 = -j. Is j bigger than i?
False
Suppose 9*l + 6 - 6 = 9. Which is bigger: -2/13321 or l?
l
Let n = -6229 + 6228. Is n >= 2/1953?
False
Let b = 37180/47 - 791. Suppose -411*c - 1279*c - 701*c = 0. Which is bigger: c or b?
b
Let v = -2608 - -23440/9. Let y be (-591)/(-4*6/8). Let c = y - 200. Which is bigger: c or v?
c
Let w = -20816 - -19338069/929. Which is smaller: 0 or w?
0
Let c = 1054 - 1533. Let b be (-6)/(-366)*c/(-35). Let g = b - 9/35. Is g at most as big as 0?
True
Let u = 33 + -19. Let z(l) = 3*l - 7. Let r be z(u). Suppose 6 - r = 4*x - 3*n, 3*n = -5*x - 16. Are x and -5 nonequal?
False
Let c(t) = t**3 + 8*t**2 - 9*t + 6. Let h be c(-9). Suppose -3*m + 2*n = -60, -4*n + 6 + h = 0. Let u be 30/(-1)*(-18)/27. Is u < m?
True
Let u = 1/14600 + 36237/3839800. Which is bigger: 0 or u?
u
Suppose -3*j + 3*p + 71 + 523 = 0, -5*j - 5*p = -970. Suppose -12*n = 16*n + j. Which is smaller: n or 9?
n
Let r be (-3)/4 + 24/(-224). Let k(l) = -l**2 + 20*l - 48. Let t be k(17). Suppose -4*a + 4 = -2*h + 5*h, 5*a - 5 = t*h. Is h >= r?
True
Let p(q) = -8*q - 129. Let j be p(-18). Suppose 0 = j*g - 15. Which is bigger: g or 6/5?
6/5
Let k = -9/946 + 94185/55814. Which is smaller: k or 3?
k
Let l(f) = 2*f - 6. Let o be l(6). Let k(a) = -a**2 + 16*a - 4. Let s be k(12). Suppose s = -o*v + 8. Which is smaller: -2/5 or v?
v
Let m = -470 - -544. Suppose 0 = -6*k + m + 28. Which is smaller: 16 or k?
16
Suppose 3820*z + 9 = 3819*z + 3. Let m = 15 - 12.2. Which is smaller: m or z?
z
Let w be -3 - (4 + (-7975)/1584)*3. Suppose -i = -2*i + 1. Which is smaller: i or w?
w
Let q = -71 + 26. Suppose 51 = -4*h - 4*o - 129, -3*o + 100 = -2*h. Which is smaller: h or q?
h
Suppose -5*v = -3*v - 2*t - 6, 4*t = -2*v - 24. Suppose 16*s + 19 = 3. Let z be 1 + (-5 - v - s). Which is smaller: -2 or z?
-2
Let k(n) = -n**3 - 6*n**2 - n + 5. Let f be ((-4)/(-2))/((-1)/3). Let q be k(f). Let a(r) = -12*r - 207. Let u be a(-18). Which is bigger: u or q?
q
Let c = -1/9781 - 19553/88029. Is 38 at least c?
True
Let w be 0 + (-15)/(-77895)*6. Which is greater: 1 or w?
1
Suppose -l - 2602 = -88*a + 90*a, -l = 3*a + 2606. Which is bigger: -2593 or l?
-2593
Let t = -0.74 + 65.74. Let y = t + -66. Which is smaller: -0.09 or y?
y
Let r = -13159 - -8644. Are r and -4513 equal?
False
Let t = -0.018 - 7.882. Let p = -4.7 - -10.6. Let z = t + p. Is z != -0.6?
True
Suppose -1223837 = -163*w + 795570. Which is smaller: 12391 or w?
w
Let v = 55 + -411/7. Let p = -2.81 - 0.25. Let j = 2.06 + p. Is v at least as big as j?
False
Let l be -33 - -7 - (-1824)/72. Suppose -5*v + 25 = 0, -2*b = 7*v - 3*v - 20. Let h be (-2 - (b - 1))/1. Which is bigger: l or h?
l
Let s = -11143 + 9716. Are s and -1428 equal?
False
Let j be 1 + 3/((-9)/(-4)). Let z(g) = -2*g**2 - 13*g - 59. Let u(i) = -i**2 - 6*i - 29. Let x(t) = 11*u(t) - 6*z(t). Let c be x(-8). Which is bigger: j or c?
c
Let f be (-80)/48*654/(-5). Is f less than 656/3?
True
Suppose 0 = -85*y + 93*y - 392. Let o(m) = -2*m**2 + m + 1. Let r be o(2). Let k(d) = -11*d - 7. Let f be k(r). Which is smaller: f or y?
f
Let w be 2 - ((-22942)/(-188))/((-2196)/72) - 6. Is w bigger than -1?
True
Let n(o) = -14*o - 7. Let z(m) = m**3 + 11*m**2 + 12*m. Let h be z(-9). Let u = 52 - h. Let i be n(u). Is 22 smaller than i?
False
Let i = 10889.8522 - 10890. Is -1 at least i?
False
Let u(g) = 2*g**2 - 943*g - 18801. Let x be u(-19). Let j(p) = -9*p**2 - 4*p - 3. Let f be j(4). Is f < x?
True
Let j(o) = o**2 - 109*o + 2450. Let w be j(60). Which is smaller: w or -489?
w
Suppose 0 = 2*g + 5*u - 15, 2*g = 6*g - 2*u + 6. Which is bigger: 2/2989 or g?
2/2989
Let d(b) = 52*b - 364. Let m be d(7). Which is bigger: 4/357 or m?
4/357
Suppose -3*d = d - 4. Let w(y) = 57*y**2 + 16*y + 25. Let i(n) = 43*n**2 + 12*n + 18. Let g(h) = -11*i(h) + 8*w(h). Let c be g(d). Which is bigger: c or -18?
-18
Let x = 434.59962 + 0.02038. Let r = 439 - x. Let b = r + -0.28. Is 0 < b?
True
Let t = 1324 - 6849/5. Let r(b) = -2*b**2 + 15*b - 19. Let c be r(9). Is t equal to c?
False
Let i = 24920 + -1495189/60. Which is greater: 0 or i?
i
Let m be (4/(-3))/((-214)/321). Suppose -7 = 5*u - 2. Let k be m/2 - (u - (-52)/25). Which is smaller: 0 or k?
k
Let s(k) = 13*k - 12. Let a be s(-8). Let i = a + 196. Let c = i + -86. Is c at least -50/9?
False
Suppose -4*r - 14*o + 9*o - 1814 = 0, -2*r - 912 = 5*o. Is r >= -455?
True
Let r = 16.911 - 16.431. Do 20 and r have the same value?
False
Let t(p) = -31*p + 34. Suppose 0 = -18*j + 33*j + 75. Let w be t(j). Is 188 <= w?
True
Let z = -20 + 11. Let x be 54/4*3/z. Let p be (8/(-24))/(15/(-6)) - (-4)/15. Which is greater: x or p?
p
Let l = 852354 + -852353. Suppose -2*s + 32 = -3*s. Let h be 6/(-9) + s/(-39). Which is smaller: l or h?
h
Let f = 428.3 - 387.3. Which is smaller: 113 or f?
f
Let l be ((-9)/12)/(((-4)/26)/(992/1302)). Which is greater: l or 0.16?
l
Suppose -2*w + 104 + 104 = 0. Let g be -18*((-2)/8 - (-18)/w). Let v = 32 + -30. Which is bigger: g or v?
v
Let v = -36 + 26. Suppose -3*o - 5*a = -62, 11 = 4*o + 5*a - 70. Suppose 0 = f + 4*u + o, -4*f - 25 = 4*u + 27. Do v and f have different values?
True
Let s(t) = 13*t - 4. Let d(b) = -4*b - 37. Let r be d(-10). Suppose 26 = r*w + 38. Let o be s(w). Is -55 equal to o?
False
Let f be (9/(-540))/((-58)/1305). Does f = -1369?
False
Let z be 188 + 12/(10 + -6 - (-6)/(-1)). Is 158 greater than z?
False
Suppose o - 116 = 5*u, -3*u - 112 = 5*o - 20. Suppose -5*x - 60 = -10*x + 5*k, 60 = 5*x - k. Let q be u/(-2)*16/x - 1. Which is smaller: 16 or q?
q
Suppose t + 159 = 4*t. Let w = t - 49. Suppose -a = -2*n - 30, 0 = -n + w - 5. Which is smaller: -2/3 or a?
-2/3
Suppose -3*p - f = 2*p - 2, 4*f = p - 13. Suppose p = -12*o - 11. Is o less than 1/375?
True
Let h(w) = -w**3 + 4*w**2 - 4*w + 2. Let x be h(3). Let n(s) = -169*s**2 - s. Let u be n(-1). Let i = -2850/17 - u. Which is smaller: i or x?
x
Suppose -6*h - 18 = -48. Let x(c) = -c**3 + 3*c**2 - 11*c + 1. Let z be x(h). Let a be 1/(-3 + z/(-36)). Is -8 smaller than a?
False
Suppose m - o - 2*o = -163, 0 = -3*m + o - 449. Let r be ((-37)/m)/(1/4). Which is bigger: 1/297 or r?
r
Let v be (-137)/3 - 24/(-36). Let l = v - -47. Suppose -2*s - l*w + 5*w + 21 = 0, 0 = s + w + 2. Which is smaller: s or 21/5?
s
Suppose 81 = 6*a - 3*a. Let l = 169 + -167. Suppose 12 = -z + 3*q + 53, 88 = 3*z - l*q. Is z at most a?
True
Suppose 14*g - 80