east z?
False
Let r = -197/103 - -344647/180250. Which is greater: 0 or r?
0
Let x = -4907 - -4672.7. Let h = x + 234. Let v = -36 - -18. Which is bigger: v or h?
h
Let d be (480/(-165) - -3)/((-3)/(-33)). Which is bigger: -2/12285 or d?
d
Let v(c) = 2*c - 27. Suppose 5*j - 19 = -z, -9*j = -4*z - 11*j + 58. Let o be v(z). Let m = 1/474 - -103/1106. Does o = m?
False
Let h(u) = -2*u**2 + 15*u - 2. Suppose l - 5*p + 18 = 0, 3*p = -2*l - 0*p + 29. Let j be h(l). Suppose 6*q - 18 = j*q. Do q and 15 have the same value?
False
Suppose -6*z - k = 216, -108 = 3*z + 199*k - 196*k. Are z and -891/25 equal?
False
Let h = 13049.8 - 13050. Is h greater than or equal to -8424?
True
Let d be ((-45)/(-20))/(5 - 690/144). Which is smaller: 0 or d?
0
Let b be ((-5)/(-10) - 0)*(0 + 2). Let r be 12/(-26*b/4). Does r = -2?
False
Let l be 2/(-6) - (-672)/18. Let n = l + -62. Let c be -3*(-11)/15 - (-5)/n. Which is smaller: c or -3?
-3
Let o = 487 - 97. Let j = o - 386. Which is smaller: -1.7 or j?
-1.7
Let g be (-21)/(-2)*18/112. Let u be -26*(-20)/265 + 26/689. Which is bigger: u or g?
u
Let t = 99507 + -99529. Let u = 0.2 - 0.12. Which is smaller: u or t?
t
Let z be (-171996)/(-76) - (-14 + 4556/323). Is 2262 < z?
True
Suppose 4*k + 136 + 76 = -4*b, -3*b - 215 = -4*k. Which is smaller: b or -896/15?
b
Suppose 0 = -2925*y + 2889*y + 219384. Which is bigger: y or 6096?
6096
Suppose 6578 = 6*i - 905 - 4607. Is 2016 equal to i?
False
Let s = -1.266 - 524.734. Let j = 525.7 + s. Let u = 0.6 + 0.8. Which is smaller: u or j?
j
Let z = -427917.009 - -427428. Let l = z + 489. Is -0.05 >= l?
False
Let v = 15351.7492 - 15329. Let t = v + -0.0492. Let z = -22 + t. Is z equal to -1?
False
Let v = 3475 + -31273/9. Let w be (-2)/(-3)*3 - -3. Let o = 4 - w. Is v at least as big as o?
True
Suppose -5*h + 3*t - 27 + 5 = 0, 3*h - 10 = -4*t. Let z be h/18 - (-1133133)/(-513). Let b = z + 2208. Which is bigger: b or -2?
b
Let t(u) = -26*u - 1. Let p be t(-1). Let x = p - 25. Let l = 0.051 + 28.949. Is l at least as big as x?
True
Suppose -2*v + 2310 = 3*v. Let t be 18/v - (-2)/(-11). Let c = -2075 + 2075.2. Which is greater: c or t?
c
Let z = 0.01149 + -1181.01149. Is z != 5/3?
True
Let r be 16*8/64 + 322 + 3. Which is smaller: r or 318?
318
Let g(i) = 239*i + 1002. Let k be g(7). Which is smaller: -2/11 or k?
-2/11
Let j be (8/10)/(2/5). Suppose 0 = j*y - 5*b - 6, -2*y + 3*b + 2 = -0*y. Let p be (-525)/30*y/1. Is 36 greater than p?
True
Suppose -p - 51 = -f, -4*f + 16*p = 17*p - 214. Suppose 4*t = -2*r + 214, -100 = -3*t + r + f. Is t at most 54?
True
Let p(n) = 4*n**2 - 6*n + 5. Let q(c) = c + 5. Let b be q(-3). Let y be p(b). Let i(j) = -j**2 - 7*j - 7. Let z be i(-5). Which is bigger: y or z?
y
Let l = -2349/124 + 75/4. Let p be 27/(-36) - 11/(-4). Suppose 2*k + 4 = -4*f + 14, 5*k - 1 = -p*f. Which is bigger: l or k?
l
Let g = -999.9 + 999.75. Does g = -19?
False
Let a be 3/15*20/(-568). Suppose 25 = 5*s, -w + 2*s = 6 + 5. Is a greater than or equal to w?
True
Let h = -28373 + 20774. Is h smaller than -7599?
False
Let q = -65171/4740 - 1/1185. Let o be -9 - (-3)/(((-36)/(-8))/(-9)). Do o and q have different values?
True
Let y(q) = 9*q**3 + q**2 - 20*q - 13. Let p be y(-4). Let o = 590 + p. Which is greater: 98 or o?
98
Let p = 8209 - 1986575/242. Is -1 < p?
True
Let s = -148 - -141. Let r = -71 - -31. Let w = r + 31. Which is greater: w or s?
s
Let q be ((-17)/(-16) + 1)*(28 + -30). Let s(d) = d**3 + 16*d**2 + 20*d + 71. Let w be s(-15). Which is greater: w or q?
w
Let t = 92919351129/38413765 + 8/590981. Let s = 2419 - t. Is s != 1?
True
Let h = 782 + -86. Let u = 697 - h. Is 2/933 greater than or equal to u?
False
Let i = 0.09 - -66.91. Let t = 4340 + -4275. Let s = t - i. Do s and 0.09 have different values?
True
Let v = -57433/39 - -19140/13. Let r = 0.2 - 0.2. Which is smaller: v or r?
v
Let k be 4/(-6) - 7/21. Suppose 0 = 5*m - 9280 - 880. Let c be 3 - ((-2)/(-8) + m/832). Which is smaller: c or k?
k
Suppose 1 = 2*c - 3*c - 5*d, -d = 0. Suppose -5*y - 5 = 0, 0*y = -3*b - 5*y - 1868. Let x = b - -622. Which is bigger: x or c?
x
Suppose -5*p + 40*m - 39*m = -4, 4*p = -5*m - 20. Which is smaller: -2/217 or p?
-2/217
Let l = -547000.9879 - -546773. Let j = 0.0121 - l. Which is smaller: j or 2/3?
2/3
Let u = 647 + -1975/3. Let k(a) = -3*a + 25. Let d be k(12). Let h = u - d. Is -0.04 greater than or equal to h?
True
Let v(h) = 3*h**2 + 16*h + 17. Let w be v(-4). Let u = 28 + -24. Suppose u = -3*c + w. Are -2/103 and c non-equal?
True
Suppose 0 = -31*v + 30*v + 1. Suppose 0 = t + 2*g + v, -2*g = -5*t - 5. Let b = 1 - t. Which is bigger: b or 1?
b
Let x be (-420)/980 - (-477)/231. Let v = -0.23 - -0.03. Is v bigger than x?
False
Let g = -0.3 + -4.6. Let l = 4.7 + g. Is l < 21?
True
Let r = -4351594/653 + 6664. Which is greater: 0 or r?
0
Let l(b) = -b**3 + 8*b + 14. Let f be l(-6). Let s = -183 + f. Which is smaller: s or 18/11?
s
Let z(y) = -y**2 + 13*y - 14. Suppose -5*g - 2*n + 17 = -0*n, -2*g + 4 = -2*n. Let l be z(g). Let d be (28/32)/((-40)/l). Which is smaller: d or -1?
-1
Let z = -8874 - -8633. Which is smaller: -18 or z?
z
Let j be 1/((16/(-24))/(20/30)). Are j and 1/19738 equal?
False
Let o = 81349/13 + -6258. Are o and -57 unequal?
True
Let w be (2/(-68)*9)/((-105)/(-7000)*50). Let p be (1*-1)/(5/1). Do w and p have different values?
True
Suppose 3*b + 99 = -8*b. Let c be (3/b*-4)/((-4)/(-18)). Let q be -6*c/(-45)*6/(-60). Which is greater: q or 0?
0
Let s = 8 - 2. Let l(u) = -352*u - 97. Let n(t) = 492*t + 146. Let a(j) = -7*l(j) - 5*n(j). Let q be a(s). Is -27 bigger than q?
False
Let m = -68 - -99. Suppose j + 1901 = 3*n, j = -2*n + 365 + 904. Let h = 664 - n. Which is smaller: m or h?
h
Let h(b) = b - 36. Let r(f) = 7*f**2 + 17*f - 8. Let j be r(-4). Let a be h(j). Is a less than or equal to -2/2657?
False
Let m = 1/14887 - 75697/18787394. Does m = 1?
False
Let n be 8/(-10)*((-9)/2 - -2). Suppose -3 - 3 = -n*k. Suppose -x - 4*v - 42 = -0*x, -k*x + 3*v - 141 = 0. Is -46 > x?
False
Let c(m) = -323*m - 322. Let d be c(-1). Which is bigger: d or -64?
d
Let g = 2150 + -2149.71. Is g at least -27?
True
Suppose 5*j - 5*i = -5, 2*i - 2 = -26*j + 15*j. Which is greater: 16/611 or j?
16/611
Let y be (-2)/((-6)/3) - 2. Let z be (-1078)/357 - (4 - (-102)/(-18)). Are y and z equal?
False
Let u(v) = -15*v**2 - 1. Let k be u(-1). Let r(m) = -233*m + 114*m + 133*m + m**3 + 17*m**2 + 5. Let h be r(k). Is 37 > h?
False
Let z = -784 + 721.6. Let v = -182 - -120. Let n = v - z. Are n and 3 unequal?
True
Let l(g) = -g**3 + 14*g**2 - 46*g + 602. Let h be l(14). Which is smaller: -14 or h?
h
Let r(k) = -2*k**2 + 16*k + 13. Let u be r(14). Let p be (-11)/3 + -44*8/(-132). Is p bigger than u?
True
Suppose 5*k + 2*n = -0*n, 3*k - 2*n = 16. Let w be 12/k + 2450/(-413). Which is bigger: w or 0?
w
Suppose -4*d + 438 = 454, 5*d + 192 = -4*p. Which is smaller: p or -50?
-50
Let x = -1.8 - -19.8. Let b = x - 15. Let u = 342.01 + -342. Which is smaller: b or u?
u
Let z(b) = 2*b + 2. Let a be z(0). Suppose a*p - 15 = 7*p. Suppose 0 = -2*h - 3*u - 3 - 0, h - 2 = -5*u. Is p at least as big as h?
True
Suppose -13*m - 2*m + 30 = 0. Suppose -2*f + 0*z + 4*z + 130 = 0, 2*f = -m*z + 160. Suppose -3*r + f - 12 = 0. Is 18 bigger than r?
False
Suppose -3*u + 2*y = 4 - 18, -4*u + 30 = 3*y. Let o be (-3)/u + ((-9)/(-3))/6. Which is smaller: o or 12/25?
o
Let n = 5.6 - 7.6. Does n = -93?
False
Let l be ((-4)/4)/((-59)/(-4)). Suppose -3*r - 91 = -10*r. Suppose -5*z - r - 2 = -5*m, 3*m - 11 = 4*z. Is m bigger than l?
True
Let t = 1.666 - -19.334. Is 48 equal to t?
False
Let f be (5/(-10))/(2/(-8)). Suppose -20 = f*g - 18. Is g >= 3/56?
False
Let m be 5 + (-22 - (-5 + 1)). Let b be (-4)/m*17/(-136). Which is smaller: 1 or b?
b
Suppose -243*i + 255*i = 36. Let y = -0.14 - -0.18. Are i and y unequal?
True
Let a = 12569/126 + -1395/14. Which is smaller: -3/2 or a?
-3/2
Let f(q) = 1053*q + 4306. Let t be f(-4). Is t at most as big as 130?
True
Let q(x) = -2*x - 18. Let v be q(-10). Suppose k + v = 5. Is k >= 12/7?
True
Let b(g) = 1158*g + 1410. Let v be b(-3). Is -2064 >= v?
True
Suppose 0 = -44*m + 88*m - 14*m - 330. Are m and -104 equal?
False
Let m(h) = -10*h + 6. Let z be m(3). Let s = -5976 + 5962. Does z = 