04. Let y = -236 - -1655/7. Which is greater: y or z?
z
Suppose -98 = -3*x + 2*f, -2*x + 5*f + 14 = -55. Do x and 133/4 have the same value?
False
Let p = -0.29 - -0.59. Let r = 11081981/7 + -24324939146/15365. Let t = r + 2/439. Is t bigger than p?
True
Let w(b) = 8*b**3 - b**2 - 2*b + 2. Let a be w(1). Are a and 35/6 equal?
False
Let g = 469594007/92 - 5104223. Let d = -239/4 + g. Is 1 less than d?
False
Let a = -289 - -288. Let g = -6269/78 + 241/3. Is a less than or equal to g?
True
Let n = -1484 - -1483. Is n at most -1/548?
True
Let g = 16.4 + -21.4. Which is bigger: 0.1 or g?
0.1
Let x = 4 - 2. Let y be 21/(-28) + (73/92)/1. Let a = 25/46 - y. Is a > x?
False
Suppose s + 4*r = -171, -2*s - 3*s = 5*r + 795. Which is smaller: -156 or s?
-156
Let s = -359 - -365. Let d = 0.1 + -0.1. Are d and s equal?
False
Let p = 693 + -692. Is 277 less than p?
False
Let i be 19/(-3) + 4 + -2. Let u = -1399 - -1396. Which is greater: i or u?
u
Let z = -5201/11 + 473. Are z and -0.091 unequal?
True
Let t = -0.01 + -0.09. Let i = 130 - 131.5. Are i and t nonequal?
True
Let c(d) = 7*d + 141. Let o be c(-20). Suppose k + t + 0*t - 5 = 0, 4*t = k. Suppose k + 2 = 2*u. Which is smaller: o or u?
o
Let i be 3/(3/7)*(-24)/(-42). Which is smaller: i or 6?
i
Let k = -71/594 + 120004/3861. Suppose t - 4*h = -0*t + 11, -h = -5. Let b = k - t. Is b bigger than -1?
True
Let b(i) be the second derivative of -i**3/3 - 3*i**2/2 - i. Let z be b(-4). Suppose -5*v + z + 15 = 0. Is 4 > v?
False
Let j = -1.01 + 1. Let t = 0.457 - -0.073. Let f = 0.47 + t. Which is smaller: f or j?
j
Let x be (7 - (10 + 1))/(2/12). Let s = 15/4 + -341/12. Is s bigger than x?
False
Let r be (-48)/(6 + -2) - (-2 + 5). Which is bigger: -14 or r?
-14
Let z = 271 - 261. Which is greater: z or 97/10?
z
Let l = 104.87 - 104. Suppose k - 20 = 2*v - 7*v, -2*v + 8 = 2*k. Is k greater than or equal to l?
False
Let p = 1304/1148983 - 6/1559. Which is smaller: 0 or p?
p
Let f = 12.95 - -0.05. Let b = 12.99 - f. Let x = -0.31 - b. Which is bigger: x or -2/3?
x
Let b = -66 + 58. Which is smaller: 0 or b?
b
Let s be (1/(-2))/((-2)/12). Suppose -3*i + 38 = -5*f - 2*i, -i + 22 = -s*f. Do f and -2/17 have the same value?
False
Let u be (-2 - (-636)/39)*8/16. Which is smaller: 8 or u?
u
Let k = -8.5 + 7. Let y = 15.5 + k. Let l = -1.6 - -1.5. Which is greater: l or y?
y
Let i be 12 - (-3 - (-1 + -6) - 5). Let q = i + -39. Is -27 > q?
False
Let p be 72/(-5) + 12/2. Is p less than -8?
True
Suppose -2*p = -1 + 13. Suppose -108*o = -110*o, -5*o = u + 25. Let j be (p/u)/((-14)/70). Which is bigger: j or 0?
0
Suppose -774 - 629 = -4*v - 5*p, -5*v + 1747 = 4*p. Let u = v + -14919/43. Let i = -0.6 - -0.5. Is u at most as big as i?
False
Let q = -59 + 57.7. Let z = -9.3 - q. Is -4 at least as big as z?
True
Let b be (99/330)/(9/5). Which is smaller: -2/5 or b?
-2/5
Let a = -1032 + 975. Is a less than or equal to -2/9?
True
Let s(c) = c - 57. Let p be s(0). Let j be ((-1)/(-42))/(p/24687). Let b = j + 72/7. Which is greater: 1 or b?
1
Suppose 2*a = 5*n + 4, -3*n + 3*a = 4*a - 2. Let c be 9/15 + 1 - n. Which is greater: 2 or c?
2
Let x be (-6)/9*6 + 247 - -2. Let p be 32/14 - 70/x. Which is bigger: -1 or p?
p
Let m = -1.7 + 1.59. Let l = -0.21 - m. Is l greater than 16?
False
Let f(a) = 3*a**2 + a - 6. Let u be f(2). Let j be u/3*(-126)/56. Does -8 = j?
False
Let b be 684/60 + -17 + 0 + 6. Which is smaller: b or 10/3?
b
Suppose -k + 695 = 4*k. Let d = k + -123. Is 16 at most as big as d?
True
Suppose 146 + 46 = 8*r. Suppose -4*a - r = -24. Suppose -4*k = -3*g - 3*k + 1, 0 = 5*g + 5*k - 15. Which is smaller: g or a?
a
Let a(v) = 2*v - 5. Let d be a(5). Suppose d*z + 6 = 1. Let c be 3 - (z + 4 - 3). Is 3/2 < c?
True
Suppose -2*g + 3*x + 0 = 4, -3*g + 4*x - 5 = 0. Are 3/610 and g non-equal?
True
Suppose -5*k + 3*h - 10 = -7*k, 4*h = -2*k + 6. Which is smaller: -2 or k?
-2
Let r = -78.838 - 0.162. Let x = r + 70. Which is smaller: x or -6?
x
Suppose 0 = 3*y + 5*t - 6, -4*t + 2 = y - t. Suppose -6*r + y*r = s + 1, 4*s + 4 = 2*r. Let c = -4 - -8. Is s greater than c?
False
Let w(p) = p + 161. Let s be w(-19). Which is smaller: 141 or s?
141
Let o be (4 - 2)*((-288)/(-150))/(-8). Which is smaller: o or 0?
o
Let r = -410 - -459. Is r bigger than 2/7?
True
Suppose 2*q - 18 = -2*i, -3*i - 4*q - 44 = -7*i. Let u be 1/6*-2*2/i. Are 8 and u unequal?
True
Let v be (-3)/7 + 2682/(-189)*3. Which is smaller: v or -44?
-44
Let d = -307 - -296. Which is greater: d or 1?
1
Let d(s) = 26*s**2 - 137*s + 6. Let o be d(5). Let b(j) = j**2 - 10*j - 9. Let q be b(7). Is o at most q?
False
Let s = 60 - 33. Let n = s - 26. Is 2/51 < n?
True
Let u(m) = 5*m**3 - m + 2*m + 6 + 5*m**2 - 4*m**3 + 0*m. Let c be u(-5). Let p = -3 - -3. Is p less than or equal to c?
True
Let x = 22001/50 + -440. Suppose 5*l + 3*l = 8. Let w = -2 + l. Is w greater than or equal to x?
False
Let w(f) = -f**2 + f + 3. Let y be w(0). Suppose 4*k + 3*t = -275, -y*t - 3 = -0*t. Is -67 smaller than k?
False
Suppose 360 = -6*n + 378. Which is smaller: n or 6?
n
Let t = -1515 - -1514. Is t less than -5/68?
True
Let m(j) = j + 9. Let n be m(-8). Let x = -374838/11 - -34127. Let c = x + -51. Is n at most as big as c?
False
Let m be (-3303)/132*(-12)/18. Let b = -20/11 - m. Do b and -20 have the same value?
False
Suppose 21*x - 26*x + 3*r - 20 = 0, 0 = -3*x + 2*r - 13. Which is smaller: -9/4 or x?
-9/4
Let p = -0.006 - 29.994. Let t = 47 + p. Is t at most as big as 0.1?
False
Let s(c) = c**3 - 7*c**2 + c - 5. Let f be s(7). Let m be f*(-3)/2 - 51/(-21). Suppose -b - 1 - 1 = 0. Which is smaller: m or b?
b
Let a(q) = -7*q - 15. Let v be a(-6). Suppose -2*z - v = z. Let h be (-2)/14 + z/63. Which is smaller: h or -12?
-12
Suppose 2*n = n - u - 7, -20 = 2*n + 5*u. Let l = -4 - n. Which is smaller: 4/7 or l?
4/7
Suppose -11*k = -8*k - 12. Suppose -p + 19 = -k*m, p + 9 + 4 = -4*m. Which is bigger: m or -6?
m
Suppose 4*n = 5*f + 21, 3*n + 4*f - 8 = -0*n. Let o = 125/14 + -45/7. Are n and o nonequal?
True
Let g be (-27)/72 + 0 - (-1162)/(-144). Which is bigger: g or -8?
-8
Let m = 96 + -92. Suppose -20*h + 21*h = m. Which is smaller: h or 3?
3
Let b(k) = -k + 3. Let v be b(9). Let i = -40 + 35. Which is smaller: v or i?
v
Let q = -46360.087 - -46397. Let w = 0.087 + q. Is w < 0.1?
False
Let k = 1134 + -49899/44. Let s = -4937/132 - k. Let o = s - -38. Which is smaller: 0.1 or o?
0.1
Let h = 1225 + -1226. Is -0.26 at least h?
True
Suppose 5*u = 5*t - 10, 3*t = -0*t - u + 2. Is t greater than or equal to -4/153?
True
Let t(g) = -g + 1. Let f be t(0). Let k be 0/(0 + 1 + f). Is 2/7 smaller than k?
False
Suppose 2*g - 3*g + 2*o - 6 = 0, 4*g = -o + 12. Suppose g*u = 2*k - 6*k + 542, 679 = 5*k + 4*u. Let n be k/(-36) - (-4 - 0). Which is smaller: -0.2 or n?
-0.2
Let d = 221/360 - 1/72. Is -44/9 at most d?
True
Let b = 1354 - 1729. Which is smaller: -0.1 or b?
b
Let f(d) = -d**3 - 4*d**2 + 13*d + 49. Let u be f(-4). Let s be 4/14 - 74/14. Are s and u non-equal?
True
Let c be ((-12)/(-2814))/((-4)/(-56)). Which is smaller: c or 0?
0
Let y be (-166)/16 + (1 - 2 - -4). Which is greater: y or -7?
-7
Let u = 14 + -10. Suppose 3 = u*f - 21. Let w = 16 - f. Does 10 = w?
True
Let l = -701 + 705. Which is smaller: l or 152?
l
Suppose 0*l + 3 = -3*l + 3*c, -2*l = -c + 2. Let r(m) = -m**3 - 3*m**2 + 2*m + 3. Let v be r(-4). Suppose 3 - v = 4*y. Is l equal to y?
False
Let d = 1038154/727 - 1428. Which is greater: d or -1?
d
Let p(l) = 3*l**2 - 54*l - 3. Let z be p(18). Let y be (3/2)/(6/(-16)). Which is greater: z or y?
z
Let o = 379/28 + 61/7. Which is smaller: 21 or o?
21
Let s = -1/425 - 1691/3825. Do 14 and s have different values?
True
Let r = -16 - -38. Let m be (-2)/4*(-654)/(-15). Let l = r + m. Is l greater than or equal to 0?
True
Let y = 5.4 - 11. Let b = 3.6 + y. Let w = 4 + b. Which is smaller: w or 5?
w
Let s = -1.542 + -0.458. Is s at least 962?
False
Suppose 9*f - 4*f = -5*n + 295, -2*n + 301 = 5*f. Let b = f + -62. Which is greater: b or 4/37?
4/37
Let p be -2 - (5 + -3) - -2. Let z be ((-8)/20)/(p/20). Suppose f + 3*u - 13 = 0, -z*u = f + 2*f - 29. Is f bigger than 1?
True
Let d(v) = 5*v - 16. Let b(j) = 6*j - 16. Let h(k) = 3*b(k) - 4*d(k). Let l be h(8). Let y = -96/7 + 438/35. Which is grea