h = k + 2. Which is bigger: v or h?
h
Let n = 0.213 - -12.787. Is 3/4 at least n?
False
Let t = -104 + 149. Is t smaller than 43?
False
Let n(v) = 9*v + 9. Let o(y) = 5*y + 4. Let r(q) = -6*n(q) + 11*o(q). Let p be r(6). Let u = -32 + 27. Is p < u?
False
Let f = 7.2 - 0.2. Is f less than or equal to -2/7?
False
Let f be -3 - -3*2116/2046. Let q = 6/31 - f. Which is bigger: q or 0?
q
Let b(z) = 2*z**2 + z. Let p be b(-1). Suppose 0 = -r - 2 - 1. Let u = r + p. Which is smaller: -0.1 or u?
u
Suppose 0 = 2*c - 4*c - 2. Let a(r) = -6*r**2 - 2*r - 1. Let o be a(c). Which is greater: o or -4?
-4
Let z(g) = g**3 + 3*g**2 - g + 2. Let l be z(-3). Let s = l - 2. Suppose 3*i = -3*t + i + 10, -s*i = -2*t + 11. Is t less than or equal to 4?
True
Let v be ((-18)/5)/(21/(-70)). Let n be (6/4)/((-1)/(-2)). Let z be (n/v)/(1/4). Which is greater: -3/11 or z?
z
Suppose 2*s - s - 2 = 0. Let d be s/(-6) - (-35)/(-3). Let y be (-1)/((-3)/d*10). Which is smaller: 3 or y?
y
Let n be (-14)/8 + (-5)/(-20). Which is greater: n or -3?
n
Let t be 3*(-3)/(-162)*-149. Let j = 17/2 + t. Which is greater: 1 or j?
1
Let b be -6 + -2*2/(-4). Let u(x) = x - 4. Let d be u(-2). Do b and d have different values?
True
Let y = -24 + 21.8. Is y not equal to -3?
True
Let o = -13 + 15. Let p(m) = -m**3 - 5*m**2 - m + 1. Let u be p(-5). Let d be o*(0 + 9/u). Which is smaller: 4 or d?
d
Let u = 13 + -12.9. Is 4 <= u?
False
Let y = 33 + -28. Is y bigger than 0?
True
Let u = 4 + -6. Let s = -7 - -11. Suppose s*c + 27 = -4*r - r, -24 = 4*r + 4*c. Is u smaller than r?
False
Let b be -1 + (-3)/(-2) + 2/4. Is b > -5?
True
Let x be (((-6)/(-4))/3)/2. Let h(j) = 3*j**3 + j**2. Let d be h(-1). Let i = -1 - d. Which is bigger: i or x?
i
Let b = -388 + 5822/15. Suppose 0 = -x + 3*x + 4. Let d(q) = q**2 + 2*q. Let t be d(x). Which is smaller: b or t?
t
Let o = -41 + 38. Is o at least -5?
True
Let m = 0.01 + -1.11. Let r = 1 + m. Let y(i) = -i**3 + 11*i**2 - 9*i - 12. Let p be y(10). Which is greater: p or r?
r
Let t = 20.1 + -18.1. Let w = -0.2 + -0.8. Do w and t have the same value?
False
Let n be (1 - 4) + (-20)/135*-21. Is n greater than or equal to 1?
False
Let p be 5 + 6*(-3)/6. Suppose 0 = 6*d - 2*d - 4, -p*v + 3*d - 3 = 0. Is v <= 0?
True
Suppose -2*d = p - 1, 0 = 2*p - p - 2*d + 11. Suppose 2*r = 11 - 1. Suppose 5*a + 5*z = 2*z - 29, -5*a - 5 = -r*z. Is a > p?
True
Let q = 8 - 6. Suppose 0 = -3*r + q*r. Is r greater than or equal to 5/4?
False
Suppose -g + 4 = -0*v - v, -2*g + 8 = 3*v. Is 2/3 at least v?
True
Suppose 3*o + 5 = 2*o. Let x = o - -5. Is x less than or equal to 2/15?
True
Let m = 245 + -5881/24. Which is greater: -1 or m?
m
Let w = 2/3371 - -1574247/16855. Let x = w + -93. Let o = 64 - 255/4. Is x smaller than o?
False
Suppose 2*y - s = 2*s + 28, 3*y - s = 28. Which is smaller: y or -1?
-1
Let n be (-4)/5 - ((-8)/10 - -1). Which is smaller: n or -2?
-2
Let s be (-10)/(-8)*(0 + (-54)/10). Do s and -6 have the same value?
False
Let i = 18572/37 + -502. Which is greater: i or -1?
i
Suppose -3*d = -v - 30, 6*v - 3*v - d = -106. Is -37 smaller than v?
True
Let o be 2/((-12)/(-3))*0. Let i = 457/590 - -3/118. Which is smaller: o or i?
o
Let z = 9.6 + -1.6. Let d = -7.9 + z. Which is smaller: d or -0.2?
-0.2
Let b = 10/311 + 313/19282. Is b bigger than 1?
False
Let w = 185 - 184.9. Is 26 bigger than w?
True
Let g be (26/4)/((-27)/(-6)). Which is smaller: 2 or g?
g
Let g = -18259 - -109067/6. Let j = -81 - g. Let y = -4 + 4. Which is smaller: j or y?
y
Let x(k) = -k**3 + 4*k**2 + 8*k - 3. Let p be x(5). Is 14 greater than or equal to p?
True
Suppose 0*u + 96 = -6*u. Which is smaller: -18 or u?
-18
Suppose 5*i - 5*q = -q + 35, -i - q - 2 = 0. Suppose -i = 2*g + 39. Let m be (-27)/g - (3 - 2). Which is smaller: m or 1?
m
Let c be (-5 - (-2 + 0)) + 17. Is 14 equal to c?
True
Let k = 1015 - 96424/95. Is k less than or equal to -1?
False
Suppose 5*u - 3*g = -8*g + 30, u - g + 4 = 0. Suppose -12 = -2*t + 4*s, -2*s - u = t - 3. Suppose w = -t*w. Which is smaller: -1/3 or w?
-1/3
Let k = 2 + 3. Let w = k - 5. Which is smaller: w or 0.4?
w
Let y = 0 - 0.1. Let n = 14.1 + -16.7. Is y greater than n?
True
Let l = 4.8 - 6. Is l less than -2/5?
True
Let d = 8 + 12. Let g = d + -20.01. Which is greater: g or 0?
0
Suppose 0*q - 3*q - 45 = 0. Let s = q - -13. Which is greater: -0.3 or s?
-0.3
Suppose -3*j + 1 + 14 = 0, 2*x + j = 5. Is 0 <= x?
True
Let s = 0.034 + 19.966. Which is bigger: s or 1/4?
s
Suppose 0*p - 155 = 5*p + 5*f, 3*p + 98 = -2*f. Let i be (p/(-15))/(3/2). Is 1 <= i?
True
Let t be (-14)/(-21)*(-6)/(-16). Is 7 equal to t?
False
Suppose -25*a + 26*a - 2 = 0. Let m(i) = -7*i**3 - 2*i**2 + 1. Let o be m(-1). Suppose -o = -3*q + 3. Which is bigger: q or a?
q
Let r be 4/6 - 10/6. Suppose -4*v + 2 = -v - 2*x, 2*v - 4*x + 12 = 0. Suppose -7 + 3 = v*n. Is r <= n?
True
Let y(d) = -d**2 + 4*d - 2. Let x be y(3). Which is greater: x or 2/37?
x
Let n be (-4)/14 - (-4515)/(-147). Is -1 not equal to n?
True
Let a = 140 - 140. Is a < 3/73?
True
Let h be 13 - -6*(-1)/(-2). Let t = -10 + h. Are 4 and t nonequal?
True
Suppose 5*v + y = 43, -5*y = -2*v - 0 + 1. Is 7 greater than or equal to v?
False
Suppose -3*c + 10 + 3 = -4*g, -5*g = -2*c + 11. Let j = c - 2. Let f be (-2)/5*5/10. Which is smaller: j or f?
f
Let n = -28 - -11. Is -17 smaller than n?
False
Let t = -2 - -2.3. Is t < -0.02?
False
Suppose 9 = 4*x + 41. Let i be (30/x)/(-1) + -3. Which is smaller: i or -0.1?
-0.1
Let q = 907 - 311. Suppose 5*t + q = t. Let z = t - -1339/9. Is z at most as big as 0?
True
Let s = -14 + 20. Let o = s + -8. Which is bigger: o or -1/7?
-1/7
Let n = 0.1 + -0.2. Let a = -0.4 + 0.3. Let h = a + 3.1. Is h > n?
True
Suppose 2*u + 5*l - 11 = -32, 0 = -5*u + 5*l + 35. Suppose -2*i - u*i = 0. Which is bigger: i or 3?
3
Suppose -3*x + 20 = -4*y, -4*x + 2*y + 10 = -0*y. Suppose -5*j - 4*w = 95, -5*w = -2*j - x*j - 5. Which is smaller: j or 0.1?
j
Suppose 0*l - l = -4. Let p = l - 5. Let c = 3 + p. Is -4 at least as big as c?
False
Let h(p) = 15*p. Suppose -r - 3*r = 4. Let w be h(r). Let j be (3/w)/(2/2). Is -1 at most j?
True
Suppose 3*x + 3*l - 1 = -4, -4*l = 5*x + 4. Suppose -17 = -0*b - 4*b + 3*y, -b + y = -4. Let u be 2/15*(x + b). Is u at least -1?
True
Suppose 5*t - 39 = 251. Which is greater: 56 or t?
t
Let m be ((-2)/4)/(13/(-4)). Let c(n) be the second derivative of n**4/12 + n**3/2 - n**2/2 - n. Let z be c(-3). Are z and m unequal?
True
Let j be (-6 - -4)*42/9. Is -10 greater than j?
False
Suppose -v - 6 = 8. Let r be 7/v + (-38)/(-4). Which is smaller: r or 10?
r
Let v(a) = -a**3 + 7*a**2 + 8*a. Let g be v(8). Suppose g = -5*c + 4 + 6. Suppose c*d = -d - 3. Which is smaller: d or -3/4?
d
Let i = 13 + -14. Suppose -y = 1 - 0. Let g be 12/32 + (-1 - y). Is i greater than or equal to g?
False
Suppose -4*c = 4*p + 2 + 2, -5*c = -4*p - 4. Suppose 2*o = 4*o. Suppose -2*q - 5 = 5*g + 4, o = g - 4*q - 7. Is c < g?
False
Suppose -19 = -4*m - 3*c, 0*m + c - 7 = -2*m. Let h(a) = -a + 1. Let p be h(m). Suppose 3*w - 7 = -3*q - 1, 15 = -3*w + 4*q. Which is smaller: p or w?
w
Suppose 4*v = v + 360. Let t be 2/11 - v/55. Are -2 and t non-equal?
False
Let j = -0.9 - -0.9. Let r = j - 0. Which is smaller: r or 1?
r
Let a = -0.01 - 0.49. Which is greater: a or -0.06?
-0.06
Let s = 0 + -2. Let t = -106 + 102. Is t not equal to s?
True
Let z = -1003/106 + -2/53. Which is greater: -11 or z?
z
Suppose -4*n = -7*n - 3. Let f be n*(-3)/(-4 + 1). Is f at least -2?
True
Let b = 92 - 110. Which is greater: -19 or b?
b
Let a be 2 + 17*(2 + -3). Let s be (0 - a/18)*-1. Are -1 and s non-equal?
True
Suppose 4*l + 2*k = -44, 2*k + 6 + 2 = 0. Let m be l/5 + 2 + 0. Does m = 0?
False
Let a be (2/5)/((-9)/(-5)). Let o = 157/2 + -79. Which is smaller: o or a?
o
Let b = -72 - -33. Is b at least as big as -38?
False
Let h be 2/6*72/(-33). Which is smaller: h or 0?
h
Let t = 23/3 - 167/21. Is t > 0?
False
Let o be 20 + -17 + (-288)/98. Which is greater: o or -1?
o
Let w = 2999/2 - 1466. Let h = w + -33. Is 0 > h?
False
Let a = -72 + 790/11. Which is smaller: 0 or a?
a
Let u be -4 - (-60 + -1)*(-2)/(-32). Let j be (-1)/((1 - -2)/3). Is u at most j?
False
Let a = -56/3 + 19. Suppose 5*q - 36 = q. Let v = q + -10. Which is smaller: a or v?
v
Let z 