9. Suppose 2*n - 4*z - v = -z, 2*n - 4*z - 2 = 0. Is x >= n?
True
Let b be (824/204 - 4)/(4/(-12)). Let m = 411/64 - 77625/11968. Let g = b + m. Do g and 0 have the same value?
False
Let y = 2.08 - 0.08. Is 54 bigger than y?
True
Suppose 0 = -12*a + 25 + 11. Suppose 0 = -x - 5*o + 4, -a*x - 2 + 0 = o. Is x > -2/241?
False
Suppose -p - 2*z + 1042 = -6*p, 0 = 4*p + z + 844. Is p at most as big as 2?
True
Let a = 1.9 - 2. Let m = -120.827 - 0.173. Let d = m + 112. Is a >= d?
True
Let h(i) = -1 + i + 4 + i. Let y be h(-2). Let q be 160/(-48)*(13/156)/((-8)/(-18)). Does y = q?
False
Let c be -6 + (1 - 8/4). Is c at most -101/12?
False
Let z = -85 + 41. Let v be ((-6)/(-10))/(99/z). Is v at most as big as 1?
True
Let w = 70 - 92. Let d = w - -2. Which is smaller: 2/3 or d?
d
Let n = -3 + 6. Suppose 9 = -3*h, 3*y + n*h + h = 48. Suppose 4*w + 10 = x, y = -4*x + 5*w - 4*w. Are x and -7 equal?
False
Let o(x) = -7*x - 32. Let c = -27 - -17. Let s be o(c). Are s and 39 equal?
False
Let w = 22 + -7. Suppose 2*x - 3*x - 3*u = 7, 63 = -5*x - u. Let c = 1 - x. Is w at least as big as c?
True
Let i = 232 - 407. Is i bigger than 2/7?
False
Let j(f) = -f**3 + 14*f**2 + 17*f + 12. Let s be j(15). Suppose -s*h - 36 = -39*h. Which is smaller: -11 or h?
h
Let s = 0.3 + -0.1. Let w(g) = -58*g - 7. Let h be w(2). Let n = h + 863/7. Is n < s?
False
Suppose -2*y - 118 = -w, 0 = 4*w + 5*y - 201 - 323. Which is smaller: w or 249/2?
249/2
Let p be (9/6)/((-17)/204). Which is smaller: 6 or p?
p
Let t = -413 - -413.01. Are t and -63 equal?
False
Let j(g) = -g**3 + 41*g**2 - 38*g - 95. Let v be j(40). Which is bigger: v or -18?
v
Let s be (1 + 1)*43/30 + -3. Which is greater: 0 or s?
0
Let w = 257/3 + -1971/23. Is w at least as big as -1?
True
Suppose -5*u - q + 5 = 10, 5*u + 15 = -3*q. Let z(p) = -p**3 - 7*p**2 - p + 3. Let d be z(-5). Let f = -373/9 - d. Is f at most u?
False
Suppose -w + 0*w = 339. Let g = w + 594. Let z be (10/g)/((-1)/3). Which is smaller: z or 0?
z
Let a(w) = -w**2 - 8*w - 6. Let d(l) = -l**2 - 2*l - 5. Let f be d(-3). Let h be a(f). Is -9 smaller than h?
True
Suppose -3*v = -6*v + 72. Suppose -7*l + 3*l - 22 = 2*q, -5*l - v = -q. Is 1/20 bigger than q?
True
Let w = 226 + -218. Let h = -9 + 17. Let y = h - w. Which is greater: -0.1 or y?
y
Suppose -5*a + 98 + 117 = -5*w, -3*a = 2*w + 96. Which is smaller: w or -41?
w
Let b = 376 + -378. Let d = -21163/19726 + 2/1409. Which is greater: b or d?
d
Let m be 48/(-99) + 28/42. Which is smaller: m or 3?
m
Let l = 20691 - 20692. Let s = -1 - 1. Let o(k) = -k**2 + 2. Let a be o(s). Which is bigger: l or a?
l
Let b(o) = -78 + 2*o + 5*o**2 + 78. Let i be ((-4)/2 + 3)*1. Let w be b(i). Is w < 9?
True
Let w(o) = 5*o**2 - 2*o**2 - 4*o**2 + 2*o**3 - o**2 - 2*o. Let g be w(2). Let h(r) = -2*r + 9. Let d be h(g). Which is smaller: d or 2/45?
2/45
Let f(v) be the first derivative of v**4/4 - 5*v**3/3 - 3*v**2/2 + 12*v + 6. Let l be f(4). Is -17 > l?
False
Let m be -2 + 0 - 2*-1. Let x be 32/(-80) - (-4)/10. Let s be (1 - x)/(99/36). Which is smaller: s or m?
m
Let h(w) = 4*w - 95. Let d be h(24). Which is bigger: d or -4/47?
d
Let r = 268 + -268. Is r > -18/23?
True
Let j = -273 + 258. Is j smaller than -99/7?
True
Let a(p) = p - 2. Let v be a(4). Let q be ((-84)/(-1071))/(v/(-3)). Is q equal to 1?
False
Let z = -104 + 207. Let n = z + -102.9. Do 0.1 and n have the same value?
True
Let p = -1183 - -1709. Which is smaller: 525 or p?
525
Let o = -5 + 3. Let a be -1*(2 + (-1 - o)). Let g = -12 + 13. Which is greater: g or a?
g
Let g = -0.8 + -0.2. Let o = -6 - g. Let n = 5.2 + o. Which is smaller: n or -1?
-1
Suppose 0 = -33*t + 34*t + 8. Suppose 17 = -0*c + c + 3*g, -3*g + 25 = 5*c. Suppose -c*o - 15 = -5. Which is smaller: o or t?
t
Let q = -65 - -30. Is q > -36?
True
Let x = -52 + 58. Suppose -q - 2 = -3*r, 5*q + 4 + x = 2*r. Is -17 <= r?
True
Let z(c) = -c**2 - 36*c - 100. Let g be z(-33). Which is smaller: 6/299 or g?
g
Let j = -1664 - -1590. Which is bigger: j or -822/11?
j
Let i = 17.3 + -17. Let n = -0.4 + i. Which is greater: 17 or n?
17
Let b = 55 + -24. Suppose -l + 36 = b. Suppose -l*u - 6 - 4 = 0. Is u smaller than -0.1?
True
Let o be (-1)/((-1)/(-25)) - 1. Let g be (2/(-1))/(o/4 - -6). Which is bigger: 16/3 or g?
16/3
Let g(u) = u**3 - u**2 - 2*u - 6. Let p be g(3). Suppose -s + 5*h + 11 = 0, -2*s + p*s - h - 6 = 0. Is s at least 0?
True
Let g = -0.0544 - -4.0544. Which is bigger: g or 11?
11
Let w be 0/(2/1) - 5. Let l(h) = -3*h - 13. Let b be l(w). Let q be (-27)/21 - b/(-7). Which is bigger: 1/18 or q?
1/18
Let u = -47 - -39. Let o be 10 + u - -7*1. Let v be (12*1)/((-6)/(-4)). Which is greater: v or o?
o
Let j(t) = t**2 + 9*t + 10. Let o be j(-8). Let b be -2 + 1 + -12 + 10. Which is smaller: o or b?
b
Let s(u) = u + 2*u - 6 - 4*u + 5. Let n be s(-2). Is 0.15 greater than n?
False
Let j = 302535 + -444537. Let v = j + 712268/5. Let s = -450 + v. Is s equal to 3?
False
Suppose 0 = 3*f - h - h + 56, -4*f = -h + 78. Is -20 less than f?
False
Let p = 77 - 54. Let r = p + -24. Is r greater than 12?
False
Let b be -2*(-400)/35*7. Is 160 at least as big as b?
True
Let x = -0.1 + 0.5. Let w = x - -0.6. Which is greater: w or 0?
w
Let z be (174/12 - 7)*(-1)/10. Which is smaller: -16 or z?
-16
Let k be (48/3)/(-4*(-1)/2). Suppose 5*x - 44 + 9 = 0. Which is bigger: x or k?
k
Suppose 20 = 4*k - 0*k. Suppose k*l - 140 = 15*l. Do -13 and l have the same value?
False
Suppose 0 = 5*x - 43 - 47. Let q = -9 - -9.2. Does q = x?
False
Suppose -3*b + 3 = u, 6*u + 2*b - 16 = 3*u. Suppose -u*t + 10*t - 4 = 0. Which is greater: t or 3/7?
t
Let l = -87.8 + -38.2. Is 3 >= l?
True
Let l be (-14)/(-1364) - (18 - 3152/176). Are 1 and l equal?
False
Suppose -356 - 130 = 9*u. Which is greater: u or -700/13?
-700/13
Let x = -11 - -13. Suppose -x*o - 6*r = -r - 37, 3*r = 3. Which is smaller: 17 or o?
o
Suppose -104 + 20 = -4*o. Suppose -3*z + 0*z = o. Which is smaller: -8 or z?
-8
Let y = -4.1 + 14.1. Let k = 8 - y. Is -3 bigger than k?
False
Let v = 0 - -1. Let s(b) = 10*b**2 + 2*b - 1. Let r be s(v). Let i = -2939 - -2951. Are i and r unequal?
True
Let y be 2/(-6 - 472/(-79)). Which is bigger: 0 or y?
0
Let m = 220 + -220.4. Do m and 2/11 have different values?
True
Suppose -44*x = -41*x - 450. Let a = x - 150. Is -1 > a?
False
Suppose -2*x - 16*l + 18*l = -92, 0 = -3*x + 2*l + 140. Let i = 1 + -1. Suppose 5*z + 21 = 4*d, i = -4*d - d - z + x. Which is greater: d or 8?
d
Let n = 119 + -58. Suppose -175 = 6*m - n. Is m greater than -18?
False
Let t = 76 + -22. Let b be (-808)/(-14) - (-1 + 5). Let y = b - t. Is y at least as big as 0?
False
Suppose 5*k + 3*l = 0, 6*k = 5*k + l. Which is smaller: -8/13 or k?
-8/13
Suppose 3*i - 7*m + 3*m = -936, 0 = -4*m. Let l be i/20 + 0 + 3/5. Suppose 0 = o + o + 28. Is o != l?
True
Let k(u) = -u**3 - 12*u**2. Let r be k(-12). Let v be 6/(-30) + (-6)/(-10). Which is bigger: r or v?
v
Suppose 4*m - 6*m + 5*w - 243 = 0, -3*m - 375 = 3*w. Which is bigger: m or -126?
m
Let q be -7 + (14/2 - 4). Let h be -1 - -1 - (5 + q). Which is smaller: -1/2 or h?
h
Suppose -3*r + 1164 = 3*m, r - 161 = -2*m + 231. Suppose -521 = 3*x + z, -2*z + 149 = -3*x - r. Which is smaller: -174 or x?
x
Let i(t) = t**2 - 2*t - 20. Let l be i(6). Suppose 5*d = 4*h + 13, 2*d + l*h + 5 = -d. Are d and -2/9 unequal?
True
Let x be (-2)/(-7) - 9/(-21). Let d be (3/2 - -2) + (-4)/(-8). Let w be (0 + d + -5)*-1. Which is smaller: x or w?
x
Suppose 5*f = -5*c - 15, 3*f = c - f + 18. Is c at least 3?
False
Suppose -1 + 5 = -u. Let k be ((-1)/3)/((-13)/702). Let w = -24 + k. Which is smaller: u or w?
w
Suppose -8 - 1 = 3*w. Suppose -61 + 56 = 5*r. Let b be r*w/21*-6. Do -2 and b have the same value?
False
Let g = -137 - -137. Is -2/171 smaller than g?
True
Let n(y) = y**3 - 9*y**2 - 26. Let o be n(10). Which is greater: o or 73?
o
Let k be 15/(-54) - 1/(-2). Let w = 11369 + -11368. Which is smaller: w or k?
k
Suppose -5*a = 3*u + 20, 3*a + 1 + 11 = u. Suppose 3*c - 3 = u, -3*c + 1 = 2*m + 2*c. Let g be 6/5*(124/18 + -8). Is g at most as big as m?
False
Let s be (-234)/(-195)*10/3. Are 52 and s nonequal?
True
Let f = 30/53 - -1129/159. Let q = f - 28/3. Which is bigger: q or -1?
-1
Suppose 4*l + 0*l = 4*d + 24, 5*l = d + 38. Let r be l/(0