. Do -2 and d have different values?
True
Let s = -1105/63 + 154/9. Is 0 less than s?
False
Let h(r) = r + 6. Let q be h(-8). Let z = 43/5 + -283/30. Which is greater: z or q?
z
Let v be -3*-10*(-1)/6. Suppose -14 = q - 2*q. Let s be 5/v - q/(-8). Is s less than -1?
False
Let o(y) = -4*y**2. Let x be o(2). Which is smaller: x or -15?
x
Let w = -0.1 + 0.5. Let g = w - 0. Let f = -4 - -5. Does f = g?
False
Let u = -0.3 - -0.1. Let x be -5 - (-1 + 0) - 1 - -2. Which is smaller: u or x?
x
Let n = 16.07 - 16. Let v = -2.07 + n. Let r = 0 - 0.2. Which is greater: v or r?
r
Let t = 1 - -2. Let l(v) = -v**3 - 4*v**2 + 2. Let w be l(-4). Which is greater: w or t?
t
Let g = -0.79 + 1.29. Which is bigger: 1/4 or g?
g
Let u = -1126/5 - -224. Which is smaller: -1/3 or u?
u
Suppose -8*s + 6*s = -6. Which is greater: -2 or s?
s
Let w = 36 + -36.7. Let d = 0.79 + 0.01. Let y = w + d. Which is bigger: -0.2 or y?
y
Let f(w) = w**2 - 8*w + 5. Let h be f(8). Suppose -h*z = -25, 3*a + 1 = 4*z + 65. Let i = a - 139/5. Which is bigger: -0.2 or i?
i
Let l be 20/6*192/(-80). Let x(p) = p + 9. Let f be x(l). Let i = 4 + -2. Which is smaller: f or i?
f
Let q be ((-6)/175)/(-1 + (-21)/(-49)). Which is greater: -1 or q?
q
Let v = 0.1 - 2.1. Which is smaller: -6 or v?
-6
Let s be 2/(-9) + 80/36. Let u = 4 - 7/2. Is u < s?
True
Let j(v) = v**3 - 9*v**2 + 11*v - 20. Let m be j(8). Is m equal to 2?
False
Let b be 10 - 8 - (-248)/(-6). Let g = 39 + b. Which is smaller: -4 or g?
-4
Let n = 14 - 14.2. Which is smaller: n or -0.1?
n
Let m = 1.86 + 12.94. Let k = m - 18. Let i = k + 3. Which is smaller: i or 2?
i
Let a be (-2)/8 - 9/(-4). Let x = -4 + 9. Let b be 5/(-2)*(-4)/x. Is b < a?
False
Suppose 5*q + 62 - 12 = 0. Let g = -12 - q. Which is greater: -2/3 or g?
-2/3
Let b(i) = i. Let z be b(-1). Let m(u) = -u**3 + 5*u**2 + 7*u - 5. Let q be m(6). Suppose -4*g - 3 = -3*y, 0 = -g + 4*y - q - 3. Is z bigger than g?
False
Let s be (-220)/12 + 1/3. Let c = s + 13. Do c and 0 have the same value?
False
Let f = -2 + 5. Suppose -2*z - 12 = w - 3, 5*z = f*w - 6. Let n(d) = d + 2. Let k be n(-4). Which is bigger: z or k?
k
Let n(g) = -149*g - 2. Let w be n(2). Let v = -3298/11 - w. Which is greater: 0 or v?
v
Suppose 18 = -4*a + a. Let x be (3/(-27))/(a/(-9)). Is x less than 1?
True
Suppose -10*z + 7*z = 0. Is z less than or equal to -2?
False
Suppose d + 4 = 3*d. Let n(l) = 0 + 0*l**2 + l**d - 1 - 2*l**2. Let p be n(0). Which is greater: 1/2 or p?
1/2
Let d = -1 + 0.6. Let p = 0.05 - 0.55. Let h = d - p. Does 2 = h?
False
Let w be (-6)/(-12) + (-11)/2. Are -5 and w non-equal?
False
Suppose 4*d = -0*d - 2*g + 18, 3*d + 4*g - 26 = 0. Suppose 5*u - 13 = 2*i - 0, 2*u = -d*i - 6. Let y be (-2)/i + 28/(-8). Which is smaller: y or 2/5?
y
Let v = 15 + -8. Suppose -5*b = -4*p + 72, p = 2*p + 5*b + v. Which is greater: 12 or p?
p
Let l(x) = -2*x + 1. Let h be l(2). Let k be 1/(-2) - 2 - h. Is k greater than 1?
False
Let g = 5 + 1. Suppose 3*w - 3*j = -6*j + 9, 2*w - j = -g. Which is bigger: w or 2/11?
2/11
Let a = -18 - -13. Let d(u) = -u**3 - 5*u**2 + 5. Let k be d(a). Is 5 != k?
False
Let l = -0.077 - 20.923. Is -0.1 != l?
True
Let a be 0 - (-4)/(-14) - (-61)/189. Is -1/2 at least as big as a?
False
Suppose 0 = 4*f + 4*u + 20, -4*f - 2*u - 24 = 2. Let r be 8/20 - f/5. Suppose -2*g - 17 = -5*g - 5*p, 4*g - 4 = -r*p. Is g bigger than -1?
False
Let s be (-2)/8 + (-26)/(-8). Suppose u + a = -3*a + 3, 2*u + 16 = s*a. Which is greater: -6 or u?
u
Let u(j) = -j**2 + 18*j + 14. Let q be u(19). Is q greater than -23/4?
True
Let k be (-10)/15 + (-24)/(-9). Suppose 0 = 2*b - k*r - 18, 2*r = 5*b - 2*b - 24. Is b bigger than 6?
False
Suppose -4*f = -2*f - 4. Let v be (f - (1 - -1))*-1. Do -2/5 and v have the same value?
False
Let d = -0.3 + 1.3. Let j = 0 + 0. Let z = 0 + j. Which is bigger: d or z?
d
Let n(v) = -v**3 - 7*v**2 - 6*v + 2. Suppose 2*s + 18 = -2*q, q - 5*q = s + 27. Let w be n(q). Let p be ((-2)/8)/((-1)/6). Is p bigger than w?
False
Let r = 0.04 + 1.96. Let g = r - 2. Let v(f) = -2*f**2 + 22*f. Let p be v(11). Is p less than g?
False
Let a be (-4)/(-2) + (-2)/(-2). Suppose -6*i = -a*i. Suppose g + 2*g + 3 = 0. Which is smaller: g or i?
g
Let w(b) = -b**3 - 2*b**2 - 3*b - 1. Let d be (2/3)/(1/(-3)). Let n be w(d). Let v = n + -4. Which is smaller: 2 or v?
v
Let n(s) = -5*s**2 + s - 1. Let m be n(1). Let i(a) = a**2 + 3*a - 4. Let l be i(m). Suppose h - 3 = -l. Does h = -4?
False
Let j(h) be the second derivative of h**3/3 - h**2 + h. Let m(t) = t. Let q(z) = j(z) - m(z). Let c be q(0). Which is smaller: c or -1/2?
c
Let w be (-86)/6*21/28. Let r = w + 49/4. Let v be 1 - 1 - (2 + -5). Which is greater: r or v?
v
Let w = 4.4 - 8.1. Let a = w + -1.3. Is -1 bigger than a?
True
Suppose -w + 32 = -5*w + 4*k, k - 11 = 2*w. Let y be 20/(-12) - 2/w. Are -1/6 and y equal?
False
Suppose 7*d + 5 = 4*s + 4*d, 2*d = 2*s. Suppose 5*y + 0*g = 4*g + 77, -2*g + 59 = s*y. Let a(c) = c - 11. Let o be a(y). Is 1 at most o?
True
Let z = -2 - 2. Let g be (-9)/15 + z/10. Let m be (-9)/4 + 3 + g. Which is smaller: 2 or m?
m
Let v = -7 + 8. Let z = 6376/11 - 580. Which is bigger: z or v?
v
Let x = 35879/27 + -1329. Which is greater: -1 or x?
x
Let k(n) = -2*n - 9. Let l be k(-6). Let q = 4 - l. Let v = 0.1 + -0.2. Does v = q?
False
Suppose 5*q - 42 = -132. Let n be (-190 + -7)*1/11. Let l = n - q. Is l less than or equal to -1?
False
Let c(o) = o**3 + 7*o**2 - 7*o + 7. Let p be c(-8). Let g(q) = q**2 + 5*q + 4. Let n be g(-3). Is p < n?
False
Let v = 2.5 + -1.5. Are v and 1/3 unequal?
True
Let u be ((-2)/(-12))/((-16)/(-96)). Which is greater: 13 or u?
13
Let u = 874 - 51565/59. Which is greater: u or 0?
u
Let b(u) be the first derivative of u**4/4 - u**3/3 - u**2/2 + 2*u + 2. Let s be b(0). Suppose -1 - 1 = s*i. Is 2/5 at most i?
False
Suppose 45*w - 46*w - 1 = 0. Are -6/17 and w nonequal?
True
Let u = -0.09 + 4.09. Let t = u + -3.4. Let n = t - 0.4. Is n <= -1?
False
Let w = 27/4 + -3707/548. Which is smaller: 1 or w?
w
Let z = -107/36 - -20/9. Is z bigger than -1?
True
Let n be (1 + -1)/(2 - 1). Suppose -2*x + x - 1 = n. Which is smaller: x or 0?
x
Let c(o) = -o**2 - 13*o - 12. Let z be c(-12). Does 3/13 = z?
False
Let c(d) = -d**2 + 8*d - 8. Let w be c(8). Let h = -9 - w. Are h and 2/25 equal?
False
Let o be (-16)/(-7) - (-6)/(-21). Suppose 2*l - o = -0. Let t(s) = s**2 + 7*s - 4. Let h be t(-8). Which is greater: l or h?
h
Let s = 16 - 15. Let z be (-2)/(-14)*(s - -1). Is z less than 1?
True
Let q(p) = p**2. Let o be q(2). Let i be o*6 + -3 + 1. Let d = i - 89/4. Is -0.1 greater than d?
True
Let m be (-2)/10 - 1/5. Is m smaller than 1/2?
True
Suppose -y = i, -i - 20 = -0*y + 5*y. Suppose -n - 2*n = -18. Which is smaller: i or n?
i
Let a(p) = p - 7. Let o = 6 + -4. Suppose 36 = 6*x - o*x. Let m be a(x). Are 3 and m equal?
False
Let k(g) = -g**2 + g - 1. Let z(r) = 3*r**2 + 2*r - 4. Let n(s) = 2*k(s) + z(s). Let b be n(-5). Is b < -1?
False
Let q = -5 - -2. Let a = 2.9 - 4. Let g = 0.1 + a. Which is bigger: q or g?
g
Let v = -118 + 132. Which is smaller: v or 8?
8
Let a be (2/4)/(((-25)/730)/(-1)). Which is smaller: a or 16?
a
Let t(i) = -i**2 - i + 134. Let v be t(0). Do 2/5 and v have the same value?
False
Let c(w) = 3*w + 18. Let y be c(-8). Are y and -6 equal?
True
Let q(f) = f + 6. Let b be q(-5). Which is greater: 1/53 or b?
b
Let o(n) = n**3 - 11*n**2 + 11*n - 6. Let s be o(10). Is s >= -2/3?
True
Let w = 1.9 - 2.1. Which is greater: w or 2/7?
2/7
Let a be (-24)/32*4/(-33). Let k = -3 - -2. Is a less than k?
False
Let g(d) = -d**2 - 3*d + 7. Let c be g(-7). Let r = c + 11. Is -10 less than r?
False
Let y = -2.8 + 6.8. Which is bigger: y or 2?
y
Let t(q) = -q**2 + 0 + 2 - 4 + 3. Let z be t(0). Which is smaller: z or 2/17?
2/17
Let g be 1/(6/18) + (-20)/(-1). Is 25 equal to g?
False
Let b = -358 - -8593/24. Which is smaller: b or -1/2?
-1/2
Let i be 3/2 - 11/2. Let z be i + 2 + 2/(-2). Let a = -2 - 1. Is z > a?
False
Let c = -0.12 - -0.12. Which is smaller: c or -0.4?
-0.4
Let m = -243.9 + 244. Let d be (-4)/(-6) - 8/12. Which is bigger: m or d?
m
Let w = -2 - -1. Let x = 3 - w. Suppose -5*n + 4*o - 8 = -n, 3*n - o + x = 0. Is -3/4 at most n?
False
Let h = -0.55 - 5.85. Let w = h + 6. Is w < -2/5?
False
L