 0 = -6*k - 101 + 485. Suppose -73*o = -k*o. Are 6/313 and o equal?
False
Let v(q) be the first derivative of -q**2 + 13*q - 23. Let g be v(3). Suppose -g*y + 7 = -3*y - 3*k, -2*k = -2*y + 2. Which is smaller: y or 24/5?
y
Let o = 15873 - 15875. Is o >= 1358?
False
Let u be 27/(-63) - ((-6203)/14539 - 0/(-4)). Is 1 <= u?
False
Let m = 4510 - 4511. Is m <= -75/46?
False
Let h be -27*(-2)/144 - (-314)/16. Let k be (h/(5 + -1))/(-1) + -76. Which is smaller: -82 or k?
-82
Suppose -52*i - 6*i = -290. Suppose -36*q = 22*q + i*q. Let f be 1 - 0 - 108/106. Which is bigger: q or f?
q
Let h be (-7)/4*(-6)/81. Let p = h + 167/378. Let n = -10213.2 - -10213. Do p and n have different values?
True
Suppose -146*t = -152*t - 456. Let m be (11/(-22))/(14/t). Which is greater: -0.3 or m?
m
Suppose 32*w = 12*w + 60. Suppose 3*g = 2*l + 6, l - w*g + 4*g = 2. Which is greater: 2/9 or l?
2/9
Let k(n) = 24 + 1099*n - 549*n - 551*n. Let l be k(-23). Which is smaller: l or 48?
l
Let o(i) = 544*i**3 + 9*i**2 + 13*i + 6. Let g be o(-1). Which is bigger: g or -543?
g
Let w(j) = j**2 - 102*j - 7 - 98*j + 202*j. Let t be w(-3). Is t less than -4?
False
Let w be 5684/18 - 4/(-18). Suppose 21*u - 2*f = 17*u + 1238, -5*u + 5*f = -1510. Is u less than w?
False
Let f(a) = -a - 3. Let r be f(-8). Suppose -4*t = r*k - 2*t + 500, -4*k + t = 413. Let q = -144 - k. Is q greater than or equal to -42?
True
Suppose 1542*x - 5121 = 1545*x. Are x and -1705 nonequal?
True
Let y be 22/308*(-14)/(-4). Let a(z) = z**3 + z**2 + z - 1. Let w(t) = 4*t**3 - 2*t + 2. Let j(f) = 3*a(f) - w(f). Let m be j(4). Which is smaller: y or m?
m
Let t be -1*2*29976/80. Let x = t + 262289/350. Which is bigger: x or -1?
x
Let q = -10078 - -171324/17. Is q <= 7/11?
True
Let a be 10/(-90) - (-125)/(-9). Let g be 6/a - 3556/49. Which is greater: -70 or g?
-70
Let k(f) = f**3 - 10*f**2 + 17*f + 3. Suppose -43 + 85 = 7*g. Let l be k(g). Is l at most as big as -39?
True
Let i(w) = w**3 + 17*w**2 + 7*w + 131. Let y be i(-17). Suppose 0*b + 3*b - 3*r - 39 = 0, -y = 4*r. Which is bigger: b or 44/5?
b
Let x = 2200/1538511 + -1/8034. Which is bigger: 1 or x?
1
Let x be (231/9 + -27)*(-716 - 1). Which is bigger: 1913/2 or x?
1913/2
Let g = 25365 + -25373. Suppose 0 = 4*m + 4*l - 12, 33 = m + 2*m - 3*l. Is g bigger than m?
False
Let y(p) = p**2 + 19*p + 25. Let d be y(-30). Let o = -317 + d. Which is smaller: 112/3 or o?
112/3
Let m = -466 + -124. Let p = m - -591. Is p greater than -9.8?
True
Let i(l) = 202*l**2 + 13*l + 72. Let b be i(-4). Let y = -74808/23 + b. Is y <= -2?
False
Suppose t + 26337 = 4*u + 87338, 7*u = t - 106754. Which is smaller: -15252 or u?
-15252
Let j = 72 + -208. Let g = j - -137. Which is greater: 2/55 or g?
g
Let c = -7031 + 7060. Which is greater: c or 372?
372
Let c = 0.105 + -354.105. Let j = c + 354.1. Is -22 less than or equal to j?
True
Let f = 655 - 655. Let c be -16826*(-5)/16830 + -5. Do f and c have different values?
True
Let a = -4454.89 - -4633. Let r = -1.89 - a. Let y = 92 + r. Is 1 <= y?
False
Let a = -13 + 15. Let w be (6 - a) + -1 + 1. Let j = 295 - 296. Is j less than or equal to w?
True
Let z be ((-1)/(-3))/(2/6). Let u be (134/60 - z/(-6))*5. Suppose -4*p + 0*f = 2*f, 4*p = 4*f - u. Is p at least as big as -1?
True
Let s = -18272052227/69 - -264807785. Let y = s + 4566. Are 0 and y equal?
False
Suppose -q - p + 9 = 103, 3*p + 90 = -q. Which is smaller: q or -12?
q
Let q = 4457503/5957 - 5238/7. Do q and 0 have the same value?
False
Let s = -106 - -107. Let r be 10/(-35) - ((-33)/91)/s. Let v be -2 + 1*(3 + 0). Is r <= v?
True
Let b be (15/(-6))/(-5)*(-8 - -4). Let y = -45 - -77. Let n be 3 + 62*(-2)/y. Which is smaller: b or n?
b
Let n = 39/11 - 2312/649. Let x = -192 + 614. Let j = x + -422. Is n greater than or equal to j?
False
Suppose 5 = b + 3. Suppose -25 = 17*p - 93. Let n be p*-3*b*(-17)/24. Which is bigger: n or 14?
n
Let v = 39.002 + -0.002. Let u = 38.74 - v. Let s = 0.56 + u. Is s bigger than -2/19?
True
Let t = -19 + -13. Let d be 119*(-3)/(-27) + -15 - -2. Which is smaller: d or t?
t
Suppose 4*i - 2 = -2*y + 4*y, -y = -4*i + 3. Is 7/221 less than or equal to y?
True
Suppose -3*d = n + 64, 296 = -4*n - 2*d + 20. Let p be (24/(-84) - (-46)/(-35))*n. Which is smaller: 1 or p?
1
Let l = 167101/2274 - 120/379. Which is smaller: l or 73?
73
Suppose 2*k - 44 - 137 = w, 2*k = -8. Let n = w - -565/3. Which is smaller: -31 or n?
-31
Let k be (12 - 280/24) + 2842/6. Let d be 7 + (7 - 6612/k). Which is smaller: -1 or d?
-1
Let r = 245619/53159 + -273/59. Is r > 0?
False
Suppose 3*c - 2*h + 18 = 0, 4*h - 15 - 5 = 4*c. Let g be (-2*1/4)/(c/176). Suppose -7 = -r - 4*k, -2*r - 15 + g = -k. Which is smaller: 5/28 or r?
r
Suppose 242*a + 253*a - 24500 = 145*a. Is a > 92?
False
Let r(h) = -h**3 + 15*h**2 + 19*h - 21. Let k be r(16). Let f be 1/(-3)*k/(-3). Suppose u - f*m + 8 = 0, u + m + m + 8 = 0. Which is bigger: u or -1?
-1
Let b = -7067/603440 + -9/1520. Are -1 and b nonequal?
True
Let x = -11.776 - 3.624. Which is smaller: 3 or x?
x
Let p(x) = -x**3 - x**2 + 3. Suppose 0 = -r - 2*i - 8, 0*i - 4 = r + i. Let b be p(r). Suppose 3 - 6 = -b*q. Are -1/10 and q non-equal?
True
Let y = 235 - 233. Suppose y*b + 3*b = -3*b. Is b not equal to 1/91?
True
Let s = -22723.2 - -22723. Let i = -217 - -137. Which is smaller: s or i?
i
Let x(s) = s**2 - 56*s + 776. Let v be x(23). Let k = 60 + -17. Let w = -26 + k. Is w greater than or equal to v?
True
Let r = 120.99618 - 0.05618. Let g = r - 121. Which is greater: 1/24 or g?
1/24
Let v be 23*(1 + 0) - 0. Let c(o) = o**2 - 20*o - 98. Let u be c(v). Let m = 76 + -107. Which is smaller: m or u?
m
Let x(y) = -2*y**2 - 65*y - 89. Let w be x(-31). Let a be 292/(-22) + -2 + 2 + w. Is a at most -10?
False
Let m(p) = -2 - 12 + p**2 - 52*p + 47*p. Suppose 0*s = -3*s, -5*q + 35 = -s. Let r be m(q). Is -1 at most r?
True
Let b(x) = x**2 - 9*x + 4. Let w be b(9). Suppose -t - s = -2*s - 6, 2*s + 20 = w*t. Suppose 4*y = -5*k - 3, t*y + 0 + 5 = -3*k. Which is bigger: k or 2/67?
k
Let w = 791943/11 - 71806. Which is smaller: 190 or w?
w
Suppose 4*g - 104 = -22*g. Let b(p) = -3*p + 12. Let j be b(g). Which is bigger: -1/5 or j?
j
Suppose -4*s - 6 = -7*s. Suppose 0 = h + 10 - 10. Let m be 112/96*(h + (-9)/(-14)). Is s at least as big as m?
True
Let y(t) = t**3 + 6*t**2 - 20*t + 18. Let f be y(-15). Is f <= -5125/3?
False
Let d be 2/(-10) + (1387 - -149). Which is greater: d or -2?
d
Suppose 2*y - 699 = 4059. Is y bigger than 2380?
False
Let w = -550.07 - -551.3. Which is smaller: 1/3 or w?
1/3
Let k be (-6)/(-51)*1 + 931/323. Suppose 7 = -r + k*f, -4*r - 22 - 45 = f. Which is greater: r or -10?
-10
Let o = -5895.2 + 5368. Let y = o + 527. Which is greater: -0.7 or y?
y
Let f = -7269 + 7218. Which is bigger: f or -62?
f
Suppose w - 18 - 14 = 0. Suppose 1455 - 9866 = 13*z. Let s = z + 678. Which is bigger: s or w?
w
Let n = -0.011 - -7.261. Let a = 7 + n. Let s = a - 0.25. Is s less than or equal to -1/3?
False
Let f = 451 - 9469/21. Let r(h) = -27*h - 297. Let g be r(-11). Is g greater than or equal to f?
False
Suppose z - 51 = -2*d, -3*d + 66 = 4*z + 2. Let h be (-6)/d*(-60)/(-45). Which is smaller: h or -88?
-88
Suppose -2*q + 2*i - 117 = -3*i, -3*i + 127 = -2*q. Let c = -72 - q. Which is smaller: c or -1/125?
c
Let f be 2*94/(-12) + -2. Let p be -7*(1672/(-133) - -15). Which is bigger: p or f?
p
Let n(l) = -311*l**2 - 487*l + 1473. Let a be n(3). Which is greater: a or -2786?
-2786
Let a be ((-273)/(-7))/(3/(-4)). Let z = 57 + a. Let r be 2/z + 3*4/(-48). Is 0 != r?
True
Let n = 15061.38 + -15062. Which is smaller: n or -2/3?
-2/3
Suppose -4*z = 5*s - 27, 3*s = 2 + 7. Suppose d - 10 = -z*n, -2*d - 3 = -5*n - 1. Suppose -3*o + 17 = -n*v, -2*o - 4*v = -v + 6. Which is bigger: o or 11/5?
o
Let s = -144.784 - -6.784. Which is greater: s or -2/59?
-2/59
Let t = 19408 - 26379. Which is smaller: -6969 or t?
t
Let q(k) = k**3 - 12*k**2 + 18*k - 31. Let x be q(11). Which is smaller: x or 645/14?
x
Suppose 4*o - 80 = -4*j, -2*j + 1 + 14 = -3*o. Let i(x) = -x**2 + 18*x - 43. Let h be i(j). Is h equal to -22?
False
Let q = 67/13 + -807/91. Let k = -69 - -44. Let z = 22 + k. Which is smaller: q or z?
q
Let t = 2906 + -3094. Let p = -133 - -277. Let u = p + t. Whic