5) - -1)*-3. Suppose 91*g + m = 93*g. Let f = 9 + g. Is f at least 61?
True
Let b = 30 - 30. Suppose b = -3*n - 3 - 39. Let l be -3 - ((-4)/n + (-272)/70). Is -3/2 < l?
True
Let r = 1183 - 738. Let s = r + -487. Is -0.03 at least s?
True
Let h = 1002 + -1001.94. Which is smaller: -0.0546 or h?
-0.0546
Let z be (-20 - -22) + (1 - -5). Let x be (-10)/z - 546/(-8). Are x and -0.05 nonequal?
True
Suppose -5*c + 4*f = -41, 2*c - 2*f - 6 = -3*f. Suppose 0 = -2*j + j + c*m - 15, j + 2*m = 6. Is 1/127 at most as big as j?
False
Let u(c) = -c**3 - 7*c**2 - 10*c - 5. Suppose 46*y = 41*y - 30. Let i be u(y). Let q = 56/3 - i. Is 13/4 smaller than q?
False
Let w = -48 - -188. Let i(d) = 3*d**2 + 79*d + 477. Let j be i(-21). Is j greater than w?
True
Suppose -717 = -23*q + 1583. Let c = -65 - 8. Let g = c + q. Is 24 greater than g?
False
Suppose -86*d + 28 = -82*d. Suppose -2*r = -r - 4*y + d, -2 = 2*r - 2*y. Let p be ((-5)/(-15))/(31/3). Which is smaller: r or p?
p
Let a = 3 - 27. Suppose -5*k + u + 11 = 4*u, 4*u + 16 = k. Let i be (-6)/k*(1 + (-5)/15). Is i at least a?
True
Suppose -5*m + 49 = 2*q, -m + 7*q - 3*q = -23. Let k(j) = -5*j + 49. Let a be k(m). Which is smaller: -35/6 or a?
a
Let i = -15 + 124. Let s = i + -98. Let c = s + -10.97. Which is greater: c or 2/5?
2/5
Suppose 0 = 388*f - 91*f - 1051677. Is 3540 at most as big as f?
True
Suppose 0 = 2*n + 3*i - 300, -2*n - i + 300 = -2*i. Let y = 172 - n. Which is bigger: 21 or y?
y
Let s = 1.249 - 0.249. Which is greater: s or 263?
263
Let g = 61.04 - 0.04. Let x = g - 61.6. Let q = 0.312 - 9.312. Is x > q?
True
Suppose 2*p = -5*d + 74942 + 4523, 31812 = 2*d + 6*p. Is 15890 greater than d?
False
Let r(x) = 2*x**3 - 6*x**2 - x - 14. Let y be r(5). Let b = -136 - -198. Let w = b - y. Is w less than -19?
False
Let n = -97050/13 + 7463. Which is greater: n or -3?
n
Let k = -6229 - 4601. Is -10829 at most as big as k?
False
Suppose 4*n + 9 = -k + 18, 4*k - 16 = 4*n. Suppose j = q - 9, -46 = -2*q + k*j - 19. Let o be 8/(-12)*-13*q/4. Which is smaller: o or 12?
12
Let i(s) = s**3 + 9*s**2 + 6*s - 9. Let g be i(-8). Is 15 smaller than g?
False
Let p = -310824 + 2171912/7. Is p at most as big as -552?
False
Let u(x) = -x - 24. Let l be u(-21). Let c be (53 - l)*(51/15 - 3). Let z(p) = p**2 + 10*p + 47. Let h be z(-6). Which is smaller: h or c?
c
Let b = 4606052/25 + -184384. Let i = -142 - b. Let m = 62.38 + -62.08. Is i smaller than m?
True
Let i be -14*1/12 + (269750/60)/(-25). Suppose -195 - 169 = 2*l. Which is greater: i or l?
i
Let u(z) = 11*z**2 - 25*z**2 + 33 - 18*z + 13*z**2. Let o be u(-20). Let l be (o/2 + 2)/(6/(-140)). Which is smaller: l or 34?
34
Let z = 17/11 - 107/55. Let i = 2152.1 + -2152. Is z bigger than i?
False
Let l = 106 - 145. Let d be 76/13 - -3*(-2)/l. Which is greater: 8 or d?
8
Suppose -2*i - 69*d + 72*d = -17, -3*i - 4*d = 17. Is i smaller than -4/17269?
False
Let f(i) = 5*i**2 + 16*i - 20. Let p(a) = -4*a**2 - 16*a + 19. Let u(t) = 5*f(t) + 6*p(t). Let s be u(15). Let k be (-4)/40*2*s. Is k bigger than -7?
True
Let x = -146 - -67. Let k(i) = 180*i + 28541. Let s be k(-159). Is s less than x?
False
Suppose 2*y = -4*i + 46, y - i = -20 + 52. Let p(k) = 13*k - 377. Let g be p(y). Which is smaller: 5/64 or g?
g
Let y = -14 - -18. Let g be y/18 - 183/(-27). Suppose -90 = z - 4*k - 94, -16 = -4*z - 2*k. Which is greater: g or z?
g
Let f = 197 - 189. Suppose -14*c - f = -22. Let a = -87 - -1652/19. Which is smaller: c or a?
a
Let g = -1898/25 + 76. Let n be ((-7)/7)/(1/(-305)). Let h = n + -306. Which is smaller: h or g?
h
Suppose -2224*z - 292 = -1932*z. Suppose 0 = x - 3*x + 26. Which is smaller: x or z?
z
Let f be (0 + 0)/(-4*121/44 + 8). Let z = 11/20 - -33/40. Is f greater than or equal to z?
False
Let j = 4 + -7. Let d be 32/24 + (-55)/3*-5. Let z = -743/8 + d. Is z bigger than j?
True
Suppose -3*v - 5*t + 17 = 0, -5*v = -v - 9*t + 40. Is v at least -2/1675?
False
Let r = 508.42 - 510.42. Suppose 2*c = 4*c + 118. Is r greater than c?
True
Let a be (-3 + 254/50)/((-3180)/150). Which is greater: a or 0?
0
Let w = -699 + 1833/2. Is 219 bigger than w?
True
Let o = -2 + 2.045. Let k = o + -0.045. Is 49 greater than k?
True
Let w = -112 - 148. Let v = -262 - w. Is -60/29 not equal to v?
True
Let w be -2 + -1 + (4 - 3365/25). Let u = w + 134. Which is bigger: 0.53 or u?
0.53
Let w = 1203 - 224989/187. Do -1 and w have the same value?
False
Let u = -211/15 + 67/5. Suppose -8*v = -5*v - 87. Let q = 11 - v. Which is greater: u or q?
u
Suppose -23*q - 355 = -240. Is 3 less than q?
False
Let i be -1*(16*1 - 1). Let c(s) be the first derivative of -s**4/4 + 3*s**3 + 3*s**2 + 24*s - 36. Let w be c(10). Which is smaller: i or w?
w
Suppose -3*y + 4*q = 12 - 0, 5*y + 37 = q. Let g = y - -378. Which is smaller: g or 371?
g
Let g = -651 - -685.24. Let o = g + -34.2. Let u(p) = 2*p + 2. Let z be u(2). Which is greater: o or z?
z
Suppose 2*t = 6, -4*t = -0*d + d - 17. Suppose 2*z + d*q + 0*q = 15, -z - 3*q + 9 = 0. Suppose 0 = r - z*r - 38. Are r and 37 equal?
False
Let x = -298 + 126642/425. Is x equal to 0?
False
Let b be 6/10 - ((-72)/(-20) - 6). Let g be (-4)/(-12) + 35/3. Let r(n) = -n**2 + 11*n + 13. Let z be r(g). Is b equal to z?
False
Suppose -3*f = 34 - 205. Let x = f - 172/3. Which is smaller: -62 or x?
-62
Let h be (-274)/(-12) + ((-33)/(-18))/11. Suppose -h*w = -5*k - 26*w - 1721, 2*w = -2*k - 690. Is k >= -344?
True
Let q = 496 + -493.977. Let k = 760 + -760.023. Let m = q + k. Which is bigger: 0.8 or m?
m
Let s = -86.093 + 85.3. Let t = -3.693 - s. Is 11 less than t?
False
Let y(b) = -b**2 + 108*b - 906. Let o be y(9). Which is bigger: -330 or o?
o
Let p be 4*2/16 - (-9)/(-16). Is p at most as big as -4?
False
Suppose 246*f - 206 = -4*a + 256*f, -20 = -a - 2*f. Are a and 32 nonequal?
True
Let g(a) = -a**3 + 17*a**2 - 94*a + 330. Let o be g(8). Which is smaller: o or 177?
o
Let y = 4471.1 + -4471. Are y and -3/203 equal?
False
Let s = -117 - -224. Let y = 108 - s. Suppose -50 = -7*r - y. Is 32/5 at most r?
True
Suppose b - 10 = 3*o, 4 = -2*o - 0. Suppose u + 4*t - 24 = -t, 0 = b*u - 2*t - 30. Suppose u*d - 4*d + 25 = 0, 4*d = 2*y - 10. Which is bigger: -11 or y?
y
Suppose 5*g - 53690 = 5*v, 47*v - 10708 = 48*v + 5*g. Is -10734 greater than or equal to v?
False
Let y(f) = 5*f**2 - 47*f + 295. Let o be y(6). Which is smaller: o or 195?
o
Suppose 6*k - 286 = -298. Let v be (-26)/13 + (8/(-3))/k. Which is smaller: -46 or v?
-46
Let n(h) = h**3 - 39*h**2 + 77*h - 75. Let u be n(37). Let y = -126 + 306. Suppose f = -4*f + y. Is u smaller than f?
False
Let j = -0.5103 + 0.2703. Which is smaller: j or -4/3?
-4/3
Suppose 2*c + 89*c + 66*c - 20567 = 0. Is c > 657/5?
False
Suppose 0 = 3*k + k - 72. Let q be (-56)/35*-5*55/25. Is q at least as big as k?
False
Suppose 0 = -8*v + v + 140. Suppose 0*n - 64 = -3*n - 2*x, -4*x + v = 0. Suppose 5*h - 5*g = 10, -3*h - 4*g - n = g. Is -10/17 < h?
False
Let y = 106.048 + -1.048. Is y > 10?
True
Let k be -2 + (3 + 3)*-2. Let x = 17 + k. Let u be (-1 + x)*(-9)/117. Which is bigger: u or 0?
0
Let c be 26 + 1 - (1 - -3). Let y be 1/c*(-4)/(-38). Let f = -860/3059 - y. Is f less than -4?
False
Let c(g) = g - 1. Let a(z) = 192. Let p(x) = -a(x) - 32*c(x). Let w be p(-5). Is 5/29 equal to w?
False
Suppose 5*t + 117 = -4*p, -t - 2*p = -p + 24. Let u be 4 - 2 - (1 + t). Suppose -5*i + 95 = -15. Is u != i?
False
Let j be ((-4345)/(-15) - -21)*(-15)/(-2). Which is bigger: 2332 or j?
2332
Let n = 30111/1796 + -7/449. Let w = n + -331/20. Which is greater: w or -1?
w
Let m = -3361 + 3399. Which is greater: m or 5/4?
m
Suppose r + r = 19 - 17. Is -1/5520 greater than r?
False
Let j = 6967 + -6913. Are 15 and j nonequal?
True
Let k(n) = -n**3 + 19*n**2 - 37*n + 1. Let q be k(11). Let r = 578 - q. Let l = -1 + 2. Which is bigger: l or r?
r
Suppose 4*u = -3*g - 39 + 130, 3*u + 52 = g. Suppose 0 = -z - 2*t + g, 0*t - 5*t - 185 = -5*z. Is 38 > z?
True
Suppose 3*l = 3*v - 9, 14 + 3 = -4*l + 5*v. Is 48/23 != l?
True
Suppose 5*m = 20, -o + 10*m + 769 = 5*m. Which is bigger: 796 or o?
796
Let r = 62435 + -590385361/9456. Is r at most as big as -1?
False
Let x be 2 + (-33)/9 - -2. Let c = -4236 - -4215. Which is greater: x or c?
x
Suppose -3*j - 15 = 0, 3*j + 4 = -3*z + 1. 