et x be z(0). Suppose -4*h = 2*u, -4*h + 0*u - 28 = -5*u. Which is smaller: x or h?
x
Suppose -6*c - 20 + 80 = 0. Let y be 10/(-21)*2/c. Which is bigger: y or -1?
y
Suppose 2*y = 4*j + 5 + 221, 5*j - 5*y = -295. Let r = 55 + j. Is 19 at least as big as r?
True
Let t = -1.813 - -0.223. Let r = 1.49 + t. Which is greater: r or 0.24?
0.24
Suppose -26*g + 5092 = 1348. Which is bigger: g or 140?
g
Let z = 17.02 - 1.02. Is z greater than or equal to -3?
True
Let v be ((-8)/(-6))/((-138)/7659). Is -67 less than v?
False
Suppose 4*p + 50 = -5*s - 39, 22 = -p - s. Which is greater: p or -99/5?
-99/5
Let l = 52 + -52.6. Are 9 and l non-equal?
True
Suppose -3*c - 85 + 205 = 0. Which is smaller: 1 or c?
1
Let h be (-6)/(-3) - (-18)/(-12). Is -40 bigger than h?
False
Let c be 27/(-126)*6 - (-4)/14. Which is smaller: 5/36 or c?
c
Let a be 172/70 + (-28)/(-20) + -1. Is 3 at most a?
False
Suppose 6*a = 4*a + 2*p + 84, -5*a = -3*p - 200. Suppose -a - 3 = 5*w. Is w != -8?
False
Suppose 0 = s - 6*s - 20. Let o = 8 + s. Let r = -3 - -6. Is r at least as big as o?
False
Let y(d) = -d + 19. Let c(t) = 4*t - 58. Let z(v) = -5*c(v) - 14*y(v). Let r be z(7). Which is smaller: r or -20?
-20
Suppose 0 = -v + 2*y + 203, v - 64 = -4*y + 115. Suppose 5*o = -5*r - v, -3*r + 8*o = 4*o + 131. Are -42 and r non-equal?
True
Let t = -2/7 - 3/14. Suppose 0 = -3*j - 0*j - 3. Let n be (-3 - j)*(-2 - -3). Is t < n?
False
Suppose -1424 = 2*h - 2*l - 512, 900 = -2*h - l. Let u = h + 3174/7. Which is bigger: u or 0?
u
Let v(f) = f + 4. Let i be v(0). Suppose 0*u + 2 = -2*u - i*o, 5*u = -4*o - 23. Is -28/5 at least as big as u?
True
Let b = -14.7 - -1.7. Let o = 25 + b. Let r = o + -10. Are 0.1 and r non-equal?
True
Let i be 171/6 + (-3)/6. Let j be 3*(i/(-3) - 0). Suppose -q - 20 = 3*m, -6 + 9 = m. Which is greater: q or j?
j
Let u = 31 - 495/16. Let c = -56 + 53. Let p be (14/c + 5)*(-12)/2. Is u at least as big as p?
True
Let f = 10 - -1. Suppose 2*r + 9 = -4*m - f, -r - 4*m = 20. Is 2/25 >= r?
True
Let u be 14/63 + (-151)/(-9). Let n = u + 9. Let v be (n/169)/(-2*2). Which is smaller: v or 1?
v
Let u be -11 - (0/(3 + -5) + -3). Let b be 54/(-280) - 2/u. Which is greater: -1 or b?
b
Let p = -21 - -10. Let h = 17 + p. Let l(f) = -f**2 + 2*f - 1. Let g be l(1). Is g smaller than h?
True
Suppose 3*f + 2 + 4 = 0. Let r = -1 - f. Suppose 4 = 4*c - 2*m, -13 = -3*c + 12*m - 13*m. Which is bigger: r or c?
c
Let u = -13.6 - -25.4. Let x = -0.25 + -11.75. Let r = u + x. Which is bigger: r or 11/5?
11/5
Let a be (-2 - -5) + -1 - 1040. Let s = a - -38412/37. Which is greater: s or 1?
1
Let h be 2/9 - 482/(-18). Let m be h/(-21)*1 + 1. Suppose 0 = -3*g - 4*l + 76, -5*g + 2*l + l + 117 = 0. Which is greater: g or m?
g
Suppose 4*x + 10 + 54 = 0. Let y = -10 - x. Suppose 0 = 4*p - y + 46. Is 1 less than or equal to p?
False
Let j be (-1)/226*((-28)/(-14))/1. Is -1 at least j?
False
Let y = -1007 - -1321. Is y at most as big as 314?
True
Let w(o) = 4*o**3 + 120*o - 128*o - 16 + 11*o**2 - 3*o**3. Let n be w(-12). Is -63 > n?
True
Let p = 21 + -10. Suppose 3*w - p = 4. Suppose w*l - l + 4 = 0. Which is bigger: l or -1/5?
-1/5
Let v be (-374)/((6 - -1) + -2). Let a = v - -6348/85. Which is bigger: -0.5 or a?
a
Let a = 2212243/25068 + 2/6267. Do 89 and a have different values?
True
Let x be ((12 + -6)/6 - 2)*-4. Let z(b) = 9*b + 2. Let u be z(3). Suppose 2*p - q - 2*q = u, 62 = x*p - 2*q. Do 16 and p have different values?
False
Let d(y) = -y**3 - 20*y**2 + 21*y + 50. Let r be d(-21). Let h = -49 + r. Which is greater: h or 2/15?
h
Let v = -5972 + 5977. Let f be (-2)/(-2) + 2 + -1. Which is smaller: f or v?
f
Let m = -1674 - -1673. Let k be -31 + 3*(-4)/6. Which is smaller: k or m?
k
Let f be 8/(-6) - (-881)/(-3). Is -295 < f?
False
Let a(r) = -r**2 + 53*r + 305. Let f be a(58). Which is smaller: 14 or f?
14
Let p = -6 - -6.2. Let s = p - -0.1. Let u = 56.95 - 57. Which is bigger: s or u?
s
Let v = 231 - 226. Which is greater: -5/7 or v?
v
Let q(y) = -2*y**3 - 4*y**2 - 3*y - 1. Let r be q(-2). Suppose 3*o = -o + z, z = -r*o + 9. Let x be 1*((-6)/(-13))/2. Is x at least o?
False
Let k = 89 + -209. Let o be 459/k + (-3)/(-15). Let z = o + 65/8. Do 5 and z have different values?
True
Let q = -6.85 - 0.15. Let y = -5.9 - q. Is -1/3 > y?
False
Let a = -19/128 - -4165/9088. Which is smaller: a or -2?
-2
Suppose -2*r - 4*g = -4, -3*r + 3 = -g - 10. Suppose 3*w = -w - r. Which is greater: w or -1/10?
-1/10
Let i be 5/20 - 6/(-8). Let q be 4 + (i - 3/1). Suppose -5*m = 4*w - 3, 3*m + q*w - 3 = -0. Which is greater: 1 or m?
m
Let p(z) = z**2 - 14. Let w be p(4). Suppose 4*g - 6 = w. Which is smaller: 9/4 or g?
g
Let v be (-2 - 5)*(-35)/((-1470)/(-36)). Let h(l) = l**2 + l - 2. Let f be h(-4). Is f bigger than v?
True
Let n = 9273/5 - 1855. Let v = -0.036 + 0.03. Is n at least as big as v?
False
Let c(r) = 2*r**2 - 2. Let f be c(-2). Let t = -1 + -35. Let w be (t/(-189))/(4/6). Which is bigger: w or f?
f
Let s(z) = z**3 - 4*z**2 - 6*z + 4. Let a be s(5). Suppose 0 = 2*n - 7*n + 40. Let u be 26/n + (a - 2). Which is smaller: u or 0.7?
u
Let z be (-118)/(6 - (-16)/8). Do -14 and z have different values?
True
Let f = -410 + 448. Which is smaller: 36 or f?
36
Let x = -193/6 + 32. Suppose -33*z - 40 = 7*z. Is z at least x?
False
Suppose 18*n = 16*n - 20. Let b = n - -18. Suppose -8 = -2*y + 3*l, 2*y + 3*l = -2*l + b. Is 1 <= y?
True
Let d be 18 - 27 - (3 + -8). Suppose 3*u - 2 = 4. Suppose u*t + 1 = -7. Are t and d equal?
True
Let j be (-25)/((-225)/6) - (-2)/6. Is j not equal to 7/20?
True
Suppose -8*w + 179 = 203. Suppose -5*f - 7 = -2*a + 30, -3*a + 31 = -4*f. Is w at most as big as f?
False
Let c be (-21)/28 - 57/(-12). Suppose -23 = -3*f + 2*g, -g + 0 = c. Suppose f*m - 3*m = 2. Which is greater: m or 7?
7
Let g be 25/10 + -20*(-119)/56. Is 34 smaller than g?
True
Let t be 63/12 + (-2)/8. Suppose t*s - 1 = 4*s. Let b be (s + -2)*(-11 - -11). Which is smaller: b or -1/3?
-1/3
Let o = -280.2 + 280. Let r = -436/259 - -20/37. Which is greater: o or r?
o
Let r = -10 - -10. Suppose 3*x + r = 6. Suppose 4*i = x*i + 5*z + 17, 0 = -2*i + z + 5. Is i at least as big as 0?
True
Let c = -0.37 - 18.63. Let v = 0.103 + -14.203. Let b = v - -14. Are b and c non-equal?
True
Let m = 544/8961 + -1/309. Which is smaller: -1 or m?
-1
Let j be (-42)/(-8)*144/(-54). Let v be 66/(-16) - 42/j. Do v and -1 have the same value?
False
Suppose -5*u - 4*i - 368 = 0, 0*u - 5*i - 154 = 2*u. Do -367/5 and u have the same value?
False
Let c = 0.621 - -0.179. Which is greater: c or 20?
20
Let v be (-776)/(-80) - (-1)/(-5). Let x = v - 10. Which is greater: x or 0?
0
Let z = -296 + 299. Which is greater: z or 26/11?
z
Let c = 733 + -728. Is c less than or equal to 15?
True
Let k(w) = w**2 + 4*w + 2. Let m be k(-4). Let v be 1*m - (-91)/(-13). Let t(i) = 6*i**3 + i**2 + i + 1. Let c be t(-1). Is v less than or equal to c?
True
Suppose -w - 3*o - 14796 = 3219, 5*w + 5*o = -90035. Let k be w/60 + 2/8. Let s = k + 301. Is s > 2?
False
Let m(c) = -c**3 - 7*c**2 + 9*c - 17. Let h be m(-9). Let k be (-131)/(-4) - (-16)/h. Which is bigger: 34 or k?
34
Suppose -2*v + 5 = -3. Suppose 0 = 2*n + v*d + 2, 0 = -n + 5*d - 4 + 10. Are 1/8 and n equal?
False
Let g(n) = -5*n + 20. Let i(f) = 15*f - 60. Let w(k) = 11*g(k) + 4*i(k). Let o be w(4). Which is bigger: 2 or o?
2
Suppose -4*c + 3*z = 3 - 24, -6 = -3*c - z. Suppose 0 = 3*h + c - 0. Let r be (-12)/(-8) - (-107)/(-74). Which is bigger: r or h?
r
Let x = 664 - 665. Which is greater: 2/1795 or x?
2/1795
Let j = -104 - -111. Let t(y) be the third derivative of -y**4/24 + 3*y**3/2 + y**2. Let s be t(j). Which is smaller: s or 2/3?
2/3
Let o = 6.3 - 6. Let t = 15.24 - 0.24. Let z = 15 - t. Does z = o?
False
Let y be (0/(-2))/(1*-2). Let p be y - -2*1/(-6). Let h be 14/49 + (-32)/14 - -2. Is p equal to h?
False
Let c = -815/8 + 102. Let o = 279 - 273. Which is smaller: o or c?
c
Suppose 0 = -4*p + 24. Suppose 2*k - 5*u = 11, -k = -p*k - 2*u + 100. Suppose -4*j - 9 = -7*j + 3*v, 0 = 2*j + v - k. Which is smaller: j or 8?
j
Suppose 2*b - 5*b + 5*o + 13 = 0, 5*b + 4*o - 34 = 0. Let r be (5 - 3 - 3) + b + -4. Is r equal to -47?
False
Let a(d) = d**3 + 19*d**2 - 22*d - 39. Let n be a(-20). Which is smaller: 4/629 or