Which is greater: 6 or z?
6
Let d = 7660/917 - 117/14. Let f = d + -3655/3406. Which is smaller: 0 or f?
f
Let u = -1050082560402124292/30555 + 309302762795338/9. Let i = 73147308/7 - u. Let y = i + -2/679. Does y = -1?
False
Let x be 8/2 - (-1 - 0). Suppose 8 = o + 4*u, -3*o + 8 = -4*u - 0*u. Is o smaller than x?
True
Let p be (182/4)/(-1) + 5. Which is smaller: -40 or p?
p
Let a(h) = -25*h + 226. Let w be a(6). Do 81 and w have different values?
True
Let i = 0.54 + 0.06. Let q = -0.41 + -0.09. Let o = i + q. Are o and -7 equal?
False
Let n(k) = -k**3 + 7*k**2 + 2*k - 9. Let r be n(7). Suppose -3*g - 45 = 5*t, 0 = r*g + 5*t + 22 + 43. Is g not equal to -12?
True
Let b be ((-88)/12)/((-4)/18). Let m = 51 - b. Is 17 greater than m?
False
Let q = 618 + -6804/11. Let y = 1.06 - 0.06. Are y and q non-equal?
True
Let h be 2604/(-1617) + 4/22. Let u = h + 5/28. Is u greater than or equal to -3?
True
Let q = -1.1 - -2.4. Let n = 4.1 + -5.4. Let o = n + q. Is o at least -0.2?
True
Let i be 14/6 + (-6)/12*2. Suppose -2*v - 8 = -v - 3*o, -7 = -4*v - o. Are v and i equal?
False
Suppose -5*a = -4*c + 10, -3*c + 4*a + 5 = -a. Suppose -c = 4*g - 17. Let r be 0 - -4 - (0 + g). Is r less than or equal to 1?
True
Let z = 21280 - 1979014/93. Which is smaller: z or 0?
0
Let a = 18 + -18. Let c = a - -3. Let n be 24/(-1) - (2 - c). Is n at least as big as -23?
True
Let c = -57 + 58. Let p be c/((-158)/6 + -1). Which is bigger: p or 0?
0
Let i(t) = t + 3. Let o be i(-3). Suppose o*w = 4*f + w + 15, -20 = 4*f - 4*w. Is 2 < f?
False
Suppose 2*r + 2*r = -60. Let u be ((-10)/r - 1)/1. Suppose -2*i = 2*i. Which is smaller: u or i?
u
Suppose 0 = -2*a + 4*j, -a - 2*j + 12 = -4*a. Let l be 9/(-27) - (-4)/a. Is -1/16 <= l?
False
Let w(k) = k**2 + 4*k - 8. Let s be w(-6). Suppose 4*t + s*r - 36 = t, t - 12 = -5*r. Let y(p) = -p**2 - 22*p - 7. Let q be y(-21). Which is bigger: q or t?
q
Let l = 40 - 35. Suppose -4*i = -l*i - 3*i. Is 2/15 smaller than i?
False
Let n = -1 + -0.5. Let k = 206 + -207.6. Let v = n - k. Which is smaller: v or -1?
-1
Let m be (1 + -22)*(-2)/6. Suppose 4*g + 328 = 2*f, 0 = -g + 4*f - 5*f - 76. Let o = g + 89. Is m less than or equal to o?
True
Let i = 0.02 - -0.28. Let u = -1 - -2. Which is bigger: u or i?
u
Let f = -256153/21 - -12201. Let t = -1569 - -11022/7. Let y = t - f. Are 3 and y non-equal?
True
Let q = 5447/7 - 778. Which is smaller: q or -15?
-15
Let o = 16 + -28. Let b be (1/2)/((-2)/o). Suppose -b - 16 = q + 4*g, -2*q - 8 = 2*g. Which is smaller: q or 3/7?
3/7
Let o(r) = 18*r - 67. Let m be o(4). Is m bigger than 1?
True
Suppose 4*a + 5838 = -2*w + 4*w, -3*a + 5*w = 4389. Which is greater: -1459 or a?
a
Suppose -3*l = 4*k - 8*l + 17, -5*l = 3*k + 4. Is 56 equal to k?
False
Let z = -20.09 - -20. Let h = 34.19 - 34. Let r = h + z. Which is greater: 0.4 or r?
0.4
Let u = 303 + -301. Which is smaller: 0.11 or u?
0.11
Let z be 0/(-1 - (1 - 3)) - -1. Let p be 2/10 + (-1443)/15. Let r be 3*z + 272/p. Which is bigger: -1 or r?
r
Let h be (2/4)/((-1)/56). Let o = h - -23. Which is smaller: o or -6?
-6
Let x = -40.584 - -40.5. Which is bigger: -4/9 or x?
x
Let i = -19/20 + 71/76. Which is bigger: i or 1?
1
Let z = -125.3 - 17.7. Let l = -144 - z. Which is greater: 1.1 or l?
1.1
Suppose -2*v = -5*v - 21. Let q = v + 69/10. Let h(t) = -t**3 - 18*t**2 + 20*t + 18. Let u be h(-19). Which is greater: q or u?
q
Suppose 0 = -2*i - 2*d + 59 - 61, 4*d = -2*i - 2. Is -9/56 greater than or equal to i?
True
Let s be 1/((-249)/(-62) + -4). Which is smaller: s or 61?
61
Let i = 63 - 61. Suppose -2*c + 3*q = -37 + 6, -5*q + 15 = 5*c. Which is bigger: i or c?
c
Let l = 0.02 - -0.88. Let c = -3.9 + l. Which is smaller: 4 or c?
c
Let s = -0.45 - -4.45. Is 19 at least as big as s?
True
Let u(w) = 13*w - 8. Suppose 0 = -5*y + 2*y + 24. Let r be u(y). Let q be 56/r - (-2)/(-6). Which is greater: q or 8?
8
Let r = -141 - -217. Suppose 0 = 2*s - 2*n - n - 24, n - r = -4*s. Suppose -3*y - 5*l = -52, -y + 17 = -0*y + 2*l. Is s at most as big as y?
True
Suppose f + 61 = 3*v - 3*f, 0 = 5*v + 4*f - 59. Suppose 2*d = 3*d + 15. Let y = v + d. Is 1/8 at most y?
False
Let q = 30 - 26. Suppose -q*g = 2*y - 3*y - 19, -5*g = -y - 14. Let v = 157/4 + y. Which is smaller: -7 or v?
-7
Suppose 3*r = -g - 21, 2*g + 37 = 4*r - 5*r. Suppose 4*a = 30 + 42. Let n = g + a. Which is bigger: -5/6 or n?
n
Let g = 18 + -20. Suppose 0 = 7*j + 13 + 22. Which is smaller: j or g?
j
Let l = -7.02 + 12.6. Let a = -1.66 + l. Let g = a + 0.08. Which is smaller: g or -3?
-3
Let u = -3107.3 + 3107. Let h = -1 + 0.96. Let d = 2.04 + h. Which is smaller: d or u?
u
Let k = 12 - 11.476. Let r = k + 0.076. Which is bigger: r or 4/11?
r
Suppose -21 = -12*r + 15. Suppose m + r*i = 3*m + 7, -53 = 3*m + 4*i. Which is bigger: m or 3?
3
Let w be 1 + 76/20 - (-3)/15. Suppose 0 = -4*u - w*b + 16, 10*b = 2*u + 5*b + 22. Which is greater: -4/15 or u?
-4/15
Let y be (-36)/(-7722)*6/(-4). Are y and 1 equal?
False
Let j be (-18)/(-81) - (-75)/27. Let u be j + 1 + (3 - 6). Let r be ((-1)/(-6))/(u/(-5)). Is 0 smaller than r?
False
Let d = -90 + 90. Which is smaller: 4/13 or d?
d
Suppose 0 = 21*z + 6*z + 11205. Is -413 at most z?
False
Let p be 38/3 - 2/3. Let o = p - 41. Let n = o - -28. Which is smaller: n or -15/7?
-15/7
Let i(s) = -4*s - 9. Let j be i(-3). Is -0.15 at most as big as j?
True
Let x = 0.0241 + -1.4441. Is 2/3 greater than x?
True
Let i(j) = -7*j - 13. Let a be i(4). Let l = a + 41. Which is smaller: 4/5 or l?
l
Suppose 124 = -3*c + 10. Let v = -23 - c. Let r = -14 + v. Is 8/5 at least as big as r?
True
Let t be (11/(99/(-42)))/((-4)/6). Let w be 22 - 19 - (78/t)/3. Which is smaller: w or -1?
-1
Let r(x) = -3*x - 15. Let v be 1 - ((-456)/40 + 2/5). Let q be r(v). Is -51 less than or equal to q?
True
Let m be 7/(28*(-9)/(-72)). Does m = -32?
False
Let r = -10 - -11. Let m be (-6 + 4)/(-1*r). Let g = -1 + 0. Which is bigger: m or g?
m
Let f be ((-6)/(-3))/(-4) - 232/(-80). Is f < 1?
False
Suppose 3 - 13 = -y. Let i = 10 - y. Suppose 8*u - 5*u = i. Is -2 at most u?
True
Let l be (1723/(-3))/((-2)/6). Let c be -4 + l/14*2. Let a = c - 241. Which is greater: 2 or a?
2
Let m = 1181/668 - 3/167. Suppose -11*l = -16*l + 15. Which is greater: l or m?
l
Let k(d) = -d**3 - 2*d**2 + 3*d. Let m be k(-3). Suppose m*t + 18 = 3*t. Which is greater: t or 8?
8
Suppose -5*u + 3*u = -6. Suppose 5 = u*x - 4. Suppose 2 - 5 = -3*n. Are n and x unequal?
True
Let g = -2089 + 1800. Are g and 0.2 nonequal?
True
Let l = -0.421 - -247.421. Are 1 and l equal?
False
Let x = -2501 + 42529/17. Suppose 2 = 2*a - 0. Which is greater: a or x?
a
Suppose 4*g = g - 6. Suppose 4*u + 2*h = -16 + 58, 3*h = u + 7. Suppose 1 = u*v + 33. Is g at least as big as v?
True
Let t = 31 + -44. Let v = -12.7 - t. Suppose -2*l - 1 = -a, 1 = -5*a + 2*l - 2. Is a >= v?
False
Let p be -2 - -3 - (5 + -1). Let r(f) = f**3 + 2*f**2 - 2*f + 3. Let w be r(p). Suppose -3*n + 6*n - 3 = w. Is -3/19 less than or equal to n?
True
Suppose -9*i = -8*i - 70. Let r be (-6)/(-90)*i/(-8). Which is smaller: -2 or r?
-2
Let k be 2/22*-185 - 4/22. Is -17 >= k?
True
Let n = -41.6 + 41.6. Is n less than or equal to 73?
True
Let a = 100 - 99.11. Let i = a + 0.11. Let z = -4 + i. Is -0.1 < z?
False
Let n = 58/8123 - -253162/5499271. Let h = -163164/12863 + n. Let g = h + 3783/304. Is g greater than -1?
True
Let a = 2671/5 - 21959/45. Which is smaller: a or 45?
45
Let t = 54.08 + -54.1. Is -1 != t?
True
Let l be 2 - (-1 - -2)/((-4)/(-20)). Is l at least 4?
False
Suppose 5*g - 25 = p, -g + 0*g - 5*p + 31 = 0. Suppose b - 3*j = -9, -j - g = 2*b - 3*j. Suppose 3*o - o + 10 = b. Is o greater than -5?
False
Let q(s) = 14*s + 12. Let k be q(9). Suppose 4*v = 5*w + 205, 0 = 4*w - 11*v + 13*v + k. Is -37 > w?
False
Suppose -6 = u + 2*a, -2*u + 4*u - 3*a - 9 = 0. Let c be 3 + 318/315*-3. Which is greater: c or u?
u
Let i be 4*(-4)/(-96)*4. Let k(u) = u**2 - 5. Let a be k(3). Let b be 0/(-3 - (-16)/a). Is i less than b?
False
Let t be 0*((-2)/5 + 2/(-20)). Suppose 0 = 4*j + 5*v + 94, 3*v + 53 = -2*j + 5. Let y be (-22)/126 - 6/j. Are t and y non-equal?
True
Let z = -60 + -50. Let u = z - -772/7. Is 8/19 at least u?
True
Let m = -39 - -79/2. Let y be (8/(-6))/((-2)/6). Let t be (6/16)/((-6)/y)