/12 + (-46718)/55860. Which is smaller: v or -1?
-1
Let l = -13 + 12. Is l at least -11?
True
Suppose 0 = 178*h - 182*h + 12. Is -11 at most as big as h?
True
Let k be -5*2 + (48 - -32). Is 58 at least as big as k?
False
Let i(c) = -c**3 - 3*c**2 - c + 2. Let q be i(-2). Suppose 4*b + 47 = -2*x - 17, 5*b + 5*x + 85 = q. Is -12 less than b?
False
Let u(n) = 313*n + 9. Let t be u(-1). Is -908/3 greater than t?
True
Let k be -2 + (1 + 86 - 3). Let f be (-2)/(-4)*(k/(-40) - -2). Is 1 smaller than f?
False
Let w be ((-55)/(-165))/(((-10)/(-6))/(-5)). Which is smaller: -2/1703 or w?
w
Let r = 673 - 732. Is r < -2/3?
True
Let h be (-2)/56*4*-2. Which is smaller: h or 114?
h
Let x(v) = -v - 1. Let n be x(-1). Let j be (-2 - (-37)/2) + (-2)/(-4). Let b = -84/5 + j. Which is bigger: n or b?
b
Let l be 1*((-2)/(-5) + (-1036)/(-185)). Which is smaller: -0.2 or l?
-0.2
Let q be (-1)/(-4) - 590/(-8). Let s = -4473 - -4547. Is s < q?
False
Let z = 920 - 965. Which is smaller: 0 or z?
z
Suppose 2*y - 18 = -2*y + 3*w, -2*w = 3*y - 5. Let c be ((-42)/(-8))/((-6)/(-16)). Let t be ((-4)/24*y)/c. Is t != 1?
True
Let z = -4264 - 1706. Let s be (z/(-33))/(-5) + (-6)/(-33). Which is bigger: -35 or s?
-35
Let t = 419 + -446.1. Is t >= 2?
False
Let p = -6 - -11. Suppose 0*i = 4*i + 4*u, -p*i + 8 = -3*u. Is -3/32 greater than i?
False
Suppose -13*s - 165 = -10*s. Let w be 0 + s/(-15)*3. Which is smaller: -1 or w?
-1
Suppose 11*n = -3*n - 28. Let g = 0.01 - -0.99. Is n less than g?
True
Let y be -1*(38/(-120) - (-5)/20). Let x be (-4)/6 + 28/6. Suppose 4*c - 4 = -x*b, -2*b + 5*c + 5 = 4*c. Which is bigger: b or y?
b
Let w = 229/7 + -33. Suppose 5*a = -u + 49, 4*u - 78 - 61 = -a. Let t = u + -69/2. Which is smaller: w or t?
t
Let n = -143 - -79. Let h = -99 + 35. Is n greater than h?
False
Suppose -2*g - 4 = -2*a, 2*a + 0*a + 5*g - 32 = 0. Suppose a*x = -138 - 66. Is x smaller than -34?
False
Suppose -3*h = -x - 135, -3*x - 466 = -475. Does 52 = h?
False
Suppose -3*t = -4*n + 32, -n - 5*t - 25 = -2*n. Suppose 18 = -n*r + 33. Suppose -2*m + 2*u + 0*u = -52, r*m = -u + 62. Which is smaller: 23 or m?
m
Let i be ((-6)/4)/((-6)/32). Let m(y) = -47*y - 12. Let c be m(-4). Let d = -168 + c. Is d less than i?
False
Let u(s) = -s + 6. Let w be u(3). Suppose w*h - 4*h = -3. Suppose -h*f - j + 6 = -6, 3*f - 12 = -2*j. Are f and -3 non-equal?
True
Let x = -66.7 + 37.8. Let f = 29 + x. Is 3/4 at least as big as f?
True
Let c(m) = -3*m + 4. Let f(w) be the third derivative of -3*w**4/8 + 2*w**3 - 5*w**2. Let q(i) = -7*c(i) + 2*f(i). Let u be q(5). Is u bigger than 10?
True
Let o = -43 + 44. Which is greater: o or 2/363?
o
Let n = 8389 + -50333/6. Let v(y) = -y**3 + 3*y**2 - y + 2. Let b be v(3). Which is bigger: b or n?
n
Let j = -148878227/1040 + 143152. Let k = 1/80 - j. Let d(m) = -m**3 - m**2 - m. Let z be d(0). Which is bigger: k or z?
k
Let r = -0.96 + 1.96. Is r equal to 62?
False
Suppose 37*c = -1374 + 5. Which is greater: c or -36?
-36
Let d = 212 - 127. Let r = -57 + d. Is r smaller than 28?
False
Let w = 32.972 + -33. Let k = -0.01 + w. Which is bigger: 1 or k?
1
Suppose 0 = 4*q - 5*q - 1. Let s be 7/q*(-9)/(-9). Is s at most as big as -7?
True
Suppose 0 = -9*w + 12*w - 48. Suppose -6*j - w = -10*j. Suppose 2*f + 10 = -4*m, -4*m + 0 - 4 = -j*f. Is f at most as big as -2/7?
True
Let p be -4*8 - (-1 + 1). Let o = p - -21. Let b = -13 - o. Is -3 at least b?
False
Suppose -5*f = 11*u - 12*u + 1, 3*u = -f - 13. Which is smaller: 2/55 or f?
f
Let p(s) = 3*s**2 + 69*s - 59. Let d be p(-24). Do 43/3 and d have the same value?
False
Let f = 9688 - 7285373/752. Is f < -1?
False
Suppose 3*x + 10 = i, 2*x = -3*i + 6*x + 10. Let j(n) = 17*n + 9. Let d be j(i). Which is smaller: d or -1/3?
d
Let h be 690/(-15)*(0 - -1). Is -46 <= h?
True
Suppose -4*q + 6*k + 12 = 10*k, 2*k = 4*q. Which is greater: q or 1/394?
q
Suppose f = 4*f. Suppose -69*y - 1276 = -58*y. Let n be (-29)/y*((-16)/30)/(-1). Is f not equal to n?
True
Suppose -4*o = 4*s - s - 56, 0 = -o + 3*s + 14. Let m be (7/o)/((-1)/(-18)). Let f = m - 1. Which is smaller: 7 or f?
7
Let z = 4237/536 - 63/8. Which is smaller: z or 1.3?
z
Suppose -22 = -5*v - 7. Suppose 0 = 5*a + v*y + 387, 0 = 3*y + 2 - 5. Which is greater: -77 or a?
-77
Let v = -5 + 5. Let l = -10 - 0. Let r = 13 + l. Is r greater than v?
True
Let t be 1/(-2) + (-116)/(-104) + -2. Which is bigger: 0 or t?
0
Let w(b) be the third derivative of b**5/60 - b**4/8 - 4*b**2. Let v be w(4). Let g(y) = -y**2 - 4*y. Let k be g(-3). Which is smaller: v or k?
k
Let o = -514 + 505. Does o = -0.38?
False
Let s be (406/(-399) + 1)*6. Which is bigger: 3.4 or s?
3.4
Let n(s) = -2*s**2 + 6*s - 5. Let p be n(4). Let b = p + 17. Suppose 3*h + 2*v + v = 0, 4*v = b*h - 16. Which is smaller: h or 4?
h
Let k(u) = 130*u**2 + 152*u + 1. Let z be k(-2). Is z smaller than 214?
False
Let g = -7.22 - -23.58. Let r = 0.36 - g. Is -2 at most r?
False
Suppose 46*i + 8 = 38*i. Is i at least -1/47?
False
Let y = 80 + -38. Let o = 52.2 - y. Let p = -10 + o. Is -1/2 greater than or equal to p?
False
Let b be 1/((-4)/(-8))*1. Suppose -u - 1 = -b*u. Is 3/4 greater than or equal to u?
False
Suppose 15*r + 112 = 11*r. Which is bigger: r or -82/3?
-82/3
Let m = -4.47 + 2.47. Are -13 and m nonequal?
True
Suppose -4*x = -45 - 95. Let b = x - 34. Which is greater: 2 or b?
2
Let l = -15 + 14. Let y = -12 + 6. Let m = 22/3 + y. Is l smaller than m?
True
Suppose 5*s + 6 = 4*s. Let n(v) = -v**3 + 4*v**2 - 2*v - 8. Let z be n(5). Let r = z - -38. Is s less than r?
True
Let p be 1/(-1) - (-7)/(-1). Let l be -386*7/315 + 16/20. Which is smaller: l or p?
p
Let f be 0 - 5 - (15 - 18). Is f smaller than 0?
True
Let r = -267 - -266. Which is greater: 12/175 or r?
12/175
Let p be (-7 + -2)*(-29)/(-87) - -3. Is -1/111 >= p?
False
Let h = -22.1 + 20. Let g = h + 3.1. Which is bigger: 2/9 or g?
g
Suppose 18 = -p + 7*p. Suppose -4*u = -3*l + 26, -2*l = 2*u - 0*u + 20. Let y be 16/10 + u/(-20). Do y and p have the same value?
False
Let j = 6.3 - 4.1. Let b = 20 - 15. Suppose 5 = b*y - 0*y. Which is bigger: y or j?
j
Let k = 511 + -297. Which is bigger: 216 or k?
216
Let i = -104.104 - -104. Let w = -2.104 - i. Is w <= 20?
True
Let a = -178/15 - -4999/420. Is 2/3 at least a?
True
Let v = 22.77 - -0.23. Let h = -592 + 613. Let j = h - v. Is j != -2?
False
Let q be (-28)/(-6) + -4 - -3. Is 4 != q?
True
Let w = 43437 + -478329/11. Let a = -52711/1111 - w. Which is bigger: 1 or a?
1
Let r = 0 + 4. Suppose r*m - m - 12 = 0. Suppose -l + 2*l - 10 = 2*s, -m*s - 16 = -l. Which is smaller: s or -15/7?
s
Let x = 95/2 + -134/3. Let o = x + -37/12. Which is smaller: 0 or o?
o
Let c = -2997 + 2997.411. Is c greater than or equal to -1?
True
Let c = 206 - 231. Which is greater: c or -0.01?
-0.01
Let d = 0.3184 - 0.1184. Is d smaller than 538?
True
Let h = -141 + 79. Is -58 smaller than h?
False
Suppose k = 2*k + 19. Let n = 23 - k. Suppose -14 + n = -2*y. Which is smaller: y or -15?
-15
Let g = 193/28 - 50/7. Is -35 smaller than g?
True
Suppose 38 + 142 = 6*n. Is n <= 7?
False
Let q = -89.88 - 0.12. Let w = q - -91. Which is bigger: -1/14 or w?
w
Let f = -61784843/125409 - -3/41803. Which is greater: f or -492?
-492
Suppose -16*a + 580 = -19*a - 4*q, 4*a - q + 748 = 0. Which is greater: -187 or a?
-187
Let d = -10.77 + -0.23. Let y = d + -7. Let k = y + 18. Which is greater: k or 1/12?
1/12
Let z = 16 - 24. Let l = -5 - z. Let p = -395 + 394. Is p >= l?
False
Let o be (63479/7053 - 9)*-3. Is 1 != o?
True
Let i = 7078/21 - 337. Is 1 > i?
True
Let a = 10634 + -52812/5. Which is smaller: a or 71?
71
Let s(t) = -t**2 - 4*t - 1. Suppose -4*z = 4*k + 12, 3*k + 19 = -k + 3*z. Let w be s(k). Let r = -13 + 8. Is r at most w?
True
Let l = -1/208 + 2305/3536. Let m = 191/374 - l. Which is smaller: m or 1?
m
Let s be (3*-1)/(-30)*-6. Let d = s - -4/5. Let u = 118 - 116. Which is greater: d or u?
u
Let p(j) = 3*j + 24. Let g be p(-8). Suppose -z = -5*v - 6 - g, -z = v - 12. Is z < 13?
True
Let w(d) = d**3 - 4*d**2 + 21*d - 16. Let h be w(5). Which is greater: h or 5?
h
Let s be (-8)/33*-3*21/28. Is s equal to -3?
False
Let i = 1730 + -1683. Is i > 231/5?
True
Let v be 2/(-10) + 330309/(-135). Let x = v - -2446. Which is smaller: x or -1?
-1
Let i be (-7