be j(v). Is h < -12?
False
Let d be 45/(-6)*8/(-10). Let q = -4 + d. Suppose q = -v + m, -6*v - 2*m = -2*v + 2. Does v = -1/3?
False
Let s(w) = 4 - w + w**2 + 3 - 5. Let n be s(2). Suppose -n*t + 0 = 4. Which is smaller: t or 0?
t
Let m = 17 - 9. Let l = m + -15/2. Is 4/11 not equal to l?
True
Let s(y) = y**3 + 11*y**2 + 11*y + 13. Let i be s(-10). Suppose i*f + f = 0. Which is greater: -3/5 or f?
f
Let b = -37 - -44. Which is smaller: 5 or b?
5
Let v = -21 - -10. Let q = v - -3. Is q greater than or equal to -1/2?
False
Suppose -5 = -3*y - 2*y. Let z be (y + -3)/2 - 0. Let l be 15/25*4/(-6). Which is smaller: l or z?
z
Let q be (10/15)/((-3)/(-54)). Which is greater: q or 13?
13
Suppose u - 10 = -u. Suppose -3*b + 5*x - 2 = 8, 5*b + u*x - 10 = 0. Let v = -1667/6 + 277. Is v bigger than b?
False
Let p(y) be the third derivative of -y**7/840 + y**5/60 - y**4/24 + y**3/6 - y**2. Let z(k) be the first derivative of p(k). Let c be z(1). Does 1/3 = c?
False
Let q(i) = i + 2. Let n be q(3). Let y = n + -2. Suppose -y*c + 7 = 2*o - 3, -4*o + c - 8 = 0. Which is bigger: -2 or o?
o
Suppose 2*v = 2*q - 5*q + 22, -2*v = -3*q + 2. Suppose -q*l = -4*h, -4*h + 2 = -0*l - 2*l. Which is greater: h or 2?
2
Let p be -2 + 2 + (-5 - -5). Suppose -5*f + 16 = -f. Suppose 4*y + 0 - 20 = 0, p = n + y - f. Is -3 less than or equal to n?
True
Let m(n) = n**3 - 5*n**2 + 4. Let z be m(5). Suppose c + 3*c = -z. Let s be 3/(c + (-6)/(-4)). Is 7 at least as big as s?
True
Suppose 4 - 1 = 3*r. Let k = 128244/779 + 1323/41. Let u = -197 + k. Do u and r have different values?
True
Suppose 0 = 5*g + 4*a + 31, -4*g - g + 1 = -4*a. Let p be -6*g/30*1. Suppose -3*d + k = 5*k - 22, -18 = -3*d - 3*k. Which is bigger: p or d?
d
Let v = 1.3 + -2.01. Let n = 0.01 + v. Let u = n - -0.7. Which is bigger: u or 0.1?
0.1
Let f be 3/1*-19 - 3. Is -60 at most f?
True
Let g be 4/(-6) + (-6)/(-9). Suppose 3*s + s = g. Is s at most -1?
False
Let c = -3 - -10. Are 8 and c non-equal?
True
Let c = 1268/3 - 429. Is c at least as big as -6?
False
Let t = -29 - -27.9. Let b = 1 + t. Do b and -0.02 have the same value?
False
Let j = -9 + 6. Let v be 1/j - (-8)/(-3). Which is smaller: -4 or v?
-4
Let c(a) = -2*a - 6. Let m(p) = p**3 + 10*p**2 - 4. Let h be m(-10). Let o be c(h). Let w = o + -1. Which is greater: w or -1?
w
Let a be ((-7)/2)/((-2)/4). Suppose 4*x + 0 = -4*i + 24, 6 = 3*i. Let d = x - a. Is -2 greater than or equal to d?
True
Suppose -w - 2 - 3 = 0. Let z = 3 + w. Let k be (0 + -1)*1 + 0. Which is greater: k or z?
k
Let j = -687311140/5281508603985069 + 2/327530319. Let h = 6014716061/20656446531 - j. Let i = h - 1/183. Which is bigger: -1 or i?
i
Let n = 441/178 - -2/89. Suppose 0 = 4*z + 4*t - 12, t = 5*z - 2*z - 13. Suppose -z*m - 4 + 20 = 0. Is n <= m?
True
Let t = 7 + -5. Suppose t*w + 0*w + 30 = 4*a, 3*a = -3*w. Are -5 and w non-equal?
False
Let i(k) = -1 - 2*k + 2*k + k. Let c be i(-2). Let t = -2 - c. Is -2/33 equal to t?
False
Suppose 0 = 3*b - 4*v + 4, -3*b + 5*v = b + 6. Which is bigger: b or -5?
b
Let p = -41 + 28. Let q be ((-12)/(-5))/(9/(-48)). Let b = p - q. Which is bigger: b or -1?
b
Suppose -5*v + 4*p + 72 = 0, 0*v - 2*p - 66 = -5*v. Which is smaller: 13 or v?
v
Let l(y) = -y**3 + 4*y + 5. Let c be l(3). Is c smaller than -10?
False
Let a = -12.7 - -12. Let k = a + 1. Is k > 1/3?
False
Let w(f) = -f**2 + f + 1. Let t be (-2)/(-2)*(-12)/4. Let y be (4 + t)*(-1 + 0). Let x be w(y). Is -1 smaller than x?
False
Let z be (-2)/(-9) + (-140)/225. Do z and 1 have different values?
True
Let w(s) be the first derivative of s**2/2 - 11*s - 3. Let i be w(10). Which is greater: i or 1/10?
1/10
Let i = -6.99 + -0.01. Let h = -7.1 - i. Is -0.4 smaller than h?
True
Suppose 3*j = 3*a + 9, -5*a + 7 = -4*j + 18. Suppose -3 = -3*w + 6. Suppose s - 2*i = -i + 5, -17 = -w*s + 5*i. Is s equal to j?
True
Let g = -1 - -4. Suppose -g*u - 2*u = 0. Let k be (-36)/(-40) - (-4)/(-10). Which is bigger: u or k?
k
Let o be (-10)/(-8) + (12 - 15). Is -1 at most as big as o?
False
Let u = -26 + 74/3. Is u equal to -1?
False
Let u = -2 + -6. Let m = 0.3 - 0.4. Which is greater: m or u?
m
Let t = -9 - -8. Let n be 5 + (0 - -2)/t. Suppose 0 = 8*l - n*l + 15. Is l < -3?
False
Let p(r) be the first derivative of r**2/2 + 4*r - 1. Let t be p(-4). Let i be t + 1 + -3 + 5. Which is greater: i or 2?
i
Let y = -2 - -20. Suppose 4*w - y = 3*z, -3*w = -2*z + z - 11. Which is smaller: 3/2 or w?
3/2
Let g = 4 + 1. Let o = 75 - 74.8. Which is greater: g or o?
g
Let v = -10/37 + -41/259. Which is greater: v or 1?
1
Suppose 6 = -l - 3*i, 10 = -10*l + 6*l - 5*i. Is l at least as big as -2/201?
True
Let k be (-9)/(-21)*-4*6/180. Let g be (1 + 0)/(-5)*2. Which is bigger: g or k?
k
Let z = -2.88 + -0.12. Let j = -1.99 - 0.01. Let y = j + 1. Is z > y?
False
Let o = -0.15 + 0.05. Which is smaller: -1 or o?
-1
Let v = 0.9 - 1. Let z = 25153 - 74684/3. Let x = -256 + z. Which is smaller: x or v?
v
Suppose t - 6*t - 6 = -4*p, -3*p + 20 = 4*t. Is 3 at least as big as t?
True
Let v = -29 + 28. Is v less than 0?
True
Let r(d) = d**3 + 13*d**2 - 14*d + 1. Let t be r(-14). Which is smaller: t or 0?
0
Suppose -21 = -4*t + t. Let v = t - 0. Are v and 6 equal?
False
Let a = -160405628237/12 - -10307505032894947/771108. Let b = -10/4943 - a. Let p = b + -301. Which is smaller: 1 or p?
p
Suppose -4*a - 5*y + 7 = 0, 4*y - 4 = -3*a - a. Let p = 0 + a. Let x be (p/6)/(1/3). Is x at most as big as 1/5?
True
Suppose 2*m + 2*m = 0. Let l = -0.1 + -0.2. Let i = l + 0.3. Is m less than i?
False
Let c = -1 - -3. Let i be -5 + (3 + -1)/c. Suppose 4*m + 19 - 3 = 0. Is i greater than m?
False
Suppose 5*o = 2*o + 2*v + 5, v + 1 = 3*o. Suppose 4*k + 4*f = 0, -5*k + 3*k - 3*f = 0. Which is smaller: k or o?
o
Let t = 0 - 2. Let m(k) = k**2 - 1 + k**2 + 0 - 13*k + 5. Let w be m(6). Is t at least w?
True
Let f = -1159/7 + 166. Let y(h) = 6*h**2 + h - 2 - 6 + 2*h**2 - h**3. Let u be y(8). Do f and u have the same value?
False
Suppose -5*b + 0 = c - 9, -3*b = 2*c - 11. Let l be b/(2/(-5)) - -2. Let j be -5 - -2 - -3*1. Is l at most j?
True
Let o(q) = 2*q**2 + 22*q - 7. Let c be o(-8). Do c and -55 have the same value?
True
Let n be (3/2)/(9/18). Suppose 3*z + 20 = 2*k, -3*z = 5*k - 2*z - 16. Are n and k unequal?
True
Suppose 3*m + 5 + 34 = 0. Which is smaller: m or -12?
m
Let c be (12/(-15))/((-2)/10). Suppose -4*w + c = -0*w. Suppose 2*y + 0*j + 4 = j, -4*y - 2*j = -8. Which is bigger: y or w?
w
Let y = 0.039 + -0.039. Which is smaller: y or -0.1?
-0.1
Let x be 2/((156/(-9))/4). Which is greater: 0 or x?
0
Let v = 232 - 439/2. Which is bigger: v or 14?
14
Let h be ((2/1)/2)/(-6). Let i be 1*(-3 - -7)/(-4). Which is smaller: i or h?
i
Let o = 106 + -103. Which is smaller: o or 1?
1
Let m = -3 - 0. Suppose 0 = -5*l + 9 + 41. Suppose 0 = -0*k + 5*k + l. Are k and m equal?
False
Let x(f) be the second derivative of f**6/720 + f**5/60 + f**4/4 - 4*f. Let i(t) be the third derivative of x(t). Let y be i(-2). Is 1 not equal to y?
True
Let n = 0.26 - -1.68. Let s = 0.06 + n. Let b = s - 3. Which is smaller: b or 1/2?
b
Suppose -2*l = -4*l - 2. Let v be (-243)/(-684) + 2/(-8). Is v <= l?
False
Let f be 3/(-9) + (-1931)/(-663). Let v = f - 32/13. Which is bigger: v or 0?
v
Let b = -0.9 + 1. Is b >= 3?
False
Let b = 29 + -21. Suppose 3*j + b = y, -3*j + 0*j - 4 = y. Is j at most -2?
True
Suppose z + 2 = 4. Let v(i) = -2*i**2 + 2*i + 2. Let q be v(z). Is q less than or equal to 0.1?
True
Let q be (-3 - 0)*(-2)/8. Let g = -63 - -64. Which is smaller: q or g?
q
Suppose -1 = -4*o + 3. Let z = 4 - o. Is 4 greater than or equal to z?
True
Let q(f) = 2*f**2 - 14*f + 13. Let k be q(9). Suppose 7*i - k = 28. Which is bigger: 10 or i?
i
Suppose -z - 4*k - 26 = 0, 4*z - 4*k + 0 = -4. Which is smaller: -5 or z?
z
Suppose h - 1 + 2 = 0. Let t be (6/24)/(h/2). Let w = 0.1 + -0.1. Which is greater: w or t?
w
Let l be (-23)/6 + (-1)/6. Let j = 5 - 4.9. Is j equal to l?
False
Let a = 0.05 - -15.95. Which is smaller: 2/5 or a?
2/5
Suppose s - 6 = -9. Which is smaller: 0 or s?
s
Let d(p) = -p + 1. Let b be d(1). Suppose j = -1 - b. Let c be 2 - (2 - (-1)/j). Which is greater: c or -1/4?
c
Suppose 2*n - n - 16 = 4*s, 3*n = -4*s - 32. Which is bigger: -3 or s?
-3
Let y be 3/(-5) - (-6