= -0.015 + x. Let p be 8 + (-4)/1 + -1. Which is greater: b or p?
p
Let x be (5458/(-6))/(-25*1/(-15)). Let y = x - -545. Is y >= -2?
True
Let z be 243/36*(-4)/(-3). Suppose -z*k = 3*k + 84. Is -0.1 bigger than k?
True
Let l(d) = -d**2 - 3*d + 20. Let h be l(-7). Let z be h/(-2) + (0 - 31). Let g be 2/(-6)*81/z. Is g < -2/67?
False
Let z(y) = -2*y**2 + 33*y + 22. Suppose -4*n - 4 = 0, -5*k - n + 38 = -46. Let c be z(k). Suppose o = c, 2*f + 3*o - 14 - 3 = 0. Is -1/67 greater than f?
False
Let c = 1427 - 1529. Let g = -0.01 - -104.01. Let o = g + c. Are o and -0.09 unequal?
True
Let r = 86 - 77. Suppose r*x = 14*x - 935. Let c = x - 6543/35. Is c at least as big as -1?
True
Let m = -9 - -3. Let s be 4 - (-1 - 26/m). Suppose -12*y = -3*y + 18. Is s at most y?
False
Let m(n) = n**2 - 4*n - 291. Let v be m(0). Let u = v + 23569/81. Is u at most 3?
True
Suppose -14*m + 3176 + 156 = 0. Let l = m - 237. Is l not equal to 2/403?
True
Let o be ((-5)/10)/(-2 - (7 - (-17)/(-2))). Which is bigger: o or 22/349?
o
Let i(k) = k**2 - 5*k - 1. Let l be i(6). Suppose -3*d + 5*b = -25, l*d - 5 = 2*d - 5*b. Let m(c) = -c**3 + 7*c**2 - 11*c + 17. Let t be m(d). Does t = 10?
False
Suppose g - 485 = -2*i, -10*g + 8*g + 965 = 3*i. Let x = g - 6177/13. Is -18 smaller than x?
True
Let s(r) = -2*r - 1. Let i be s(0). Let y be i*((-9)/(-45) + 1/(-5)). Let w = -230/21 + 9806/903. Is w < y?
True
Suppose -33*b + 4*b - 167 - 36 = 0. Let n = 7.5 + -0.5. Which is bigger: b or n?
n
Suppose -2*a = q - 5042, 5*a + 7557 = -17*q + 20249. Do 2519 and a have different values?
True
Let s(m) = 8*m + 4. Let d(f) = -4*f - 2. Let u(i) = 5*d(i) + 3*s(i). Let g be u(-1). Let k be 75/(-42) - (-1)/(-2). Do k and g have the same value?
False
Let f = 93211/35218044 + -3/22108. Which is bigger: f or 0?
f
Let n = -4 + -6. Let h = 0.345 - -216.655. Let p = h + -217.2. Which is bigger: p or n?
p
Let x be 0/(-2 - (-5)/(5/4)). Let a = 16997/1380085 - 2/28165. Is x != a?
True
Let s = 607 - 607.633. Let c = -0.233 - s. Do c and 2/9 have different values?
True
Suppose 2*f = d + f - 3, -2*f = 2*d - 14. Suppose -3*r - w = -2*r + 76, -3*r + d*w = 244. Let b = r + 72. Which is smaller: -5 or b?
b
Let z = 5093/9 + -566. Which is smaller: -31/33 or z?
-31/33
Let g be 300/(-350) - (197057/(-194285) - (-2)/13). Is g < 1?
True
Let t be (15/(-10))/(45/1350). Is t != -45?
False
Suppose -w = -3*u + 2*w + 12, -3*u = 2*w + 13. Let p be 4 - 48/(-6) - u. Which is smaller: p or 14?
p
Let o be (-2)/(-5) + ((-644)/(-35))/4. Suppose 7*h = -o*v + 2*h - 165, 4*v + 3*h + 137 = 0. Is v equal to -36?
False
Let y(r) = -6*r**2 + 41*r + 10. Let q(o) = 2*o**2 - 14*o - 3. Let i(j) = 8*q(j) + 3*y(j). Let c be i(6). Which is smaller: -1/138 or c?
-1/138
Let w be ((-10)/6 + 1)/((-10)/(-15)). Let m be 9*w*((-32)/12 - -2). Suppose -11 + m = -5*r. Is r less than 2/81?
False
Suppose 3*z - a + 33895 = 0, -866*a = z - 867*a + 11303. Which is smaller: z or 1?
z
Let a = 14284 + -15889. Are a and -1604 non-equal?
True
Let z be ((-15)/30)/((-21)/14 + 2). Is -1/4268 at least z?
True
Let q = 14.136 - 9.136. Which is greater: q or 121?
121
Suppose -2*o - 2*o - 12 = 0, 2*j - 231 = o. Let a = 110 - j. Let v be 6/(-8)*(-2)/(-6). Is a < v?
True
Let l(n) = n**3 - 17*n**2 - 2*n + 8. Let s be l(17). Let d = 28 + s. Let w(g) = -4*g**2 + 3*g + 3. Let i be w(d). Is -3 != i?
True
Let f(j) = -j**2 + 9*j - 3. Let l be f(14). Let h = -218 - l. Is -146 greater than h?
False
Let j(h) = -h**2 + 3*h + 4. Let u be j(9). Let c = 1653 - 1704. Which is greater: u or c?
u
Let p(v) = -v**3 - 34*v**2 - 98*v - 169. Let c be p(-31). Which is greater: -2/91 or c?
-2/91
Let x be (5*32/(-60))/(-4). Is 354 != x?
True
Let n = 132975/14 - 9504. Is n at most as big as -7?
False
Let i = 11/2875882 - 58991529877/92028224. Let u = 641 + i. Which is smaller: -1/4 or u?
-1/4
Let p = 0.1607 - 106.2607. Let d = -106 - p. Let x = d + -0.1. Which is smaller: x or -1/15?
-1/15
Let x be 1 - 0 - (8 - ((-3996)/(-387))/12). Is -5 less than x?
False
Let m(y) = -35*y - 905. Let f be m(-74). Which is bigger: f or 1687?
1687
Let l = 66 - 110. Let g = 475 + -518.8. Let u = l - g. Which is greater: u or -2?
u
Let k = 82 - -209. Let b = 291 - k. Which is bigger: b or -15?
b
Suppose -7*h - 12784 = -24*h. Let i be (1/(-14))/(4*2/h). Let y = i + 7. Which is greater: -36 or y?
y
Let d = 36032.69 + -35862. Let o = d - 170. Let k = 0.59 - o. Which is smaller: -28 or k?
-28
Let x = 4496 + -4577. Is x greater than -0.9?
False
Let h(t) = 2*t + 25. Let z be h(-7). Suppose -5 = -c + z. Let d = 15 - c. Which is smaller: -2 or d?
-2
Let i = -1536 + 1072. Let c = 480 + i. Is 136/9 <= c?
True
Let r(d) = -d**2 + 15*d + 16. Let k be r(16). Suppose 3 = -v + 4. Suppose k = h - v. Is -25 < h?
True
Let n = 0.1396 + -0.0396. Let a = 18 + -18. Suppose -2*u - 5*q - 116 = -0*q, -2*u - 2*q - 104 = a. Which is bigger: u or n?
n
Let g = 5 + 0. Suppose 10 - 37 = -9*q. Suppose q*n = t, -n = 4*t - 9 - 4. Which is smaller: t or g?
t
Suppose -c = 3*l - 195, 7*c - 2*c + 4*l = 931. Let m = c - 173. Is m < 12?
True
Let b = 2.2 - 2.2. Let s(x) = 24*x - 3. Let a be s(2). Suppose a = -3*o - 3*m + m, -56 = 4*o + 4*m. Is o >= b?
False
Let w = 679548 - 32964193931/48509. Is w equal to -1?
False
Let o(p) = -85*p - 20. Let f be o(-5). Suppose 0 = -2*l + 387 - f. Let u(d) = -d**3 + 7*d**2 - 7*d - 2. Let t be u(6). Which is greater: t or l?
t
Let y = 87 - 104. Let g = y - -17.2. Is -3/46 bigger than g?
False
Let w be 256 - 0 - (18 + -12 + -1). Let f = -427 + w. Which is smaller: -175 or f?
f
Let v(f) = f**2 - 12*f - 18. Let p be v(14). Suppose 0 = 3*j - p*j + 63. Let o(d) = -d - 9. Let b be o(j). Is b equal to -19?
False
Suppose -80 + 25 = -11*c. Suppose h + 15 = z, -4*z + 0 = h - c. Let x = -751/2 + 364. Which is greater: h or x?
h
Let n(i) = -i**2 - 8*i - 8. Let z be n(-7). Let b = -2970011635/93 - -31936082. Let d = b - 473. Is z at most d?
True
Let j = -2 + -5. Let m(y) = -y**3 - 18*y**2 + 88*y + 939. Let n be m(-20). Do j and n have different values?
True
Let x = 1821 - 3245. Which is bigger: x or -1425?
x
Let o = 77 - 165. Let s = -166 - o. Let c = s - -69. Which is smaller: 1 or c?
c
Let h be 213745/(-2635) + (-4)/(-34). Which is smaller: h or -79?
h
Let f(z) = -2*z + 5. Let u be f(-7). Suppose -21*s + 3*s = 558. Let y be (s - 3)*(-11)/22. Is u greater than y?
True
Let o = 3928 - 4569. Is o less than -646?
False
Let q be ((-489)/326)/(((-1)/5)/((-12)/(-405))). Is q at least -5130?
True
Let t(u) = -87*u + 150. Let n be t(-20). Suppose -z - n = -5*z - 2*b, 0 = 3*z - b - 1405. Is 470 greater than z?
False
Suppose 0 = 2*p - 5*q - 39, -p + 4*q = 4*p - 72. Let w = -179 - -188. Is p at most w?
False
Let f = -120684/84133 - 60/1717. Which is smaller: -1 or f?
f
Let y = -43 + 45. Suppose 6*p + 20 = y. Let r be 0/(4*2/(-4)). Which is smaller: r or p?
p
Let u be (-1)/6 + ((-2305)/390 - -6). Let g = 0.2 + 1. Let a = -2.2 + g. Do a and u have different values?
True
Suppose 3*r = 4*x + 81, 4*x = x + r - 57. Let g be ((-2)/4)/(3/x). Let a be (-142)/(-72) - (30/8 + -4). Is g at most as big as a?
False
Let t = 193 - -40. Which is bigger: t or 6?
t
Suppose 0 = -4*v + 2*p + 24, 4*v + 5*p = 10*p + 24. Let m(d) = -d**3 - 9*d**2 - 7*d + 11. Let z be m(-8). Suppose -z*b + 5*b - 14 = 0. Is v bigger than b?
False
Let t be (8/20)/((-3)/(-15)). Suppose n = -2*a + 7*a - 41, -n - 2*a = 34. Let b be t/n*-6*(-2)/(-5). Which is smaller: 1/3 or b?
b
Suppose -2*j - 71 = 5*k, 0 = -j + 3*k - 5 - 36. Which is smaller: -265/7 or j?
j
Let b = -221912/65 + 3414. Is b >= -2?
True
Let d = -52.573 + 49.39. Let q = d - -0.663. Which is smaller: -0.1 or q?
q
Suppose 7*c + 43 = 127. Suppose -c*r - 52 = r. Is -13/3 greater than or equal to r?
False
Let s = 3.019 + -3. Let x = 25.019 - s. Let c = 28 - x. Which is smaller: 1/8 or c?
1/8
Let w be 85/(-15) - 1/3. Let b(h) = -h**2 + 8*h + 24. Let m be b(w). Which is smaller: -59 or m?
m
Let g be (5 - -7 - 10)/(1 + -3). Let u be g*(2/(-5) - 6/10). Which is greater: -3/464 or u?
u
Let j = -205 + 212. Suppose -2*x + 4*y - 121 = j*y, -3*x - 153 = -5*y. Is -56 less than x?
False
Let f = 25 + -22. Suppose 5*o = 2*z + 3, 0 = 5*o - 2*z - f*z. Let h be (-45)/18*((-22)/20 + o). Is h smaller than -5?
False
Suppose 6*w = -n + 3*w - 4, n - 2*w = 6. 