 Is r at most as big as n?
True
Let u = -408/5 + 82. Let y = 29.97 + 0.03. Let b = -29.88 + y. Is u not equal to b?
True
Let y be 105/12 + 3 - 66/88. Let t be (-6 + y - 7) + 38. Are 44 and t equal?
False
Let f = 0 - -0.5. Let v = f - 0.4. Let h be (-22)/(-33) - (5 - (-500)/(-105)). Which is smaller: h or v?
v
Let p be (-15)/5 - -5 - 29706. Let z be p/(-3458) + 2 - (-6)/(-39). Let x = 198/19 - z. Which is bigger: x or -1?
x
Let r = -28.915 - -28.9. Let p = -0.085 + r. Are -0.292 and p equal?
False
Suppose 0 = -3*m + r + 9, -3*m - m - 3*r - 1 = 0. Suppose 5*h - m*p = 10*h + 65, 5*p = 25. Let l = -26 - h. Which is greater: -1 or l?
-1
Suppose 24710 - 6280 = 95*a. Is -20 <= a?
True
Let i(u) = 142*u - 429*u + 150*u + 154*u - 71 - u**2. Let x be i(9). Which is greater: x or -1/106?
x
Suppose 0 = -4*j + 3*h + 20, -5*j + 0*h = -5*h - 30. Suppose 21*p - j = 19*p. Is p less than or equal to -51?
False
Let b(o) = -o - 4*o**2 + o**3 + 85 + 0*o - 84 + 2*o. Let d be b(0). Which is greater: d or 1/104?
d
Let n = 23.65 - -1.35. Let z = n + -30.84. Let w = z - -5.9. Which is smaller: -4 or w?
-4
Let f = 22122 + -22122. Does f = 14?
False
Suppose -87*b + 11340 = -67*b. Which is bigger: b or 3?
b
Let r = -63931/9 + 7111. Suppose -616 + 391 = -25*s. Is s less than or equal to r?
False
Let l be (1/(-55))/((-91)/455). Is l at most as big as -89?
False
Let r be 745 - (-1)/(0 - (-1)/(-1)). Suppose -21*k + 17*k = r. Is k greater than -186?
False
Suppose 4*l = 5*l. Suppose -4*o - 2 + 6 = l. Let y be (-660)/(-2541) + (-6)/11. Which is smaller: o or y?
y
Let h be (-52)/(-42)*-81*2. Let v = -865 - -665. Let m = v - h. Is 0 greater than m?
False
Suppose -2*j - 3 = -3. Suppose j = 6*w - 13 - 5. Suppose 4*h + w*f = -2*f - 35, 0 = -5*h - 4*f - 37. Are -3 and h non-equal?
True
Suppose 0*u - 4*n = -u - 21, -u + n = 12. Let q be (27/9)/(u/6). Let t be ((-1)/q)/(1/4). Are t and 3 equal?
False
Suppose -207*f = -210*f - l + 65, -4*l + 8 = 0. Is -237 != f?
True
Let d be 101/11 - 8/44. Let i be (-7)/(14/(-10)) - d. Let x(u) = -6*u - 24. Let v be x(i). Which is smaller: -0.3 or v?
-0.3
Suppose -5*d = -6*c + 2*c - 25, 4*d - 5*c - 29 = 0. Which is greater: 1/43 or d?
d
Let h = -385/3 - -2558/15. Which is smaller: h or 43?
h
Suppose -5*z = -59*q + 64*q + 3660, -q - 1 = 0. Which is bigger: z or -733?
z
Suppose 4*w - 2*m = 34274, 16951 + 196 = 2*w + m. Let a = -42716/5 + w. Do 28 and a have the same value?
False
Let a = 235 - 419. Let h = a + 163. Which is smaller: h or 4?
h
Suppose -6*s - 6 = -8*s. Suppose 0 = u - 3*o + 352, 0 = s*u - u - o + 714. Which is smaller: 0 or u?
u
Let n be ((-4)/3)/(-4)*(6 - 0). Suppose -8*w + n*w = -114. Which is bigger: 22 or w?
22
Let n(p) = -p**2 + 4*p + 81. Let j be n(11). Suppose -j*b + 20 = -4*m, -5*m = 4*b + 75 - 59. Let k = -700/899 - -22/31. Is b less than or equal to k?
False
Let x be 4 - (1 + -2) - -6. Suppose -x*o - 90 - 240 = 0. Let s be -1 - o*3/114. Is s < 0?
True
Let a(k) = k - 13. Let h = -806 - -824. Let x be a(h). Let y be (-1)/((-10)/(-12))*-5. Is y at most x?
False
Let z be ((-156)/182)/((-6)/28). Suppose -2*c - z = 2*n, -2*n = -2*c + n + 11. Is -2/307 <= c?
True
Suppose -231*x + 230*x - 4*s = -41, 3*x - 102 = -5*s. Is 35 at least as big as x?
True
Let z = -198.354 - -0.354. Let o = z - -198.2. Which is smaller: o or -101?
-101
Let d be (-383)/(-12)*363/433. Let j = -3/433 + d. Let w = 27 - j. Is 9 at most as big as w?
False
Let z(r) = -r**2 + 3*r + 7. Let x = 21 + -16. Let c be z(x). Suppose 31*b + 340 - 92 = 0. Which is smaller: b or c?
b
Let f = 55419 - 55414. Let q = -8959/4070 - -1/814. Which is bigger: q or f?
f
Suppose 112*w + 294868 + 926380 = 0. Which is smaller: -1/3 or w?
w
Let f(w) = w**3 + 7*w**2 - 18*w + 8. Let o be f(-9). Let c be o*3*21/(-483). Which is smaller: c or -2?
-2
Let z(r) = r**3 - 3*r**2 - 8*r - 4. Let p be ((-1)/2)/(3 + 186/(-60)). Let y be z(p). Let v be (-9)/(-21)*(y/(-3) + 1). Is 1 smaller than v?
False
Let y = -3683 + 3682.9. Let x(f) = f**3 + 2*f**2 + 2*f - 3. Let q be x(3). Let g be q/8*(-3)/1. Is g smaller than y?
True
Let n = 218 - 214. Suppose -4*p = n*p - 8. Do p and -2/399 have the same value?
False
Suppose 11*u - 80 = -91. Do -162/317 and u have different values?
True
Suppose -97*x + 92*x - 7516 = -4*z, z + x = 1888. Is z bigger than -1/3?
True
Let a(c) = -18*c**2 + 31 - 10 - 14*c + 30 - 13 - c**3. Let h be a(-17). Let s = -2/1099 + -60437/4396. Which is bigger: h or s?
h
Let m = -3863527/4 + 965881. Let n = 427/6 - 161/3. Is m bigger than n?
False
Let b(y) = -y**3 - 19*y**2 + 20*y - 5. Let v be b(-20). Let n be (2/2)/(v/20*-4). Let c be 4/15 - (-3)/(-9). Do n and c have the same value?
False
Let y = 1477064446743/3248 - 454761195. Let n = y + -184/7. Let d = n - -839/41296. Is 0 >= d?
False
Suppose 0 = -7*j + 2*j + 835. Let s(p) = 9*p**2 + 14*p + 80. Let l be s(-4). Which is smaller: l or j?
j
Let c = -2.247 + 2.147. Let h = 13 + -5. Let j = h + -5. Is j less than c?
False
Let q = 580 - 895. Let i be (q/135)/(2/90). Which is smaller: i or -104?
i
Let c(g) = 62*g**3 + 2*g**2 + 16*g + 14. Let k be c(-1). Is k <= 17?
True
Let g = 93 + -82. Let d(a) = a + 9*a + 0*a**2 - 2*a**2 + g*a + 16. Let l be d(11). Is 7 less than l?
False
Let x(j) = 8 + 7 + 14*j + 27. Let f be x(-6). Which is bigger: 0 or f?
0
Let l = -3505 + 3505.1. Which is smaller: l or -1.557?
-1.557
Let g = -853/104 + 140857/15912. Let a = -12/17 + g. Is 0 greater than a?
True
Suppose 3*z = -2*q - 6 - 4, 16 = -2*z + q. Let f = z + -4. Let g(m) = 11*m - 9. Let o be g(0). Which is bigger: f or o?
o
Suppose k = -2, -84*u = -86*u - k - 1880. Is -941 less than or equal to u?
True
Let n be (-22)/5 - -5 - (-6)/(-10). Let m be 2/(-1) + (n - 642 - 9). Do m and -653 have different values?
False
Let n = 3.213 + -3.343. Are 7/18 and n unequal?
True
Let k be 2/5 - 166/40. Suppose 11*d - 464 = 108. Suppose -15 = d*l - 47*l. Do k and l have the same value?
False
Suppose 3*q - 6 = q. Let j = 10852 + -10846. Let l be -2 - ((-2)/q + (-2)/j). Which is greater: 6 or l?
6
Let k = -400 - -569. Let u be (1/(-1) - 5)/((-39)/k). Suppose 118 + 17 = 5*t. Which is bigger: u or t?
t
Let q be 8 - 210/(-84)*3688/(-1170). Is -1 > q?
False
Suppose -3*o = 2*i + 15 + 9, -3*o = 5*i + 60. Let g(b) = -b - 8. Let q be g(i). Let r be (2/q)/(440/(-32)). Does 0 = r?
False
Suppose 4*c + 4*s = -44, 3604*c - 3605*c + s + 3 = 0. Is c > -555?
True
Let t = 14518 - 14446. Are t and 69 unequal?
True
Let m = -4 - -6. Let p be -2*(-5 - -3) - (113 + m). Let o = 99 + p. Is -6 > o?
True
Let i be (36/(-24))/((-6888)/35). Which is greater: -1 or i?
i
Let p = 782.2 - -144.8. Let y = p + -1015. Which is smaller: -4 or y?
y
Let h be (-20)/(-7)*(-22)/(-44)*-7. Which is bigger: h or -28?
h
Suppose -4*n + 41 + 19 = 0. Let s be ((-8)/(-5))/(6/n). Suppose -s*d - 6 = 3*q, 3*d + 5*q - 4 = d. Does d = -2?
False
Suppose 3*o + 1714 = -5*u, -45*u + 49*u + 2288 = -4*o. Is o != -573?
False
Let h(v) = -2*v - 767. Let s be h(72). Is -911 less than s?
False
Let y be ((-2)/105)/((-91)/(-130)). Let u = 429 + -430. Is y less than or equal to u?
False
Suppose -v + 8 = v. Let a be (4 + -2)*2/v. Let o be -19 - 156*18/(-162). Is o at least a?
False
Suppose 39 - 111 = 4*m + 4*w, 4*m + 3*w + 71 = 0. Let i = -124 + 109. Which is greater: i or m?
i
Let u = 671 - 715.7. Let p = -42 - u. Let s = p + -3.7. Which is greater: -1/19 or s?
-1/19
Suppose -116 = -5*g - q - 98, -18 = 3*g - 3*q. Is g at least as big as 199.7?
False
Let w be (-183)/9 - 4/6. Let v(t) = 5*t**3 - 75*t**2 + 9*t + 42. Let k be v(15). Let c be k/(-12)*(-4 + 16/3). Which is greater: c or w?
c
Suppose -3*h + 11 = 5*y, -8 = -5*y - 3. Let i be (-340)/105*(h - (-4)/(-8)). Which is bigger: -4 or i?
-4
Let n be (211/5064)/(553/(-4) + 0). Is n < 0?
True
Let c = 2957083/278 - 10637. Suppose -202*q - 2*d = -200*q - 18, -2*d + 20 = 0. Which is greater: q or c?
c
Let w = -208 + 217.2. Let a = w - 8.2. Let v be 1 + (-34)/3 + -1. Which is smaller: a or v?
v
Let s = -745 + 832. Let g be (43/2)/(((-12)/(-6))/8). Which is bigger: g or s?
s
Let h(f) = -2*f**3 - 12*f**2 + 17*f - 14. Let n(l) = -l**3 + l. Let o(y) = h(y) - 3*n(y). Suppose -39 = -7*v + 38. Let z be o(v). Which is smaller: 18 or z?
18
Let z = 139709377314037315247/40951365 - 3411592685959. Let m = z - -2/33159. 