-2403324756189076/4514385272397 - -22/1372570773. Let q = -5856/11 - b. Do q and -1 have the same value?
False
Let b be (-2562)/33*(-21)/(-42). Are b and -38 nonequal?
True
Let x(f) = f**3 + 10*f**2 + 19*f - 19. Let l be x(-10). Let q be 6/(-57) - 22/l. Is 6 > q?
True
Let k(h) = h**3 + 35*h**2 + 301*h - 22. Let v be k(-19). Which is smaller: v or 50?
v
Let s = 1777 + -2128. Are -351 and s unequal?
False
Let w = 9344 - 9343. Which is smaller: w or -22/2609?
-22/2609
Let c(z) = -88*z**2 - 13*z + 78. Let p(s) = -44*s**2 - 6*s + 41. Let b(o) = -3*c(o) + 5*p(o). Let w be b(3). Is -1 >= w?
False
Let o = -4721 + 5731. Which is smaller: o or 1013?
o
Let m(u) = -88*u**2 + 3*u - 4. Let w be m(-3). Let o be 28/w*(-145)/6. Let y = o + -4/23. Which is smaller: y or 5?
y
Suppose -17*d + 166 = 149. Let t be (2/6)/((-2092)/8). Let i = t - -1699/101985. Is i < d?
True
Suppose -2*o - 7098 = -6*o + 2*l, -o + 3*l = -1767. Let a = o + -12406/7. Is a != 4?
True
Let w = 0.3 + -0.8. Suppose 5*i - 10*r = -7*r + 30, 4*i - 2 = -2*r. Is i less than or equal to w?
False
Let s = 2.3943 + -2.204. Let t = -0.0097 - s. Which is bigger: t or 76?
76
Suppose 116970 = 3700*y - 3686*y. Which is bigger: y or -1?
y
Suppose -4*h = -3 - 1. Let l = -17 - -23. Let g be (-7 + 2)/(-160)*l. Is h not equal to g?
True
Let t = -4.9 - -166.9. Let l = t - 150.1. Which is smaller: l or -1?
-1
Let u = -2/335 - -2691063/1340. Is u != 2007?
True
Let g = 2.98 + -19.98. Let u = 8 - g. Which is smaller: -0.5 or u?
-0.5
Suppose -76*j = -69*j + 245. Is j > -574/17?
False
Let x(t) = t**3 + 11*t**2 - 5*t - 3. Let j be x(-11). Let g be 2*((-8)/j + 0). Let p = 27/130 + g. Which is greater: p or -1/4?
p
Let q = 234 + -92. Let h be (3 + (-8)/6)/((-6)/(-18)). Suppose -y - 10 = 5*d - 0, 2*d = -h*y - q. Is y equal to -32?
False
Let n(v) = -2*v - 4. Let t be n(3). Let w = t - -4. Suppose 2*p + 8 = -o, -265 = -8*p + o - 237. Which is smaller: w or p?
w
Let m(t) = 140*t + 1826. Let l be m(-13). Is 182/27 smaller than l?
False
Let p(z) = -8*z**2 - 44*z - 91. Let h be p(-11). Which is greater: h or -578?
h
Let f = -7674 - -7674.9. Which is smaller: 531 or f?
f
Suppose 3*u = -16627 + 5866. Is u less than -3587?
False
Let h(z) = 13*z**2 + 8*z - 23. Let x be h(7). Suppose x*y - 76 = 669*y. Is y at least as big as 77?
False
Let f = 1113 + -943. Which is bigger: f or 1/3?
f
Let b = -10372 - -10307. Let p = 2.3 - -0.7. Let d = 3.1 - p. Which is smaller: d or b?
b
Let m = 9.6 - 94.6. Let w = 85.95 + m. Let d = w + -0.95. Which is smaller: d or -0.46?
-0.46
Suppose 11*n + 44*n = -14*n - 32637. Which is smaller: -474 or n?
-474
Let o = 0.78 - 0.45. Let a be (1/2)/((-12 - -17)/30). Suppose -m - 2*h + a*h = 3, 0 = -3*m + 2*h - 4. Which is smaller: o or m?
o
Let d = 31/13107 + 2/1285. Suppose -9*i + 66 = -108*v + 105*v, 5*v + 5*i = 30. Which is smaller: v or d?
v
Let k be (138/184)/(26/(-16) + 2). Let u be (-58)/198 + -5*k/(-90). Are u and 4/27 equal?
False
Let b = -1 + 1. Let v = -5777724944357/5848 - -987983064. Let s = v + -102/43. Which is greater: s or b?
s
Suppose y = 3*x - 849 + 115, 3*y + 744 = 3*x. Are x and 0.02 unequal?
True
Let s = -67.4 + 120.3. Let r = -1.1 - s. Let i = 53.8 + r. Which is smaller: 1/8 or i?
i
Let v = 268174117/47412 + -22625/4. Which is smaller: v or 1?
v
Suppose f = 3*z, 2*f - 1 = z + 4. Let v(g) = -g**3 + 8*g**2 + 31*g + 14. Let d be v(11). Let q be d*(-4)/32*(-2)/7. Are q and z nonequal?
True
Suppose n - 3*n = 4*r - 8, -23 = -5*r + 4*n. Suppose -p = -r*p + 8. Suppose -2*s - p = 0, 4*x - 5*s = -x - 55. Do x and -2 have different values?
True
Let t = 3666.974 - 3671. Let p = 0.026 + t. Suppose 3*y - 8 = 5*u - 26, -5*y = u + 2. Is u != p?
True
Let d = 7 - 11. Let t = 12/173 + -8854/2941. Which is smaller: t or d?
d
Let c = 784.4255 + -784.386. Let l = -0.2 + 0.1. Do c and l have different values?
True
Let u be 5 + -5 + 0 - (-1 - 3). Suppose -3*f + 85 = u*d, -3*f - d = -0*d - 91. Suppose 0 = 2*c - r - 25, 0 = -c - c - r + f. Is 17 at most as big as c?
False
Suppose -4*z + 2 = 3*o + 8, -1 = o + z. Suppose 4*k = -4*w - 20, o*k = 3*w - 4 + 19. Which is smaller: k or -15/11?
-15/11
Let a be (-886*4)/8 - -3. Let n = 441 + a. Is n not equal to 3/16?
True
Suppose 0 = -3*y + 2*y. Suppose -q + y*q + 4 = -2*j, -j + 5*q = 11. Suppose 16*a + 27*a - 5 = -5. Which is smaller: a or j?
j
Let d = -4877 + 4913. Suppose 18 + 82 = 5*c. Let w = d - c. Does 0 = w?
False
Let x be 2 - (2 - 7)/(-5). Let t be 6/(-9) + (410/(-15) - x). Is -29 less than t?
False
Let k = -4850 - -1114. Do -3736 and k have different values?
False
Let m be 14 - ((-4 + -1)/5 + 2). Let a be (-2)/m + -5 + 6933/195. Which is smaller: a or 29?
29
Let s be ((-5)/(380/(-24)))/(-47 - -66). Which is smaller: 0 or s?
0
Let d(q) = -q**2 - 10*q - 19. Let l be d(-8). Let i be l/12*2 - (-62)/4. Suppose i*f + 28 = 11*f. Which is smaller: f or -13/2?
f
Let g = 213 - -202. Suppose 7*w - g = -1381. Which is smaller: w or -137?
w
Let s(y) = -y**2 + 116. Let b be s(0). Let p = -114 + b. Which is smaller: 17/11 or p?
17/11
Let c = 978 - 1966. Let u be (1*2)/((-152)/c). Are u and 12 non-equal?
True
Let r = -8 + 18. Let c be r/(-4)*8/(-5). Suppose 0 = 5*a + c*a. Which is smaller: -4/17 or a?
-4/17
Let h = -1.5053 - -1.5053. Is h greater than or equal to 6761?
False
Suppose -4*f - 6524 = 4*b, -25*f + 2*b - 3246 = -23*f. Which is greater: -1630 or f?
f
Let f be (-4)/14 - (-10097)/84. Let c(r) = -3*r**2 - 13*r + 20. Let t be c(5). Let l = t + f. Which is greater: 2 or l?
2
Let w = 30.1 - 33.1. Let a = -0.007 - 0.013. Is a < w?
False
Let g be (-529635)/4556*4/(-10). Is g greater than 6/11?
True
Let f = 149630 + -149282. Let z be ((-10)/(-4) + -2)*-2. Do f and z have the same value?
False
Suppose -32*s - 3*p - 10791 = -35*s, 0 = -s - 7*p + 3613. Is 3598 bigger than s?
False
Let u(z) = -z**2 - 26*z - 227. Let b be u(-33). Does b = -0.2?
False
Let o(h) = -12*h**2 + 493055 - 5*h - 493053 - 4*h**2. Let q be o(-3). Which is smaller: -377/3 or q?
q
Let q = -4283/1124299 - -36588894471033/34853269. Let t = 1049948 - q. Let v = 150 - t. Which is smaller: v or 0?
0
Suppose -2464*l = -2458*l - 600. Which is greater: l or 56?
l
Let s = -0.043 - -1.443. Let m = s - -9.8. Which is bigger: m or -1?
m
Let l = 6 - 4. Let m = l + -9. Suppose 175*d + 693 = -128*d + 226*d. Which is smaller: m or d?
d
Let v = -6.04 - -0.34. Let n = 5.97 + v. Let h = n + -0.27. Which is smaller: h or 1/17?
h
Let b = -16978 - -17176. Let u be 1384/7 + (-2)/(-7). Is b not equal to u?
False
Let w = 79 - -13. Let i = 517 + -607. Let h = i + w. Does h = 2?
True
Let u be (-5713)/203 + (6 - 2). Is -25 <= u?
True
Let f = 20.8 + -21.95. Let n = f + 1.3. Is n greater than or equal to -10?
True
Suppose 0 = 2*k - 0*k - 112. Let o = k + -21. Suppose -255*y + 253*y - 3*n + 22 = 0, -16 = -5*y - n. Is o != y?
True
Let t be 270/(-378)*(-6 + 27). Which is greater: t or -216?
t
Let v = 939197/138 + -6806. Is v >= 1?
False
Let o = 161839/476 + -340. Are -1 and o nonequal?
True
Let a = 72 - -289/2. Let w = -216 + a. Is 1 bigger than w?
True
Let t(g) = -g**3 - 2*g**2 + 12*g + 19. Let i be t(-4). Suppose 0 = -i*q + 2*q + 2, -5*q + 606 = 2*f. Is 298 at least f?
True
Let b(q) = 2*q**3 + 25*q**2 + 9*q + 37. Let h(j) = j**3 + 13*j**2 + 4*j + 18. Let x(o) = -3*b(o) + 7*h(o). Let k be x(-16). Which is bigger: k or 14/31?
14/31
Let z be (-376)/10*(1/6 + 35/15). Which is smaller: z or -373/4?
z
Let f = 151 + -151.216. Let k = -84.784 + f. Is k < 0.2?
True
Let r be (-9*(-2)/126)/((-2)/4). Is -2671 bigger than r?
False
Let f be (-20)/(-140) + 1719/21. Suppose c - 5*h - 24 = -18, 3*c + 5*h + f = 0. Which is smaller: c or -10?
c
Let a = 99784/5 - 19957. Which is bigger: a or -1?
a
Let c = 0.262 + 79.738. Let h = c - 82. Is -13/6 >= h?
False
Let v = -391 - -390.9. Let j(f) = -13*f - 1. Let a(y) = -7*y - 1. Let r(o) = -5*a(o) + 2*j(o). Let l be r(-3). Which is bigger: v or l?
v
Let s = -7 + 6.976. Let u = -55 - -57. Let k = -2.1 + u. Is k greater than or equal to s?
False
Let g = 14.1 - 12.86. Let h = g - -0.13. Let i = h - 1.4. Is i greater than 0.07?
False
Let j(i) = -i**2 + 25*i - 171. Let y be j(0). Let g = y + 150. Let l be 1 - (0 - -23 - 1). Are g and l equal?
True
Let u = 29 + -29.91. Let t = u - -0.91. Let w = 13.911 - -0.089. Is t sm