r equal to n?
True
Let p = -8 - -10. Which is smaller: -15 or p?
-15
Let w(o) = o + 4. Let h(g) be the first derivative of g**2/2 - 3*g + 1. Let t be h(-4). Let r be w(t). Are r and -2 equal?
False
Let g be (-2 + (1 - 1/(-2)))*-2. Which is bigger: g or 16/13?
16/13
Let u be (2/(-2))/(2/(-6)). Let j = 111 + -103. Let o = u - j. Which is bigger: -4 or o?
-4
Let x = -56 - -56. Is x less than or equal to 1/5?
True
Let i = 10 - 4. Suppose 0 = -2*l + i*l. Let t be ((-6)/(-2) + l)/1. Is t bigger than 5?
False
Suppose -2*h + 2 = -0. Let l be h/(-2)*6/9. Let y = -22 - -21. Which is greater: l or y?
l
Suppose 0 = -y - 3*b - 17, -2*y - b = -0*b + 39. Let t be (5 + -1)*2/y. Let r = -1.5 + 1. Are t and r unequal?
True
Let m = 49 + -60. Does m = -9?
False
Let f = -0.01 + 0.11. Let x = 0.4 - -2.6. Is f at least as big as x?
False
Let n be (6/4)/(12/8). Let x = 21/2 - 43/4. Which is bigger: n or x?
n
Let z be 1/(-10) - 4/8. Is -2/5 at most z?
False
Let t be (-10)/(-3)*3/(-4). Which is smaller: 0 or t?
t
Let f be (-12)/(-21)*231/(-18). Is -8 <= f?
True
Let j(s) = -s**2 + s + 1. Let l be j(1). Suppose 3*p = -33 - 183. Let q be 16/p + 10/126. Is q at least l?
False
Let l = 1 - 0.93. Suppose 5*h - 20 = -4*c, 0 = c - 4 - 1. Which is bigger: l or h?
l
Let p = -491/55 - -46/5. Is -0.1 bigger than p?
False
Let a(d) = 9*d - 10. Let u be a(4). Is 2 <= u?
True
Let h = -12 - -7. Do h and -0.1 have different values?
True
Suppose j = -5*v + 15, 3*j = 14 + 1. Let f be 4/(-6) - 46/(-24). Is f > v?
False
Let w = -0.3 - -0.2. Let s(j) = -j**2 + 7*j - 5. Let b be s(4). Let v = 4 - b. Which is bigger: w or v?
w
Let y(u) = -u**2 - 4*u + 2. Let p be y(-5). Let c = p - -6. Let k be 2*c*1/6. Is 1 != k?
False
Let f = 25/2 - 13. Let g = -0.3 + 0.4. Let l = 0.2 - g. Which is smaller: l or f?
f
Let w = 19/156 + -8/39. Let r = 150 + -149. Which is bigger: r or w?
r
Suppose 7*v = 10*v - 27. Is 10 != v?
True
Suppose i = -4*b - 2*i + 19, -20 = -2*b + 2*i. Suppose -2*d + b*d = 40. Suppose 0 = -4*p + d, -2*r + 3*p - 9 = -3*r. Is r > 2?
True
Let w be 64/(-112) - (-4)/7. Which is smaller: 3/4 or w?
w
Let b(q) be the third derivative of -q**6/60 - q**5/60 + q**4/24 + q**2. Suppose -k = 2*s + 3, 0*k - k = -5*s - 11. Let f be b(k). Which is bigger: f or -1?
-1
Let x(t) = -2*t - 37. Let o be x(-15). Is o equal to -6?
False
Suppose -5*a = -8*a. Which is smaller: 2 or a?
a
Let i = 9.9 + -0.9. Which is greater: 0.08 or i?
i
Let o(v) = 8*v - 3. Let i be o(1). Let n(z) = 7*z + 1. Let b be n(2). Let m = b + -10. Is i <= m?
True
Let m be 4/18 - 16/(-9). Let r = 3 - m. Which is smaller: 0 or r?
0
Suppose -12*a = -31*a + 19. Let o = 8961/13 + -689. Let t = o + 14/39. Is t at least as big as a?
False
Let y = 20/7 - 4. Which is smaller: -1 or y?
y
Let m be -2*(-2)/(-12)*-1. Let t be (-6)/(-4)*12/9. Suppose -i = -c - 1, t*i = 3*c - 2*c. Which is smaller: m or i?
i
Let w be (-79)/(-3)*(-2 + (1 - -4)). Which is bigger: 80 or w?
80
Suppose 9 = -0*i + 3*i. Let a be 4 + 0*(-2 + i). Suppose -3*r = -a*r. Is 0 greater than or equal to r?
True
Let g(w) = -w**3. Let u be g(1). Let j be (-2 - u)*(-2 + 0). Which is smaller: 5/6 or j?
5/6
Let p be -2 - 2 - (-50)/(-5). Is p greater than or equal to -15?
True
Suppose 3*u + 2*u - 37 = -4*d, d = -u + 8. Suppose y = 10 + 13. Suppose q = -2*l - 4*q - 27, y = -d*l - 4*q. Which is greater: l or 4?
4
Let b(r) be the first derivative of r**5/60 + r**3/6 - r**2/2 + 3. Let v(k) be the second derivative of b(k). Let x be v(0). Is x equal to 1?
True
Let z = 2150 + -126853/59. Are z and 1 nonequal?
True
Suppose -1 = -2*f + 3. Suppose 2*t = 24 - f. Let j = -14 + t. Which is smaller: j or -2?
j
Suppose 20 = 4*i, -4*d - 2*i = -17 + 7. Which is smaller: d or 1/144?
d
Let j = 0.138 + 0.862. Do 23 and j have different values?
True
Let l be (85/(-105))/(-1) + 3/(-21). Which is smaller: 0 or l?
0
Let c = -15 - -21. Is c < 5?
False
Suppose -7*w + 12 = -3*w. Suppose -2*h = -6*a + 2*a - 2, a + w*h = 3. Is 2 less than a?
False
Suppose 2*f + 0 = 2. Suppose -19 - f = -5*x. Let w be (3 - x)/((-1)/(-3)). Is -2 bigger than w?
True
Let v = 30 - 17. Let x be 12/(-66) - 402/(-33). Which is smaller: x or v?
x
Suppose 0 = 2*s + 5*h - 32 - 18, 0 = 4*h + 8. Suppose -8 = 2*i - 0. Let y be (4/s)/(i/(-6)). Which is bigger: y or 0?
y
Let c = 0.2 + -0.3. Let m = -9 - -8.64. Let g = 0.14 - m. Which is bigger: c or g?
g
Let t(d) = -d**2 - 4*d + 1. Let i be t(-2). Suppose 3*g - i*h = 20, -4*g + 17 = 3*h - 0*h. Are g and 3 non-equal?
True
Let s = -10 - -11. Which is bigger: s or -1/12?
s
Let b = -0.04 + -0.96. Suppose 2*q + 3*z = 503, -3*q - 4*z + 772 - 18 = 0. Let k be (-5)/(q/4)*-5. Is b greater than or equal to k?
False
Suppose 4*n = 4*x - n - 31, -2*x - n = -5. Suppose f = -6 + x. Which is bigger: 2/3 or f?
2/3
Let n = 5 + -3. Let s(j) = 14*j - j**2 - 7*j + 4 - n. Let o be s(7). Is 3 at most as big as o?
False
Let h be 1 - ((-15)/4)/(-3). Let c = 0.218 - 0.318. Which is bigger: h or c?
c
Let x = -0.07 - 6.93. Let d = -3 - x. Let j = -4.2 + d. Are 0.2 and j nonequal?
True
Suppose -45*r - 8 = -41*r. Let p be 1*1*(1 + 0). Is r bigger than p?
False
Let n = -94 + 90. Is n at least 2/7?
False
Let l = 1.84 + -1.841. Which is smaller: -1 or l?
-1
Let f = 16 + -16.1. Let r be 4*4 + (1 - -1). Let o be (-2)/12 + 57/r. Which is smaller: f or o?
f
Suppose 6 = -2*s - 2*y, 0 = -s + 3*y - 1 + 6. Let t = s - 1. Let u = -0.1 - -0.1. Which is greater: u or t?
u
Let q = 1 - 1. Let m = 1159/11 + -105. Which is bigger: q or m?
m
Let l(i) = -i**2 + 9*i - 12. Let y be l(7). Let p be -2 - 3/(45/(-42)). Is y greater than p?
True
Let i = -6.91 - 0.09. Let w = i + 6.9. Which is smaller: 4 or w?
w
Let d(b) = -58*b - 1. Let a be d(3). Let q = a + 4727/27. Which is bigger: q or 0.1?
0.1
Let x(y) = y**3 + 7*y**2 + 4*y - 5. Let p be x(-6). Suppose 5*k = p*q - 3*q + 19, -6 = 2*k - 5*q. Which is greater: k or 6?
k
Let i = -1.05 + 0.05. Is 11 > i?
True
Let b = 373 - 8567/23. Is 1 greater than b?
True
Suppose y + 3*c = 5*y + 11, 0 = 2*y - c + 3. Let k be ((6/27)/y)/(-1). Which is smaller: k or 1?
k
Let r(n) = -n. Let z be r(4). Let h be 2/(-6) + 5416/(-42). Let j = 129 + h. Do j and z have the same value?
False
Let s = 0.63 - -0.37. Is s >= -24?
True
Let s = -9.97 + -0.03. Let f = s - -10.1. Which is smaller: f or -0.1?
-0.1
Let h(k) = -3*k**3 + 1. Let z be h(-1). Let y = z + -4. Is y less than 2/3?
True
Let l(q) = -q**2 - 6*q - 6. Let u be l(-6). Let o be u - (-2 - -4)*-1. Is o at most -4?
True
Let y = -1.3 + 1.37. Let b = -0.03 - y. Is b <= 0?
True
Let f = -9 + 3. Let w be (-1)/3 - (-16)/f. Suppose 4*n - q = -16, -q + 0*q - 11 = 5*n. Is w <= n?
True
Let d = 82/103 + -18164/22557. Which is smaller: d or 1?
d
Let w(v) = v - 4. Let n be w(5). Let z = 3 - n. Let d = z + -3. Which is greater: -2 or d?
d
Suppose 2*g - 3 = 3*g. Let j = -13 - -16. Let v = j + g. Is v greater than 0?
False
Let i be -1*((-2)/6)/(-1). Let l be 46/24 + 6/18. Let p = l + -7/4. Is i greater than p?
False
Let v = -1052 - -5241/5. Is v equal to -1?
False
Let i = 112 - 223/2. Is i at most 2/11?
False
Suppose 2*v + 0 = -w + 4, -4*w + 6 = -2*v. Suppose -2*d - 3 = -v. Let t be d/6*(6 - 2). Are 1 and t equal?
False
Let t = -40 - -8. Is t at least as big as -30?
False
Let x = 1.16 - 0.16. Is 0 greater than or equal to x?
False
Let w be (2/4)/((-9)/(-18)). Do 1/21 and w have different values?
True
Let d be (12/20)/(2/10). Let h(l) = l + 3 - d. Let c be h(1). Is -2/11 not equal to c?
True
Let l(m) be the first derivative of m**4/4 - m**2/2 - 2*m + 5. Let n be l(2). Suppose 0 = n*g - 9*g + 5. Is g at least 2?
False
Suppose 4*k - 5*k = -2*f + 4, k + 5*f = 3. Let h be (k/(-8))/((-6)/(-24)). Are 3/7 and h equal?
False
Let w = -8.6 - 3.4. Which is smaller: w or -1?
w
Suppose a - j - 2 = 0, -a - 7 = -3*a - j. Let d be a + 0 + (3 - 1). Which is greater: d or 4?
d
Let r = -0.4 + -0.6. Are -0.9 and r nonequal?
True
Let f = -2 + 1. Let t(u) = u**2 + 8*u + 4. Let i be t(-8). Suppose 0 = -2*m + 2 - i. Is m greater than or equal to f?
True
Let t(f) be the third derivative of f**4/24 - 7*f**3/6 + 3*f**2. Let c be t(10). Suppose -s + 4 = c*s. Which is smaller: s or -2/5?
-2/5
Let n be ((-2)/(-8))/((-49)/28). Which is smaller: n or -6?
-6
Let u = 0.19 + -0.24. Which is smaller: 2/3 or u?
u
Let n be 12