smaller than w?
True
Suppose -3*k + 103 = 2*k - 4*h, 0 = -3*k - 3*h + 78. Suppose w - 6 = -a, 3*a + 5*w + 1 - k = 0. Do a and 5 have different values?
True
Let a(k) = k**3 + 8*k**2 - 9*k + 1. Let c be a(-9). Let v be ((-24)/10 + 2)*-5. Suppose v*g = -0*g. Are c and g unequal?
True
Let x = 151 + -166. Which is smaller: -13 or x?
x
Let i be -1*6/(1/(-1)). Let y be ((-4)/i + 1)*6. Let p(j) = -j**3 + 4*j**2 - 3*j + 1. Let g be p(3). Is g >= y?
False
Suppose 0 = y, -2*o - 4*y + 3*y = -2. Let h(t) = 3*t**2 - t. Let v be h(o). Which is bigger: v or 6/5?
v
Let f = -21 + 35. Let s = f + -15. Is s at least as big as -1/9?
False
Let t = 95573/11 + -8695. Let b = t + 493/77. Which is bigger: 0.2 or b?
0.2
Suppose -3*u + 390 = -8*u. Let s = 384/5 + u. Is s <= -1?
True
Let h(y) = -y - 3. Let v be h(-3). Suppose 290*l = 293*l + 3. Which is bigger: l or v?
v
Let k = 1.12 - 0.12. Is k greater than -1?
True
Let f be (-2)/3 - 56/(-12). Suppose -5*h + 30 = -4*i + 3, 4*h + f*i = 0. Suppose -2*l - 9 = -l + 5*s, -4*l - s + 2 = 0. Which is greater: h or l?
h
Suppose 0 = 3*y + 6. Let f be (-1)/(2/(-2))*4. Suppose -f*n + 0*n = 0. Which is smaller: n or y?
y
Let b = -128 + 81. Which is smaller: -48 or b?
-48
Let l = 3.48 + -0.58. Let b = 3 - l. Let f = 1 - 5/6. Is b at most as big as f?
True
Let d = -2/401 - -2013/1604. Let b = d - 103/76. Which is smaller: b or -1?
-1
Suppose 3*b + 22 = 2*n - b, -3*n - 3*b = -6. Let v(y) = -y**2 - 5*y + 3. Let h be v(-5). Let u = n - h. Which is smaller: u or 0?
0
Let m(z) = -z**2 - 6*z - 2. Let v be m(-4). Let f be (74/4)/(2/4). Suppose 3*n + 3*b = f - 7, 4*n - 5*b - 13 = 0. Is n not equal to v?
True
Let i = 5 + -3. Suppose 0 = i*v - v. Which is smaller: 3 or v?
v
Let y = -10 - -10. Is 0 greater than y?
False
Suppose 4*j = 51 - 19. Let p = j - 5. Does 3 = p?
True
Let v = -15 - -10. Let m = 5.1 + v. Let q = 0.4 - 0.47. Which is bigger: m or q?
m
Let o(h) = 2*h**3 - 4*h**2 + 2*h**2 + 2 - h**3 - 4*h. Let w = 6 - 3. Let z be o(w). Is z at least as big as 4?
False
Let o(k) = -2*k + 13. Let b be o(7). Is -2/13 greater than or equal to b?
True
Let p = -22 + 10. Let a be (2/6)/((-1)/p). Which is bigger: a or 2?
a
Let n be 2/4*4/7. Which is greater: 0.02 or n?
n
Let o(h) = -2*h - 6. Let v be o(-4). Suppose 0 = -t - 3*s - 8, -v*t + 8 = 3*t - s. Which is smaller: 1/10 or t?
1/10
Let p(k) = -k - 5. Let o be p(-5). Let y be 3 + (o - (-1)/(-1)). Which is bigger: y or 3/4?
y
Let z(b) = -b**3 - 10*b**2 - 15*b - 12. Let h be z(-8). Is -20 less than h?
False
Let i(n) = -n**3 + 5*n**2 - 5*n + 3. Let h be i(3). Is 6 at most h?
True
Suppose -3 = 4*v + 1. Suppose 2*s - 8 = 2. Suppose 2*n + s = -5*t, 3*n - 2*n + 5 = 0. Is t > v?
True
Let w = -4.3 + 5.13. Let o = 0.07 + w. Let v = o + -1. Which is smaller: v or -1/4?
-1/4
Let b = -191 + 154. Is b >= -38?
True
Let o be (20/(-120))/((-4)/30). Is o > 0?
True
Let m(c) = -c**3 + 7*c**2 - 5*c - 8. Let i be m(6). Let q be 0/(3 + i) - -6. Suppose q = j - 5*p, -9 = -2*j + 4*p - 3. Which is bigger: -2/11 or j?
j
Let x = 55 - 53. Which is smaller: x or -10?
-10
Suppose -4*f = -3*f - 4. Let i be (-6)/4 + (-1)/(-2). Which is bigger: i or f?
f
Let t(h) = -h. Let s be t(-4). Let y = 2 + 13. Suppose 4*g - y = l + 4, 0 = -4*l + s*g - 16. Which is bigger: l or -2/13?
l
Let i = -4 - -3.8. Which is greater: 1 or i?
1
Let t(z) = z**3 - 6*z**2 + 7*z - 6. Let g be t(4). Let u be (15/g)/(6/8). Which is smaller: -1 or u?
u
Let d(i) = -i + 4. Suppose 4*z - 8 = -5*l + l, 2*z + l = 6. Suppose z*s = 3 + 13. Let a be d(s). Are a and 0 equal?
True
Suppose 5*w = -5*q + 20 + 25, -3*w - 2*q = -25. Let r = w + -7. Is r at least 0?
True
Suppose -5*r = -10 - 5. Let a(j) = -4*j**2 + j + 4*j**r + 2*j**3 - 4 - 5*j**3. Let b be a(3). Is -10 < b?
False
Let j(l) = 25*l. Let x be j(1). Let u = x + -15. Which is bigger: u or 9?
u
Let p(o) = o**2 + 21*o - 53. Let t be p(-22). Is -31 <= t?
True
Suppose 2*z = -3*j - 37, 5*j - 85 = -2*z + 6*z. Let p be ((-8)/z)/((-1)/(-5)). Let r be 1*(-1 + (2 - p)). Is r <= -5/6?
True
Let b = -0.1 + -0.1. Let q = 21.047 + -0.047. Let o = -20.6 + q. Which is smaller: o or b?
b
Let u be 1 - -2 - ((-3)/3 - -4). Let h(a) = -a**3 - 5*a**2 - a - 3. Let w be h(-5). Which is greater: w or u?
w
Let z(y) = -y - 8. Let a be z(-9). Let s be (a/2)/((-3)/(-6)). Is 0 < s?
True
Suppose -2 - 3 = -v. Suppose 0*n - 5 = -v*n. Which is greater: n or 2/9?
n
Let m = -1.7 + 1.1. Let a = m + -0.4. Which is bigger: 3 or a?
3
Let l = 15 - 8. Let o(p) = p**3 - 6*p**2 - 6*p - 8. Let f be o(l). Which is smaller: -2/17 or f?
f
Let m = -216/805 + -2/115. Is 0 equal to m?
False
Let t(w) = w**3 + 2*w - 1. Let c be ((-6)/(-8))/(2/8). Suppose 5*v + 18 = c*z, -2*v + v + 2 = 5*z. Let o be t(z). Which is smaller: o or 3?
o
Suppose 31 = w - 2*w - 4*o, -w - 2*o = 23. Which is bigger: w or -55/4?
-55/4
Let g = -0.61 + 0.3. Let a = -0.21 + 0.2. Let n = g - a. Is -1 greater than n?
False
Let s be (-15)/(-25)*4/(-6). Is s not equal to -10?
True
Let r = 5 + -3. Is 5/2 at most as big as r?
False
Let u = -52.9 - -51. Is 0 bigger than u?
True
Suppose 4*b = -7 - 29. Is -4 not equal to b?
True
Let a = -12 - -5. Is a less than -9?
False
Let a(n) be the first derivative of n**3/3 + 2*n**2 - 11*n + 1. Let t be a(-6). Suppose -4*h - 5*j = -10, -h - 5*j + 10 = 4*h. Is h less than t?
True
Suppose -a + 5*t = 0, 2*t - 5 = -3*t. Let z = -5 + a. Suppose s + z*s - 2*p - 2 = 0, 5*s + 2 = -2*p. Are s and -3 equal?
False
Let w be (-15)/(-35) - (-43)/(-35). Let t be 3/(-6) + (-2)/(-4). Are w and t nonequal?
True
Let g = -349/14 - -51/2. Let j = -23/28 + g. Let l = -0.1 + 0.1. Is l at least j?
True
Let v be (-2)/(-4) - 15/2. Let r = v + 15/2. Suppose -2*h - w + 3 = 0, -2*h - 2*w - 1 + 3 = 0. Is h at most r?
False
Let f be 3 + 3 + -14 + -6. Which is bigger: f or 2/3?
2/3
Suppose 2*y - 9 - 1 = -f, -22 = -5*y - 4*f. Which is smaller: -5 or y?
-5
Suppose -3*u - 35 = -5*i + i, 0 = -4*i - 4*u. Is 2 greater than or equal to i?
False
Let j = -65 - -52. Is j at most as big as -0.3?
True
Let n = -7 + -12. Is n less than -1?
True
Let w = -3 + 1. Suppose -3 = -4*y + 5. Let z = y + w. Are 0.1 and z non-equal?
True
Let u(o) = -7*o**2 - 1. Let h(f) = f - 7. Let s be h(8). Let c be u(s). Is -6 equal to c?
False
Let h be 6/10 + (-532)/95. Let i(y) = 2*y**2 + 1. Let z be i(1). Let b = z + h. Is b at least as big as -5/2?
True
Let z be 2/(-8) - 27/(-140). Which is smaller: -1 or z?
-1
Let z = 0.3 + -0.3. Let u = z + 0.5. Is u < -1?
False
Let b be (1 + 0)*0/(-5). Suppose -2*i - 3*t + 4 = 0, b = -2*i + i - 3*t + 2. Which is smaller: i or 0.1?
0.1
Let k(t) = 2*t**2 - 10*t + 10. Let u be k(5). Which is greater: u or 3?
u
Let i = 0.1 - 0.3. Let y = 7.3 - 7. Let v = y + i. Which is smaller: v or -1?
-1
Let j = -14 + 9. Let q be (-1)/j*(-40)/48. Is -1 > q?
False
Suppose 24*o - 21*o = -48. Which is greater: o or -18?
o
Let q(n) = -4*n - 10. Let i be q(8). Which is greater: -44 or i?
i
Let i(p) be the first derivative of p**2/2 - 6*p + 1. Let y be i(8). Which is smaller: 3 or y?
y
Let g be ((-57)/(-2))/(5/10). Which is smaller: g or 58?
g
Let w = -15 + 15. Are w and -1 non-equal?
True
Let o = 90 + -89.9. Let n = 6 + -21. Which is smaller: n or o?
n
Let s(u) = -u**2 + 4*u - 8. Let f be s(6). Let d = 11 + f. Is -10 > d?
False
Let i be 16/20*(-10)/18. Which is greater: 0.1 or i?
0.1
Let l(s) = -s**3 - 12*s**2 + 13*s - 2. Let u be l(-13). Is u not equal to 1?
True
Suppose -x = 2, 3*x + 0*x + 3 = -3*b. Let y be b/3*(0 - 1). Suppose 0 = -3*a - 3. Which is smaller: y or a?
a
Suppose -5*x + 4*x - 2 = 0. Which is bigger: x or -1?
-1
Let b = 6.6 + -5.6. Suppose 2*z = z + 5*v - 8, 0 = -3*v + 6. Let n be z/(-5)*(0 + -1). Which is bigger: n or b?
b
Let n(c) be the third derivative of -c**5/60 + c**4/3 + 3*c**3/2 + 3*c**2. Let z be n(9). Which is smaller: -1/23 or z?
-1/23
Let x(i) = -i + 10. Let z be x(6). Suppose y + 0*y - 5 = -2*f, z*f = 5*y + 17. Which is greater: 11/3 or f?
11/3
Let d = -2 - -2.3. Let f = d + -0.1. Which is smaller: f or 1/2?
f
Suppose 2*l - 4*w + 23 = -l, -4*l = -5*w + 29. Is l at most as big as -38?
False
Let c be (1/(-2))/((-40)/(-16)). Let u = c + -3/5. Which is smaller: u or 0?
u
Suppose 20*k - 11*k - 36 = 0. Which is bigger: k or 0?
k
Let t = 14 + -14. Which is greater: -15/4 or t?
t
Let c(v) = v