w or h?
h
Let c(k) = k**2 - 7*k + 8. Let j be c(8). Is 15 != j?
True
Let k be ((-5)/((-5)/(-4)))/1. Let l be k/(-6) - (-5)/(-3). Suppose -2*i + 4*i - 23 = 5*v, 21 = 4*i - 5*v. Is l not equal to i?
False
Suppose f + 4 = 0, 22 = -j - f - 12. Which is smaller: -31 or j?
-31
Suppose 3*n + 84 = 5*d, -4*d = -3*d. Let v be (-8)/n - 10/(-14). Which is smaller: 3 or v?
v
Suppose -3*s + i + 0*i = 112, -3*s + 5*i - 128 = 0. Is s bigger than -36?
False
Suppose 3*x = 3*j - 9, 0*j + 4*j - 8 = 2*x. Is -2 greater than or equal to x?
True
Let y be (0 + -3)/((-63)/6). Which is bigger: y or -1/4?
y
Let g = -866 + 9498/11. Which is greater: -4 or g?
g
Let h be 12/(-12)*(-12)/(-11). Which is bigger: h or -1?
-1
Let c = -1.7 + -1.3. Let x = 0.5 + -0.3. Which is greater: x or c?
x
Let q = 11 - 8. Is 1 less than or equal to q?
True
Let s = 4.1 + -1.9. Let v = -1.2 + s. Which is bigger: 0.06 or v?
v
Let t = -18 - -12. Let z be t/9 + 3/9. Is z bigger than 3/2?
False
Let l = -13 - -11. Is l at least as big as -0.2?
False
Suppose -15 = 4*n + 5*c, -2*n - 2*c = -0*n + 6. Which is bigger: 1 or n?
1
Let r(b) = -b**2 + 2. Let y be r(-3). Let w = -11 + 7. Let g be w/y*-4 + 2. Is g >= 1?
False
Let u(i) = 9*i - 7. Let n be u(-6). Is -61 at least as big as n?
True
Let z(r) = -r**2 + 6*r + 5. Let f be z(7). Let k = 2 + f. Let t be ((-1)/6)/((-1)/4). Is k >= t?
False
Let j be (-4)/6 + (-40)/(-6). Let r be j/21 - (-32)/(-14). Let k be (-1)/(-7)*-1*r. Which is bigger: k or 1?
1
Suppose 3*o = -3*k - 9, 2 = 6*k - 2*k - 3*o. Let i be -2 - (k - (-28)/(-6)). Which is smaller: 5 or i?
i
Suppose 5*s - 23 = 17. Let a be 6/(-21) + s/(-21). Is -2/11 != a?
True
Suppose 2*k + 2 = -t, 3*k + 4*t = t. Which is smaller: k or -12/11?
k
Let d(q) = -q + 2. Let y be d(4). Let z = -6 - -6. Which is bigger: z or y?
z
Let y = 56 + -90. Is y <= -34?
True
Let h = 14 + -14.07. Let m = -0.17 - h. Which is greater: -6 or m?
m
Let o(i) = i**2 + 4*i + 3. Let l be o(-8). Let a be 2/(-7) - 60/l. Let s = 17/25 + -219/175. Which is smaller: s or a?
a
Let k = -2.3 - -1.3. Let y = 0.8 + -1. Which is smaller: y or k?
k
Let w = 3/4 - 13/4. Which is bigger: w or -4?
w
Suppose 4*a - 4*a = a. Is a equal to 6?
False
Let p be 9284/12896 - (1 - 0). Let s = 9/104 + p. Let u = 116/279 + s. Which is greater: u or 1?
1
Let i be (-2 - 3/(-6)) + 1. Suppose n - k = 1, -2*n - 2*k + 1 = -17. Suppose 0 = 4*d + 3 + n. Which is smaller: i or d?
d
Let u = 13 + 29. Let t = u + -30. Let b = -7 + t. Which is smaller: b or 4?
4
Let z = 1.2 - 1.5. Let a be (-2)/(-9) - 34/72. Do z and a have the same value?
False
Let y be 109/(-55) + 24/132. Is y greater than -1?
False
Let z = 7 - -1. Let a be (-1)/(-2)*12/z. Which is smaller: 2 or a?
a
Let a = -25/8 - -215/56. Let m = a + 11/14. Let n be (-1)/(-2) + 1/2. Which is smaller: m or n?
n
Let k(w) = -w**2 + 2*w + 3. Let i be k(5). Which is greater: -13 or i?
i
Let k = 0.9 - 1.2. Is k less than or equal to -10?
False
Let f be -2*3/54*2. Let h(v) = -v**3 + 5*v**2 - 6*v + 3. Let d be h(4). Let b(s) = -s - 4. Let x be b(d). Is x > f?
True
Let u = 0.48 - 0.4. Let k = 3.08 - u. Let i = 2 + -4. Is i < k?
True
Suppose 4*g = g + 45. Let f = g + -7. Let c = f - 6. Is c greater than 3?
False
Let t be 6*((-5)/(-2) - 2). Let p = 4 + -6. Let g = -2.2 - p. Is g at most t?
True
Let w = 838 - 3323/4. Which is bigger: 6 or w?
w
Let j = -36 + 35. Let s be (-2 - 19/(-9)) + 0. Which is smaller: j or s?
j
Let d(x) = -x**3 - 11*x**2 + 2. Let m be d(-11). Suppose 2*r = -m - 2. Is -4/7 smaller than r?
False
Let x(h) = h**2 - 17*h + 18. Let s be x(16). Suppose o + 5*q = -2*o + 60, 0 = 5*o + 5*q - 100. Let r be (4/(-10))/((-16)/o). Are r and s equal?
False
Let a = -15.4 + 18. Let s = a - -0.4. Is 1/3 not equal to s?
True
Let y = -42 + 284. Let p = y - 353. Let q = -1222/11 - p. Which is greater: q or 1?
1
Let h be -6*(-2)/4 + -1. Let w be 1 - (-2)/(-2)*-1. Let g be (1/2)/(1/w). Which is smaller: h or g?
g
Let i = -55 - -49. Which is greater: -4 or i?
-4
Let c(n) be the first derivative of -n**4/4 + 10*n**3/3 - 5*n**2 + 3*n - 7. Let p be c(9). Which is smaller: -0.1 or p?
p
Let f = 8 - 6. Let t be (3 + -4)/(-2)*6. Do f and t have different values?
True
Let f = 215 + -145. Let x = f - 349/5. Let r = 11 - 10. Which is greater: x or r?
r
Suppose -m + 2*n - 5*n + 9 = 0, 4*n - 12 = -2*m. Suppose -s - 5*q - 8 = m, 2*s + 3*s - 5*q = -10. Let d be s*(2 + (-9)/6). Is -3 less than d?
True
Let c(p) = -p**2 + 10*p - 10. Let b be c(7). Let o = b + -8. Is o less than 2?
False
Let k(t) be the first derivative of -t**4/4 + 2*t**3 - 4*t + 2. Let s be k(6). Let d be 2/6 + s/3. Is d less than -2/5?
True
Suppose 0*k - 4*k = -y - 6, 0 = 5*k. Let j = -1 - -3. Suppose 0 = -n + j*s - 11, n - 4*n - 5*s = 0. Is n < y?
False
Let j = -23 - -47. Is j >= -1?
True
Let d be 2/4 + (-81)/(-18). Let u be (d/10)/((-2)/8). Is u not equal to -2?
False
Let d be 2/(-11) + 96/286. Which is bigger: d or 5?
5
Let f be 2/(-13)*(-3 - -4). Let n be (-42)/(-18) - 8/6. Is f bigger than n?
False
Let l = -0.4 + 0.5. Let f = -10 + 6. Which is bigger: l or f?
l
Let n = 52 - 171. Let m = n - -1311/11. Which is smaller: -3 or m?
-3
Let z(t) = t**2 - 6*t + 7. Let s be z(6). Suppose 30 = s*k - 2*k. Which is bigger: 3 or k?
k
Suppose 2*h = -8, -2*y = -4*y - 2*h - 6. Which is greater: -9 or y?
y
Let t(f) = -25*f. Let w be t(-3). Suppose 2*y = 2*v - 3*v - 11, -5*v - 5*y = w. Which is greater: v or -18?
-18
Let g = 0.127 - -0.073. Let x = 13 + -18. Which is greater: x or g?
g
Let m(x) = 2*x + 1. Let o be m(-1). Suppose 3*n - 2 = n. Which is greater: o or n?
n
Suppose -3*f - 12 + 33 = 0. Suppose 3*y - f*y + 4*l = -8, -2*l - 2 = 0. Let n be (3 - y - 1)*3. Is n bigger than 2?
True
Let q = -1 + 1. Let p = 0.2 - q. Let z(y) = 3*y + 5. Let u be z(-2). Which is greater: p or u?
p
Let a be ((-6)/(-3))/12 - (-2)/(-12). Let m be 0 - ((-4)/(-2) + 2). Which is bigger: m or a?
a
Let o = 769/18 - 85/2. Which is greater: o or 22?
22
Let g be -3 - ((0 - 3) + 1). Let m(z) = z - 5. Let v be m(4). Is g greater than v?
False
Suppose 0 = -4*a + 6*a - 4. Let t = -1 + a. Are 3/8 and t nonequal?
True
Suppose -5*j + j = 0. Suppose u + 5*i - 9 = j, 4*i = -4*u - i - 9. Is -7 equal to u?
False
Let p be 3/(((-6)/4)/1). Let b = 88 - 90. Is b equal to p?
True
Let v = -42/817 - -9/43. Are v and -1 equal?
False
Let r(z) = 4*z**2 - z - 2. Let g be r(-1). Which is smaller: g or 11/5?
11/5
Let w be (3/(-5))/(3 + -4). Which is smaller: w or 1?
w
Let s be (1 + -5)/(0 + -2). Let d be (1/6)/((-5)/s). Are d and 0 unequal?
True
Let u = -32 - -43. Is 12 equal to u?
False
Let k = 91 + -91. Let c be 2 - (15/24 + 1). Which is smaller: c or k?
k
Suppose 0*k + j = -k - 2, -3*k = -4*j + 20. Let o = -0.6 - -0.3. Let l = 0.4 + o. Is k less than or equal to l?
True
Let j(v) = v**2 + 4*v. Let k be j(-3). Which is greater: k or -4?
k
Let q = 0.24 + -0.04. Let n = 11 - 8. Which is smaller: q or n?
q
Let k(x) = 8*x - 6. Let d be k(4). Is 25 <= d?
True
Let l = 9 - 7. Suppose 3*h - 13 = a + 3*a, l*a = -h + 1. Is a bigger than -1?
False
Let i = -73 + 73. Which is smaller: i or 5/11?
i
Suppose -q - q + 4*x + 12 = 0, 2*x + 10 = 0. Let s be 30/q*4/(-6). Do 4 and s have the same value?
False
Let t = -98.94 - -99. Are -7 and t equal?
False
Let d be -2 - (10/78)/(2/(-24)). Is d >= 0?
False
Let x be (16/2)/(0 - 1). Let s be 6/8 + (-2)/x. Let h = -185 + 2403/13. Which is smaller: s or h?
h
Let a(k) = 3*k + 31. Let q be a(-9). Let u be -1*(-3 + 2)*2. Is u less than q?
True
Let j = 25 + -18. Suppose -2*q + 0*q = -6, -q = -3*p + 21. Is p <= j?
False
Suppose 5*z = 2*j - 2, -5*z - 2 = j - 3. Which is greater: -9/7 or z?
z
Let g = 2 + -1. Suppose 3*p - 3*x - 4 = 5*p, 0 = -p - 2*x. Let s be g/3 + 4/p. Which is bigger: s or -1?
s
Let n = 7 + -10. Suppose 2*v - 11 = 3*b, 3*b + 2 = -v + 2*b. Let z be (-6)/(-2) - 3 - v. Do z and n have the same value?
False
Let a = 0.11 - 0.61. Let z = -10.2 - -11. Let i = z + a. Are i and -1 non-equal?
True
Let d = -32 - -25.9. Let f = 6 + d. Is -2 less than f?
True
Let j(t) = -t**3 - 3*t**2. Let m be j(-3). Let o = 0 - -3. Let w = o + -2. Is w not equal to m?
True
Suppose 0 = -8*k + 9*k + 1. Let o be 3 + ((-53)/9 - -3). Is o > k?
True
Let d = -8 + 12. Let h = d + -2. Suppose h*u - 1 - 3 = 0. Is 1/2 != u?
True
Let v = 29 + -