797 + -817. Which is bigger: t or -2/145?
-2/145
Let q = 0.041 - 0.281. Let h = 36.24 + q. Let w = -33 + h. Is 0.1 at least w?
False
Let f be (-5)/115*(108 + 5 + 3). Let k = -50/23 - f. Is k >= 4?
False
Let o(w) = -49*w - 1177. Let y be o(-24). Is 2/7793 < y?
False
Suppose -2*r = -5*m - 270, -5*m + 3*r - 83 = 187. Let j be ((-53)/(-3))/((-2)/6). Which is bigger: m or j?
j
Suppose 45990 = -8*b - 3*d, 19*b - 16*b + 17246 = -d. Is -5747 less than b?
False
Let x be 6111/11834 - (-1)/(-61). Let o = -37 + -13. Let g = 50.23 + o. Which is greater: x or g?
x
Let q = 1566.8 + -1568. Is -12/97 <= q?
False
Let c = 1767 - 1765. Is 0.3 equal to c?
False
Suppose -108 = -2*o - 3*f, 0*o - 4*o - f + 216 = 0. Let x = -435 + 488. Which is smaller: x or o?
x
Let t = 11741 + -11742. Which is smaller: 1/4152 or t?
t
Let z = 106.952 - 107. Which is smaller: z or 19?
z
Suppose -l + 3 = j, 2*l + l = -j + 19. Let y be (-1)/5 - (-16)/5. Let q be 1 + y/(27/(-12)). Is l < q?
False
Let d(b) = b**3 + 4*b**2 - 1. Let j be d(-3). Suppose 7*m - j*m = 16. Is m at least 2/5?
False
Let l = 14322 - 42538/3. Let t be (286/(-3))/(4/(-6)). Which is greater: t or l?
t
Let p = -47161 + 30747. Let z = p + 147878/9. Is 18 less than z?
False
Suppose 2*v - 3*h - 16 = 0, v = 3*v + 3*h - 28. Suppose -v*l + 13 = 24. Is 5/32 at least l?
True
Let n(u) = -84*u + 511. Let i be n(6). Let r be (i/(-119))/((-8)/72). Suppose -2*h + 4 = 2*h. Which is smaller: r or h?
r
Let j = -32 - -32.016. Let k = -0.084 - j. Which is smaller: -2/51 or k?
k
Let g(k) = 2*k + 6. Let p be g(-6). Let t be (16 - 2) + (-3)/(p/(-8)). Are 80/7 and t unequal?
True
Let n = 2205 + -5572. Which is greater: -3368 or n?
n
Let r = 9.78 + 0.22. Which is smaller: -31 or r?
-31
Let b be 1272/(-273) + 10/7. Let h = -3 + 6. Let z = -5 + h. Is b greater than z?
False
Let f be ((0 + -1)/(-1 - -2))/1. Which is bigger: f or -1/9623?
-1/9623
Let i = 69.850742 + -0.017742. Let s = -5277.167 + 5277. Let o = i - s. Does o = 2/3?
False
Let u be -2 + ((-70121)/(-7070) - (-19)/(-133)). Let t = 5/202 + u. Is t greater than or equal to 8?
False
Let g = -8 + 19. Let d = -28.72 + 28. Let w = -2.72 - d. Which is greater: w or g?
g
Suppose -2*s + 40 = 2*s - k, -k + 26 = 2*s. Let c(v) = v**2 + 72*v - 450. Let g be c(6). Which is greater: s or g?
g
Let a be 64/48 - (-74)/(-15). Let j = -16.3 - -16.43. Is j bigger than a?
True
Let w(d) = d**3 - 3*d**2 - 4*d. Let z be w(3). Let x be (2/3)/(z/(-54) - 0). Let l = x + 13. Which is smaller: l or 14?
14
Let g = -1596 + 3411/2. Let j = g - 6359/58. Let o(r) = -r**2 - 2*r + 4. Let z be o(-3). Is z at most as big as j?
False
Let l = -15343/60873 + 170/591. Which is smaller: l or 1?
l
Let i = -125/22 + 6568/1155. Let a be (6/(-36))/(3/(-18)). Do a and i have the same value?
False
Let r be 15*((-4)/(-42) - (4 + (-464)/224)). Let u = 30 - 59. Which is smaller: u or r?
u
Let n be (10 - (-1664)/(-168))/(9/(1404/16)). Is n at least as big as 2/7?
True
Let z = 256247/2205 + 302/245. Is 116 at least z?
False
Let h = 23.628 + -0.628. Which is greater: h or -40?
h
Let p = -603 - -617. Let h(x) = -x**3 - 2 - 15*x - 3*x + 15*x**2 + 5*x. Let l be h(p). Is l equal to 12?
True
Let s be (-35)/(-10)*(0 + (-16)/(-14)). Suppose -8*z + s*z = 24. Let r be 1*-38*z/12. Are 19 and r equal?
True
Suppose 4*z = 17 + 15. Suppose 2*o + 48 = z*o. Suppose 0 = 20*f - o*f. Which is smaller: 3/28 or f?
f
Let v = -370 - -981/2. Let i = v + -121. Let g = 1/265 + -3721/2915. Does g = i?
False
Let l = 0.819 - 0.38. Let s = 0.139 - l. Which is smaller: s or -0.55?
-0.55
Let q = -1588 + 2590. Suppose -5*p + 974 = 4*i, -5*p + q = 40*i - 43*i. Is 198 at least p?
True
Let t(c) = -2*c**2 - 12*c - 7. Suppose -h + 2*h - 13 = 0. Suppose -h*l - 60 = -l. Let x be t(l). Which is smaller: x or 1.9?
1.9
Suppose -1 + 5 = -4*m + 5*q, 4*q - 20 = -m. Suppose -28 = -2*a - 4*s, -10 = 3*a - m*a - s. Suppose b - 416 + 411 = 0. Is b less than a?
True
Suppose 251 = 219*m - 236*m - 140. Suppose 0 = -5*s - 30 - 85. Is s equal to m?
True
Let u(t) = 279*t + 6763. Let c be u(-24). Suppose -5*l + 7*z + 344 = 4*z, -l = 5*z - 52. Does c = l?
True
Let v be 4/(((-4)/2)/(-1)). Let q = 209 - 195. Suppose -4 = -3*w - 2*c, -5*c = -w + 38 - q. Which is smaller: v or w?
v
Let r = -4538 - -4490. Let b be 105/6*(-41)/15. Which is smaller: r or b?
r
Let o be 2/7 + (-51)/(-7). Let p(m) = -2*m**2 - 284*m + 1478. Let h be p(5). Which is smaller: h or o?
o
Let c(m) = m - 2. Suppose -3*p + 5*a + 13 = -13, 3*a = -p - 10. Let i be c(p). Suppose 0 = 13*b - i. Which is greater: 2/223 or b?
2/223
Let v(d) = -14*d**2 + 5*d + 58. Let k be v(-3). Let n be (3/6)/(3/(-492)). Is n < k?
False
Let v(y) = -y + 2. Let z be v(3). Let x be 4 - (z - -2) - (-608)/(-209). Let o = -53/99 + x. Is 1 less than o?
False
Let x be (-18)/(-9) - 2*2. Let w(h) = 2*h + 5. Let r be w(x). Suppose 0 = -2*t - 5 + r. Is t > -14/5?
True
Let x be 1 - ((-96)/(-34))/3. Let k(c) = -15*c + 11. Let y be k(1). Let z be y/(-6)*315/(-42) + 4. Are x and z non-equal?
True
Let k be (-1 + -39)*(-5280)/640. Is 0.06 < k?
True
Let s be -2*(-8)/(-288)*(-7 + 1). Is -2670 < s?
True
Suppose 2*w + 9 - 1 = -4*p, -5*w - p = -25. Let h be (w/(-424))/(20/160). Is h < -1?
False
Let d = -71/2 - -19237/542. Let o = 948 + -947. Is o at least as big as d?
True
Let k(r) = -3*r + 0*r + 27 + 0*r. Let w be (-7)/7 - (-9 + 0). Let y be k(w). Is -2 greater than y?
False
Let a = -60381 + 60412. Suppose 104 = 2*k + 24. Which is smaller: a or k?
a
Let g = -2275 + 2104. Which is greater: -175 or g?
g
Let m = 24160 - 24161. Is 51/124 smaller than m?
False
Suppose 2*v + 10 = -46. Let y(f) = 7*f + 7. Let k = 657 + -662. Let x be y(k). Is x at most as big as v?
True
Let w be (10 + -10 + -49)*(-4 + 3)*1. Which is greater: w or -37?
w
Let b(w) = -w**3 - 2*w**2 + 3*w + 6. Let r be b(0). Let z be -2 + 6/(-3)*(-6)/r. Which is smaller: 13/9 or z?
z
Let c(y) = y**3 - 6*y**2 - 16*y + 26. Let l be c(7). Let i = 278 - l. Which is greater: i or 317?
317
Let g(r) = 2*r**3 + 167*r**2 + 406*r + 80. Let f be g(-81). Let x = 12322/9849 - 82/67. Is x less than f?
False
Let j = -804.998 + 805. Let y = 0.098 + j. Let q = -41.1 + 0.1. Which is greater: q or y?
y
Suppose 4*s + 2*a + 4 = -a, 5*s = 3*a - 5. Let t be 2/646*(s + (-8)/(-12)). Which is smaller: t or -1?
-1
Let c = -8013.2 - -7957. Is 5 at least as big as c?
True
Let v(k) = k**3 - 16*k**2 - 18*k + 19. Let p be v(17). Suppose -p*d + 586 = -x, -3*d = 3*x + 1629 + 102. Is -580 at most as big as x?
True
Suppose -3*u + 2*y - 6*y = 86, 2*u + 58 = -2*y. Let l be (-202)/16 - u/(-80). Let x(d) = 3*d + 2. Let p be x(-6). Is p at most l?
True
Suppose 625 = 2*o + 5*f, 0*o = 2*o - 2*f - 590. Suppose -16*a + 6*a - o = 0. Let r be (-4)/(18/(-14) - a/105). Which is smaller: 6 or r?
r
Suppose -78*f = 273*f - 351. Let t = 2/55 - -1/35. Is t > f?
False
Let c = -10243.2 - -10243. Which is bigger: c or 2503?
2503
Let s = 61 - -217. Let f = s + -284. Which is greater: 1/5 or f?
1/5
Let z = 3562 + -3561.5614. Let f = 0.0386 - z. Which is smaller: -0.54 or f?
-0.54
Suppose -5*y - 22 + 32 = 0. Suppose m + 16 = 5*a, -y*a + 7 = 4*m - 17. Is 1/9 less than a?
True
Let m(y) = y**2 + 12*y - 25. Let u(a) = -4*a**2 - 35*a + 77. Let l(g) = 7*m(g) + 2*u(g). Let v be l(5). Does 22 = v?
False
Suppose 3 - 30 = -2*o - 3*t, -2*o + 2*t = -22. Let d = 34128/2779 + 2/397. Is d != o?
True
Suppose 317*n = 314*n - 4*x + 26607, -44267 = -5*n + 2*x. Is n < 8857?
False
Suppose -4*t + 9*t - 52 = -4*q, 4*q = -2*t + 28. Let r be (12/(-9))/(t/(-60)). Let v(f) = -3*f - 29. Let w be v(-13). Are r and w equal?
True
Let y(v) = 90*v - 300. Let k be y(2). Which is smaller: -1543/13 or k?
k
Let v be (-2 - 1 - 6)*1. Let q(o) = -o**2 - o + 20. Let k = -61 + 55. Let n be q(k). Is n not equal to v?
True
Let r be ((-50)/6 - -8) + 2/6. Suppose 16*u - 11*u = r. Let h = -261/5 + 12287/235. Which is bigger: h or u?
h
Let v(g) = 3*g + 1 - 10*g + 4*g - 3*g**2. Let b be v(-3). Let z = -6 - b. Which is smaller: 9 or z?
9
Let y = 193.458 - 0.458. Let r = y + -422. Is r smaller than 1?
True
Let f = -10751400 + 526753721/49. Let v = -1324 - f. Let x(o) = o + 6. Let t be x(-5). Which is smaller: v or t?
v
Suppose -5*o + 165 = -0*o. Suppose -2*l - o = -159. Let m = -443/7 + l. Which is smaller: m or -2.2?
-2.2
