 -875. Which is smaller: j or 60?
60
Suppose 8*f = -10*f + 90. Let b be f/((-225)/(-18)) + (-7)/(-5). Is b at most -1?
False
Let k = 1813/115 - 81/5. Suppose 0 = z + u - 3, z + 3*u - 4 = 7. Which is smaller: z or k?
z
Let h = 13120 + -13120. Are h and -7/2 non-equal?
True
Let q = -17597/3434383 + -2/6233. Is q at most -1?
False
Let g(h) = 135*h - 74. Let r be g(-7). Is r < -1020?
False
Let b = -845 + 1417. Let f = b - 402. Which is greater: f or 0.1?
f
Let h(v) = v**2 - 63*v - 339. Let j be h(-5). Is j at most -4.05?
False
Let s = 426 + -428.24. Let p = -19.24 - s. Which is smaller: -3 or p?
p
Let x = 172 - 172. Suppose 3*z - 2*k = 7*z - 6, -4*k + 12 = x. Which is smaller: 3/49 or z?
z
Suppose -4*y - 4*i = -i + 218, -4*y - 2*i = 220. Let t = y + 62. Suppose -t*d = -44 - 40. Is 14 at most as big as d?
True
Let r be (380/15)/((-8)/(-492)). Let w be ((-3)/(-2))/((-41)/r). Is w >= -167/3?
False
Let c(x) = -x**2 + 13*x - 61. Let z be c(27). Let u = -424 - z. Suppose -5*f + 0*f + 80 = 0. Is u smaller than f?
True
Suppose 0*f - 15 = f - 5*n, 5*n - 45 = -2*f. Let t be 9 - 441/45 - 42/f. Is t at least -2?
False
Let r = -6717 + 5680. Which is bigger: -4147/4 or r?
-4147/4
Suppose -40*o + 50*o = -80. Let n(f) = -f**2 - 4*f + 32. Let m be n(o). Which is smaller: -3/131 or m?
-3/131
Let j = -510647 + 12156973131/23807. Is j greater than 1?
False
Let r(b) = 265*b - 96. Let p be r(7). Let i = -184697/105 + p. Let h = 6 + -7. Do h and i have the same value?
False
Suppose 3*c + 2*n = 24, -2*c - 2*n + 23 = 7. Let h be (-2*3/(-12))/(5/(-60)). Let o be 28/h*1*21/(-14). Is o smaller than c?
True
Let x = -303.08 - -0.08. Let y = x + 230. Which is smaller: y or 2/5?
y
Let m = -1206 + 3522. Which is smaller: 2317 or m?
m
Let z(l) = -27*l**2 + l - 2*l - l**3 - 5 + 9*l**2 - 4. Let p be z(-18). Let a be 54/15 - 4 - p/(-10). Which is smaller: a or 2?
a
Let t(v) = -v**3 - 2*v**2 - v + 5. Let r be t(0). Suppose 55 = -0*u + r*u. Which is greater: u or 10?
u
Let v be (-48)/(-36) - (5196/9 + -2). Is 0.2 greater than or equal to v?
True
Let b = -536.3 - -536.129. Is b smaller than 3/7?
True
Let c be 255*14/1152 - -4 - 7. Which is smaller: c or 0.1?
c
Let x = -27.581 + 6.581. Which is smaller: x or 2/83?
x
Let q(i) = 2*i + 7. Suppose 16 = 2*n + 8. Suppose n*b + 4*b - 104 = 0. Let s be q(b). Is s > 33?
False
Let s = 4480 - 6134. Is 2/3 not equal to s?
True
Let c(a) = -3*a**3 + a**2 + a. Let w be c(-1). Suppose -2*m + 3*m + 4*s + 15 = 0, s - 20 = -5*m. Suppose -2*f + m = -f. Which is smaller: w or f?
w
Let o(d) = -5*d**2 - 62*d + 2. Let g be o(-15). Let p be g + (7 - 47)/8. Which is smaller: p or 0.1?
p
Suppose 0 = -5*p + 4*p - 12. Let a = 5 + p. Let w be 7/6*(32 + -38). Is w >= a?
True
Let t be 2/4 - (-5)/(2350/(-215)). Let a = -0.154 - -0.056. Let n = 0.002 - a. Which is smaller: t or n?
t
Let p = 907478/217 - 4182. Is p greater than or equal to -1?
True
Let f = -229261/11 - -234360/11. Let c = f - 463. Let u be ((-1)/2)/(3/2). Is u greater than or equal to c?
False
Suppose -24*n + 157 = -21*n + 2*w, -4*n = -5*w - 240. Suppose 0 = 6*s + 73 - n. Is -3 >= s?
True
Let p(b) = -b + 17. Suppose 0 = -4*h + 2*i + 56, -4*h = -3*h - 3*i - 9. Let q be p(h). Let l be 2/16*q/7. Which is smaller: 0 or l?
0
Let s be (-6448)/(-12)*(-13)/(-78)*-9. Do s and -806 have the same value?
True
Suppose -3*y = -5*k - 3, 7*y - 2 = 5*y - 3*k. Suppose 4*j + 27*i + 4 = 23*i, y = -j - 2*i. Do j and -9/22 have different values?
True
Let u be (-4 - (-818)/8)/((-9)/93). Let f = -1011 - u. Suppose 4*p - p - 9 = 0. Which is bigger: f or p?
f
Let m be 46/(-3) + (-1)/(-3). Let p = 445 - 360. Let z = p - 100. Is m > z?
False
Let q = 0.35 - 0.25. Suppose -7*k + 81 = -2*p - 4*k, -43 = p - 4*k. Are q and p nonequal?
True
Suppose 5*r - 6 + 1 = 0. Let l(z) = r - 7 + 7 - 6 - 3*z. Let b be l(-9). Which is bigger: 20 or b?
b
Let t(r) = 2*r - 12. Let b be t(-10). Let d be (b/(-12))/((-3)/((-9)/(-2))). Is -4 less than or equal to d?
True
Let o(k) = -310*k - 353. Let z be o(-1). Do z and 14 have the same value?
False
Let q be -4 + (-195)/51*(-1 - 0). Let r = -32 + 32. Suppose -x - 12 + 11 = r. Is q greater than or equal to x?
True
Let b = -121 - -120.937. Let x = -39.3 + 39.337. Let j = x - b. Which is greater: 1 or j?
1
Let z be (-1032)/162 - -8 - 4/((-4)/(-1)). Which is smaller: z or 0?
0
Let z = 255874/37884245 + -2/63671. Let n be 154/11 + -20 - -5. Is z < n?
False
Let a = -15 - -20. Let d = 110 - 67. Suppose -163 = a*l - d. Which is greater: -23 or l?
-23
Let i(j) = -j**3 - 3*j**2 - 3*j - 2. Let o be i(-2). Suppose v + 663 = -6*z + 2*z, z - 3*v + 169 = 0. Let w be (-10)/(-23) + z/332. Is w smaller than o?
True
Let w(d) = 2*d**3 - 13*d**2 + 6*d + 5. Let i be w(6). Suppose -81*h + 76*h = -i. Let k = 13/19 - 696/1045. Is k <= h?
True
Suppose -5*u = f - 844, 0 = -2*f + 1 + 7. Suppose 0 = 25*j - 21*j - u. Suppose 0*c - 3*c + 94 = 2*o, 0 = o - c - j. Which is smaller: 46 or o?
o
Let k(s) = -13*s**2 + 62*s + 2. Let c be k(7). Suppose 48*x + 400 = 46*x. Which is greater: c or x?
x
Suppose 8*z = 6*z - 4. Let g = -0.265 + -1.065. Let u = g + 0.63. Which is smaller: z or u?
z
Let p(x) be the second derivative of -x**3/3 + 25*x**2/2 - 135*x. Let q be p(12). Which is smaller: 1/36 or q?
1/36
Let z be 2/((-92)/(0 - 435/(-5))). Which is smaller: -1 or z?
z
Let h be 36/84 - ((-1482)/(-56))/(198/(-80)). Is 11 smaller than h?
True
Let o = 29.965 + -30.065. Let w = 0.6037 - -46.7663. Let n = -47 + w. Which is greater: o or n?
n
Let b(f) = -11*f**2 - 10*f. Let x(y) = -13*y**2 - 9*y + 1. Let i(s) = 7*b(s) - 6*x(s). Let l be i(15). Let c be 77/l + 1/(-3). Is c greater than 0.01?
False
Let h(y) = 9*y - 522. Let j be h(58). Which is bigger: j or -46/43?
j
Suppose -11 = n + 5*j, -j = -3*n - 5*j. Suppose -x - n*g - 42 = 0, -4*g + 81 = -2*x + 45. Is -23 at most x?
False
Let q = 2.94 - 3. Let s = q - -0.07. Let k = 36.7 - 37. Are s and k equal?
False
Let h = 161.5 - 178.3. Which is smaller: h or -1?
h
Let g = 8767 - 87817/10. Which is smaller: -14 or g?
g
Suppose -5*b + 5*h + 685 = 0, -3*b + 3*h - h = -411. Is 415/3 bigger than b?
True
Suppose 119*b - 1228 = 118*b. Let r = -41755/34 + b. Is r bigger than -7?
True
Let w(k) = 10087*k + 117. Let n be w(2). Which is greater: n or 20290?
n
Suppose 0 = -4*t + 36*n - 37*n + 29, n + 61 = 5*t. Suppose -7*b = -6*b. Suppose 0 = 3*a - 2*j + 4*j - 7, 5*j - 25 = b. Is t at least a?
True
Let k(d) = -8 + 4*d**2 + 688*d - d**2 - 4*d**2 - 693*d. Let b be k(-4). Which is greater: 0 or b?
0
Let o(x) be the first derivative of x**3/3 - 17*x**2 - 123*x + 222. Let m be o(38). Do 32 and m have different values?
True
Suppose 5*x + 8 = 2*p, -5*x + 38*p = 40*p - 8. Let m be (-3)/52*(-3 - 1). Which is smaller: m or x?
x
Let y = -577 - -631. Suppose 2*c = -3*x + 86, -6*c + 4*c = 2*x - y. Which is greater: 35 or x?
35
Let r = -20588 - -20588.4. Which is smaller: -3 or r?
-3
Let d = -60.8 - -4.8. Let y = -57.68 - d. Let b = y - 0.32. Is -5 equal to b?
False
Let n = 4.06 - -178.94. Let t = n + -192. Which is smaller: -1 or t?
t
Let y = -95 + 139. Let d = -754 - -660. Let v = 139 + d. Is v <= y?
False
Let x = 569 + -567. Suppose 5*w + 30 = -5*r, 25 - 33 = 3*w - x*r. Is w at least as big as -16?
True
Let r(i) = 3*i**2 - 4*i + 2. Let w be r(-6). Suppose 15*d + 29 - w = 0. Which is bigger: d or -4?
d
Suppose 0 = 4*p - 9*p + 3*i + 87, -5*p - 5*i + 135 = 0. Is 28 not equal to p?
True
Suppose 5*z - w = 80, 2*z - 3*w + 45 = 6*z. Let k be (3/9)/((-9)/5049*-11). Which is smaller: k or z?
z
Let i = -1/698 - -11871/3490. Let p = -0.15 - 1.45. Let z = 1.7 + p. Are i and z unequal?
True
Suppose 5*a + u - 5752 = 0, -5*a + 5710 = 75*u - 80*u. Which is bigger: 5739/5 or a?
a
Suppose 0 = 3*g - 4*f - 753, -30*g + 34*g + 4*f - 1032 = 0. Which is bigger: g or 260?
260
Let j be ((-1007)/(-212))/(3/(-4)). Suppose -2*v - 2*z = 18, 2*v + 0*z = -z - 15. Do j and v have the same value?
False
Suppose 0*o - 3 = -o. Let l be (528/56)/((-26)/(-91)). Suppose -3*w = -4*w - o*i - l, 5*i = -15. Is w < -23?
True
Suppose 5*g + 4*w = 8, g - 3*g + 2*w = 4. Let j = -2002 - -2019. Suppose -22*u + j*u = g. Do u and -1/7 have different values?
True
Let h = -58 + 102. Let i = h - 63. Is i bigger than 3?
False
Let k = 182.61 + -182.51. Which is smaller: k or 19250?
k
Su