ose h*q = -0*q. Does q = z?
False
Let j be (-3)/12*50*(-10)/25. Suppose -6*s = -j*s - 2, -q + 4*s - 8 = 0. Let c = -8 - 2. Which is smaller: c or q?
c
Let l(g) = 124*g - 3542. Let n be l(34). Which is greater: 676 or n?
676
Suppose -5*p = -3*o + 1, -9*o + 14*o - 13 = -3*p. Which is greater: 326.8 or p?
326.8
Let q = 81/7 - 83/7. Which is smaller: q or -88?
-88
Let w = -1 + 1. Suppose w*c - 33 = -5*v + 3*c, -v - 2*c + 4 = 0. Let l be ((-3)/11 - -1)/((-143)/((-119548)/152)). Are v and l unequal?
True
Let k(v) = v**3 - 94*v**2 - 87*v - 759. Let l be k(95). Let o be (6/(-3))/4*-38. Let p be (-2)/(-8) + o/52. Does l = p?
False
Let v be 2/(-5)*(-58)/(-116). Let m be 1*(375/(-189) - -2). Is m at most as big as v?
False
Let f be (-114669)/54 - (-1)/(-4)*2. Which is bigger: f or -2125?
f
Suppose -11 = 8*b + 13. Let i = 38 + b. Let v be i/10*52/28. Which is smaller: 6 or v?
6
Let t = -1404332/103 - -13634. Which is smaller: 0 or t?
t
Let a = -179 + 169. Let c be 3/18*(a - -8)*3. Is 30 less than c?
False
Let q = -5592 + 5482. Which is smaller: -778/7 or q?
-778/7
Let o = -20891 + 22839. Which is bigger: 1945 or o?
o
Let v = 5699 + -5721. Which is bigger: v or 101?
101
Let s(j) be the third derivative of j**4/24 - j**3/6 + 60*j**2. Let i be s(16). Which is smaller: i or 18?
i
Let v = -1112.688 + -20.312. Are -0.04 and v equal?
False
Let y be 1*3/(-12)*(10 - 2). Let d be (2 - (-808)/16)/(y/8). Is d less than or equal to -210?
True
Let y = -64 + -32. Let c = y - -75. Let p be (-6)/c + 796/(-2688). Is -1 smaller than p?
True
Suppose -37*v + 32*v - 2*l + 124 = 0, v = -5*l + 11. Which is greater: -2.04 or v?
v
Let p(m) = -596*m**2 - 154*m + 449. Let f be p(3). Is -5377 less than f?
False
Let h be 4/(-10) - 25176/(-240). Let g = 110 - h. Is g at least as big as 4?
True
Suppose -32 = -2*u + 3*t, 4*u + t - 54 = 2*t. Let s = 247 + -233. Is s at most as big as u?
False
Let i be (-2 + 7/4)*-12. Suppose -3*w + 10 - 1 = 0. Suppose -l + 3*g = w, i*l + 11 = l + g. Are -7 and l unequal?
True
Suppose 2*l + 5*c - 10485 = 0, -2*l = -4*c - 4843 - 5633. Is 5241 != l?
True
Let y = -127003/418 + 5772/19. Is 1 at least as big as y?
True
Let q = 7583.98 + 393.02. Is q equal to 0?
False
Let a(i) = 2*i**3 - 47*i**2 + 30*i - 64. Let k be a(23). Do 100 and k have the same value?
False
Let m be (-66)/(-4) + (-285)/19 - (-165)/(-2). Let y be -2 + (-68 - -2 - 1). Let d = -149 - y. Is d < m?
False
Suppose -22*x - 238 = -48*x + 74. Which is smaller: 20 or x?
x
Let p = 8598 - 8074. Which is smaller: p or 0.02?
0.02
Let a = 7795 - 7812. Let f = 0 - 1. Which is bigger: f or a?
f
Let r = -9.13 - -7.13. Let n = -406 - -1228/3. Which is smaller: r or n?
r
Let m = 0.5144 - 3.6944. Which is greater: 6 or m?
6
Let x be ((-267518)/4)/((-137)/3). Let q = x - 2929/2. Is q at most -1?
False
Let m(n) = -n**3 - 8*n**2 - 6*n + 15. Let g be m(-7). Suppose -17 = -5*q + 5*j + g, -3*q + 23 = -5*j. Is 6/49 >= q?
False
Suppose 5*i = -a + 4*i - 233, 237 = -a - 5*i. Let x = -233 - a. Let y be 3 - ((-57)/(-69) + 2). Which is smaller: x or y?
x
Let v = -0.04317 - 2.03383. Let c = -0.023 + v. Let j = 2.13 + c. Which is smaller: 0.5 or j?
j
Let p = 19831 - 376724/19. Which is smaller: 2 or p?
2
Let m = -89 + 88.8. Let b = 61 + -112. Let y = b + 48.1. Which is bigger: m or y?
m
Let z = 5510413/8632 - 5107/8. Do z and 1 have the same value?
False
Let t(v) = v**3 - 7*v**2 - 7*v + 11. Let y be t(8). Let n = 10 - y. Let f(l) = -2*l**2 - 21*l + 8. Let j be f(n). Is 35 < j?
False
Suppose -4*j + 65 = -7*j - 5*f, 75 = -3*j - 3*f. Which is bigger: -337/11 or j?
j
Let w = 348 - 348. Let f = 25 - 21. Let g be (-2)/5 + 656/(-210) + f. Is w greater than g?
False
Let a be 103*(1 - 0) + 21/(-7). Suppose -6*m + m + a = 0. Suppose 0 = -5*z - z + 120. Is z smaller than m?
False
Let w be ((-2)/((-44)/166) - -1) + 6942/(-12727). Let f = -18 - -7. Which is greater: f or w?
w
Let b be 136/(-6) + -24 + 46. Suppose 2*i + 5 = x + 1, 0 = -4*i + 8. Let g be ((-3)/x)/((-27)/12). Which is smaller: g or b?
b
Let f = 2447 - 2449. Let z = 1.3 - 0.2. Which is bigger: z or f?
z
Let v = -1/836248 - -702448391/59373608. Which is greater: 13 or v?
13
Let s = -1214/1037 + -6/1037. Suppose -w - 14 = -3*a, 3*w + 34 = -5*a + 48. Are w and s equal?
False
Let d(n) = n**3 - 12*n**2 + 19*n + 9. Let t be d(10). Let h(z) = 8*z**3 + 6*z**2 - z. Let j be h(t). Is j > -23?
True
Let u = 8.85 - 8.85. Let p = -12.55 - -12. Let f = 0.3 + p. Are f and u nonequal?
True
Let c(t) be the third derivative of t**6/120 + t**5/3 + 19*t**4/24 - t**3/6 + 78*t**2. Let g be c(-19). Is -4/29 bigger than g?
True
Let k be (880/180)/(-22)*(0 - (-8826)/8). Which is bigger: k or -244?
-244
Let s be (-21)/(-28) + 174/(-8). Let y = -59 - -62. Let z be (y - 5)*(-1)/(-6)*57. Which is bigger: s or z?
z
Let g(f) = -73*f - 8192. Let m be g(35). Is m >= -10747?
True
Let b be 57/(-380)*(-11 + (-75)/(-9)). Which is bigger: b or 333/2?
333/2
Let k be (0 - 2)/(38/(-513)). Let i(t) = -9*t + 244. Let x be i(k). Is 1 < x?
False
Let i(q) = -2*q**2 - 54*q + 4. Let p be i(-21). Which is bigger: p or 255?
p
Suppose 5*m + 5 = -0. Let s = 28767/13 - 2213. Which is smaller: s or m?
m
Let t be (-21)/(-6) + (-2 - 1). Let d = -9.4347 + -1.3433. Let l = 0.222 - d. Which is bigger: l or t?
l
Let d be (-3 - -4)*0 + 0. Let q be (5/(60/16))/((-1)/(-3)). Let g be (q/80 - d)/((-6)/(-16)). Is g greater than -1?
True
Suppose 17*u - 2*t = 16*u + 5, 0 = 4*u + 4*t + 4. Are u and -470 non-equal?
True
Let v(m) = 4*m**2 + 13*m + 18. Let s be v(-7). Let b = s + -124. Which is bigger: b or 3/43?
3/43
Suppose 0 = 6*a - 4*a - 6. Suppose y - i = 24, -a*y + 0*y + i = -62. Let g = y + -15. Are g and 5/2 unequal?
True
Suppose -32*n + 38*n + 24 = 0. Let w = 620 - 628. Is w != n?
True
Let z = -7636 + 7637. Let i be 2/(-1 + (-702)/(-698)). Let v = 1736/5 - i. Which is smaller: z or v?
v
Suppose 5*f - 25 = -0*f. Suppose f*i = 5*n, i - 2*n - 1 = -6. Suppose 2*x - i*t + 5 = 0, -3 - 2 = 4*x - 5*t. Which is smaller: 5/16 or x?
x
Let t be ((-360)/(-150))/((-8)/5 + 2). Which is greater: 22 or t?
22
Let l = 212 - 127. Let o = -572 - -656. Let i = o - l. Is 24 less than or equal to i?
False
Let i(o) = -o**2 - 4*o + 28. Let j be ((-36)/30)/((-24)/80). Let n be i(j). Suppose 3*h - 11 - 9 = 5*d, -d = 2*h + 17. Which is smaller: n or d?
d
Suppose -q + v = -70, 7 + 9 = 4*v. Suppose -5*o = -z - 43 + 6, 2*z + 3*o + q = 0. Let p = 45 + z. Is 8 equal to p?
True
Let h = -47473231290 + 8160648458794391/171900. Let s = -48/191 + h. Let r = s - -193/6300. Which is bigger: r or -1?
r
Let j be (-260)/38 - -4 - -2. Let z = j + 359/494. Is 1 >= z?
True
Let c = 5615 - 5612.97. Which is smaller: c or 2/23?
2/23
Suppose 13949 = 84*a + 1265. Is 146 at least a?
False
Suppose 3*t + 509 = 347. Let z be -2 + (-4 - -7) - (-30)/t. Is -6/5 greater than z?
False
Let f(q) = -2*q**2 - 41*q + 17. Suppose 276 = -5*p + 171. Let k be f(p). Is 14 smaller than k?
False
Let i(j) = j**2 + 52*j + 529. Let t be i(-14). Let l(n) = -9*n**2 + 3*n - 8. Let u be l(-7). Let k be (-2)/(-4) + u/20. Which is greater: k or t?
t
Let q = -14 - 35. Let j = q + 46. Which is greater: -3/2 or j?
-3/2
Let b = -3433.25 + 3433. Which is greater: 3/10 or b?
3/10
Let o be (-2 + -1)/(-3) + 0. Let f be (o - 0)*-4*(-7)/14. Suppose -12 = -f*u - 34. Is 0.4 at most as big as u?
False
Let l = 21104 + -21103.98. Is l greater than 103?
False
Let h be -1 + 3/((-126)/(-26)). Let f be 29/((-4263)/(-182)) - (-4)/(-7). Let u = h + f. Are -7/2 and u nonequal?
True
Suppose 5*i = -5*s - 5, 4*s + 1 = -3*i - 0*i. Suppose -j = b - 158, 0*j - s*b = -5*j + 818. Which is bigger: j or 161?
j
Suppose -4*i = -4*n - 48, -4*n - 2*i = 42 - 30. Which is bigger: n or 205?
205
Let s be ((-11936)/(-6))/((736/48)/(-23)). Is s greater than -2986?
True
Let k(s) = 3*s - 13. Let m be k(5). Suppose 2*a = 2*g - 3*g + 12, -3*g + 20 = m*a. Suppose -a*l + 29 = 5*p, 2*p - 15 = -0*p - 5*l. Is 2 not equal to p?
True
Let a(i) = 38*i**2 - 36*i - 207. Let u be a(-5). Are 924 and u equal?
False
Suppose 0*t - 6003 = -9*t. Suppose -32 = 3*k + t. Is k at most -232?
True
Suppose 0 = 4*z + 4 + 96. Let h = -20 - z. Let q(i) = -i**3 + 6*i**2 - 8*i + 16. Let y be q(h). Which is greater: y or 1/16?
y
Let c = -232244786/531 - -3937192/9. Let l = 280/3 - c. Which