-1
Suppose -10*c + 666 = -16*c. Is c at most -112?
False
Let b = -41 + 29. Let l be (1/2)/(3/b). Is l bigger than -2?
False
Let u = -74 + 77. Does u = 13?
False
Suppose 2 = -4*k - 18. Let s be (2/k)/((-1)/5). Which is smaller: 3/4 or s?
3/4
Let l be (-2)/((16/(-10))/(-4)). Let a be (-3 - l) + -3 + 2. Suppose 0 = -3*j - 2*j. Is a greater than or equal to j?
True
Let i = 18 + -16. Let v(g) = 4*g**3 - 4*g**2 - g. Let s(p) = -3*p**3 + 3*p**2 + p. Let n(k) = 3*s(k) + 2*v(k). Let h be n(-1). Are h and i unequal?
True
Let c = -17.66 + -0.34. Let f = c - -17.94. Does 0 = f?
False
Suppose 6*q - 5*q + 4 = 0. Let w be 21/3*q/(-14). Is 1 <= w?
True
Let r(d) = -d**3 + d + 1. Let t be r(0). Let z = 22.15 + -22. Let v = z + -0.15. Are v and t equal?
False
Let h be (4 - 87/18)*2. Do -3 and h have the same value?
False
Let w(m) = -m**2 - 6*m + 2. Let g be w(-5). Which is greater: g or 1?
g
Let u be (-6 - (-17)/3) + 22/39. Which is smaller: 1/3 or u?
u
Let s(z) = -5*z + 5. Let o be s(3). Which is bigger: -11 or o?
o
Let a(v) = -v + 9. Let y be a(7). Suppose y*h = -h. Is h smaller than -2/5?
False
Let k = -5 + 14. Let s be 6/(-4)*(-6)/k. Which is smaller: 2/23 or s?
2/23
Let b(h) = h**3 + 5*h**2 + 5*h + 3. Let a be b(-4). Which is greater: a or -1/12?
-1/12
Let n be (4/(-222))/(-4*(-7)/(-42)). Is n at least as big as 0?
True
Suppose 2*t + 12 = -3*t + a, -a = -4*t - 10. Suppose -5*p = -2*p + 9. Let j = p + 0. Which is bigger: j or t?
t
Let v be 0/(2/(-1)) - 11. Let j = v + 8. Suppose 0*c + 6 = -3*c. Is c <= j?
False
Let i = 0.2 - 1. Let l = -1 - i. Let n = -0.38 + 0.08. Which is bigger: n or l?
l
Let o = 132/13 + -1002/91. Which is smaller: o or -1?
-1
Let g = 4.553 + 0.047. Let y = g + -5. Let h = y + 2.4. Which is smaller: 1/3 or h?
1/3
Let g be (-4)/(-8) + (-1)/2. Let a = 1/76 - -449/532. Is g at most as big as a?
True
Let t = -10/697 + 3/41. Which is bigger: t or -1?
t
Suppose 3*o + o + 4 = 0. Let y be -1 - -2*(0 + o). Let s = -4 - y. Which is smaller: 2/23 or s?
s
Suppose 0*t - 3*t - 24 = 3*h, 4 = 3*h - 4*t. Let i be h/22 - (-2)/(-110). Suppose 3*y - 3 = 0, 5*g + 2*y = -0 - 3. Are i and g nonequal?
True
Let d(z) = z + 11. Let g be d(-10). Suppose 5*r = -4*m - 13, -3*m = -2*r - r - 24. Let x = m + -2. Is g > x?
False
Let p = -31 + 31. Is p smaller than -2/15?
False
Suppose 0 = -2*d + 4, d = -5*t - 4*d + 35. Suppose -3*m - m + 16 = 0. Is t <= m?
False
Suppose -39*w + 40*w - 2 = 0. Is 1 greater than w?
False
Suppose 2*z = -3*z + 5. Let j = 31537/54 + -584. Which is greater: j or z?
z
Let m be 0 - 1/(-3)*0. Let j(c) = c**2 - c + 1. Let n be j(0). Is m greater than n?
False
Let n = 39 - 23. Suppose -5*u + n = 5*v + 1, -3*v = -2*u - 14. Does u = 0?
False
Let b be (1 - 1)/3 - -1. Let k be b - 0/(-1 + 5). Which is smaller: 1/4 or k?
1/4
Let h = -8 + 12. Suppose -h*a + a - 9 = 0. Suppose -5*c - 14 = 4*o - o, -3*c - 18 = 5*o. Is o < a?
False
Suppose -4 + 4 = t. Are -1/42 and t nonequal?
True
Let a be 1 + (2 - 1)*-1. Suppose a = 4*x - 1 - 15. Suppose -3 = -x*m - 7. Which is greater: -2 or m?
m
Let q = -14 - -22. Let n = -6 + q. Let k be 0/n*(3 + -2). Is k less than or equal to 0?
True
Let u = -14 + 25. Let l = 11 - u. Let q = 3 + -4. Which is bigger: l or q?
l
Let y = -2 + 6. Suppose 3*w = y*w + 1. Do -4 and w have the same value?
False
Let k = 28 - -80. Let s = 104.98 - k. Let m = s - -0.02. Which is bigger: 1 or m?
1
Let m = 60.2 - 60. Is 0.2 at most m?
True
Let t = -9 + -6. Is t less than -16?
False
Suppose 0 = -7*m + 8*m - 1. Which is greater: m or 1/150?
m
Let h(v) = 5*v**2 - v. Suppose 0*a + 22 = -3*n - 4*a, 5*n + 6 = a. Let y = n + 3. Let s be h(y). Is 2 < s?
True
Suppose -4*y - 3*n - 2*n = 8, -2 = y - n. Let w be 2 - y/((-16)/14). Which is greater: -1 or w?
w
Suppose -3*z - 5 = 2*z. Let g = z - 4. Suppose 3*n + 30 = -3*n. Is g <= n?
True
Suppose -3 = -b + 6. Suppose -2*z = -1 - b. Is 5 < z?
False
Let w = -0.1 + 0.1. Suppose -5*c + 32 = -c + 4*k, 5*c = 4*k + 49. Let p = -10 + c. Which is smaller: w or p?
p
Suppose 5*n + 5*k = 5, -4*n - 1 = 3*k - 6. Suppose -g + 4 = -3*g. Which is greater: n or g?
n
Let l = -0.6 + -7.4. Let a = 8.1 + l. Let r = 0 + a. Which is greater: r or -0.2?
r
Let i(w) be the first derivative of 3*w**4/2 - 2*w**3/3 + w**2/2 - 2. Let l be i(1). Let q be -6 + l - (2 - 0). Is -2 bigger than q?
True
Let z be 6/(-14)*(-42)/(-24). Suppose 2 = -0*f - f. Let s be f/(2 - 1 - -1). Are z and s equal?
False
Let b = 1.84 + -2. Let h = 0.06 - 0.1. Let j = h + b. Which is smaller: j or -0.1?
j
Suppose -r = 2*r. Is r less than or equal to 2/25?
True
Let z = -8 + 12. Let x = z - 7. Let c = -6 - x. Which is smaller: c or -0.1?
c
Let k be 3/(-12) + (-33)/44. Which is greater: k or 2/9?
2/9
Let p be (2 - (-79)/(-11)) + 2/11. Is -1/3 at least p?
True
Let u = 4.9 - 34.9. Let v = u - -29.7. Let b = -2.9 - -3. Which is bigger: b or v?
b
Let s be ((-2)/(-132))/(524/18996). Let n = s - 1/262. Suppose 2*r - 2 = r. Which is smaller: r or n?
n
Let j be ((-3)/(-2))/(18/(-6)). Let u(p) = 5*p**2 - 37*p + 28. Let r(i) = -i**2 + 9*i - 7. Let v(l) = -9*r(l) - 2*u(l). Let h be v(-8). Does j = h?
False
Let t = 10.1 + -7. Let x = t - 1.1. Which is bigger: 0.1 or x?
x
Let i(d) = -d - 1. Let w be i(-2). Let p be (-2*w/6)/(-1). Is p <= -2/7?
False
Let d = 3 + -9. Let k be d/(-18) - 8/15. Is k at least as big as -1?
True
Let f = 0.3 + 0.2. Let z be (0/(-1))/(-5 + 3). Which is smaller: z or f?
z
Let o = -8 - -6. Let h be (-2 - 2) + 2 + 60/25. Which is smaller: h or o?
o
Let o = 1.8 - 8.8. Is 1/3 less than o?
False
Let q(s) be the third derivative of s**5/60 + 7*s**4/24 + s**3 + 4*s**2. Let t be q(-5). Which is greater: -3 or t?
-3
Let p be ((-2)/4)/(2/(-96)). Suppose -p = -5*m - 9. Suppose -4*s + 5 = -5*f - 4, -7 = m*f - 4*s. Is f at most -1/8?
True
Let j be 5/75 + (-2)/(-6). Let w be (4 - (-6)/(-2))/(-1). Which is greater: w or j?
j
Let d = -3 + 5. Suppose -4 = -d*z - 2*z. Which is smaller: 0 or z?
0
Suppose 0 = 3*c - c - 6. Suppose 5*m = -7 - c. Suppose -2*i - 8 - 13 = 5*f, -4*f = -3*i + 3. Is i not equal to m?
True
Suppose 4*y = -2*v, 9 = -5*y + 2*y + 3*v. Is -2/19 less than y?
False
Let b be 17 + -1*1 + -1. Suppose 6 = 4*o + 46. Let x = o + b. Are 5 and x non-equal?
False
Let l = 0 + -1. Let k be (4/7)/((-1290)/(-105)). Which is greater: l or k?
k
Let k = -42 - -43. Let m be ((-9)/24)/(1 + 0). Which is bigger: m or k?
k
Let i(g) = -g**3 - 3*g**2 + 4*g + 5. Let p be i(-4). Let x be (15/(-6))/(p/(-4)). Is x less than 12/7?
False
Let j be (-1)/(-3) - 14366/78. Let l = j + 184. Do 1 and l have the same value?
False
Suppose -2*q + 3*k = -3, k - 2 = 1. Is q smaller than 8?
True
Let q = 83 - 22. Let f be q/4 + (-2)/8. Let a = f - 11. Is a at least as big as 5?
False
Let u = 170 + -1532/9. Suppose -2*s = -5*j - 23, 2*j - 13 = -2*s + 5*j. Is u bigger than s?
True
Let f = -3 + 3. Suppose 0 = -5*g - 5 - f. Does -1/2 = g?
False
Let n be 5/(5/4)*1. Let r = -3/14 - 1/28. Which is bigger: n or r?
n
Let z be (-3)/(2/(8/(-30))). Let t = -0.2 - -0.23. Let y = -0.33 + t. Are y and z equal?
False
Let k = -31 - -12. Let s = 21.2 + k. Let o = 0.2 - s. Which is greater: -1 or o?
-1
Let d be -2 - (15/(-24) + -2). Which is smaller: 2 or d?
d
Let p = -1.6 + -4.4. Let k = -103.1 + 103. Which is bigger: p or k?
k
Let v(p) = p**2 - p + 11. Let z be v(0). Is z bigger than 11?
False
Let f = -2 + 25. Which is smaller: 22 or f?
22
Let n = -5/68404038556 + -360863324150738/2880298623483. Let a = n - -5/4716. Let r = 125 + a. Which is smaller: 0.1 or r?
r
Suppose -10 = b + 4*b. Let y(r) = r**3 - 4*r**2 + r + 4. Let s be y(3). Is b equal to s?
True
Let n(v) = -v**3 - 4*v**2 - v - 4. Let r be n(-4). Suppose r = 3*s - 0*s. Is s at most -3/4?
False
Let p = -175782/5 + 865087/25. Let m = 553 + p. Which is smaller: -1 or m?
-1
Let l be 1 + 0 + -2 + 0. Let f = -0.9441 - 0.0559. Is f at least as big as l?
True
Let p = -2 + 4. Let v be (12/(-8))/(1/p). Let d = 4 + v. Which is smaller: 0 or d?
0
Let x be 2 + -2 - (6 + -3). Let b be (x - 0)/(6/4). Which is bigger: -3 or b?
b
Let i = -2.95 - 0.05. Let o = -5 - i. Which is smaller: o or 0.4?
o
Let t = 65.7 + -66. Is -2 less than t?
True
Suppose h + 2 = 3. Let u be (-3)/2*(-1)/(-9). Which is bigger: h or u?
h
Let l = -3 + 3. Let s(j) = -j - 4. Let i be s(l). Is i at least 