x) = -3*x**2 - x - 11. Let n be s(7). Let p be (-10)/3*(-6)/n. Let q be 12/36 - (-1)/(-3). Which is smaller: p or q?
p
Let k(f) = -2*f**2 + 63*f - 485. Let v be k(18). Which is smaller: 6/3467 or v?
6/3467
Let a(j) = -20*j + 5. Let q be a(-3). Let h = 35 + q. Suppose 4*y - 182 = 2*y - 4*r, 5*y = 3*r + 507. Which is bigger: h or y?
h
Suppose -282*v + 6059 = -365*v. Is -587/8 at least as big as v?
False
Suppose -5*l - 2 = -4*l. Let t = 83/42 + -22/7. Is t != l?
True
Suppose -6*i = -0*i - 6. Let w(o) = 4*o**3 - 5*o + 5. Let k be w(i). Let v = -2 + k. Are v and -4/7 nonequal?
True
Suppose 16 = -4*p, 301*s + 16 = 297*s - 3*p. Are 3/7237 and s nonequal?
True
Let i = 1311/143 + -118/13. Let k be (-3 + 5)/((-2)/21). Let a = k - -19. Which is bigger: a or i?
i
Let m = -7497 + 7496.4. Which is greater: m or -25/2?
m
Suppose -4*u + 843 = 5*q, -658 = -6*q + 2*q + 5*u. Which is smaller: q or 166?
166
Let i = 19.046 + -19. Let z = -108 + 194. Let v = 86 - z. Which is smaller: v or i?
v
Suppose 6*f - 2124 = 3*v, -6*v + 4*v + 8 = 0. Which is smaller: 0 or f?
0
Let y = 82.2 + -14.2. Let x = 28 - 26. Let n be (x/(-10))/((-36)/(-90)). Is n less than or equal to y?
True
Suppose -10*q = 11 - 31. Suppose 2*k = -q*m - 0*m - 14, 2*k - 11 = 3*m. Which is greater: -9/11 or k?
-9/11
Let l be ((-1620)/150)/(76/(-20) + 4). Which is smaller: l or -61?
-61
Let n = -344 - -41. Let g = n - -306. Which is smaller: g or 2?
2
Suppose 3*t = -2*t + 80. Suppose 5*h - t = 49. Suppose 0 = -4*j, -2*z - 13*j + 24 = -15*j. Which is bigger: z or h?
h
Let h = -189 + 204. Let o be ((-12)/50)/((-9)/h). Is -6 at least as big as o?
False
Suppose 0 = 3*l - u - 79, -4*u = 11 + 5. Let j be -3 + 85/l + 17/(-5). Let i be 32/j - ((-10)/6 - -1). Which is smaller: i or -12?
-12
Let u = 2846 - 2845. Is u >= 3/113?
True
Let b be 1001643/(-1125) + (-12)/18. Let s = -891 - b. Let v = s + 367/500. Which is greater: v or -7?
v
Let m(j) = 3*j**3 + 12*j**2 + 11*j + 17. Let l(g) = -7*g**3 - 24*g**2 - 21*g - 34. Let z(y) = -2*l(y) - 5*m(y). Let k be z(-11). Is k <= 19/4?
False
Let s = -2.093 - -0.093. Do s and 1649 have the same value?
False
Let p = -1364 - -1307. Let m = -3 - -60.2. Let o = p + m. Is o greater than or equal to -16?
True
Suppose 4*u - 415 = -4*y + 369, -588 = -3*u + 4*y. Suppose -13*r + 17*r = u. Let w be (-8)/14*r/(-70). Is w < 2/5?
False
Let m = -31350 + 30646.8. Which is bigger: m or -0.2?
-0.2
Let r = 13762.9 - 13763. Which is greater: r or -5853?
r
Let j = -224343/13 + 17247. Suppose 108*g - 516*g = 3672. Is g at least j?
True
Let d = 401496 + -34929683/87. Let u = 8/29 + d. Suppose 4*o + 5 - 17 = 3*z, 5*o - 50 = -5*z. Is o > u?
True
Let t = -123/11 + 764623/68376. Let r = 12013/31080 - t. Let j = -4/35 - r. Is -7/20 greater than or equal to j?
True
Suppose 6*c = 3*c + 210. Let b = -133 + c. Let i = 53 + b. Are 3 and i unequal?
True
Let i(d) = -771*d**3 - d**2 + 5*d + 4. Let w be i(-1). Let a = w - 3075/4. Which is greater: a or -18/31?
a
Let a = 3 + -6. Let d = 1780 - 1776. Is d equal to a?
False
Let h(g) = 15*g**2 + 2*g - 7. Let d(v) = v**2 + 3*v - 13. Let k be d(-5). Let o be h(k). Is 122 not equal to o?
False
Let j be (-176)/(9 - -2) - -952. Is 936 at most j?
True
Let l = 32464190311/2790 - 11635911. Let c = l - -22/45. Is 0 greater than c?
True
Suppose 0 = 5*f + a - 42 + 17, 0 = -5*f - 2*a + 30. Is f less than or equal to -872?
False
Suppose -7*v = -13*v + 24. Suppose 0 = -v*c + 11*c + 35. Let z(t) = -t - 1. Let r be z(5). Is c less than or equal to r?
False
Let o be 16/(-8784)*12*15/1570. Which is greater: 1 or o?
1
Suppose 4*t + b = 5*b + 12, -5*t - 9 = 3*b. Suppose 3*g + 3*i - 4 = 2, -5*g + 2*i = -24. Suppose t = -n - 4, n - 5*n = -g*x + 60. Which is greater: x or 9?
x
Let t = 178 + 256. Let w = t - 434.02. Which is greater: -1 or w?
w
Let k(v) = -3*v + 3. Let a(c) = c - 2. Let q = 7 + -5. Let y(d) = q*k(d) + 5*a(d). Let l be y(0). Is -1 != l?
True
Let z(o) = o**2 + 3*o - 3. Let s be z(3). Let b = -1 + s. Let i(w) = w**3 - 15*w**2 + 13*w + 4. Let p be i(b). Which is greater: p or -11?
p
Let k = -719 + 744. Which is greater: 28 or k?
28
Let h(o) = -18*o - 2 + o**3 + 21*o - 1568*o**2 + 1562*o**2. Let p = 9 - 3. Let z be h(p). Is 0 less than z?
True
Let z be 1/(-7) + 2296694/(-33166). Which is smaller: -70 or z?
-70
Let v(s) = -s**2 - 11. Let d be v(-14). Let l = d + 201. Which is smaller: -7 or l?
-7
Let g(u) = u**3 + 3*u**2 - 2*u + 8. Let s be g(-4). Suppose -2*z - t = s, -3*z - 2*z = -4*t. Is -1/193 at least as big as z?
False
Suppose 0 = 97*q + 147 + 47. Is 305 at least as big as q?
True
Let b = 4028 + -3860. Is 0.06 less than b?
True
Let t(z) = 2*z**2 - 140*z + 494. Let f be t(66). Is f greater than 13?
False
Let g(o) = -7*o - 184. Let w(n) = -11*n - 184. Let z(f) = 6*g(f) - 5*w(f). Let y be z(14). Which is smaller: y or 0.79?
y
Let p = 291 + -237. Suppose 3*j - p = -72. Which is smaller: -19 or j?
-19
Let r(b) = 11*b**3 - b**2 + b. Let t be r(1). Let j = t - 4. Let h(w) = w**2 + 138*w + 1519. Let s be h(-126). Is s bigger than j?
False
Let w = 24.41 + -24.21. Let z be 121/(-12 - (3 + -5)). Let k = -12 - z. Is w bigger than k?
True
Suppose -5 = 5*y, -r = 2*y + 5 - 7. Suppose -9 = -r*c - 5*m - 3, 5*m = 10. Is -6/35 at least as big as c?
True
Suppose -535*v - 7013 = 152*v + 3979. Let p(l) = l**3 - 6*l**2 - 3*l + 3. Let z be p(6). Which is smaller: v or z?
v
Suppose 2*f - 24 = -4*f. Suppose 4*d = -5*i - 27, d + f*i + 0*i = -15. Let h be (0 + (d - -3))/1. Which is bigger: -27 or h?
h
Suppose 3*v + 12 = 0, 3*v = 2*d - 11 - 3. Which is smaller: 2/4441 or d?
2/4441
Let h be 28/44612*-3*2/(-21). Which is bigger: -1 or h?
h
Suppose -27*z = -11183 + 464. Which is bigger: 393 or z?
z
Let b be (-36800)/(-76) + 3 + -4. Let c = 483 - b. Let n = c + 90/247. Which is greater: -1 or n?
n
Suppose 0 = 4*y + 4*c - 3080, 24*c = 21*c - 3. Let p = -934 + y. Does -162 = p?
False
Suppose -183*h + 36 = -5*p - 186*h, 0 = -5*p + 5*h + 20. Let o = 5 + -20/3. Are p and o non-equal?
True
Let v = -69 - -111. Suppose 4*k + 52 = a, -44 = -3*a - 2*k + v. Suppose -a = -4*h + 4*n, -n + 0*n = h - 14. Is 10 at most as big as h?
True
Let l be 8*302 + -2 + 1 + 5. Let j = -154877/64 + l. Are -5 and j non-equal?
True
Let a = -576 - -576. Let d = 23996/31 - 774. Is a at most d?
True
Suppose 0 = 9*w - 14662 + 14653. Which is smaller: w or -883?
-883
Let a = -0.0747 + -148.7253. Let k = a + 157. Is 1 less than or equal to k?
True
Let t(j) = j + 5. Let d be t(-5). Let l(h) = -h**3 - 12*h**2 + 34*h + 3. Let k be l(-9). Let y be (-6)/(-5) - k/(-405). Which is greater: y or d?
d
Suppose -11*j - 4*j + 2385 = 0. Suppose -a = -u - 31, -j = 2*u + 3*u - 4*a. Which is smaller: u or -67/2?
u
Let w = 60 - 104. Let b = w + 47. Which is greater: 2/27 or b?
b
Let v = -5961 + 7522. Is v <= 1/2?
False
Let c = 24692 - 24704. Let o be (1/(-2))/((-2)/(-24)). Is o < c?
False
Let t be (-76)/(-133) + (-480)/105. Which is smaller: t or -54/17?
t
Let u be 8/10*35/14. Suppose -2*s = -0*s. Suppose -u*a + 7*a - 4*a = s. Do -3/32 and a have the same value?
False
Let a(d) = 32*d - 839. Let h be a(27). Are h and 35 unequal?
True
Let v = 235 + -237. Let r be ((-188)/8 + v)*2 - 1. Which is bigger: r or 1?
1
Suppose -4*i - 3*i - 14 = 0. Let y be 1*(1/i)/(2/(-8)). Suppose -n + 19 = -3*c, 0 = y*n + n - 3. Which is greater: c or 2/5?
2/5
Let u be 1*(2 - 36)*(3 + -4)/(-2). Let y be -3 + 1*0/(-1). Let d be -8*y/(-15)*10. Which is smaller: u or d?
u
Let f be 6/(-4) + (-45)/2. Let r be 20 + (5 - ((-1 - 1) + 4)). Suppose -6*s + r = -7*s. Which is smaller: f or s?
f
Let g = -838/1393 + 6/199. Let c(z) = z**3 + 4*z**2 - 6*z - 2. Let f be c(-5). Let h be (-4)/f - 4/6. Is g at least h?
True
Let d = -13031 + 13549. Are d and 511 unequal?
True
Let w be 256*295/330 - (-2 - -2). Let j = 3780257/16500 - w. Let t = -1/125 + j. Is t equal to -2/3?
False
Let n = 5273/36 + -537/4. Let f = 3712 + -3700. Which is smaller: n or f?
f
Let h = 98 + -118. Let w = 2 + -4. Which is smaller: w or h?
h
Suppose 4*a = -3*w + 88, 5*a + 4*w = 2*w + 110. Suppose -a*m + 14*m = 88. Is m not equal to -7?
True
Suppose -5*c = 4*s - 306, -35*c - 66 = -s - 31*c. Which is greater: 70 or s?
s
Suppose -2*m = -5*m + 6. Let q be -14*344/8 - -6. Let v = q - -8954/15. Is m at most as big as v?
False
Le