9) - -4. Do 0 and u have the same value?
False
Let o be (-72)/54*(-2 + (-88)/(-20)). Let a = 3 - -1. Suppose 4*m + 24 = a*q, 0*q - 14 = -m - 4*q. Which is smaller: o or m?
o
Let h be 14 + 14 + (-3664)/136. Which is greater: h or -7/5?
h
Suppose 0 = 70*x + 345166 - 119206. Which is smaller: -3229 or x?
-3229
Let x(l) = 7*l - 148. Let b(r) = 3*r**2 - 45*r + 16. Let v be b(15). Let c be x(v). Let o(g) = 2*g**3 + 7*g**2 + 5*g. Let u be o(-4). Is u smaller than c?
False
Let d = -12.632 + 12.3187. Is 0.2 at least as big as d?
True
Suppose 9 = 4*c + 5*n, -5*c - 4*n + 7 = -2*n. Let k be (10/(-5))/(6/(-363)*c). Is k at most 121?
True
Let p = -7.68 - -7.6. Let g = 0.18 + p. Which is smaller: g or 2/1059?
2/1059
Let k be -6*(-7)/(-70)*740. Which is smaller: k or -445?
-445
Let q = -549677/63 - -8725. Which is bigger: q or 2/23?
2/23
Let x be (-21)/(-42)*(0 - -32). Suppose -187*g + x = -189*g. Is -8 not equal to g?
False
Let p = -299.4 + 307.7. Which is bigger: 3 or p?
p
Suppose -33*k + 36*k + 287 = 4*j, -j + 93 = -5*k. Which is greater: j or 555/8?
555/8
Suppose 5*j = 6*j. Suppose 0 = -w + v - 2, j*w - w = 2*v + 5. Let y be 17 - -2 - w/(-1). Is 17 at most y?
False
Suppose -18 + 0 = -2*p. Suppose 4*b = g, 3*g = -b + g + p. Let t be (-25)/15*4/50. Do t and b have the same value?
False
Let t be 8 + 1/(2/(-12)). Suppose -3*a - t = -17, 5*f = -2*a. Is f not equal to -130?
True
Suppose 0 = -w - 135 + 22. Let s be (-3948)/(-188) - 15*9. Which is bigger: s or w?
w
Let w be ((-3)/2)/((-3)/20). Suppose g = -b + w, 0*b + 5*g - 40 = -3*b. Let v be (18 + 10304/(-621))*3. Are b and v nonequal?
True
Let t(m) = 37*m**3 - 13*m - 31. Let r be t(-2). Are -295 and r unequal?
True
Let s(i) = -2*i + 59. Let z be s(28). Suppose 0 = z*w - 12, 0 = -q - q + 4*w + 292. Is q less than 154?
False
Suppose -290 = 4*j - 1726. Let u = -221 + j. Are 139 and u unequal?
True
Suppose 5*y - 115381 + 31381 = 0. Let q be y/2695 + 2/(-14) + 0. Let r = q - 4366/715. Is -1 at least r?
False
Let x = 3983 + -51737/13. Suppose -43*w = -38*w - 20. Suppose 14*c = 10*c - 16, 4*s - w*c - 28 = 0. Is s at least x?
False
Suppose -81*r + 22 - 1 = -74*r. Which is smaller: 1133 or r?
r
Suppose -310 = -6*q + 4*q. Let h = -221 + q. Let s = -65 - h. Is s at most 1/5?
False
Let g = 3410.7 - 3413. Is g >= -7?
True
Let r = 3167/20 - 475/3. Let b = 289/60 + r. Which is bigger: b or 4?
b
Let w = -0.1063 + -0.2427. Which is greater: w or 1?
1
Let q = -0.894 - -0.8173. Let f = -28.7867 - q. Let a = -0.71 - f. Is -1/2 < a?
True
Let n be 15/(3060/17) - (-925)/(-12). Let t = -26 - 52. Which is smaller: t or n?
t
Suppose 2*z = 4*s - 69 + 37, -5*z + 37 = 3*s. Which is bigger: s or -907/3?
s
Let o be (-13)/(-52)*(-4)/(-2). Suppose 0*d - d = b + 38, 2*b + 175 = -5*d. Let y be ((-51)/d - 1)/(1 - 2). Is o smaller than y?
False
Let d be -3*((-6)/2 + 20). Let v be ((-29164)/d)/((-8)/(-12)). Let m = -858 + v. Which is greater: 1 or m?
1
Let f = 111.8 + -149. Let h = f - -39. Do h and -0.04 have the same value?
False
Let u be (-8)/24 - (-140)/(-3). Let l be u*154/(-152) + (-5)/20. Let f = l + -28014/589. Are 1 and f nonequal?
True
Suppose 57*m - 3*m = -1242. Is -23 less than or equal to m?
True
Suppose -4*w - 238 = -2838. Let b = w - 649. Is b at most as big as 3?
True
Let l be ((-4)/6)/(2/(-12)). Suppose 0 = l*g - 2*g. Let j = 5555 - 5552. Which is bigger: j or g?
j
Let f = 1.711 + 2.789. Which is bigger: f or 47?
47
Let f = -5697.2 - -5697. Let n = 1 - -4.6. Let o = n + 0.4. Is o at most as big as f?
False
Let y = -122502 - -2087034/17. Which is smaller: y or 264?
264
Let k(i) = i**3 - 18*i**2 - 19*i + 1. Let h(g) = -g**2 + 7*g + 13. Let l be h(6). Let z be k(l). Let j be 16/10*1/4*z. Is j at most 14?
True
Let t = -97 + 103. Let b be (-1)/(-4)*((-7)/21)/(5/(-420)). Is t greater than b?
False
Let j(t) = 33*t - 1. Let n be j(1). Let o(a) = a**2 - 23*a + 54. Let g be o(9). Let c be 40/32 + (-6)/g*381. Which is greater: c or n?
c
Let f = -5823/4 - -11127/8. Let w = f - -6939/104. Which is greater: w or 3?
3
Let p = -108184/453 - 78/151. Let g = -236 - p. Does g = 4?
False
Suppose -4*h - 3*n - 6 - 1 = 0, 5*n = -5. Let y be 2 + 320/(-24)*12*h. Is 1/3 equal to y?
False
Let g be (-8)/(-12) + 4106/6 + 0. Suppose 2*y + j = g, 2*y - j - 229 = 462. Does y = 343?
False
Let a(z) = 3*z**2 - 49*z + 24. Let b(o) = 6*o**2 - 98*o + 48. Let k(j) = 9*a(j) - 4*b(j). Let i be k(14). Is i < -75?
False
Let h(g) = 2*g + 8. Let z(r) = 5*r + 24. Let w(u) = u**2 + u - 3. Let i be w(0). Let t(b) = i*z(b) + 8*h(b). Let o be t(-2). Are -2 and o unequal?
True
Suppose j + 1 = 4*h, -2*h = 3*h + 3*j + 3. Suppose h = 5*r + 2*m - 1, 4*r = 5*m + 14. Suppose 0*q = q + 1. Which is greater: r or q?
r
Let l = -7 + 7.12. Let r = -12.12 + l. Let x = -998.9 + 999. Which is smaller: r or x?
r
Suppose h - 41 = -4*s - 4*h, 3*s - 5*h = 22. Do s and 170/19 have different values?
True
Let u(x) = 5*x**3 + 2*x**2 - 2*x + 5. Let g be u(-2). Suppose -5*l + 75 = 3*i, 9*l - i = 4*l + 55. Suppose -4*d = -l, 2*t + 4 = -d - 39. Is g equal to t?
True
Let a(f) = -f**2 + 38*f - 71. Let h be 34 + 8/(-4) + 4. Let m be a(h). Is 1/19 < m?
True
Suppose 3*j = -j + 8. Suppose -y - 1 = j*x, 0 = 2*x + 2*x + 4*y. Let f = -206043/49 + 4205. Is x equal to f?
False
Let p = 68 + -81. Let o = -11 + -4. Let x = p - o. Which is smaller: x or 9?
x
Let o(s) = 37*s + 1. Let x = -46 - -47. Let d be o(x). Let m be (7/14)/(d/(-4)). Which is smaller: m or -0.1?
-0.1
Let l = 909/16 + -905/16. Is -842 at most l?
True
Let b = -62545 + 498649/8. Let f = b - -213. Is -2 at least f?
False
Suppose 2*h - 11*z = -16*z - 88, 3*z = 6. Let g = h - -56. Which is smaller: g or 6?
6
Let z = -11.2 + 10.65. Let q = 0.75 + z. Which is smaller: 11 or q?
q
Let p be -9 - ((-59696)/24 - -2). Let l = p + -2444. Which is greater: 32 or l?
l
Let f = -156 - -160. Let q(b) = b**3 + b**2 + 10. Let a be q(0). Suppose -a = j - f. Which is bigger: j or 0?
0
Let s = -112611955/51569 + 15286/7. Which is smaller: -1 or s?
-1
Let p = -2 + 2. Let h be 3/7 + (-42204)/84. Let y = 9536/19 + h. Is y >= p?
False
Let c = -175822 + 177656.976. Let p = c + -1841. Let q = p + 0.024. Is 2 bigger than q?
True
Suppose 4*s = -z + 7, -23*s = -24*s + 2. Which is smaller: 2/5979 or z?
z
Suppose -2*n + n = 5*p - 121, -n + 133 = 2*p. Suppose -4*w + n = 405. Which is smaller: 2/3 or w?
w
Let o = 1019159/5 - 206930. Let w = 3087 + o. Is w >= -2/5?
False
Let r(b) = -b**3 + 4*b**2 + 5*b. Let w be r(5). Which is greater: w or -5/6484?
w
Let p be 99027/1053 - (-6 + 13). Let x = p - 87. Which is greater: x or 1?
1
Suppose -5*y + i - 815 = 0, -y - 7*i = -3*i + 142. Suppose 4*g + 636 = -u, 4*g + 3*u + 127 = -493. Which is bigger: g or y?
g
Let z = 150.56 + -150.188. Which is greater: z or -6?
z
Suppose -3*u = -u. Let x be ((-33)/(-55))/(17/((-2380)/(-2037))). Is x bigger than u?
True
Let v(y) = -3*y + 1. Let d be v(-12). Suppose 0 = -m - 3*u - 32, 2*m = -u + 4*u - d. Let c = m - -22. Is -1/10 greater than c?
True
Suppose 322 = 2*v + 12*v. Let q be (-3 - -2)*(v + -12). Is q at least 0.08?
False
Let k be (-42)/(-42) + (-587 - 0). Which is bigger: -589 or k?
k
Suppose -3*u + 1 = -2*u. Suppose -4*i - 28 = 10*i. Let x be (i/(-10))/((6 - -3) + 2). Which is smaller: u or x?
x
Let p = -35968 - -35969. Which is smaller: -1/2396 or p?
-1/2396
Let z = 20 - 6. Let w = 12 + -8. Suppose x + 2 = -3*v, x - w*v + 5 = 38. Is x at least as big as z?
False
Let w be (-8)/(-10) - (-10258)/115. Let x = w - 82. Let g(v) = -2*v - 2. Let m be g(-5). Is x at most as big as m?
True
Let a = 22797.9729 - 22798. Which is bigger: -17 or a?
a
Let l = 5.77 - 13.77. Let x = -2/93 + -49/2046. Which is smaller: x or l?
l
Let n be (-34 - 2)*(0 - -1). Let j = -110/3 - n. Suppose 10 = 3*h + 13. Which is smaller: h or j?
h
Let h = 227.99 - 225. Let l = h + -2.955. Which is smaller: l or 0?
0
Let v = -2910.9 + 2911. Which is bigger: v or -3666?
v
Let i be (-124)/2*((-3)/(-1))/3. Suppose -1104 = 14*l - 222. Is l at least i?
False
Let p be 3/12 + (-257)/4. Let v be 518/(-402) - (p/12)/4. Which is bigger: -1 or v?
v
Let q be 5142*(3/((-90)/116) - (-1470)/1225). Is -13711 bigger than q?
True
Let j be ((-10)/4)/(-8 + (-105)/(-14)). Suppose -2*x - 137 = 3*w, 5*w + 74 = 4*w + j*x. Do w and -49 have different values?
Fals