6/9. Let z = 4.06 + -4. Which is bigger: x or z?
z
Let o be 326 + (1 - (7 + -3)). Suppose -j + 2*j = -4*f + o, 0 = 2*f - j - 163. Suppose 3*b + f = 3*c, 43 + 4 = -b - 4*c. Is -29 at most b?
False
Let a = -1787 - -1762. Let h = -454.93 - -429.9. Let d = h - a. Which is greater: -0.07 or d?
d
Let y(x) = 2*x**2 + 23*x + 25. Let u be y(-9). Let a be 8/u*3/33*5. Is 0.2 at most a?
False
Let d be 4/(-122) - (-86163714)/(-22509). Which is smaller: d or -3829?
-3829
Let h be 130/52 - 15/6. Suppose 3*j - 5*j + 4*q + 146 = 0, h = -j - 4*q + 55. Which is greater: j or 66?
j
Let d be 0 + -1 - ((-39)/26 - 753/(-54)). Which is bigger: -13 or d?
-13
Let u = 0.856 - 0.756. Is u less than 2/605?
False
Let q = 69 - 62. Suppose i - 4*m + 9 = 27, 0 = -5*i - 3*m - 2. Suppose -4*n + 5*o = -38, -i*n + 4*o + 36 = 2*n. Do n and q have the same value?
True
Let g(c) = c**3 - 17*c**2 + 2*c + 72. Let p be g(21). Is 1876 at least p?
False
Let f = 36/163 - -5870/1467. Let a = 2190 - 2186. Is f less than or equal to a?
False
Suppose -7*j = -5*j. Suppose 0 = -5*v - 5*g - 70, 5*g - 18 = -2*v - 58. Let f = v + 62/7. Is f at most j?
True
Let h(n) = n**2 + 7*n - 3. Let q be h(-9). Suppose -q*r + 14*r = 15. Let l be (-2)/9 + 248/(-18). Which is bigger: l or r?
l
Let y be 1 - 3 - 2/(3 + -4). Let f(s) = 4*s - 23. Let g be f(24). Let i = -877/12 + g. Is y greater than or equal to i?
True
Let x(h) = -h**2 - 2*h + 13. Let n be 100/(-25) + 1*-1. Let a be x(n). Let u be (1*(a - -2))/(-2). Is u at least 1?
False
Suppose w = -118 - 30. Let q = w - -149. Let a be (-270)/110 - (-3 + q). Which is bigger: a or 1?
1
Suppose -93*x + 30 = -88*x - 5*y, -3*x - 7 = 2*y. Let u be ((-20)/118)/(3 - (-66)/(-6)). Is u greater than or equal to x?
False
Suppose -4*l - 17 = -5*k + 8, -15 = l - 3*k. Let f be (l - -2)/(52/(-234)). Let p(i) = -9*i - 27. Let o be p(f). Is 54 at most o?
True
Let h = 2.223 - 280.813. Let n = -290.4 - h. Let a = 12 + n. Are -2/5 and a non-equal?
True
Let f be 2/13 + ((-30179)/4881994)/((-1)/(-24)). Is f < -1?
False
Let n = 5 + 1. Let u be 127/870 - -7*n/(-252). Which is bigger: u or 1?
1
Let b be -19*(-1 - 0)*1. Suppose 2*h + 10 = 2*r + 2, 4*r - b = 5*h. Let a be ((-62)/(-14) - 4)*-10. Is h greater than a?
True
Let v be (-121068)/363921 - (-4)/24*2. Let b = v - 6/1363. Let c = b + 1633/8277. Is 1 at least c?
True
Suppose d - 208 = -5*u, -d - 119 + 40 = -2*u. Let s = 41 - u. Suppose 2*n - t + 2*t = 17, s = -5*t - 5. Which is bigger: 8 or n?
n
Let n be 394/6 + 12/18. Let b = 63 - n. Suppose 8*r + 9 = 6*r - k, -5*r + 4*k - 3 = 0. Is r at least as big as b?
True
Let c be ((-14)/4)/((-2)/(-4)). Let h = 926 + -1738. Let v = h - -806. Which is smaller: c or v?
c
Let a be 23771/(-330) + 3/(90/(-20)). Which is smaller: a or -74?
-74
Suppose -5*q = -5, -254 + 48 = 3*v - 2*q. Let c be 78/v - (-21)/14. Let y(w) = 3*w**3 - 3*w**2 - 2*w + 3. Let z be y(-1). Which is bigger: c or z?
c
Let n = 91557 + -6225879/68. Let q = 4 - 3. Which is greater: q or n?
q
Let a = 1.0801 - 0.4801. Which is bigger: -28/3 or a?
a
Let g = 3455 - 3454.8. Is -220 at least as big as g?
False
Let z = 1259 - 1264. Which is smaller: 21 or z?
z
Let b(q) = -q**3 - 11*q**2 - 19*q - 6. Let v be b(-9). Let o be (2/6)/(2/24). Suppose z = 5*i + 16, z + 14 = -o*i + v. Which is smaller: -1/8 or z?
-1/8
Suppose 0*f - 60 = 4*f. Let u be 90342/14580 - (-2)/20. Let r = u - 584/27. Which is smaller: r or f?
r
Suppose 4*j + 3*o - 96 = 0, 0*j + 24 = j + o. Let q be (-34)/j + (-1)/1. Let t = q - -7/4. Are 0.1 and t unequal?
True
Let t(s) = 10*s - 56. Let z be t(6). Let g be 2*(3 - (z - 2)). Is 2 less than g?
False
Suppose -6*n + 27 = -3. Suppose 0 = n*x - 20, -x - 88 = 3*d - 2*x. Let f = -46 - d. Which is greater: -19 or f?
f
Let u = 268101/14 + -19150. Is -19/9 smaller than u?
True
Let w = -281.1 - -51.1. Let o = 17 + w. Which is smaller: o or 0.1?
o
Suppose 0 = -4*y - 2*f + 354, -4*y - 5*f + 363 = -0*f. Let a be (-2)/3 + (-29)/y. Let u be 2 - -1 - (-24 - a). Is 26 greater than or equal to u?
True
Let c(o) = o + 6. Let s be c(-6). Let g be (s + 1)/(2/(-2)). Let l = 603 + -605. Which is smaller: g or l?
l
Suppose -8*w - 2 = -34. Suppose -g - 5*y + 56 = 0, w*g = -4*y + 21 + 171. Which is greater: 45 or g?
g
Suppose 5*o + 45*k = 49*k - 13973, 0 = k + 3. Which is bigger: -2798 or o?
o
Let b = 119.056 - 119. Let r = b + 83.944. Let i = 67 - r. Is 3 > i?
True
Let t(z) = -z**2 - 2*z + 1. Let d be t(-3). Let u(f) = 6*f**2 - 3*f**2 - 3 + 3*f - 3*f**2 - f**3. Let c be u(d). Do c and -1 have different values?
False
Let r be 9/(-21) - 4/14. Let j be -1 - (0/(-3) + -3 + 2). Let o = 0 + j. Which is smaller: o or r?
r
Let h = 51 + -46. Suppose 2*k = 2*u - 4, -4 = -h*u - 4*k - 3. Let c = 0.06 - 0.12. Is c not equal to u?
True
Let y = -71 - -79. Let f(a) = y - 4*a + 2*a + a + 0*a. Let u be f(-5). Which is greater: u or 15?
15
Let r be 0*(-2)/((-8)/(-2)). Suppose -p - 5*w = 23, -3*w - 15 - 2 = -p. Let g be (p/(-4))/((-114)/(-4)). Which is smaller: r or g?
g
Suppose 0*q = 7*q - 686. Let u = q - -21. Suppose -s + u - 116 = 0. Is 1/7 smaller than s?
True
Let t = 6161 + -6277.52. Let w = -2.52 - t. Which is bigger: -0.1 or w?
w
Suppose -4*u + 382 = 2*w, -30*w + 3*u - 380 = -32*w. Let o = w + -148. Is o at most 38?
False
Let m = 5.423 - 5.823. Is m != -0.0336?
True
Suppose -3*g - 9 = 0, 4*n - 462 = -0*n - 2*g. Let a = 245 - n. Let t be 4*5/(-30) - a/(-21). Which is bigger: t or 6?
6
Let x be (-96)/(-144) - ((-1240)/(-6) + 0). Let u be (2 + (-8)/5)/((-1)/515). Is u at most x?
True
Suppose 3*d = 2*o - 3, 7*d + 4 = 2*d + 3*o. Let c(f) = -18*f**3 - f**2 + 2. Let r be c(d). Which is smaller: -20 or r?
-20
Suppose 0 = -w + 2*i + 3380, -2*i = -4*w - 916 + 14424. Is 3377 <= w?
False
Suppose 5*z + 59 = m, -m + z + 64 = 53. Let q = 9 - -30. Which is smaller: q or m?
m
Suppose 0 = 48*m - 48*m + 178*m + 566396. Which is smaller: m or -2?
m
Let j = -22004 + 22004.06. Let w be (-28)/(-8)*(-6)/(-28). Which is smaller: j or w?
j
Let l = 152697 - 1066405/7. Let j = l - 353. Which is smaller: 2 or j?
j
Let n be ((0/1)/(105/(-105)))/(-6). Let y = 98688/83 + -1189. Is y at least n?
True
Suppose 71*p - 66*p + 5*w = 12280, -6*w + 9820 = 4*p. Are 2457 and p equal?
False
Let z = 183 - 174.3. Let b = -109 + 61.7. Let t = b - z. Is 2/3 <= t?
False
Let w(n) = 17*n + 148. Let s(h) = -6*h - 49. Let c(p) = 11*s(p) + 4*w(p). Let a be c(-21). Suppose -7*u + 5*y = -3*u - a, -3*u - 2*y = 9. Is u < -1/46?
True
Let c(g) = g**3 - 25*g**2 - 47*g + 26. Let l be c(26). Let h = 506 + l. Which is greater: -8 or h?
-8
Let f(k) = 2*k**2 - 20*k + 4. Let h be f(10). Suppose -6 + 6 = -h*r. Suppose r = 8*d - 38 - 82. Which is smaller: 0 or d?
0
Let u(v) = -v**2 + 9*v + 44. Suppose s - 14 = -2*g, -g = 4*s - 2*g - 56. Let l be u(s). Let f = l - -100. Is f at most 76?
True
Let z = 32064807/683 - 46947. Which is smaller: z or 9?
z
Let t = 103580164214/869 - 119194687. Let r = -237/11 - t. Is r bigger than 0?
True
Let q = -206 - -448. Let z = -132 + q. Are z and 110 equal?
True
Let c = 24/163 - 3268/17767. Let b = -478/7085 - c. Let o(k) = -2*k**3 + 36*k**2 - 34*k. Let n be o(17). Which is smaller: b or n?
b
Let s = -292 - -287. Let y be 218/(-36) - 30/s. Which is smaller: y or -0.02?
y
Let k = -13911/5 - -2783. Let r = -41/60 + 1/12. Which is bigger: k or r?
k
Suppose m = -2*q - 3, -9*q = -4*m - 7*q - 22. Let f be 2/5 - (m + (-1144)/(-360)). Which is bigger: 0 or f?
f
Let s = 1885 + -1730. Which is greater: s or 142?
s
Let x = 1.75 + -38.25. Let a = x + 38. Let n = a + -1.2. Is -5 <= n?
True
Suppose 384 = 4353*a - 4345*a. Does a = -6?
False
Let s = -1.9 - -1. Let h = -0.1 + s. Let p = -3951.8 + 3956.8. Is p equal to h?
False
Let o be ((-5)/4)/((-53680)/20433536). Is o != 475?
True
Let l be (56/(-1008))/(2/42). Which is greater: l or 25?
25
Let s(w) = -34*w + 40. Let i be s(1). Suppose -x + 3*a - 170 = -i*x, x + 3*a - 22 = 0. Which is smaller: x or 35?
35
Suppose 5*t - 384 = 2*b - 64, b - t = -166. Let c be (6/15)/((-4)/b). Is 0 >= c?
False
Let z = -3781/5 + 691913/915. Suppose 893*o - 10 = 903*o. Is o less than or equal to z?
True
Suppose 16*p - 101 - 72 = -125. Are p and 71/47 unequal?
True
Suppose -6*v + 28 = -2. Let d be (4/(-14))/((150/42)/v). Is -1.91 < d?
True
Let m = -19044 + 19063.79. Is -2/7 at lea