 -2*z + 3, -5*b = 4*z + 38 + 19. Let f(p) = -p**2 - 10*p - 7. Let u be f(b). Which is bigger: 1 or u?
u
Let u = -839 - -3385/4. Let g = u + -23/4. Is -8 less than g?
True
Let x = 0.08 - 0.1. Let m(d) = -d**3 - 5*d**2 + 6*d. Let z be m(-6). Which is greater: z or x?
z
Let c = 20 + -19.9. Is c not equal to 0.06?
True
Let v(a) = a**3 - 7*a**2 + 13*a - 7. Let f be v(5). Is f at most 2?
False
Let m(r) = -r + 16. Let s = 3 + 8. Let a be m(s). Let w(j) = j**3 - 4*j**2 - 4*j - 6. Let k be w(a). Which is smaller: k or 2/9?
k
Let n = -1 - 2. Let t = 0.5 + 8.5. Let i = 9 - t. Are n and i unequal?
True
Let t = 683/10 + -68. Let r = t - 1/10. Let k = 5 + -3. Which is bigger: k or r?
k
Suppose -11*z - 243 + 716 = 0. Is 43 > z?
False
Let o be (-70)/21 - (-16)/4. Let c = -5 + 7. Let h(m) = m - 2. Let y be h(c). Which is smaller: y or o?
y
Suppose 0 = 4*r - 3*r. Suppose r*s + 7 = -s. Let b = -1 - s. Is 6 equal to b?
True
Let w be 3/(-6)*(-4 - 2). Let j be (w/(-2))/((-8)/16). Which is smaller: j or -3?
-3
Suppose -t - 4*t + 11 = k, 0 = -5*t - 4*k - 1. Suppose 2*h + 11 = 5*j, -13 = j - 5*j + 3*h. Let y be j + (-5)/(45/(-6)). Which is smaller: t or y?
y
Suppose 2*s = 5*s - 12, 2*n - 54 = -5*s. Let o = 1 - n. Let m be -5 + 4 + o/(-14). Is 1 bigger than m?
True
Let q = 9 - 3. Let y = q + -9. Let u be 4/6*3/(-2). Is y > u?
False
Let m(x) = 4*x + 5 + 4*x - 6*x. Let b be m(-6). Is -6 bigger than b?
True
Let k be (-17)/21 + (-2)/6. Which is smaller: -2 or k?
-2
Let v be ((-14)/(-7))/((-42)/3). Let r(y) = y**3 - 7*y**2 - 9*y + 7. Suppose 5*a + 4*c - 40 = -0*a, 3*c + 40 = 5*a. Let m be r(a). Is m at least v?
False
Suppose -4*z - 8 = l + 1, 4*z = -2*l - 18. Let f = -28/3 - l. Which is greater: 1 or f?
1
Let y = -2.7 + 2.4. Which is smaller: y or 1/2?
y
Suppose 3*g = -2*g. Let a(p) = p**3 - 11*p**2 + p - 11. Let l be a(11). Is g <= l?
True
Let c(f) = -2*f - 3. Let y = 0 + -3. Let g be c(y). Let v be (1 + g)*2/(-36). Are v and -1 equal?
False
Let f = -0.07 - 13.93. Which is smaller: f or -1?
f
Let a = -0.31 - -0.364. Let u = -2.846 - a. Let p = u - -3. Which is smaller: p or -2/3?
-2/3
Let b be -1 + -1 + (0 - -1). Let z be 1*-1 - -4*4. Let d be (-9)/(-6)*(-4)/z. Is d < b?
False
Let i(r) = -r - 2. Suppose 2*c = -2*c + 20. Suppose 2*g + 2 = -h - 11, 0 = -c*g - 5*h - 45. Let t be i(g). Is 1 not equal to t?
True
Let g = 3 - 3.5. Let n = g + 0.1. Let f = n - -0.4. Which is smaller: -1/4 or f?
-1/4
Let g be ((-6)/9)/((-4)/6). Let t = -1617184543/60758340 - -1/1012639. Let f = -107/4 - t. Is g at least f?
True
Let r = 45 - 44. Which is smaller: 2/343 or r?
2/343
Let u(r) = -r**2 + 5*r + 1. Let i = -4 + 8. Let x be u(i). Suppose -2*n = 7 + x. Is n >= -6?
True
Let r = 8 - -15. Do 24 and r have the same value?
False
Let f be (4/16)/(-1)*1. Let x be 0 - (-2 + -2 + 4). Is x >= f?
True
Let y = 4 - -6. Let z = y - 7. Let m be z/10*(-6)/(-9). Is m greater than -0.2?
True
Let i be 2/(-9) + 11/9. Suppose 3 = -2*m + i. Which is smaller: -2 or m?
-2
Let t = 9 - 7. Which is bigger: t or 0.1?
t
Let f = -9 + 4. Let z = -8 + 15. Let y = f + z. Which is smaller: y or 0.1?
0.1
Suppose p - o = -3*o + 1, 4*p + 22 = 5*o. Does p = -3?
True
Let w = -0.6 - -0.2. Let i(c) = -c. Suppose 2*d + d = 0. Let u be i(d). Is u at most w?
False
Let o = 12 + -5. Let h = -7.2 + o. Is h <= 0.1?
True
Let w = -10.7 + 20.7. Which is greater: -1/7 or w?
w
Let a = 277 + -3604/13. Is a greater than 0?
False
Let i = 478/3 - 161. Which is smaller: -2 or i?
-2
Let p be ((-18)/27)/((-5)/(-6)). Do p and -1 have different values?
True
Let o = 20 + -18. Suppose 0 = -o*j - 3*g + 5 + 4, 0 = -2*j - 4*g + 12. Let u be 2/21*(-3 + 15). Is j less than u?
True
Let p be 10*2/5*-1. Let t be 7/p*12/1. Which is bigger: t or -20?
-20
Suppose 151 = -7*h - 45. Let c be 33/h + 1/(-4). Is c smaller than -2?
False
Let g(i) = i**3 + 6*i**2 - 7*i - 3. Let l be g(-7). Let b be 4/6 - (-26)/6. Suppose -5*h + 20 = b*q + 55, 0 = 3*q + 12. Are h and l nonequal?
False
Let o = 2/55 - -157/220. Let p = -3 - -4. Which is smaller: o or p?
o
Let k = 6 - 7. Suppose 3*q = -0*q. Is q equal to k?
False
Let j = -6 + 6. Let g = 2 + j. Which is greater: g or -0.1?
g
Let j = -59 + 738. Let s = j - 18331/27. Are s and 1 nonequal?
True
Let m(f) = -f**2 + 5*f + 2. Let l be m(5). Let c = l + -5. Is -3 not equal to c?
False
Let j be (-1)/(35/10 - 3). Is j less than or equal to -4/7?
True
Let l = 3 - 7. Is 2 <= l?
False
Suppose 2*c + 9 + 7 = 0. Which is greater: c or -7?
-7
Let q be 6/4 - (-10)/(-4). Let a be q*2/(0 - -14). Are a and -1 equal?
False
Let u(r) = -r**2 - 5*r + 4. Let i be u(-6). Suppose 3 = -0*h - 3*h. Is h greater than or equal to i?
True
Let k be (0 + -1)/((-1)/(-4)). Let p = k - -5. Let z = -12/5 + 53/20. Which is greater: z or p?
p
Let k = -10 + 12. Let u be (-2 + -1)*(k + -3). Which is bigger: 2 or u?
u
Let r be 10/(-4)*(-4)/(-8). Let w be 4/24*162/(-28). Let p = w - r. Which is bigger: p or -4?
p
Let f = 56.97 - 57. Which is bigger: f or -2/5?
f
Suppose 137 - 77 = 3*g. Is g != 19?
True
Let g = -0.2 + 0.15. Let s = -9 - -8.75. Let z = g + s. Which is bigger: z or -1?
z
Let z be ((-2)/2 - -2)*-51. Let r = z + 203/4. Let v = -0.27 + -0.03. Which is smaller: r or v?
v
Let c(z) = z**3 + 8*z**2 - 13*z + 10. Let h be c(-10). Let g be h/(-14) - 1 - 3. Let m(d) = d**2 - 5*d - 6. Let k be m(6). Which is smaller: k or g?
k
Suppose -k + 5*k + j + 5 = 0, 4*j + 20 = 4*k. Which is smaller: -4/3 or k?
-4/3
Suppose -4*t - h + 53 = 0, 3*t = 4*h + 5 + 11. Let p(g) = g - 2. Let a be p(5). Suppose 3*o + x = -a*x - 12, -2*o + 4*x = -t. Which is smaller: o or -1?
-1
Let l be 2 - ((-6)/108)/((-15)/552). Which is smaller: -1 or l?
-1
Let f be (7/3 - 1)*3. Let g be (-2)/4 + 77/14. Let a be (g/(-5))/(2/f). Is a greater than -2?
False
Let a = -0.56 - -0.37. Let u = a - -2.99. Let l = u - 0.8. Which is greater: 2/5 or l?
l
Let w = -90 - -89. Is 0 < w?
False
Let a be 15/50*(-8)/6. Is a <= 7?
True
Let i = 10 - 16. Let u = -4 - i. Let w be 21/6 - u - 2. Is w at most as big as -2?
False
Suppose -v = -2*v + 3*f, 0 = -f. Which is smaller: 1/2 or v?
v
Suppose 1 - 17 = 2*h. Which is smaller: 0.1 or h?
h
Let t be 4/(-14) + -2 + 360/(-14). Do -28 and t have different values?
False
Suppose 4*r + 4*w = 0, 5*r - w = 2*w - 8. Which is bigger: -1/14 or r?
-1/14
Let w = -331 + 691. Let y be (w/26)/(-4) - -3. Which is greater: 1 or y?
1
Let d = 2/63 + -71/252. Suppose -2*f - 32 = 4*k, 4*k = f - 11 - 9. Let q be (-4)/k*(-9)/21. Is q <= d?
True
Suppose y + 0 - 2 = 0. Let g = 0.01 - 0.31. Is y < g?
False
Let d be -10 - (-1 + 1/1). Let y be ((-4)/10)/(8/d). Let b = -69 + 69. Which is smaller: y or b?
b
Let v be 817/7 + (-6 - -6). Let n = 117 - v. Which is smaller: 1 or n?
n
Suppose 7*j - 6*j = 29. Do j and 30 have the same value?
False
Let g be (-2)/(-3) - 6/9. Suppose -n + 7 = -5*w + 3*w, g = n + 2*w + 1. Is n less than 3?
False
Let l = 753/8395 - 1/365. Is l greater than 0?
True
Suppose 16 = -3*c + 10. Is c != -16/5?
True
Let z be -10*(0 + 1/6). Is z smaller than -3?
False
Let c = 0.08 - -0.02. Which is bigger: -0.22 or c?
c
Let i = 0.05 - -0.95. Which is smaller: i or 2/3?
2/3
Let a be -1*6/(18/15). Which is smaller: -8 or a?
-8
Let i = 1 + -2. Let m = 2 + i. Let v be 0 + 1 + (-33)/27. Which is greater: m or v?
m
Let y(b) be the second derivative of b**3/3 + 2*b**2 - 2*b. Let n be y(4). Suppose z = -3*z + n. Is 1 greater than z?
False
Let d(i) = i + 2. Let r be ((-18)/9)/((-4)/10). Suppose 6*h + r = 5*h. Let f be d(h). Is f at least as big as -3?
True
Suppose 4*h - 17 = -5. Let c be (h + -4)*(-1 - -2). Is 2 less than or equal to c?
False
Let t be (-2)/6 + (-1112)/84 - 0. Do -15 and t have different values?
True
Let j = -2.3 - -0.3. Let x = j + 1.8. Let g = x + 0.1. Which is smaller: 0.6 or g?
g
Let s = 24.98 - -0.02. Let d = s - 16. Let a = d - 10. Which is smaller: a or 6?
a
Let c(v) = -v + 5. Let h be c(6). Let g be h + 1 + (-1 - -1). Is g > -2/9?
True
Suppose 0 = -3*d + 2*p + 991, -4*p = -p + 15. Let a = d - 2285/7. Is 2 at least a?
True
Let m = -323 - -318. Suppose b = -2*b + 24. Let z be ((-2)/8)/(6/b). Which is smaller: m or z?
m
Suppose 17*q + 132 = 5*q. Let h = -7 - 6. Which is smaller: h or q?
h
Let l be (-3)/(-4)*(-108)/(-15). Which is smaller: 5 or l?
5
Let f = -0.4 - 0. Let p = f + 0.4