192 - l. Is y smaller than r?
False
Let n = 31 + -31.2. Let a = 675/871 - -46/67. Which is smaller: a or n?
n
Let t be 29/(-58)*0/(9/(-9)). Which is bigger: t or 3/2270?
3/2270
Let r = 4756 + -4746. Which is smaller: r or -0.57?
-0.57
Let l = -592/13 + 46. Let y = 16.492 - 9.492. Is y != l?
True
Let o be (0 - 3) + (198/(-30))/(9/(-5)). Suppose 3*a + 3*z = -3, -a = -5*a + 4*z + 12. Suppose 3*k = -2*d + a, 5*k - 3*k + d = 2. Which is greater: k or o?
k
Let a be (-372)/(-468) - ((1 - 0) + 0). Suppose -54*c - 30 = 24. Which is greater: c or a?
a
Let b = 3383 + -3259. Which is greater: 1610/13 or b?
b
Let a be 5 + 4744/(-24)*6. Which is smaller: -1182 or a?
-1182
Let s(j) = j**3 + 57*j**2 + 72*j + 318. Let a be s(-56). Is -2888/5 at most a?
False
Let i = 48.33 + -48.53. Which is bigger: i or -125.5?
i
Let t = -4308 - -5747. Is t at most as big as 1437?
False
Let i(o) = 2*o + 94. Let y be i(-29). Let h = y + -55. Is -18 at most h?
False
Suppose 0 = t - u + 3, -3*t - 2*u - 19 = 5. Let a be (-18)/(-228)*40/t. Let j = 179/304 + a. Which is smaller: 0 or j?
0
Let w = -0.0046 + 15.9046. Let q = w - -30.1. Is q greater than -2?
True
Suppose 0 = -5*w - o - 70, -5 = 74*w - 73*w + 2*o. Suppose 2*r - 6*r = 2*i + 6, -2*i - 3*r - 11 = 0. Is w >= i?
False
Let q be (-73 - -1)*16/24. Let a be q/(-40)*(-15)/(-2). Let j = 1295 - 1290. Which is bigger: j or a?
a
Suppose -20*o + 54*o + 22610 = 0. Let x be (-104)/90*o/(-38). Is x less than or equal to -21?
False
Let i = 3.1 + -3. Let x = 161.4 + -138. Let f = -22.99 + x. Is f greater than i?
True
Let u be (-96)/(-45) + 8/(-60). Let l be (-1 + u)*-2 - -4. Suppose 2*x - 6 = -2*f - 2, -l*x + 3*f + 4 = 0. Are 4 and x nonequal?
True
Suppose 5326*w - 5346*w = 20. Is -1/32985 less than or equal to w?
False
Let d = -1580927/619 - -2554. Is -1 at most as big as d?
True
Suppose g - 133 = -5*d, 0 = d - 3*g - 78 + 45. Suppose d*m - 8 = 28*m. Let h = -0.8 + 1. Which is smaller: h or m?
m
Let l be 7/((-35)/15) - (-8 + 0). Suppose 2*p - 3*p = 4*j + 28, l*p - 3*j = -25. Let w be (p/64)/(-2*(-2)/36). Are w and -2 non-equal?
True
Let w be (-41)/164 - (-50)/8. Let s be (-5642)/28 + 3/w. Is s at most 2?
True
Let z be (-24 - -6)*(-9)/90*-15. Which is smaller: -53/2 or z?
z
Let q(i) = -13*i**2 + 4*i**3 + 0*i**2 - 2*i**3 + 15*i + 6 - 10*i. Let r be q(6). Let y be 370/(-92) + 4 - 0. Is y less than r?
True
Suppose 0 = 7*z - 6*z + 4*v - 11, 2*v = 2*z + 8. Let q be z + 77 + (11 - 5). Is 82 bigger than q?
False
Let z = 25070 - 1454003/58. Are z and 2 equal?
False
Let u = -15473/25854 + 23/186. Which is greater: 0 or u?
0
Let l be 4/(-24) - 17466/36*-1. Suppose 795 + l = -8*u. Is u less than or equal to -161?
False
Let z = 153971 - 2000565/13. Which is greater: z or 82?
82
Let o = 45.14 + -1224.14. Which is greater: o or 13?
13
Let t be (-28 + 14 - -6) + (-33684)/(-4210). Are t and 1 non-equal?
True
Let b = -0.006 + -1.034. Let h = b + -0.06. Let y = h + 1. Are y and 29 nonequal?
True
Let k = 9195 + -3445. Let g be k/184 + 8 + 0. Which is greater: g or 40?
40
Let g = -1685 + 1567. Which is greater: g or -114?
-114
Let p(o) = 28*o - 3. Let k be p(-4). Let l = -4288 - -4372. Let w = k + l. Which is smaller: w or -32?
-32
Let c(v) = v**3 + v**2 - 36*v - 8. Let f be c(-11). Let h be (-8)/108*6 - f/27. Do h and -3 have different values?
True
Let o(x) be the third derivative of x**4/4 + 103*x**3/2 + 61*x**2. Let i be o(11). Is i != 375?
False
Suppose 2*x + 41 = 5*u, 4*u - 3*x + 4 = 41. Suppose 5*k = u*k. Suppose -b + k*b = 21. Do 2 and b have the same value?
False
Let s(i) be the first derivative of i**2/2 - 42*i - 18. Let t be s(29). Is -116/9 at least t?
True
Let i = -0.2352 - 0.7648. Do i and -224 have different values?
True
Let h(u) = -u**2 - 15*u - 2. Let k be h(-10). Suppose k*w = 46*w + 34. Which is smaller: 18 or w?
w
Let t(p) = p**3 + 6*p**2 - 4*p - 21. Let b be t(-6). Suppose 15*n + b*n + 198 = 0. Do n and -14 have different values?
True
Let n = 5335 - 5332. Which is greater: -605 or n?
n
Let t = -25 + 395. Let j be (-5)/((-30)/8)*t/(-40). Which is smaller: -12 or j?
j
Let t(c) = -6*c + 81. Let z be t(-36). Let b be ((-9)/(z/(-2)))/(-1 - -15). Which is bigger: -1 or b?
b
Let h be (-2106)/57915 - 874/(-2860). Let d = 0 + 0. Which is smaller: h or d?
d
Let r be 656/(-374986)*(-9134)/(-8) - -2. Which is greater: 0.1 or r?
0.1
Let i = 68 + 28. Let t = 98 - i. Let h be (6/44)/((-2)/8). Do t and h have the same value?
False
Suppose 86*k + 2522 = 88*k. Suppose -3*m - k + 16 = 0. Is -416 greater than or equal to m?
False
Let f = 4975 + -4975. Which is bigger: 2/1491 or f?
2/1491
Let j = -4267 + 5851. Do j and -1 have the same value?
False
Let c = 1.055 - -15.245. Which is bigger: c or 0?
c
Suppose -5*o + 481 - 1666 = 0. Let c = 245 + -481. Is c < o?
False
Let p = 404/15 - 73/3. Suppose 0 = -3*z + 15, -8*z + 23 = -x - 4*z. Let o be (-77)/(-110) - x/(-6). Is p at most as big as o?
False
Let h = 3363 - 3362. Which is smaller: 17 or h?
h
Suppose 0 = -3*w - 3*q + 255, -4*w - w + 4*q = -380. Suppose 0 = 6*i - 104 + w. Are i and 25 non-equal?
True
Let z(a) = -194*a**3 + 4*a**2 - 5. Let r be z(-1). Suppose -3 = 196*p - r*p. Is p less than -1/427?
True
Let v = 3630 - 3631. Let u be (-56)/192 - (-1)/3. Does u = v?
False
Suppose k - 3*u = -79, 47584*k + u + 77 = 47581*k. Let n(g) = -g - 5. Let v be n(5). Which is smaller: k or v?
k
Suppose -2*o - 1986 + 3182 = -3*h, -h - 400 = -o. Is -395 equal to h?
False
Let w = 116590 - 8744486/75. Is w less than or equal to -4?
False
Let n be 29/(-58)*0/(-2). Suppose n = -20*g + 18*g - 4. Which is smaller: -71 or g?
-71
Let n be (21/(-63))/((-10)/(-30)). Which is bigger: 2/9009 or n?
2/9009
Let y(h) be the second derivative of -145*h**4/12 + h**3/2 - 4*h + 13. Let f be y(1). Is f greater than or equal to -141?
False
Let l be (2 - -2)/(14/1). Let p = -272 + 282. Let t be 20/(-36) - (-6)/p. Which is bigger: t or l?
l
Suppose -2*u + 4*u = 5*y - 947, -4*y + 768 = u. Let s = y - 198. Which is smaller: -2 or s?
s
Let g = -83719/288 - -2630/9. Let v = 21/32 - g. Let y = v + 13/24. Which is smaller: 2/9 or y?
y
Let m(x) = -4*x**2 + x - 14. Let u be m(-5). Let r(f) = 15*f - 463. Let z be r(23). Is u != z?
True
Let x = -953 - -1127. Let h = x + -173.732. Which is smaller: h or -1/4?
-1/4
Let r = 4 - 0. Suppose 2*y - y - 14 = 3*v, r*y = -2*v. Is 11/7 equal to y?
False
Let o = -3323 - -6799. Which is greater: 3475 or o?
o
Let h = 2860.6 - 1523.5. Is 0 <= h?
True
Suppose -4*r + 17 = c, -4*r = -289*c + 293*c - 20. Is -9/356 > c?
False
Let j be 59823/69 - (1 - -6). Which is bigger: 858 or j?
j
Let i = 0.16 - -0.84. Let d = 14671 + -14676. Which is smaller: i or d?
d
Suppose -8*h + 6*h = z - 14, -5*h = 5*z - 55. Suppose z*r = -3*r - 0*r. Is -4/97 != r?
True
Let z(w) be the second derivative of -2*w**3 - 29*w**2 + 2*w - 6. Let o be z(-5). Which is smaller: -1 or o?
-1
Suppose i + 3*a + 12 = -11, -2*i = -4*a + 86. Let l = i - -93. Suppose 5*v = l + 2. Are v and 13 nonequal?
True
Let a(v) = v + 16. Let t be a(-16). Suppose 5 = 5*k - t. Let w be (3/18)/k + (-1430)/(-60). Which is greater: 25 or w?
25
Suppose 4*o = 2*m + 34, 4*m + 0*o + 68 = -3*o. Let r = m - -53. Let l = 37 - r. Which is greater: l or 20/9?
20/9
Let n = -221.2 + -175. Let g = n - -394. Do 7 and g have different values?
True
Suppose 0 = 5*y - 122 - 13. Let l be (1/5)/(y/345). Let t = -214/45 + l. Do t and -3 have different values?
True
Let b = 423/17 - 399/17. Is -6 < b?
True
Let s be (-1 - 2)/(2*9/(-18)). Suppose s*l + 4*u + 62 = 0, -7*u + 71 = -3*l - 2*u. Which is smaller: l or -21?
l
Let y = -48.651 + -0.349. Let x = y + 48.9. Which is greater: x or 7?
7
Suppose 3*h + o = -o - 2, 0 = -h + o + 6. Let i be ((2 - h)*(1 + 0))/(-1). Is 8/9 greater than i?
True
Suppose 0 = -3*f - 2*s + 40 + 24, -2*f + 48 = 4*s. Let n(a) = 5*a**3 - 3*a**2 - 5*a - 1. Let o be n(-1). Let l be o/(-12) - (-59)/3. Are f and l unequal?
False
Let f = -28.04 - 27.96. Are f and -4 nonequal?
True
Let n = 1/1493 - -14919/16423. Let r = 880 - -639.7. Let y = -1520 + r. Which is bigger: n or y?
n
Let x = -1.5455 + 1.2455. Let q = -22 - -43/2. Is x > q?
True
Suppose 8*n + 2 = 9*n. Suppose 3*m - n*m = -2, 3*t + m = -275. Let z = -45 - t. Which is smaller: z or 47?
z
Let n = 5063 + -6351. Which is bigger: -128