er: o or -47?
o
Let l = 21.387 + -19.387. Are -3/353 and l equal?
False
Let a = 659 - 445. Let p = a + -213.977. Which is smaller: p or -3?
-3
Let n be (1/(-2))/((-1)/10). Suppose v + 465 = 470. Suppose 57 = -n*q + 4*u, -v*q + 1 = -2*u + 52. Which is smaller: q or -12?
-12
Suppose 210 = -17*y + 7*y. Let f be ((1 - 1)/2)/(y - -24). Is f not equal to 2/89?
True
Let y be (8150/489)/((-4)/24). Which is greater: 9 or y?
9
Let y = 1433 - 1506.1. Let r = -69.8 - y. Is r at least -1/7?
True
Let l = 0.1111 - -11.2689. Which is greater: l or 2/7?
l
Let w = -179022520/5523 + 32414. Which is smaller: w or -1?
-1
Let l = -15.158 - -14.108. Which is smaller: 31 or l?
l
Let a = -528.209 - -528. Is -3 at least as big as a?
False
Let l = -952 - -1531. Suppose l = 8*q + 1923. Which is smaller: -167 or q?
q
Suppose 22 = -6*x - 2. Let b(l) = 14*l**2 + 77*l + 5. Let y be b(x). Is y bigger than -79?
False
Let x(h) = h**3 + 17*h**2 - 4. Let s be x(-17). Let m be (212/12 - -2) + s/(-12). Which is greater: 21 or m?
21
Let y(w) = -7*w - 1. Let t be y(-4). Let f be 29/((-1595)/(-1848)) + (-48)/(16 + -8). Is t equal to f?
False
Let w(r) be the third derivative of -r**6/120 - 11*r**5/15 + 11*r**4/6 - 23*r**3/3 + 88*r**2. Let l be w(-45). Let z = -0.3 - 8.7. Is z bigger than l?
False
Suppose 2*c - 5 = d, 2*c + 4*d - 254 = -264. Which is bigger: 1/3515 or c?
c
Let c = 154 - 135. Suppose -c*o = 4*o + 345. Which is greater: o or -14?
-14
Suppose 7*q = -89 - 2. Let l = 7 - 2. Let t = q + l. Which is bigger: -1 or t?
-1
Let c(y) = -y**3 + 11*y**2 + 26*y - 10. Let v(o) = -2*o**3 + 21*o**2 + 51*o - 20. Let g(j) = -5*c(j) + 3*v(j). Let h be g(10). Which is bigger: 15 or h?
h
Let a = 16 - 11. Let z be 4/a + -2*290/(-25). Which is greater: z or 22?
z
Let y = 55 - 53. Let z be 17/85 + y/(-310). Let a = -13/93 - z. Which is smaller: a or 1?
a
Suppose 184*j - 182*j = -5*d - 8157, 2*d = 2*j - 3274. Are d and -1634 nonequal?
True
Let c be -20*(4 + ((-43)/2 - -5)). Let l = c - 252. Are l and -4/7 non-equal?
True
Let x = 12 + -331. Let s = x - -319.2. Which is smaller: 2.4 or s?
s
Let z be (456/(-15) - (-2)/5)/1. Let x = -76 - -78. Let b be (-3)/((-3)/x) + (-22 - z). Is b less than or equal to 12?
True
Let w(l) = -5*l**3 + 3*l**2 - 3*l + 1. Let g be w(1). Let f be (4 - 1)*(g + (-1364)/(-297)). Which is bigger: 3 or f?
3
Let q be 2/(-26) - 346460/(-3584620). Are q and -1 non-equal?
True
Let d be 85/325 + 1 - (-156)/(-338). Is -41 greater than d?
False
Let u be ((-372)/(-798) - (-9)/21) + -1. Let k = -18.98 + 19. Let j = k + -0.22. Which is bigger: u or j?
u
Let z = -604/209 + 5013386/1734909. Which is bigger: 1 or z?
1
Let x be (-13 - 2 - -7)*219/(-12). Which is smaller: x or 124?
124
Let w be (-8)/1 - (-9 + -28 + 28). Which is bigger: -8/377 or w?
w
Let v = 156 + -2341/15. Suppose 7*u - 1512 = 2261. Let w = -538 + u. Which is smaller: w or v?
v
Let o = 20 - -12. Suppose 0 = -o*z + 40*z + 744. Which is bigger: -92 or z?
-92
Suppose -70*s = -66*s + 5*v + 10883, 3*s + 2*v + 8164 = 0. Are s and -2722 unequal?
False
Let m = 9075.87 - 218.87. Is m < -2?
False
Let y = 278 + -253. Suppose y*b + 144 = -11*b. Is 1/49 at least as big as b?
True
Suppose -155 = -m + 2*g, -3*m - 23*g + 477 = -26*g. Let p = m - 136. Is p > 23?
True
Let o(k) = 6*k**2 + 35*k - 921. Let g be o(-25). Is 9769/5 at least g?
False
Let g = 111.95 - 108. Let l = g + -3.7. Let t = -1 + 5/4. Is l less than t?
False
Let o = 107.5 - 10.5. Let w = o + -99. Let v = -17.2 + 2.2. Is v bigger than w?
False
Suppose -5*a + 1264 = 3*q - 13219, 2*q + a = 9660. Which is bigger: 4832 or q?
4832
Suppose 3*k = -2*w + 118, k - 48 = -0*k - 5*w. Let q be 321/(-1284) - (-330)/8. Which is bigger: k or q?
q
Let t(q) = 26*q - 51. Let r be t(2). Let a(u) = 3*u**2 + 16*u + 18. Let d be a(-6). Suppose 5*f + 0*f - d = 0. Is f at most r?
False
Let y(t) = 6*t**3 - 2*t**2 - 6*t + 3. Let s(a) = -a**3 + a**2 + a - 1. Let h(g) = -4*s(g) - y(g). Let n be h(-2). Let j = -8268 - -8267. Is n greater than j?
True
Let x = -355602/145 + 12263/5. Suppose 3*w - 3*a = 18, -a = 9 - 4. Which is smaller: w or x?
x
Let d = -5867959/451 + 13011. Which is smaller: 1 or d?
d
Let n = 11.8 - 11.998. Let k = n - -1.198. Which is greater: k or 42/5?
42/5
Let h = 745 - 739. Suppose -5*t - 4*w = w - 5, -3*w + 15 = -t. Which is smaller: t or h?
t
Let t be 696/9 - (-8)/12. Let i be 3*(t/75 + -1)*5. Which is bigger: i or 0.01?
i
Let f(b) = 1 + 5 + b**2 + 2*b + 2*b**2 + b**3. Let r = 4327 - 4330. Let m be f(r). Is m at most as big as 0?
True
Let i be 5474/22365 + 2*(-3)/27. Let w = -3718/7455 + i. Which is smaller: w or -1?
-1
Let c(o) = 2*o + 1. Let s be c(-1). Let d be s/3*54/(-21). Let i(g) = 68*g + 544. Let q be i(-8). Which is smaller: d or q?
q
Let z = -52.8 - -52.655. Let v = z + 0.045. Which is smaller: v or -44?
-44
Suppose -112*l = 67*l + 69273. Let k be 387/(-1 + 2)*-1. Is k less than or equal to l?
True
Let f be 6*-1*(3/4)/((-63)/210). Is 672/47 > f?
False
Let r be 742/848*3/7. Let p be (1/2)/(78/12 + -7). Which is bigger: r or p?
r
Let w = 59 + -25. Suppose 952 = 5*b + 23*b. Is w smaller than b?
False
Let r = -1084/13 - -74770/897. Which is smaller: 0 or r?
r
Let i = 5489.5 - 5494. Which is greater: 14 or i?
14
Let c be ((-135716)/10)/((-38)/(-190)). Let j = 745766/11 + c. Which is smaller: j or -62?
-62
Suppose -5*l - 2095*v = -2090*v - 5, 3*v - 9 = 3*l. Is -36/43 less than l?
False
Let b(g) = 622*g - 233. Let a be b(-8). Is -5211 less than or equal to a?
True
Suppose 6*p - p = 4*t - 191, 2*p - t = -77. Let h = 1230 - 2535/2. Is p > h?
False
Let b = -10151 - -10156. Which is smaller: 107.3 or b?
b
Let k be -9 - (-75 - -22 - -8). Which is smaller: k or -0.017?
-0.017
Suppose -36*s = -31 - 5. Let i(l) = -13*l**3 + 2*l**2 - 6*l + 4. Let y be i(s). Which is greater: y or 1?
1
Let k = 0.553 - -65.547. Let n = -66 + k. Is -0.05 >= n?
False
Let h be 5 + -8 - 2890/(-962). Suppose -28 = 4*t + 4, -3*s + 13 = -2*t. Are s and h equal?
False
Let v = -414 - -255. Let d = -169.9 - v. Let t = d + 11. Do t and -15 have different values?
True
Let t = -16625 - -16046. Is -574 >= t?
True
Let c = -6834.2 - -6834. Let d = 98 - 57. Which is smaller: c or d?
c
Let z be 4/(-18) - 86/(-387). Is 3/109 > z?
True
Let i = -1785017/18 + 99210. Do i and 43 have the same value?
False
Let u be (4/8)/((2/(-8))/(16113/(-123))). Do u and 243 have the same value?
False
Let w = -375 - -339. Let z be (190/45 + -4)*(-3 + w). Is -8 bigger than z?
True
Suppose -v + 2*v + 280 = 0. Let g(a) = -31*a**2 - 665*a + 3822. Let y be g(5). Is v smaller than y?
True
Suppose 16*s = -3*v + 21*s + 51, -5*v + 53 = -3*s. Which is bigger: 480/67 or v?
480/67
Let o = -46.067 - -0.067. Suppose 5*w + 12 = -2*h - 1, 5*h - 5*w = 20. Which is greater: o or h?
h
Let h = 7221.54 + -179.54. Are 0 and h equal?
False
Let w = -321 + 482. Let n = 160 - w. Are n and -6 equal?
False
Let p(u) = 233*u - 3518. Let i be p(13). Is i at most -488?
True
Let w = 16667.1 + -15503. Is 1 less than or equal to w?
True
Let h = 25.3 - -177.7. Let m = 250 - h. Which is greater: m or -3?
m
Let s = 459/5 + -98. Let c = s + 94/15. Which is smaller: c or 1?
c
Let a be 7/(-35)*(4 + (-6)/(-34)). Let o = a + 21/17. Is -2/2277 at most o?
True
Let y be (1/(-2) - -1)*-2. Suppose -4*o - 8 = h, 0*o + 3*o + 25 = 4*h. Let n be o + ((-8416)/348)/(-8). Which is greater: y or n?
n
Let t = -0.02965 + 0.06965. Does t = 355?
False
Let u = 17.366 + -25.303. Let j = 0.063 - u. Let b = j + -8.1. Which is bigger: 1/17 or b?
1/17
Let z = 1/54088553 - 92707784891/273093104097. Let i = -4/297 + z. Suppose -x - 20 = -4*j, j - 3 = -3*x + 2. Do i and x have the same value?
False
Let o(t) = -2*t**2 + 110*t - 139. Let i be o(71). Which is smaller: i or -2410?
i
Let t(x) = 2*x**3 + 16*x**2 + 64*x - 30. Let d be t(-11). Are d and 1/5 unequal?
True
Suppose 476*d - 480*d = 20. Let h = -13 + 7. Let t be h/27 - (-254)/(-72). Which is bigger: d or t?
t
Suppose 2*j - 17 = q, -47*q = -42*q + 15. Which is smaller: j or 360/61?
360/61
Let v = -0.2 + 0. Let b = 0.1 + v. Let k = 18333.3 + -18335. Which is smaller: b or k?
k
Let n be 21 + (-5 - 13) - 3. Is 31/21 < n?
False
Let a(p) = p - 21. Let r(b) be the second derivative of -b**3/2 + 32*b**2 - 12*b. Let d(v) = 8*a(v) + 3*r(v). Let h be d(19). Which i