**2 - 11*v - 2. Let u be d(11). Let a = -33098/23 - -1439. Which is smaller: u or a?
u
Suppose -c = 4*a + 1, c + 2*a - 2 = 3*c. Let o be 316/210*-1 + ((-34520)/840 - -41). Which is smaller: c or o?
o
Let w = -1327/4829 + 276773273/1279685. Let y = -216 + w. Suppose 13*m = -263 + 250. Which is smaller: m or y?
m
Let r(o) = 6*o + 51. Let g be r(-8). Suppose p - 7*c + 1 = -3*c, -g = c. Is p < -12?
True
Let i be (-1)/(-6) - 1036/168 - -1254. Does 1232 = i?
False
Let x(c) = -c - 62. Suppose 4*f - 6*f = 0. Let s be x(f). Let d = 65 - 126. Which is smaller: d or s?
s
Suppose 4*g - 27 = -o, o + 5*g - 75 = -3*o. Let n(i) = -6*i - 9. Let j be n(o). Let y = 67 + j. Which is bigger: y or -31?
-31
Let i = 24 - 41. Let w = i - -17.1. Let g be (-10)/25 + (-130)/175. Which is bigger: g or w?
w
Let p = 80422714/33 - 2437624. Let y be 195/(-6)*(-440)/25. Let t = p + y. Do 1 and t have the same value?
False
Let l = -2289570769/67 + 34173629. Let o = 931 - l. Which is smaller: 1 or o?
o
Let u(m) = -3 + 1 - 90*m**2 + 91*m**2. Let s be u(2). Suppose f + s*i + 4 = 2*f, -5*i = f + 10. Is f at most as big as 1/24?
True
Suppose -25 = -5*b + 5*c, b - 5*b + 20 = -5*c. Suppose -10 = -q - b. Let f be 612/(-17) - (q - 1). Which is smaller: -39 or f?
f
Let o be (-168)/(-63)*(-51)/(-4). Suppose 0 = o*b - 53*b - 19. Which is greater: b or -1/327?
-1/327
Let o = 37 - -37. Suppose -o = 3*k - w, 4*k - 2 = -w - 110. Is k >= -24?
False
Let u = 0.38 - 0.71. Let i = 1.49 - -1.04. Let a = u + i. Is a equal to 1?
False
Let i = 175.87 + -173.87. Which is smaller: -112 or i?
-112
Let t be (-153)/24*((-374)/(-33) + -11) + 2. Let l be (128/(-44))/(-4) + 2. Is l >= t?
True
Suppose 0 = 3*d + r - 7, 3*r = -4*d + 2*d + 14. Let o be -1 + (80/d)/(-2). Which is smaller: -121/3 or o?
o
Let m = -0.00802 + 2.65402. Is m > 1?
True
Let a = -342767 - -342768. Let p = 2 - 7. Let h be 23/p + 2/(-5). Is a greater than h?
True
Let b(w) = -2*w - 34. Let i be b(-15). Let a be (0 - i)*3 + 1. Suppose h - 14 = -3*o, -o = -5*o + 5*h - a. Which is greater: o or 9?
9
Let o(i) = -2*i**2 - 44*i - 218. Let p be o(-14). Let x be 23/3 - 1/3. Is x greater than or equal to p?
True
Let p = -34/3 - -11. Suppose 0 = 181*k - 6219 - 20388. Which is smaller: k or p?
p
Let h be (69 - 68)*(-2839 + 2). Is h > -2836?
False
Let i = -54 - -58. Suppose -5*l + 20 = -i*l. Let c be (-8)/l + (-16)/(-20). Which is bigger: 0 or c?
c
Suppose -89 + 99 = 2*k. Suppose -4*u = 5*r - 61 - 52, 4*u + 97 = k*r. Is 102/5 != r?
True
Let k = -1859 + 3723/2. Which is smaller: k or -46?
-46
Let x(o) = -24*o + 593. Let k be x(41). Is k != 25?
True
Let n = 8685/11018 - 2/787. Let d be (-2 - (-4 + 0))*(-2)/(-14). Is d <= n?
True
Let f(z) = 58*z**2 - 89*z - 6. Let h be f(5). Is 996 greater than h?
False
Let t = 9273269/5028 - 95/1257. Which is bigger: t or 1845?
1845
Let f = 0.565 + -0.708. Let h = -1.54 + 1.64. Which is greater: f or h?
h
Suppose -3*z - 5*r + 1 = 0, -3*z - 6 + 1 = 2*r. Let l be 1*z - (36 - 15). Is -28 >= l?
False
Suppose -15 = 2*l - 3. Let p(w) = -4*w**2 - 15*w - 12. Let u(m) = -m**2 - m. Let c(x) = p(x) - 3*u(x). Let f be c(l). Is 23 at least as big as f?
False
Suppose 5*n = 20, 4*q = -5*n - 407 - 341. Is -183 >= q?
True
Let n(c) = 2*c**3 + 134*c**2 - 134*c + 135. Let u be n(-68). Let q = 11808340/1053 - 11214. Is u > q?
False
Let b be 348/255*8/6*(-100)/(-160). Are 0.1 and b equal?
False
Suppose 5*k + 4924 = 21*w - 20*w, -w + 3*k = -4914. Is w greater than or equal to 4897?
True
Let p be (42/(-56)*2/(-15))/(2064/(-180)). Which is greater: 1 or p?
1
Let r be (7/35)/((-6)/(-147)). Let k = 11/2 - r. Let a = 324/5 - 65. Is a bigger than k?
False
Let r = 42.94 + -43. Let s be 9 + (-423)/45 - 3/(-20). Which is smaller: r or s?
s
Suppose -5*u = 4*j - 1, -2*u - 3*j - 2*j = 3. Which is bigger: u or 3/1759?
u
Let s = -6103/12 - -1519/3. Which is greater: s or 857?
857
Let m = -127 - 1. Let q be 47/4 + 8/m*12. Which is smaller: -5 or q?
-5
Suppose 5*l - 4*q = -58, 2*q - q = 5*l + 52. Let j be (-4)/l + 30793/2205. Let z = -99/7 + j. Which is smaller: 1/3 or z?
z
Suppose 723*f - 10 = 720*f + u, f + 6 = -2*u. Is -3/83 >= f?
False
Suppose 3*x - 36627 = -3*p, -x - 40*p = -41*p - 12213. Which is greater: x or 2?
x
Let j = 774 + -500. Let z = j + -274. Is -2/521 smaller than z?
True
Suppose -2*d = -3*u - 16, 3*u = 2*u - 4. Suppose -s = -d*s - 3. Let p be (2 + s)*2*3/(-42). Which is smaller: 0 or p?
0
Suppose 5*b - 32*i = -26*i + 2997, 0 = -4*b + 3*i + 2412. Is b > 4264/7?
False
Let l = 241549/3833349 + -82/1299. Which is greater: l or -1?
l
Let d be (-2)/11 - ((-177382)/341 + -7). Is 512 equal to d?
False
Let g = -2426 + 2425.9. Which is smaller: g or 307?
g
Suppose -137020 = 87*r + 72563. Which is greater: r or -2410?
r
Let b be 4/(-14) - (-68936)/241962. Let o = b - 49342/46911. Which is greater: o or 0?
0
Let t = -30973.986 - -30932. Let n = t - -42. Let x = n + 0.086. Which is bigger: -1.8 or x?
x
Let k = -39 + 126. Let b be 4/6 + (-55)/k. Suppose -265*m + 5*t - 72 = -262*m, -2*m - 73 = -5*t. Which is greater: b or m?
m
Let l be (-1)/(-3) + 1512822/(-4005). Which is greater: -378 or l?
l
Let v(q) = -q**3 - 77*q**2 - 7*q - 648. Let k be v(-77). Is -761/7 equal to k?
False
Let i = -38606/171 - -2030/9. Is i > 268?
False
Suppose -4*d = 20, -9*d - 49 = -n - 5*d. Let o = n + -20. Let l be 14/6*(4 - 1). Which is smaller: l or o?
l
Let o = -173729 - -3129101/18. Let r = -110 + o. Suppose g + 9 = -8*g. Which is greater: r or g?
r
Suppose 59*f = 26346 + 18612. Do f and 761 have the same value?
False
Let q be (-18)/(-2) - (-6 - (-37203)/2481). Which is greater: -1 or q?
q
Let m = 37.3 - 35. Let w = -246 - -236. Let d = w + 9. Is m > d?
True
Let s(u) = -7*u - 47. Let c be s(-5). Let k = 26 - c. Let l be (-24)/(-30)*5*10. Which is bigger: k or l?
l
Let d be 103680/(-896) + 2/(-7). Which is smaller: d or -9/4?
d
Let r = 4454 + -3804. Is r at least as big as 652?
False
Let p = -3 - -1. Let c(u) = -u**3 + 22*u**2 + 24*u - 16. Let d be c(23). Suppose -2 = -h - 4*o, -47 = d*h - 2*h + o. Is p at least h?
True
Let h(q) = -30*q - 66. Let k = 551 + -564. Let j be h(k). Is j greater than or equal to 326?
False
Let o be 3 - (1 + (-164)/12). Suppose 75 = 148*z - 143*z. Is z smaller than o?
True
Let z(a) = -a**3 + 2*a**2 + 5*a - 6. Let g be z(3). Does g = -1/31?
False
Let l be (1/(60/6342))/(6/(-10)). Let z = l + 482/3. Do 0.2 and z have the same value?
False
Suppose -18 = -3*i + 3. Let l be (34/(-4) + 0)*14/i. Let o(y) = -4*y**2 - 2*y - 6. Let q be o(-2). Do q and l have different values?
True
Let h(b) = b**2 + 44*b + 262. Let t be h(-11). Which is greater: -108 or t?
t
Let v(i) be the first derivative of -i**4/4 + 16*i**3/3 + 15*i**2/2 + 16*i - 1. Let b be v(17). Let g be ((-2)/18)/(60/b). Which is smaller: g or 0?
0
Suppose 23*v - 290 = -5649. Let c = v + 19342/83. Which is smaller: c or -1?
-1
Let m be (520/(-70) + 7)*49. Is m at most -43/2?
False
Let q(y) = -10*y**2 + 3*y + 5. Let p be q(-1). Let j be (33/(-396))/((-2)/p). Which is smaller: j or 1?
j
Suppose -5*f = -18 - 15 + 8. Is 84/19 at most f?
True
Let l = -152246 - -3741445451/24575. Which is smaller: l or -1?
-1
Let c = 91664196335/819 - 111922077. Let h = 242/13 - c. Let t(a) = a**2 + 10*a. Let l be t(-10). Do l and h have the same value?
False
Let q = -2554 - -17876/7. Which is smaller: 26/25 or q?
q
Let l be ((-8)/(-3))/(((-136)/12)/(-17)). Let d be (-8)/l*145/(-60) + 4. Which is bigger: 9 or d?
9
Suppose o + 10 = 3*l - 24, -o = -l + 28. Is o at most as big as 116?
True
Let u = -212959 - -1666830095/7827. Which is bigger: 1 or u?
1
Suppose 9*h - 32*h = 0. Which is greater: 1/2212 or h?
1/2212
Suppose 15*z + 1965 = 20*z. Let p = 392 - z. Which is bigger: p or 2/677?
2/677
Suppose w + 5*z = 142, 5*w = 4*w - 2*z + 130. Let j = 123 - w. Suppose -4*f - s = f - 6, 3*s + 16 = 2*f. Is f at least as big as j?
True
Suppose 0 = -3*c + 4 + 11. Suppose -3*i - 4 = -139. Let b = -39 + i. Is c < b?
True
Let q be ((-16)/(-6))/((-4)/(-30)). Let l(u) = -u**3 - 17*u**2 - 29*u + 10. Let b be l(-15). Let m be ((-2)/(-68))/(b - (-95)/q). Is -1 at least m?
False
Suppose 2*y + i + 56 = -2*i, 0 = -5*y + i - 157. Suppose 3*s + k = 16, -2*k - 3 = -5*k. Which is bigger: y or s?
s
Let v = -343 + 293. Let x = 49.7 + v. Which is smaller: 