e -4*v + 18 = 3*r, -r + 6*r - 10 = 0. Suppose 0 = -n - 0 - v. Let b be 2 - 2 - n/(-10). Is 0 at least as big as b?
True
Let w = -8 + 8. Suppose -3*n + 1 + 2 = w. Let i = -261 - -785/3. Which is bigger: n or i?
n
Suppose 2*r = -2*y + 16, 5*r = 6*y - 7*y. Let n(c) = -c**3 + 5*c**2 + 4. Let h be n(5). Let b be y/4 - h/8. Is 8/7 equal to b?
False
Let r be 1 + ((-7)/(-9) - 12/(-54)). Let s(p) = -183 + 207 + 0*p - r*p. Let x be s(12). Which is smaller: x or -1/205?
-1/205
Let r be 1 + (-3 - 2364/132). Which is bigger: -21 or r?
r
Let k = 10229/31 + -89135413/270134. Which is smaller: k or 0?
0
Suppose 64 + 148 = r - 2*m, -5*r = -2*m - 1052. Which is greater: r or 1046/5?
r
Let w be ((-3466)/140)/(-1) + 0. Let a = 4/1573 + -14297/55055. Let l = w + a. Do l and 24 have different values?
True
Suppose 4*s - j = -163, 2*s - 40 = -4*j - 144. Let i be (-6)/(-8) + 753/4. Suppose 10 = 2*z, -7*k = -3*k - 5*z + i. Which is bigger: k or s?
k
Let j(h) = -2*h**3 - 147*h**2 + 877*h + 34. Let p be j(6). Which is greater: p or -420?
-420
Let s = 126 - 109. Let p be (-9)/(-2)*(-56)/84 + s. Which is bigger: 16 or p?
16
Let m be (-12675)/(-4625) + (-8)/(-10). Are m and 4 nonequal?
True
Let n = 201 - 197. Let v be (-6244)/588 + n/(-6). Which is bigger: v or -12?
v
Let l(z) = z**2 + 2*z - 3. Let m be l(3). Let o be m/(-10)*(1 + (-52)/12). Suppose o*n - 15 + 19 = 0. Is -5/8 smaller than n?
False
Let q = 695 + -210. Let o = q + -399. Is o >= 85?
True
Let b be -1 + 0/1 + -26. Let s be 3/(-6)*(-10 + -10). Let v be 15*(2 + (-18)/s)*-9. Is b < v?
False
Let v = 5236 + -5196. Is v smaller than 487/12?
True
Let h = 2 - 12. Let u be (148/h)/(8/(-20)). Let q = u - 37. Do q and -1 have the same value?
False
Let i = -439 - -443.51. Let q = i - 3.51. Let o(j) = 2*j**3 - 6*j**2 - 4*j - 6. Let a be o(5). Which is smaller: a or q?
q
Let v = -225 - -228. Suppose 0 = v*j + 26 - 2. Let l(c) = -2*c**2 - c + 2. Let y be l(-2). Is y > j?
True
Suppose -2*f - 3*j + 355 = -8*j, -3*j + 315 = 2*f. Suppose 0*r - f = -11*r. Which is greater: 11 or r?
r
Let t(q) = 2*q + 2. Let j be t(-1). Suppose j = 7*i - 3 - 11. Suppose -5*g - 3 = i. Is -1 greater than or equal to g?
True
Suppose -10*k = -23*k - 78. Let w be (-4)/(-6) - ((-14)/k)/(-7). Does -3/17 = w?
False
Let v(f) = f + 2. Let o = -59 - -94. Let t be ((-50)/o)/5 + 86/7. Let k be v(t). Is k less than 46/3?
True
Let j be (-6)/14 - (8316/2303 - 6 - -2). Which is greater: -1 or j?
j
Let t(z) = z + 4. Let c be t(4). Let a = -162 + 165. Let b be ((-108)/30 + a)/(2/10). Is c at least b?
True
Let p(h) be the second derivative of -h**5/20 - h**4/3 + h**3/2 + 3*h**2 - 21*h. Let b be p(-3). Let o be (-60)/(-42)*(1 + b/(-9)). Which is smaller: o or 4?
o
Suppose -s = -3*z - 467 + 493, 5*s - 23 = -2*z. Is s less than or equal to -3/13777?
False
Let z = -10 + -11. Let v = z - -20.762. Let r = v - -0.038. Which is greater: -0.5 or r?
r
Let s(z) = -z**2 + 54*z + 426. Let n be s(-7). Which is bigger: n or 4/653?
4/653
Let d = -19 - -39. Let l = d - -16. Let y be 69/63 + 32/(-336). Is y less than l?
True
Let w = -1243.4946 + 1243.7. Are w and -1 unequal?
True
Let i = 0.91069 - -0.08931. Which is smaller: 235.1 or i?
i
Let t = -13 - -14. Let g = 9/19 - -225/247. Which is smaller: t or g?
t
Let j be (-8)/(-108) - 424/(-108). Suppose -36 = j*s - 4*g, 5*s + 2*g + 6 = 4*s. Is s at least -17?
True
Let l = 78.88 - 88. Let i = l - -1.12. Let g = 1/28 + -15/28. Are i and g equal?
False
Suppose 20 = 5*p - 10. Let s be p/(-3 - 145/(-45)). Suppose 3*c - 5*k - s = -2*k, 3*c - k = 33. Is 35/3 at least as big as c?
False
Let g = 22498 - 19951. Which is greater: g or 2?
g
Let w be (168/(-112))/((-1)/2). Suppose -s - 30 = -4*b, 2*b + 16 = -5*s - 24. Which is smaller: w or s?
s
Let b(c) = c**2 + 2*c - 25. Let j be b(4). Let s be j/((0 - 1)/(-1)). Let y be (-34)/102*(14/20 - 1). Which is greater: s or y?
y
Let h(l) = 1210 - 1202 - 10*l**2 + 0*l - l. Let t be h(-2). Which is smaller: t or -36?
-36
Let n = 34537/10 + -3458. Which is smaller: -5 or n?
-5
Let s = 0.04945 + 15.95055. Which is smaller: s or -6/67?
-6/67
Let d be (254/(-139))/((-14)/77863). Let t = d + -10163. Is 1 < t?
False
Let u be (-432)/840 - (-12)/294*-7. Are -0.0691 and u unequal?
True
Let u(v) = -10*v + 585. Let p be u(79). Is -212 smaller than p?
True
Let h = 184 + -332. Let r = h + 153.9. Which is smaller: -0.1 or r?
-0.1
Suppose -3*t + 32 = -4*j, 0 = -5*j + 111 - 136. Which is bigger: t or 308/79?
t
Let f(q) = 1004*q + 1119. Let v be f(0). Is 1120 equal to v?
False
Let p(x) = -12*x**2 + 320*x - 194. Let t be p(26). Is t bigger than 36?
False
Let i be (21/(-6) - -3)*-312 + -2. Let u = i - 63. Let l = 90 - u. Which is smaller: l or 1/34?
l
Let a = -458 + 4121/9. Let o be (-3 - (2 + -4))*(-1 + 0). Which is bigger: a or o?
o
Let y be (-13)/(6*4/696). Let h = 361 + y. Which is greater: h or -13?
-13
Let p = -451 - -439. Let h(i) be the second derivative of i**3/6 + 11*i**2/2 - i. Let k be h(p). Which is greater: -1/20 or k?
-1/20
Let s(l) = l**2 - l. Suppose 3*y + 1 + 2 = 0. Let j be s(y). Let h = 6771 - 6776. Is h != j?
True
Let c(o) = 8*o**2 - 14*o + 29. Let p(g) = -10 + 4*g**2 + 14*g - 11*g**2 - 18 + 0. Let z(h) = -6*c(h) - 7*p(h). Let n be z(12). Which is smaller: -20/7 or n?
-20/7
Let v = 8455 - 8468.558. Let q = v - 0.442. Let p = -5 - -10. Is p at least q?
True
Let s be (-959)/4 - (-567)/(-252). Which is smaller: -241 or s?
s
Let t = 0.24 + 45.66. Let u = -46 + t. Which is smaller: u or -2/59?
u
Let c = -12/5 - 91/5. Suppose 3*o - 40 = 5*o. Which is bigger: o or c?
o
Let j = 35.1 + -38. Let h = j - 2.3. Let z = h + 5.2. Is z at most -3?
False
Suppose -3*s + 8*s = -8*s. Suppose s = -2*t - 703 + 387. Is 1 <= t?
False
Let q = -53 + 56. Suppose -q - 6 = -3*t. Suppose -3*k = -4*n + 11 + 9, -t*k = -n + 5. Is 14 greater than k?
True
Let s = 0.181 - -708.819. Which is smaller: 0.1 or s?
0.1
Suppose -l = -3*o - 693, -69*l + 64*l + 3414 = 2*o. Suppose 10*r - 1936 = l. Is r less than 262?
False
Let v = 2040 + -1917. Is 2 greater than v?
False
Suppose 837 - 63 = 30*o - 996. Which is smaller: 58 or o?
58
Suppose -4*z + 14 = -5*i - 2, -2 = 2*z. Let p be (-2090)/948 + i + 6. Let g = 3/79 + p. Is g greater than or equal to -5?
True
Let v = -2.77439 - -2.27439. Suppose -m + 56 = -5*r, 2*r + 3*r + 57 = 2*m. Is v >= r?
True
Suppose -63*h + 11702 = 1622. Which is smaller: 215 or h?
h
Suppose -15*b - 1164 = 366. Let a be b/(-663) - ((-51)/91 - -1). Which is bigger: 2/49 or a?
2/49
Let x = -18684 + 18685. Let k be (-265)/(-55) + (-4)/(-22). Let s(t) = t**3 - 4*t**2 - 4*t - 3. Let c be s(k). Which is smaller: c or x?
x
Let o = -557733/1115 + 2501/5. Which is smaller: o or -2/21?
-2/21
Let n(c) = 12*c - 51. Let u be n(4). Suppose 5*r - 2*r + 27 = 0. Let b be 1*9*u/(r/(-8)). Is -23 at most b?
False
Let j = -4 - -24. Suppose -2*w + j = -4*w - 2*b, 2*b + 38 = -4*w. Let f(c) = 2*c + 1. Let t be f(-5). Is t bigger than w?
False
Let m = 37617.8 + -37618. Which is greater: m or -2.047?
m
Suppose u + 4*b - 78 = 0, 8 = 5*b - 3*b. Let n be u/63 + (-138)/161. Which is bigger: n or 1?
1
Let a be 126/(-336) - (6038/(-16) - 1). Let z be (-6)/(-7 + 4) + 377. Which is smaller: a or z?
a
Let h be (35/(-150))/((-1782)/110). Which is bigger: -1 or h?
h
Let v(g) = -6*g**3 + 2*g**2 - 564*g + 2852. Let x be v(5). Let y(r) = 335*r + 3. Let k be y(-2). Is k at most x?
False
Let c(r) = r**3 + r**2 - r + 131. Let l be c(0). Let w be 3 + -1 + -1 + l. Suppose v - 60 + 15 = -2*q, w = 3*v + 5*q. Is 40 != v?
True
Let b = 4312 - 8625/2. Is 6/1061 equal to b?
False
Let r = -54 + 60. Suppose -5*a = 12*z - 10*z + r, -3*z - 14 = 5*a. Suppose -4*b - 18 = f - 5, 9 = -f - 2*b. Is f at least as big as z?
True
Let l = -89 + 92. Suppose 0*t = -t + l*c + 19, 3*t - 3*c - 45 = 0. Let f = -3536 + 17739/5. Is t <= f?
False
Let o be (96*1)/((-5325)/500). Which is bigger: -9 or o?
-9
Let n = 52 - 541. Let u = n - -488.6. Do -142 and u have different values?
True
Let f be ((-127)/(-889))/(643/(-642) - -1) + 2. Which is greater: -2 or f?
-2
Let l = -24349/5535 - 1/1107. Let t(v) = 6*v + 25. Let y be t(-2). Suppose q - w - w + 14 = 0, -2*q = -w + y. Is q greater than or equal to l?
True
Let f = 7112 - 2681223/377. Is f > 0?
True
Let m = -55 + 50. Let q be (m - -3) + (-9)/(-3). Let 