 -0.84 + 1.84. Is s >= -1/39?
True
Let t = -57.7 + 43. Let n = t - -15. Let k = n - 0.2. Which is smaller: 2 or k?
k
Let c = 6353/2244 - 48/17. Let g = -727/132 + c. Are g and -6 equal?
False
Let q = 30.5 + -30. Let x = -1.1 + q. Is -0.1 at most x?
False
Suppose -2*v + 3*v = 20. Suppose -10 = -2*g + 4*j, -3*j - v = -4*g + 2*j. Let p be (-7)/(-3) + 18/27. Is g less than or equal to p?
False
Let q(v) = -v**3 - 8*v**2 - 2*v + 9. Let t be q(-6). Let i = -57 - t. Are -10 and i equal?
False
Let s(d) = d + 7. Let g be s(5). Suppose 5 - g = -7*f. Which is smaller: 3/10 or f?
3/10
Let y(u) = -11*u**2 + 3*u - 1. Suppose 2*x = 3*j + 14, 0*j + 16 = 4*x - 3*j. Let v be y(x). Does -6 = v?
False
Let z = -425 + 307. Does 0 = z?
False
Let o = 5 - 1. Let a be 2/(-9) + (-986)/18. Let z be a/(-13) + (o - 8). Which is smaller: z or 1/2?
z
Suppose 4*j = -o - o - 16, 3*o - 3*j - 21 = 0. Let l be o/(-36)*64/(-32). Are 1 and l equal?
False
Let o be 64/(-114) + 2/3. Suppose 0 = -9*i + 6*i. Which is smaller: o or i?
i
Let h = -7 + 10. Let s be 14/(-21) - (-141)/36. Is s less than or equal to h?
False
Let k = -100 - -102. Let r be (k - 2)/(3/(-3)). Is -3/22 at most as big as r?
True
Suppose -3*d + 5*m - 1257 - 1150 = 0, 2395 = -3*d - m. Is d not equal to -799?
False
Suppose -4*i + 2*c + 2 + 0 = 0, -3*c = 5*i - 8. Let m be 47/(1692/24) - 1*(-20)/(-21). Which is smaller: m or i?
m
Let q = -1.159 + 1.259. Let m = -60.926 + -0.074. Which is greater: m or q?
q
Let i = 447 - 422. Is i bigger than 34?
False
Suppose 2*z = -3*r - 2*z + 5, 0 = r + z - 1. Let y be 4/(-20) - 22/(-10). Suppose -y*o - 3*o = 0. Is r at most o?
True
Suppose 11*m - 168 = 2670. Let l = -775/3 + m. Let q = -0.2 + 0.7. Which is bigger: q or l?
q
Suppose 5*p = 0, 0 = 2*s - p + 2*p. Let l(d) = 2*d + 2 - 3*d + 16. Let w be l(s). Is 17 at least as big as w?
False
Let s = -12 + 12. Suppose 15*q - 17*q + 66 = s. Are q and 34 unequal?
True
Let n = 22969/17 - 1351. Let r(m) = -3*m - 1. Let d be r(-1). Let o be d/(-2)*(-1 + 1). Is o < n?
True
Let q = -42797/5 - -8623. Let r = -63 + q. Which is greater: r or 1?
1
Let i(p) = -10*p**2 + 119*p - 27. Let f be i(12). Is -48 bigger than f?
False
Let v = 1.17 - 0.17. Which is bigger: v or -43/4?
v
Let i = -80 + -102. Are i and 0.2 equal?
False
Let a = -25 - -15. Let j be 423/35 - a/(-175)*5. Which is smaller: j or 11?
11
Let i be ((-2)/(-10))/((-12)/1905). Let g = -32 - i. Let j = -7 + 6.8. Are j and g non-equal?
True
Let o = -102 - -33. Let r = -64 - o. Which is bigger: r or 2/9?
r
Suppose 5*b - 2 = 4*b. Suppose 0 = -f + 3*n - 327, -b*f + 2*n = -0*f + 638. Let g be 4/(-18) - (-20)/f. Is 1/6 less than or equal to g?
False
Let p = -5 + -1. Let a be p/9 + 140/(-6). Let v be a/27*6/24. Which is greater: 6 or v?
6
Suppose 1041 = 2*v + 5*y, -4*v - 2090 = -8*v - 2*y. Which is greater: v or 525?
525
Let a(n) = -n + 4. Let x be a(-13). Let c = 25 - x. Let l be (-3)/(3 - 84/c). Is l at most as big as -5/3?
False
Let l be 5/((5 + -3 + -1)*-1). Is 0.44 <= l?
False
Let r = -110 + 114. Let v be 6/(-2) + 2*30/r. Let z be 0 + -1*(-11)/1. Which is smaller: v or z?
z
Let b = 0.413 - -0.017. Let f = 2.43 - b. Is 8 less than or equal to f?
False
Let c = 11.8 - -34.2. Let v = -49 + c. Which is greater: v or -25?
v
Let r be (2/(-3))/(735/90). Let t = r + 3879/98. Which is smaller: t or 39?
39
Suppose -4*h + 2*h = 8. Let l = -60.3 + 1.3. Let x = l + 58. Which is smaller: x or h?
h
Let s(k) be the second derivative of k**6/240 - 7*k**5/120 - k**4/2 + 5*k. Let h(v) be the third derivative of s(v). Let w be h(3). Which is greater: 12 or w?
12
Let h = -1268 - -1253. Which is smaller: h or -59?
-59
Let u(z) = -z + 14. Suppose 5*k - 5*q = -30, -k - 5*q + 10 = -2*k. Let x be u(k). Which is smaller: x or 20?
x
Let m be -4 - 3/3*-6. Suppose -m = -5*f + 6*f. Let v = -203/4 + 50. Is f at most as big as v?
True
Let n = -0.25 + 0.2. Let h = -266.7 + 250. Let f = h - -13.7. Which is smaller: f or n?
f
Let d = 621 + -619. Which is greater: 28 or d?
28
Let a = 23.14 - -0.81. Let z = 24 - a. Let t = -36 - -36.3. Is z greater than or equal to t?
False
Let x = 92 - 21. Let n be -6*(-3)/9 + (-141)/x. Which is greater: 0 or n?
n
Let a be -6 + 2 - 12/2. Let k be (-94)/570 + a/(-50). Are -1 and k nonequal?
True
Suppose 6*u = u + 25, 0 = 4*n + u + 3. Let g = -36 - -42. Let v = g + -1. Is n smaller than v?
True
Suppose 0 = -3*k + 5*y - 2 - 3, -2*y + 2 = 3*k. Suppose f + 1 = -i, -i + 4*i = k. Is f at least 2/37?
False
Let d = 40 + -39. Let v = -10.7 + 11. Which is smaller: d or v?
v
Let w = -1641 - -1632. Do -9 and w have the same value?
True
Suppose -30 = 18*v - 28*v. Suppose 2*r = 3*r. Suppose r*t + 3*t - 12 = 0. Are v and t nonequal?
True
Suppose 19 = z - 9. Let q be (z/49)/(-2*1). Is -1 not equal to q?
True
Let c = -40 + 25. Is c smaller than 6?
True
Let l be 2 - (3 + 0 + -2). Suppose -c = 2*o + 273, 0 = -5*o + o + 3*c - 531. Let d be ((-10)/o*-3)/(-1). Which is smaller: d or l?
d
Let j be 65/(-52) - 1/(-4). Let w be (((-172)/6)/(6/18))/1. Which is smaller: w or j?
w
Let n = -34787/1027957 + -1/17423. Suppose 0 = -3*s + 20 - 5. Suppose -4*z + 7*z + 25 = -5*f, 0 = 5*z - f - s. Is z > n?
True
Suppose -40 = o + 2. Let k be 12/o + 107/7. Suppose p - 4*p - 3*g = 33, -p - 3*g = k. Which is greater: -10 or p?
p
Let y be (1 - (-4 + 6)) + 50. Which is smaller: y or 51?
y
Let c be 39/(-52) - (-4 - 2964/(-16)). Is c less than or equal to -184?
False
Let g = -1445 - -1450. Which is smaller: -58 or g?
-58
Suppose 0 = -12*m - 5297 + 5333. Suppose x = -5*j - 37, -5*j + 85 = -4*x - 4*j. Is m at least as big as x?
True
Suppose 2*v - 10 = -4*c, 4*c = 2*v - 6*v + 4. Let m be (c - 14)*1/(-2). Suppose -m*f + 3*f - 3*o + 11 = 0, -5*f + 15 = 5*o. Is f at least as big as 0?
False
Suppose 11*p - 7*p - 196 = 0. Let h = p + -37. Do h and 38/3 have the same value?
False
Let i = 66 - 42. Suppose -4*b = -7*b + i. Let m(z) = -16*z + 207. Let q be m(13). Is q greater than b?
False
Suppose -309 = -7*a - 323. Is -10/11 at most as big as a?
False
Suppose -d + 0 = 7. Let o(n) = 2*n**3 + 2*n**2 + 7*n + 14. Let l be o(-2). Which is smaller: d or l?
l
Suppose -14 = 2*v - 52. Suppose v = -t + 63. Do t and 42 have the same value?
False
Let a = -4 + 10. Let g be 49 + -41 - 12/2. Suppose a - 24 = -g*v. Is v less than 10?
True
Let h = 410/19 - 9582/437. Suppose -u = -0*u. Which is smaller: u or h?
h
Let x = 20 + -14. Let s = x - 6. Which is greater: -19 or s?
s
Let o be (-78)/104*(2 - -10)/(-1). Is 10 less than o?
False
Suppose -25 = 4*r - 41. Suppose r*q + 232 = 48. Are q and -47 equal?
False
Suppose 0 = 25*l - 23*l - 4. Let a be (-5)/(-6) + l/(-4)*0. Is 1 at most a?
False
Let s be (-5 - 7/(-1)) + -6. Which is smaller: s or -14/5?
s
Let c(a) = 12*a - 58. Let p be c(-5). Is -117 smaller than p?
False
Let f = -324 + 3558/11. Suppose 3*p = -0*a - 2*a + 79, -4*p + 120 = -a. Let s = -30 + p. Is f greater than or equal to s?
True
Suppose 0 = i - z - 10, -4*i + 0*z + 3*z = -36. Let s = i - 3. Is 12/7 less than s?
True
Let q = 20 - 15. Let o be (4/(-20))/((-1)/q). Which is smaller: 7/19 or o?
7/19
Let o be 1/4 - (-12)/(-48). Suppose -3*l + 0*l + 9 = o. Let k be (-5)/10*l*4. Which is smaller: -1/4 or k?
k
Let n be 2/(-3) + (-283)/(-6). Let b be 1/(202/100 - 2). Let j = b - n. Is j > 3?
True
Let n be (-17367)/2484 + (-6)/24. Let f = n - -64/9. Which is smaller: f or 0?
f
Let x(v) = 3*v + 2. Let r be x(11). Suppose 210 = 18*w - 12*w. Is r > w?
False
Suppose 5*g = g + 4. Let i = 268 - 14742/55. Is i smaller than g?
True
Suppose -3*w + 2*w = -4*o + 10, -2*w = 4*o - 4. Let f(z) = -z - 3. Let p be f(w). Suppose 4*y - 3 = 2*c - 13, -2*y - 9 = -5*c. Is y at most p?
True
Let u = -775/3 + 254. Let v(y) be the first derivative of -3*y**4/2 + 2*y**3/3 - y**2/2 - 17. Let o be v(1). Is o smaller than u?
True
Suppose -2*u = 3*p - 0*u - 2, 8 = -p - 5*u. Suppose -p*c = -0*c - 8. Suppose 2*t - 29 = -c*j - 3, 0 = -5*t + 4*j + 37. Is 9 bigger than t?
False
Suppose -3*u = u + 5*c - 60, -2*c = -8. Suppose 38 - 2 = 3*n. Let r = n - u. Which is bigger: r or 0.1?
r
Let c = -4 + 5. Let w be 12/(-30) + (-96)/(-190). Is c < w?
False
Let g = 22 - 6. Suppose 11 = -4*z + b, 5*z + g = -2*b + b. Let q = 0 - z. Is q smaller than 0.1?
False
Let u = 452.98 + -453. Is u at least as big as 0.53?
Fals