- 5*o, 5*i - 2*o = -32 + 11. Is j at least as big as i?
True
Suppose l - 10 = -5*r, 4*r - 12*l = -7*l + 37. Let s = -18.2 + 20.2. Does r = s?
False
Suppose 0 = -98*p + 106*p - 8. Suppose 5*n - 56 - 404 = -5*j, 464 = 5*n + j. Let m = n - 4002/43. Is m bigger than p?
False
Let w = -4.848 - -4.748. Which is bigger: -1/1135 or w?
-1/1135
Suppose -11*t = -5*t - 42. Let b(z) = 10*z - 61. Let c be b(t). Is c smaller than -4?
False
Suppose 2*y = -4*x - 10, -3*y + x + 4*x = -18. Let b(u) = 5*u + 5. Let i be b(-2). Let n be (i - -12)/(2 + 4). Does n = y?
False
Suppose -11*x + v = -9*x + 420, 3*x - 4*v + 620 = 0. Let s = 207 + x. Which is bigger: -1 or s?
-1
Let u(c) = -c**3 + 19*c**2 - 19*c - 13. Let j = 344 - 326. Let y be u(j). Which is greater: -29 or y?
-29
Suppose -k - 3*b + b - 42 = 0, 3*b = 2*k + 70. Let v = -0.3683 + -0.0317. Which is smaller: k or v?
k
Let l(b) = 13*b**2 - 9*b + 6. Let w = -49 + 44. Let x(a) = -a**2 + a - 1. Let r(o) = w*x(o) - l(o). Let u be r(1). Is u bigger than -3?
False
Let f = -662/3 - -220. Which is bigger: f or -36?
f
Suppose v - r = 0, -v = 3*r - 2*r + 4. Let z be (-3 - v)*0 - 26. Let j = 2.11 - 2.01. Which is bigger: j or z?
j
Suppose -388 = -5*r + 32. Let w be r/(-9)*(-10)/16. Suppose -8*x = 4*x - 72. Which is smaller: x or w?
w
Let o = -440/78867 - -2404925311/6072759. Let c = 396 - o. Which is smaller: c or 1?
c
Let q be 4/(48/9) + 55/(-20). Let j = -932 + 1120. Which is smaller: q or j?
q
Let i = -971.66 + 960. Let h = -2.34 + i. Is -0.9 smaller than h?
False
Let k(t) = 7*t - 48. Let u be k(9). Suppose 0 = 2*g - 3*z + 33, z + 4*z = -u. Suppose 5 - 1 = -4*s. Which is greater: g or s?
s
Let g = 161 + -304. Suppose 0*n + 2*n = -2*c - 284, -4*n = -5*c + 568. Which is greater: g or n?
n
Suppose 3*f + 3*x - 1599 = 0, 185*f - 2695 = 180*f + x. Is f < 547?
True
Suppose -1038 = -4*h - q, -q + 4 - 2 = 0. Are h and 252 equal?
False
Let y = -1 - 1. Let c = -136 - -34. Let i = c + 716/7. Is i equal to y?
False
Let g(y) = 2*y**3 + 32*y**2 - 17*y + 203. Let i be g(-18). Which is greater: -785 or i?
-785
Let r = -31 + 31. Let g be r - (-10)/4 - (-12)/(-8). Let p = 1/7 - 125/826. Which is greater: g or p?
g
Let f = 171463/7 - 24495. Which is smaller: 1.87 or f?
f
Let h = 924/19 - 133037/2736. Which is smaller: 0 or h?
0
Let l = -4364 + 4235. Which is smaller: l or -639/5?
l
Let u = -577 - -485. Let o be u/168*(7 + 12/(-3)). Is o at least as big as -2?
True
Let a = 1709/1035 - 11/115. Let p be -2 + -1*3 + -5 + 11. Which is greater: p or a?
a
Let w be -47 + 344/774*18/4. Which is greater: -479/11 or w?
-479/11
Let x be -16 + 15 - ((-1868)/(-3944))/(2/(-4)). Which is bigger: x or -1?
x
Let h(s) = -s - 24. Let r be 189/(-4) + 3/(-12)*-1. Let f = r - -36. Let z be h(f). Is z smaller than -13?
False
Suppose -87*p - 27000 = -69*p. Which is bigger: p or -1/5?
-1/5
Let j = 17945 + -17944.792. Which is greater: j or -0.2?
j
Suppose 5*o = 4*z + 760, -10*z - 4*o + 760 = -14*z. Which is bigger: z or -186?
-186
Let s = 42.4977 + -0.0377. Let z = s - 30.7. Let u = z - -0.24. Is u less than or equal to 0?
False
Suppose z - 3*z = -1532. Is z smaller than 766?
False
Suppose 4*t = 2*x - 59552, -t - 18*x - 14883 = -21*x. Which is smaller: -14888 or t?
t
Let l(g) be the first derivative of -7*g**2/2 + 28*g + 472. Suppose a = -0*z - 3*z + 33, -33 = -3*z - 5*a. Let k be l(z). Are -50 and k nonequal?
True
Let r be ((-63)/(-168))/((-36)/96). Which is smaller: -3/25681 or r?
r
Let o = -1385 - -1447. Suppose 5*w + 4*a - 374 + 95 = 0, 5*w - 275 = -5*a. Which is smaller: o or w?
w
Let k be 15/(38 + 7)*210/9 + -8. Suppose -4*m + 9 = -p, 0 = -4*m - 3*p + 6 - 1. Suppose 3*l + 0*b = b + 1, 3*l - 2 = m*b. Which is greater: k or l?
l
Suppose 2*q - 7*q = 590. Let d be (19 - 19) + q/(-4). Let g = d + -29. Which is smaller: g or 0?
0
Let t = 739 + -724. Suppose 0 = -t*q - 2*q - 11832. Which is bigger: q or -695?
-695
Let d = -32 - -38. Suppose -5*m = 2*u - u + d, u = -3*m - 2. Let g be ((16 + 0)/u - 3)*-3. Which is bigger: g or -0.04?
-0.04
Let p(v) = -v**3 + 21*v**2 - 9*v + 189. Let g be p(21). Is -112/79 greater than g?
False
Let l(a) = -a**2 + 14*a - 31. Let f be l(11). Let b be (f + -5)*(-2670)/27. Let i = -304 + b. Which is bigger: 0 or i?
0
Let j = 3539/17 + -208. Let l(v) = 203*v + 20706. Let p be l(-102). Is j < p?
False
Suppose -21*f + 141 = -489. Are f and -2/25 unequal?
True
Let r(d) = 4*d**2 + d + 1. Let t be r(8). Suppose h = -4*h - t. Let y = h - -18. Which is bigger: y or -34?
-34
Let s(b) = 66*b**2 + 2*b - 137*b**2 + 2 + 0 + 58*b**2. Let u be s(2). Which is smaller: u or -44?
u
Suppose -4*b = -q + 118, -2*q + 221 = 10*b - 13*b. Suppose 5*z + 119 = -q. Which is greater: -44 or z?
-44
Let g = -3812 - -3832. Which is smaller: g or 18?
18
Let p = -61/14760 - 2/205. Let u be 6/16 - (-742)/112. Suppose -2*l = -3*g - u, -3*l - 3*g - 24 = -12. Is l less than p?
True
Let n = -592.624 - -592. Let a = n - 3.376. Which is smaller: a or 47?
a
Let u(z) = z + 15. Let c be u(-7). Suppose -38*i + 838 - 148 = 8*i. Which is bigger: c or i?
i
Let j = -565 + 1849. Let p = j - 874. Which is smaller: -1 or p?
-1
Let q be 16/3*(-21)/(-4). Let w = q + -45. Let k(x) = -x**2 - 19*x - 19. Let r be k(w). Which is smaller: 14 or r?
14
Let l(m) = -2*m**2 - 223*m + 1449. Let z be l(-97). Which is bigger: 4260 or z?
z
Suppose 0 = 76*u - 306 + 23 - 401. Are 61 and u non-equal?
True
Suppose 130*i - 1403 = 56 - 159. Is i < -430?
False
Let n = -10 - -61. Let m = n + -35. Let j = -16 + m. Is j at most -41?
False
Let f be 1/4 - 6049395/(-2340). Let l = -2583 + f. Is l less than or equal to 1?
False
Let x = -905 + 822. Which is bigger: x or -15?
-15
Let v = -3.05 + 0.05. Let m = v + 2.9. Let k = 61825/12 + -5152. Is k less than m?
False
Let u = 143/648774 + 1/1626. Let s = -1607/13167 + u. Which is greater: 1 or s?
1
Suppose -2*u + 8 = 4*q, 0 = -3*u - 2*q - 2*q + 10. Let p be ((-33)/12 - -3)/(u/8). Is p <= -0.3?
False
Suppose -4*b - 173 = -5*v + 358, -4*b + v - 551 = 0. Let h = b - -114. Is -23 > h?
True
Suppose -454*i = -18*i + 40112. Which is smaller: -41 or i?
i
Suppose -3*w - 3 = 2*u + 10, 2*w - u = 3. Suppose 824 = 3*i - 4*m, -4*i - 14*m + 1100 = -19*m. Let r = 1402/5 - i. Which is bigger: w or r?
r
Let d = -5774.782 - -5781. Let u = 0 + -0.018. Let a = u + d. Which is greater: a or 0?
a
Suppose 3*z - z = 3*a + 63, -a - 4*z = 21. Suppose 11*r - 2 = 10*r - 3*d, r = d - 6. Let o be a/(-511)*r/6. Is 1 not equal to o?
True
Let y = 920 + -845.6. Let g = 75 - y. Let h = 17.4 + g. Which is greater: 0 or h?
h
Let b(i) = i**3 + 3*i**2 - 3*i - 1. Let v be b(-3). Suppose -2*s = v*s + 400. Is s less than -41?
False
Let h(x) = -x**3 - 137*x**2 + 281*x + 529. Let b be h(-139). Suppose 0 = m + m - 226. Which is bigger: m or b?
m
Let i be 2380/56*2/(-10)*-8. Suppose 611*a = 615*a - i. Is 1 at most as big as a?
True
Let y = 175 + -175. Let u be y/(5/5 + 1). Is u at most 2/69?
True
Let f = -267 + 167. Let i = f - -92. Which is bigger: -55/6 or i?
i
Let a be 9/21 - (13 + 824/28 - 2). Let p(h) = -40*h**2 - h. Let w be p(-1). Which is smaller: w or a?
a
Suppose 364222 = 8*o - 51*o - 19123. Is -8917 smaller than o?
True
Let r = 2098 + -1634. Is r greater than or equal to 463?
True
Let k = -200714 - -2611788/13. Is 194 > k?
True
Let v be 6/(-10)*25/(-90)*23973. Which is smaller: 3996 or v?
v
Let c be (1/135*-4)/(4/80). Let r = -326/459 - c. Which is bigger: -0.3 or r?
r
Suppose -4*w = -5*g + 55, -2*w = -78*g + 74*g + 38. Which is smaller: g or 89/12?
g
Let r(f) = -9*f**3 - 12*f**2 + 4*f - 18. Let o(w) = -16*w**3 - 25*w**2 + 7*w - 36. Let z(i) = -3*o(i) + 5*r(i). Let n be z(-5). Is n not equal to 23?
False
Let v = -7301 - -8071. Which is smaller: -2 or v?
-2
Suppose -23*x - 576 = -39*x. Suppose -x*i = -30*i + 12. Let u be (-2 + 5/2)*-12. Is u less than or equal to i?
True
Let o = 4812/8383 + 2/8383. Is 2 bigger than o?
True
Let r = 231/145 + -9/5. Let f(w) = w**3 + 5*w**2 - 4*w + 13. Let d be f(-6). Which is smaller: d or r?
r
Let c be 2*(-6 - (-379506)/(-894)). Let z = c + 861. Suppose 5*o + 0 = -5. Which is greater: z or o?
z
Let f be (-12)/(-10)*4340/93. Is 72 less than or equal to f?
False
Let r(d) = -17 + 3*d - 19*d**2 + 20*d**2 + 0 - 2*d. Let l be r(-5). Suppose 5*v + 394 = -l*f - f, -3*v = -4*f - 4