 9*q**2 + q. Let d be (927/(-54) + 17)*-18. Let t be p(d). Is 12 at least t?
True
Let d(t) = 3*t**2 - 11*t + 4. Let w(l) = -l**3 - 4*l**2 + 3*l - 6. Let y be w(-5). Let q be d(y). Are q and 3 unequal?
True
Let q = -24664 + 24668. Let j be ((-8)/(-5))/((-6)/(-75)). Which is greater: q or j?
j
Let f = -743.1 - -743.1329. Which is bigger: f or -3?
f
Let g = 3030 + -3038. Suppose -f + 4*m = 0, -f - 2*m + 36 = 3*f. Let a be -4*(34/f - 2). Which is smaller: g or a?
a
Let m = 923.2864 - -2.7136. Is 1/2 equal to m?
False
Suppose -32444 = -34*m - 4360. Suppose -m = 46*f + 1382. Does f = -2?
False
Let z = 0.73 - 0.21. Let b = z - -2.48. Is -3/10 <= b?
True
Suppose -150 = 5*o + 115. Let w(t) = t**3 - 66*t**2 + 793*t + 293. Let x be w(50). Is o <= x?
False
Let r be (-4 - (-7 - -2))*5723/59. Which is smaller: -105 or r?
-105
Let v = -118.85 - -121.95. Is v < 36?
True
Let w = 1290.9 - 1205. Let q = 10718 + -10632. Let g = w - q. Is -17/2 at least as big as g?
False
Let h = 68.7 - -22.3. Let o = -90.962 + h. Which is smaller: o or 2/7?
o
Suppose -56*u + 101 = 157. Is -13/16 at most u?
False
Let u be 14/8 + (77/(-28))/(-11). Suppose 4*c + l + 5 = 0, 4 = c + 5*l - 10*l. Which is greater: c or u?
u
Suppose 0 = -46*y - 96*y - 2551 + 6953. Is y >= 6?
True
Let p = 852 + -844. Let k be ((-3)/2)/(3519/(-276)). Which is greater: p or k?
p
Let y = -3248/9 - -23636/63. Let t = 193/14 - y. Let x = 116 - 167. Which is bigger: x or t?
t
Let n(o) = o**2 - 5*o - 30. Let r be n(9). Let q be -23*(-24)/(-774) - (-4)/r. Let b(u) = u**3 - 2*u**2 - 4*u + 3. Let t be b(3). Which is bigger: q or t?
t
Let o(y) = -117*y**2 + 142*y + 143. Let z be o(-1). Which is smaller: z or -91?
z
Suppose -82*u = -84*u - 56. Suppose -23*d - d = 672. Is d != u?
False
Let r be 3*-3*3/(-27). Let c be -2*r*((-105)/(-110) - 1). Are 0.4 and c non-equal?
True
Let t = -861 - -860.572. Let x = 0.628 + t. Let i be 54/2 + 0/1. Which is greater: i or x?
i
Let f = 114 - -84. Let g be (62/6)/((-33)/f). Let m = g - -81. Is 20 less than m?
False
Suppose 0 = -2*b - 0 - 10, -5*b - 26 = c. Is -1/8768 bigger than c?
True
Let a = -21.4 + 72.7. Let u = -297 + 349. Let q = u - a. Which is smaller: q or -4/7?
-4/7
Suppose -3*z + 4*q + 105 = 0, -3*q = z + 6 - 67. Is z <= 57?
True
Let v be ((-20)/(-15))/(4/6). Suppose -v*j = -5*n + 4 - 6, n = -2*j + 2. Let d be -1*1 + ((-265)/(-275) - n). Is 1 < d?
False
Suppose -11 = r - 2*t - 3*t, 0 = 5*r + 2*t - 26. Let x be (-16)/64 - 51/r. Suppose 8*y + 70 = 3*y. Which is smaller: x or y?
y
Let b = 3 + -3. Let c be -2*2 + -1 + 6. Let a be 2/(27/(-6) + c). Which is greater: a or b?
b
Suppose -50*h + 19695 = -11*h. Suppose 3*d - 299 = -m, 3*m - h = -25*d + 20*d. Is d less than 98?
False
Suppose 2 = 2*p + 5*q - 5, 0 = 5*p - 5*q. Suppose l - 1 = p. Let y be l*(-4 + 2 + 1). Do -10/13 and y have different values?
True
Let w be (-43 + 38)*1/10. Let n be 6/(0 + (-9)/(-2)). Which is smaller: n or w?
w
Suppose -12*g + 28 = 40. Do -2/7421 and g have the same value?
False
Let o(c) = -3*c + 12. Let y = 47 + -43. Let g be o(y). Let x = 10/91 + -736/1729. Which is smaller: g or x?
x
Let b = -11.3 - -2.3. Let z = -9.1 - b. Suppose 0*f - 5*o + 148 = -2*f, 4*f + 266 = 5*o. Is f != z?
True
Suppose -4*f + 2 = -6. Let v be -4 + f/5 + (-18)/(-30). Let n be v/(-2)*(-20)/(-670). Do 0 and n have the same value?
False
Let s = -6627.211 + 6627. Is 37 != s?
True
Let o be (1 + 0)/((-1)/(-4)). Suppose 3*v + 2*k - 13 = -0*k, -17 = 3*v - o*k. Let x = -38182/89 + 429. Which is bigger: x or v?
v
Let f be (((-1558739)/21)/13)/(40/(-6)). Let n = f - 856. Which is greater: 1 or n?
1
Let h = 12370 + -12370. Which is smaller: h or 3/491?
h
Let p be (20/(-9) - -2)/(15/(-15900)). Which is bigger: 235 or p?
p
Suppose -4*x + x + 477 = 0. Let h(t) = 1 + t**3 + 2*t**2 + 77*t + 79*t - x*t. Let u be h(-3). Is u <= 3/8?
False
Let w(f) = 4 - 3*f**2 + 2*f - 4*f + 2*f**2. Let j be w(0). Let l = 29 - 27. Is l at least as big as j?
False
Let n = -20094.6089 + 20095. Is n < -0.1?
False
Let j = 7673 - 7673. Is 27/62 at most as big as j?
False
Suppose -4*k = k. Let g be (-1 + 3)*(-26)/(-3133)*2/(-8). Which is bigger: g or k?
k
Suppose 37*o + 19756 = -7*o. Is o bigger than -446?
False
Let q = 17.91 + -0.11. Let c = 17.9 - q. Let z = -5.1 + 5. Do z and c have the same value?
False
Let b be (-44)/(-154) - (2622/(-3010))/(-3). Let s = -64 - -65. Is s equal to b?
False
Suppose -11*l - 33 = 22. Let d be (-80)/(-32)*l/25. Is -83 less than or equal to d?
True
Let x = -26/3525 - 148901/1318350. Which is smaller: 1 or x?
x
Let a = -0.122 - -0.029. Let i = 0.193 + a. Which is greater: i or -5.6?
i
Let w = -4195/3 + 1399. Which is greater: -2144 or w?
w
Let k(f) = 2*f + 21. Let g(n) = -6*n + 2. Let c be g(2). Let s be k(c). Are 1 and s nonequal?
False
Suppose 55*n - 28*n + 32*n = 0. Let m be 1528/(-17)*270/(-40). Let r = m - 607. Is n at least as big as r?
True
Let l be 3662675/(-184800) + 4*1. Let v = -1/672 - l. Which is smaller: 16 or v?
v
Let g = -119/729 - -254854/1538919. Is -1 not equal to g?
True
Let o = -0.039862 + 36.039862. Let q(t) = t**3 - 5*t**2 + 3*t + 3. Let s be q(4). Which is smaller: s or o?
s
Let f = 0.0108 + -774.0108. Let w = f - -774.5. Let r = 34/365 - -1/146. Are w and r nonequal?
True
Suppose -2*z - 4*c = 24, -4*z - 2*c + 3*c - 39 = 0. Let x be (-9)/20 - 2/z. Let b = -3229 + 3224. Is b less than or equal to x?
True
Let l = 528.11 + -535. Let x = l + 0.59. Let t = -3.7 + x. Which is smaller: -2 or t?
t
Suppose 0 = -26*y + 31*y - w, -2*y + 3*w - 13 = 0. Which is greater: y or -14/367?
y
Suppose s - d - 3*d = -10, 0 = -5*s - 2*d - 116. Let q be (-4)/(-2) + 24 + s. Suppose -4*j + 20 = q. Is j > 2?
True
Suppose 0 = 13*m + 25*m - 114. Let y be (350/(-6) - 5) + (m - 8). Which is greater: -69 or y?
y
Let j = 84 - 83.903. Let w = 581 + -584. Is w greater than or equal to j?
False
Let y(r) = 7 + 27*r**2 + 27*r**2 + r**3 + 24*r**2 - 84*r**2 - 9*r. Let x be y(6). Is x less than or equal to -47?
True
Let f(a) = -a + 336. Let r be f(0). Let u be 183/(-732) - (-33571)/(-100). Let h = u + r. Which is smaller: h or -1?
-1
Let p(s) be the first derivative of -s**4/4 + s**3 + 11*s**2/2 + 11*s + 44. Let m be p(8). Are -220 and m equal?
False
Let q = -1541 + 1504. Let z(j) = -j**3 + 14*j**2 - 2*j - 9. Let g be z(14). Is g at most as big as q?
True
Suppose b = -5, f + b = 3*f - 145. Let l be (141/21 - 7) + (-582)/f. Is -8 less than or equal to l?
False
Let q = 511 + -610. Let l be (3 - q/(-36))/(7/684). Does l = 25?
False
Let s = -32.955 + -0.045. Let t = -3 + s. Let j = t + 35.5. Is j greater than -1?
True
Suppose -141 + 134 = -w + c, 3*w - 13 = c. Which is greater: w or 53/31?
w
Let d = 72769 - 72751. Suppose 2*j + 6 = -j. Are d and j unequal?
True
Let y = -2278.7 + 2279. Are y and -73 unequal?
True
Let r = 1066.9 - 1067. Let v = -0.9 - -7.9. Which is greater: v or r?
v
Suppose 4*u + 10 = 3*j - 6, 0 = -3*j + u + 4. Suppose 2*t + 2821 = -v, 2*v - 473 = 4*t + 5189. Let f = -18381/13 - t. Which is smaller: f or j?
f
Suppose 24 = -6*h - 24. Let g(n) = -n**3 - 7*n**2 + 17*n + 55. Let l be g(h). Which is bigger: -12 or l?
-12
Let i = 0.034 + -49.034. Let o = 302.7 - 243.7. Let f = i + o. Which is smaller: f or 2?
2
Suppose -19*v = -18*v - 132. Let i = 184 - v. Is i smaller than 54?
True
Let t(q) = q**3 - 32*q**2 + 30*q + 32. Let n be t(31). Suppose -4*f - 93 = -113. Which is smaller: f or n?
n
Let w be 0*7/(-35) - 4. Is w bigger than 2/131?
False
Let a(w) = -17*w**2 + 44*w - 4. Let b be a(4). Let u be ((-1)/(-2))/(95/b - -1). Is 13 < u?
False
Let p = -20983.438 + 20984. Which is smaller: -1/3 or p?
-1/3
Let l be 111*(-2)/(-8)*16/(-4). Let x = -111 - l. Which is smaller: -1/71 or x?
-1/71
Let b = 5.8947 - 0.1247. Let a = -5.8 + b. Let f = -0.57 + a. Which is greater: -1 or f?
f
Let m be (-5)/2*(-30)/25. Suppose 0 = m*y + 3, 5*y - 3*y - 33 = 5*p. Let s = 191 - 189. Which is smaller: s or p?
p
Suppose 4*f - 39 = -4*i + 73, f - 3*i = 44. Let g = 36.37 + -3.97. Let c = g - 33.4. Are c and f equal?
False
Let v(k) = -80*k - 7520. Let r be v(-94). Which is smaller: r or -10/907?
-10/907
Let y = -45 + -71. Let c = 71 + y. Which is smaller: c or -2/7?
c
Let h = -13213/2979 - 3/331. Let u be (-8)/12*6*15/12. Which is smaller: h or u?
u
Let i = -1.3067 - -1.3