v
Suppose 2*v - v = -10. Suppose 3079 = d + 3*j + 3094, -d = 4*j + 22. Does v = d?
False
Let s = 310418857/4554 + -68164. Is s < 0?
False
Let g(x) = -22*x**3 + 4*x**2 - x - 9. Let a be g(-2). Let f = a + -78. Which is smaller: 106 or f?
106
Let w = -0.4 + 0.47. Let y = 31.4 - 188.4. Let u = 156 + y. Are u and w nonequal?
True
Let f = -6.047 + -0.053. Let g = f - -0.1. Let s = 0.00383 + -0.00383. Is g > s?
False
Let g(p) = 61*p + 1448. Let q be g(-22). Which is greater: 86 or q?
q
Let c = -4838 + 19351/4. Let b = 65.6 + 4.5. Let w = b - 73. Do c and w have the same value?
False
Let r be (-27 + 21)*(10/6 + -1). Let k be (-1 - (-8)/4)*r + -56. Is -62 less than k?
True
Suppose 3*o - 2*p = 7580, -3*o + 0*p - p + 7595 = 0. Let w be ((-2)/o)/(6/(-2595)). Let t = -4/11 + w. Is t < 0?
True
Let j be ((-3)/(-1))/((-5)/((-100)/(-15))). Let k(z) = 2*z + 9. Let u(x) = -8*x. Let b be u(1). Let t be k(b). Are t and j equal?
False
Let w be 23430/(-250)*492/(-15). Suppose -3335 - 12035 = -5*f. Let s = f - w. Is s equal to 1?
False
Let f be (-7677)/18*42/(-33) + -5. Let v = 537 - f. Suppose 3*a - 9 = -t, t - 15 = -t - 5*a. Which is greater: v or t?
t
Let g(o) = o**3 + 23*o**2 + 19*o - 67. Let y be g(-22). Let a be 146/8 + 60/(y + 13). Is 22 != a?
True
Let k = -12297 - -12196. Which is smaller: -37 or k?
k
Let p(a) = 3*a**3 + 90*a**2 - 92*a + 29. Let y be p(-31). Let s be 1 - 1/25*61. Is s less than or equal to y?
False
Let j = -905 + 899. Are j and -0.59 unequal?
True
Let x = 2/13547 + -13579/216752. Let l = -12 - -13. Let m be (l/(-4))/(5/(-20)). Does m = x?
False
Let j = 24549/895 + -41/179. Which is greater: j or 6?
j
Let k = -0.0944 + -5.3836. Let x = k + 5.25. Is x smaller than -1?
False
Let r(z) be the first derivative of z**4/4 + z**3 + 15*z - 51. Let f be r(-4). Suppose -4*c + 2*p = c + 14, 0 = 3*c + 2*p + 2. Which is bigger: c or f?
f
Suppose -7*b + 7 = -28. Suppose b*l - 5*h + 150 = 0, 0 = -4*l + h - 122 + 17. Which is smaller: l or -23?
l
Let w be (-2)/(-50)*-5 + 0 + 33408/15. Is 2226 less than w?
True
Let p be (5 - 1) + -13 + 7. Let l be (-1 + 39/15)/(10/25). Let d be (4 - l)/(3 - 0) + -2. Are d and p equal?
True
Let y(s) = 72*s**2 - 32*s + 33. Let n be y(1). Is n >= 60?
True
Let q = 74 - 80. Let a(x) be the second derivative of -x**5/20 - 7*x**4/12 - 5*x**3/6 + 5*x**2/2 - 4*x. Let t be a(q). Which is greater: -5/6 or t?
-5/6
Let b = 50 + -77. Let n = 63.59 + -32.59. Let f = n + b. Is f < -2?
False
Let x = -23341862/1259 - -18540. Is 1 greater than or equal to x?
True
Suppose 19*k = 20 - 20. Which is bigger: 6/431 or k?
6/431
Let u = 6192 + -6221. Which is smaller: 2/273 or u?
u
Let x = -896 + 62721/70. Let b = x + 52/35. Is -5.1 at least b?
False
Let w be -1 + 4 - 180/108*1410/(-25). Is w <= 0?
False
Suppose 6*r = 8*r - 4. Let n be (r - -2)*(-5 + 36/16). Suppose -2*m + 52 = -5*o - 3*m, 13 = -2*o - 3*m. Is o greater than n?
False
Suppose 76*v + 13298 + 21792 = -34*v. Is v >= -317?
False
Let p be ((-2)/(-4) + (-93)/62)/(-983). Is p < -2?
False
Let o = 0.04453 - -10.94347. Let n = 21.012 + -21. Let t = o + n. Which is smaller: t or -0.1?
-0.1
Suppose 2*l - l - 642 = 0. Let n = 3531 - 2888. Is n at most l?
False
Let z(f) = f**3 - 9*f**2 + f - 4. Let g be z(9). Suppose -2*s - 2*h + h = -g, 10 = s + 3*h. Let o = 4100/18161 - -7/1397. Is o at most s?
True
Suppose 20*b - 15*b = 94*b + 24119. Which is smaller: -539/2 or b?
b
Suppose 4*k + 4*m - 9580 = 0, 0 = 5*k - 7*m + 2*m - 11995. Is k at least 2397?
True
Let r be 2/(-6)*(-9)/(-12). Let x be 32683/(-378)*(-3)/14 + (-20)/(-90). Which is smaller: r or x?
r
Suppose -5*k = -v - 770, 190 - 27 = k - 2*v. Suppose 0*b - 2601 = -11*b - 6*b. Does k = b?
True
Let h = 170.925 - 171. Let x = -0.025 + h. Which is smaller: x or 44?
x
Let c = -2878/3 - -2876/3. Which is smaller: -2/16979 or c?
c
Suppose -2*n + 8 = -4*a + 2*n, -a + 3 = 4*n. Let w = 1/3919 - -3816/403657. Are w and a non-equal?
True
Let s = -171 - -270. Suppose -s = 5*k + 11. Does k = -22?
True
Let b = -1019 + 522. Let r = b - -499.1. Which is bigger: r or -3/5?
r
Let i(y) = -18*y**3 + 41*y**2 - 80*y - 6. Let d be i(2). Is d equal to -731/5?
False
Let a(g) = -g**3 + 12*g**2 + 229*g - 2550. Let f be a(11). Suppose 0 = -2*c + 13 + 173. Is f > c?
False
Suppose -3*f + 1066 = 3*x - 1217, 3049 = 4*f + 5*x. Suppose -2261 - 1861 - 1934 = -8*z. Which is smaller: f or z?
f
Suppose 0 = -4*h - 24. Let x(u) be the second derivative of 2*u**3/3 + 25*u**2/2 - 33*u. Let r be x(h). Which is smaller: r or 0.08?
0.08
Let f(r) = r**3 + 11*r**2 - 15*r - 38. Let h(v) = v**3 + 5*v + 6. Let o be h(-2). Let j be f(o). Let c = -0.05 + 3.05. Which is greater: j or c?
c
Let w(z) = 129*z - 278. Let v be w(-3). Which is smaller: v or -659?
v
Let i = 4 + -8. Suppose -163 - 61 = 7*g. Which is greater: i or g?
i
Let b be (-42555802)/(-10604) - 18/99. Let d = b + -4013. Is 0 at least d?
False
Let h be (-15)/10 - 1 - (0 - 3). Is 13 bigger than h?
True
Suppose 29*a + 1199 = -4*p + 26*a, 4*p - 5*a + 1159 = 0. Is -288 <= p?
False
Suppose -2117 = -18*p + 3553. Let u = p - 315. Which is smaller: 1 or u?
u
Let a = -153.2 + -29.8. Let l = a - -110. Let h = l - -73.047. Which is smaller: h or 2/5?
h
Let o = 16.08 - 0.18. Let u = o + -14.9. Is u at most as big as -1/59?
False
Let r = 96.9 + -97. Let w = -40.6 + 35. Let d = -5.99 - w. Are d and r nonequal?
True
Let u = -22 - -150/7. Suppose -f + 4 = n, -4*n = 2*f - 8 - 4. Suppose -2 + n = -7*t. Which is smaller: t or u?
u
Let s = 236 + -1887/8. Let c = s - 3/26. Suppose -u + 3*u = 2. Is c < u?
True
Let b = -71.69 - -78.9. Let p = b - 4.9. Which is bigger: 2 or p?
p
Suppose 0 = 5*b - 9 - 1. Let l be ((-6)/26)/(18/(-49428)). Let a = l + -633. Is a at least b?
False
Let r = 9869/5 + -1974. Let q be (-1)/(0 - 3/9). Suppose 0*b + 36 = 5*y + 3*b, -q*b + 6 = 0. Is y less than r?
False
Let x = 5.08 - 4.98. Is 48.1 at most as big as x?
False
Suppose -3*i = -29 + 5. Let w = -0.1497 + 25.1497. Which is greater: i or w?
w
Suppose -a - 5*f = -118, -27 - 338 = -3*a - 4*f. Let n = a - 127. Which is smaller: -80/23 or n?
n
Let f be -1 + -6 + -1 + 29 + -22. Which is bigger: -94/71 or f?
f
Let m(z) be the third derivative of -z**6/120 + z**5/6 - 5*z**4/12 - 25*z**3/6 - 24*z**2 - 3. Let j be m(8). Let h = -33 + 55. Is j bigger than h?
True
Let w = -4 + 7. Let r be ((-7)/w)/(16/(-480)). Suppose -63 = -7*u + r. Which is smaller: u or 16?
16
Let m(u) = -2*u**3 + 42*u**2 + 7*u - 17. Let t be m(21). Suppose 0 = -5*b + 5*k - 7*k + 130, 4*k + t = 5*b. Are b and 22 nonequal?
True
Let x be (10 + -15)/((-1)/(-2)). Let q be 728/80 - 10 - 4/x. Is 49.7 > q?
True
Let q = 1421 - 834. Let g = q - 9973/17. Which is bigger: 0 or g?
g
Let b = -204.63 + 133.24. Let o = b - 1.61. Let r = 65 + o. Does r = -2/13?
False
Suppose -36 = 34*s - 38*s. Suppose -2*j = 3*x - 13, -j + 10*x = s*x + 1. Is -21 <= j?
True
Let r(d) = -252*d**2 - 18*d + 17. Let m be r(2). Which is smaller: -1025 or m?
m
Suppose 2*s + 171 = -2*w + s, -4*s - 432 = 5*w. Let u = 75 + w. Let x be 6*(1 + 15/u). Which is smaller: x or -5?
-5
Suppose -37*d + 32*d + 20 = 0. Suppose -21 = w - 4*i + 29, d*w - 3*i + 135 = 0. Which is bigger: w or -148/5?
-148/5
Let c = -5857624238/159 + 184204017/5. Let k = c - 1997/5. Let w be ((-2)/6)/((-2)/6). Does w = k?
False
Let c be (-6)/12*-7*12. Let f = c + -42. Is 2/45 at most f?
False
Let z = 316 - 152. Let w = -156 + z. Are 9 and w equal?
False
Let t(b) = -4*b - 16. Let w(s) = 2*s + 14. Let r be w(-7). Suppose r = 2*m + 6 + 2. Let u be t(m). Which is smaller: u or 1/77?
u
Suppose -5*g + 17*k = 15*k + 5697, -4*g - 4568 = k. Is -1 greater than g?
True
Let k = 0.08 - 0.149. Let w = 0.161 - k. Let s = 0 + 1. Which is greater: w or s?
s
Suppose 86 + 28 = 57*f. Suppose -4*y - 24 = 4*u, -4*y = -0*y + 5*u + 29. Let x = f - y. Which is greater: x or -10?
x
Suppose -2*b = 29 - 151. Let y be -7*((0 - 11) + 10) - -2*26. Is b >= y?
True
Let n be -4 - (8 - (-185480)/(-10912) - -5). Which is greater: n or -1?
n
Let a = -623.7 + 505. Let y = a + 157. Let t = 38 - y. Which is smaller: t or -7/4?
-7/4
Suppose -c + 27 = 3*m + 4, 4*m = -c + 27. Which is smaller: c or -67?
-67
Let f = -3505 - -3504.8. Are f and 720 non-equal?
True
Suppose 78 = 4*s - 0*h - h, -5*s - 4*h = -87. Let n = 10 - s. Let x = 17 - 24