 Let v = 164 + -163. Is z bigger than v?
False
Let y = 9951/8 - 41625001/33464. Is 0 at most as big as y?
True
Let w = 247 + -249. Let k be 2/7 + (w - (-159)/105). Is k < 2/47?
True
Let t be 1/(-66) - (-36)/198. Suppose -5*c - 30 = 5*c. Let l be (c - -5)/((-3)/(-2)) - 2. Is l less than or equal to t?
True
Suppose l = -5*g + 3*g + 46, 3*l + 5*g - 133 = 0. Let z = 24 - l. Let w be z/9 - 3/(-9). Is 2/23 greater than w?
True
Let v(i) = 11*i**2 - 16*i + 2. Let c be v(7). Suppose 3*p + 2*q = 5*p - 866, 0 = p + 3*q - c. Which is bigger: -1/2 or p?
p
Let f(l) = -106*l + 48. Let d be f(1). Is -72 smaller than d?
True
Let j be 2/(-10) - (-12)/(-20)*223. Let o = j - -99. Let b = o + 40. Is 50/9 greater than b?
True
Let l(k) = -2*k**2 - 21*k - 827. Let h be l(-33). Do h and -2311 have the same value?
False
Let d(l) = -l - 1. Let o(h) = -17*h - 52. Let s(k) = 4*d(k) - o(k). Let p be s(-5). Let i(u) = -u**3 - u**2 + u. Let n be i(1). Is n at least p?
True
Let v = 212 - 220. Let s(q) = 5*q**2 - 59*q - 97. Let o(f) = 2*f**2 - 20*f - 32. Let z(n) = -11*o(n) + 4*s(n). Let h be z(v). Is h smaller than -34?
True
Let w = 938630/9 - 104117. Let z = 175 - w. Let p = -7.06 - -7. Is p greater than z?
True
Let y = -41.89 + 84.83. Let z = y - 43. Let l = 2.94 - z. Is 2 at least l?
False
Suppose 0*p + 4*p = 3*t - 71, -97 = -5*t - 4*p. Let v be 9/152 - t/56. Let y = v + -47/152. Is 0 at least as big as y?
True
Let u = -0.13 + 0.4. Let t = -1.05 - -0.95. Let h = u + t. Is h equal to -0.1?
False
Let b be ((-3)/15)/(3692/(-1775)). Do 0 and b have the same value?
False
Let c(h) = 44*h**2 + 2*h - 6. Let d be c(4). Suppose -106 - d = 28*k. Which is smaller: -30 or k?
-30
Let i = -2/3451 - -1364/652239. Does i = 0?
False
Suppose 0 = -2*r + 251 - 241. Let s be 21/6*(r - 3). Is s greater than or equal to 2?
True
Let w = 19143 + -19342. Is -191 < w?
False
Suppose 4*j - 2*q = 14, j + 21 = -4*q + q. Is j bigger than -2/16345?
True
Let t = -161.94 + 162. Let l = -16.6 - -0.6. Let m = l - -12. Which is greater: m or t?
t
Let i be (-6)/(-9)*(-12)/(-2). Let r be 38/i - 1/(-2). Suppose -2*a - 3*g + 27 = 0, -4 = 4*a - 4*g - 28. Is r bigger than a?
True
Let o = 13 - 19. Let n(f) = -5*f - 32. Let i be n(o). Let h be 6/i - (1 - 5 - 1). Which is bigger: 1 or h?
h
Let l(y) = 30*y - 9*y + 3*y. Let o be l(1). Let g = -14413 - -14438. Which is bigger: g or o?
g
Suppose -25 = -4*i + x + 2*x, -3*x = -5*i + 29. Suppose -r = -4*c - 24, 0 = -6*c + 2*c - 20. Suppose -r*m + 4 = i. Is m greater than -2/183?
True
Suppose -4*n = 2*k - 270, k + 0*n = n + 129. Let b = 130 - k. Which is greater: 3/41 or b?
3/41
Suppose 5*o - 8*i + 3*i - 325 = 0, -130 = -2*o - i. Let p = 65 - o. Which is smaller: 6/5 or p?
p
Let y be 294/(-105)*(-15)/(-3). Let w(h) = -h - 5. Let a be w(-9). Suppose -a*l + 8 = 16. Which is greater: y or l?
l
Let p(x) = -4202*x + 7. Let r be p(-1). Which is smaller: 4210 or r?
r
Let h be (3888/60 - 8) + (-2)/(-10). Is 61 smaller than h?
False
Let o = 224 - 1129/5. Let s = 1160 - 1159.91. Is s > o?
True
Let p be -2 + -2*((-45)/10 - -2). Suppose -2 = 3*w - 5*s + p, s = 3*w + 25. Is w >= -8?
False
Let g = 2664 - 2608. Which is greater: 455/8 or g?
455/8
Let x(h) = -h**2 - 13*h + 19. Let u be x(-14). Suppose b = 3*c + 139, -6*b + 5*c = -u*b - 139. Which is greater: 140 or b?
140
Suppose 8*v - 3*u = 4*v + 864, 3*u - 840 = -4*v. Which is smaller: v or 214?
v
Let r = 7.7 + -5.5. Let k = 0.5 - r. Let g = k + 1.6. Are g and -0.02 unequal?
True
Suppose o - 130 = 7. Suppose -384 = -3*h + 123*g - 120*g, -4*g + 32 = 0. Is h < o?
True
Let q = 368267/11 + -33685. Which is smaller: -207 or q?
-207
Let b = -78/31 + 14024/5549. Suppose -2*h = -3*v - 18, -67 = 2*h + 2*v - 55. Which is smaller: h or b?
h
Let v = 13013 - 13012.7. Are -945 and v equal?
False
Suppose 0 = d - 6 + 19. Let x(k) = -k**2 - 15*k - 12. Let u be x(d). Suppose -15*p = -98 - 127. Do p and u have different values?
True
Let q be (41/10)/1 - (0 + 5). Suppose 1 = -2018*n + 2017*n. Is n less than q?
True
Let u be 16/24*(-30)/(-4). Suppose -15 = -u*s, 7 = q + 5*s - 12. Let p be (1/q*0)/(-1). Is 8/7 equal to p?
False
Let h be (-88)/(-18) + (-7 - (4 + -5)). Let i = 2 - -1. Let c = -4 + i. Which is greater: h or c?
c
Let t(v) = 5*v**2 + 77*v + 67. Suppose w = -44 + 29. Let p be t(w). Which is smaller: 0.1 or p?
0.1
Let v(h) = -h**2 + h - 18. Let o be v(0). Let i be 1*(12/12)/(o/(-4)). Let u = 70 - 421/6. Do i and u have the same value?
False
Let b = -0.86 - -55.86. Let k = 58.3 - 112.3. Let u = k + b. Is u at least -80?
True
Let d be 2*6/(-21) - (-312845)/455. Are 691 and d equal?
False
Let d(w) = -w**3 - 6*w**2 + 3*w - 2. Let m be d(-6). Let p be 60/50*m/(-6). Let k(t) = -t**3 - t**2 + 2*t + 4. Let s be k(0). Are s and p nonequal?
False
Let d(t) = t**3 - 6*t**2 + 3*t - 6. Let n be d(6). Suppose w - 3*w = -n. Suppose y = w*y. Is -2/115 >= y?
False
Let b(w) = 2947*w - 20630. Let h be b(7). Which is bigger: -15/1211 or h?
-15/1211
Let i be (-114)/(-54) + 7/(-56 - 7). Let y = 99769/113033 - 2/6649. Which is greater: i or y?
i
Suppose -7*o - 34100 = -20*o - 31*o. Let n = 14 - 29. Let k be n/o*2/3. Which is greater: k or 1?
1
Let g = 3774.7 + -3774.9. Which is smaller: -43 or g?
-43
Let o = -4016 - -3746. Are 0.5 and o equal?
False
Let p(i) = 5*i - 3 - i - 4*i**2 + 0 + 13*i. Let x be p(4). Which is smaller: x or 10/31?
10/31
Let h = 1845 + -1845.5. Which is greater: h or -0.157?
-0.157
Suppose -121*f + 476*f = -338*f - 100485. Let a(n) = n**3 - 10*n**2 - 5*n + 3. Let s be a(5). Which is smaller: f or s?
s
Let c = 18076/7 - 560370/217. Suppose -4*p + 5 = p. Is c at most p?
True
Let n(l) be the second derivative of -l**3/6 - l. Let j(z) = 2*z + 16. Let d(u) = j(u) + 3*n(u). Let s be d(8). Which is smaller: s or 9?
s
Suppose 4*t - 36 = -0*t - 2*n, 0 = 3*t - 2*n - 34. Let d be 3 + -8 + 1 - (-13 + 8). Is t bigger than d?
True
Let a(k) = -6*k**3 - 4*k**2 + k + 2. Let j be a(-1). Suppose 2*b - 1376 = -j*z + b, 1368 = 3*z + 3*b. Is z greater than or equal to 459?
True
Let b = 15165 + -15419. Suppose -i = -5*l - 515 - 751, 0 = -2*i - 8. Is b smaller than l?
False
Let d(i) = -i**3 + 30*i**2 - 204*i + 33. Let m be d(19). Is 116 not equal to m?
True
Let f = 1.7 + 1.3. Let y = -5 + f. Let z = 3409 - 3388. Is z at most as big as y?
False
Let r be (2 + -2)/(-1 + 0). Suppose 0 = -4*g + 5*w + 80, -2*g + 13 = 4*w - 27. Let x(u) = u**2 - 25*u + 96. Let k be x(g). Which is greater: r or k?
r
Let w = -2 + 3. Let t be 1/(-10) - (-2 - 282/(-140)). Which is greater: t or w?
w
Suppose 2283 = -5*d + 4*y + 2318, 3*d - 17 = 2*y. Let v be (-52)/6*(-3)/(-48). Which is smaller: d or v?
d
Let v = -23285 + 23286. Is 3/2365 > v?
False
Let h(t) = t**3 + 9*t**2 - 28*t - 18. Let v be h(-11). Let c = -52 + v. Are c and -4 equal?
True
Suppose 0 = -3*f - 3*u + 222, 3*f - 2*u - 204 - 28 = 0. Let y be 132/(-5) - f/(-190). Which is greater: y or -1?
-1
Let t = 8158 - 8158.4. Which is smaller: -576 or t?
-576
Let m be 174*4/8 - -3. Suppose 2*a + 7*a + m = 0. Let x = -57 + 46. Which is bigger: x or a?
a
Let q be 3/((-3)/10) + 9. Which is bigger: 1/5295 or q?
1/5295
Let q be 103/(-309) + -43*2/(-270). Let g = -902629/3470580 + 160/6427. Let u = g + q. Which is smaller: -0.72 or u?
-0.72
Suppose -4*d + 2*t = 620, -6*d - 388 = 5*t + 590. Is -29 at most as big as d?
False
Let m = -662542/29 + 22844. Let j = 731/232 + m. Suppose b + 2 = 0, -9 + 1 = -4*z + 2*b. Which is bigger: z or j?
z
Let w = 27.6 + -46.6. Let x = 17 + 4. Let g = x + w. Which is greater: g or -5?
g
Let n be 134541/27783*19/23 + -4. Which is smaller: n or 1?
n
Suppose -131*l + 231 = -142*l. Are -30 and l unequal?
True
Let h be (-8)/(8 + -12) + 1*3. Suppose 12 = 5*u - 4*i, u - h*i + 4 - 19 = 0. Is -10/29 greater than u?
False
Let n be ((-11)/(-22)*-4)/((-8)/16). Suppose 2*j + 0*j = -4, -4*j - 20 = -2*b. Which is smaller: b or n?
n
Let x = -69.97 + 6.47. Let k = x + 66.4. Is k <= 0.03?
False
Let u(c) = c**2 - 9*c + 6. Let y be u(4). Let o = 4 + y. Let w be (-680)/(-25) + 2/o. Is 27 < w?
False
Let u = -2.31 - -32.71. Let s be -6 - 18/27*150/(-16). Are s and u unequal?
True
Let q be 6/((2/1)/((-15)/3)). Let m be (-417)/q - (3/(-15) - 0). Which is bigger: 2 or m?
m
Let b(o) be the first derivative of -3*o**2 - 10*o - o**2 + 22*o + 5*o**2 - 