be (0/2)/(320 - 319). Are 2/28291 and n equal?
False
Let u(m) = -18*m**2 + 99*m + 188. Let o be u(7). Is 11/1206 < o?
False
Let t = 142 + 359. Let j = 457 - t. Which is greater: j or 3/5?
3/5
Suppose -8572 = -4*v + 4*p, 29*p - 8590 = -4*v + 24*p. Which is smaller: v or 2144?
2144
Let z be 5*1474*((-129)/(-215) - 1/1). Is z at least -2948?
True
Let v be (-1)/((-75)/(-10)) - ((-142986)/(-180) - 7). Is -788 equal to v?
False
Let o = -6905 - -7043. Is o < -10/3?
False
Let v = -435 - -444. Let q be 16/(-6) - (2 - (v - 5)). Which is bigger: 14 or q?
14
Let u = 391 - 387. Let n be -1*u + (776/(-16) - 3). Which is smaller: -57 or n?
-57
Suppose 5*y + 27392 = 3*q - 2050, -4*y - 23544 = -4*q. Which is smaller: y or 2?
y
Let x = -7078 - -7521. Is x greater than or equal to 444?
False
Let b = 11676/55 - 563/22. Is b < 188?
True
Let x = -56896561643799/1133 + 50217640657. Let h = x - 22260. Which is smaller: 0 or h?
0
Let p(l) = l**2 + 22*l + 98. Let k be p(-6). Let z be (-1)/k*(-644)/(-1449). Let f = 0 + 7. Is z > f?
False
Let q be ((-423)/1678887)/(-4*(-15)/7). Are -1 and q nonequal?
True
Let s = -98 + 138. Let m be (-16)/s - (2/(-5) - -2). Let l be (1*m/(-6))/(9/1404). Do l and 53 have the same value?
False
Let w = 337 + -127. Suppose -w = -4*g - 3*g. Let j be 6/(0 + g) - 3/13. Are j and -1 equal?
False
Let m = -4169 + 4170. Which is smaller: 0.1978 or m?
0.1978
Let m = -15327727/13815 - -1448/1535. Let b = 1111 + m. Which is bigger: 2 or b?
b
Let c(d) = -d**3 - 2*d**2 - 26*d - 88. Let r be c(-3). Which is bigger: -16/55 or r?
-16/55
Suppose -3*h = -4*h + 5*r - 104, -2*r + 6 = 0. Let t = -23 - h. Let y = t - 66. Which is smaller: y or 5/7?
y
Let y be 12/10*(-21)/9. Let g = 187 + -170. Let l be (8/(9 - g))/(2/6). Is y bigger than l?
True
Let o = 75264.943 - 75296. Let l = o - -0.057. Which is smaller: 0.2 or l?
l
Let u = -36 - -348. Let d = u - 311. Is d greater than 0?
True
Let b = -10312 - -9551. Is b < 0?
True
Let k be (-3 - (-1686672)/(-281115)) + -3 + 12. Is k < 1?
True
Suppose 2*b - 6*b - u = 397, 0 = -u - 1. Let r be (-66)/b*(-6)/4. Which is smaller: -1/34 or r?
r
Suppose 2*t - 19 = 15. Let a = t - 14. Let c = -9.175 - -0.175. Are a and c equal?
False
Let n = -752 - -755. Suppose -4*s + r = 1134, 2 + 4 = -n*r. Which is greater: s or -1/4?
-1/4
Let g be (-12)/(-5) + (-849690)/354600. Which is bigger: -0.3 or g?
g
Let x = -21 + 45. Let d = 1003/2 + -503. Which is greater: x or d?
x
Let q(x) = 2*x**3 - 40*x**2 + 4*x - 79. Let h be q(20). Which is bigger: 4/2277 or h?
h
Let v be -4 + 6 + -1 - -23. Let z be (-6306)/(-18)*v/14. Let x = z - 602. Is x < -1?
True
Let a = 40 + -31. Suppose a*b = 5*b + 12. Let d be 1 - (-1 + b + -2). Which is smaller: d or 3/4?
3/4
Let h(t) be the third derivative of 2*t**5/15 + 163*t**4/24 + 29*t**3/6 - t**2 + 12*t. Let d be h(-20). Which is greater: -33 or d?
d
Let t = 10.5 + -6. Let o = -4 + t. Let s = 2262 + -2260. Are s and o equal?
False
Let i = 1211.98 - 1212. Which is greater: 1/3 or i?
1/3
Let m(k) = 4*k**2 - k - 1. Let y be m(1). Suppose -u + y*l + 151 = 0, 2*u - l + 10 = 318. Is u at most as big as 156?
True
Suppose 0 = o + 2*o + p + 22, 3*p - 18 = 5*o. Let l be (3/o)/(225/(-18)). Suppose -4*i = -9*i. Which is bigger: l or i?
l
Let l(o) = -28*o**2 - 9*o + 17. Let g(q) = 13*q**2 + 4*q - 8. Let b(s) = -13*g(s) - 6*l(s). Let w be b(-2). Let a = -11 + 7. Is w equal to a?
False
Let m be (1 - -1)/((-20)/(-1070)). Suppose 10*u + m - 237 = 0. Which is smaller: 14/5 or u?
14/5
Suppose -18*t + 26 = -28. Suppose -30 - 11 = t*x + 5*k, -x - 13 = k. Is x bigger than -9?
False
Suppose -5*g = -2*p - 0 - 4, 0 = -4*g - 2*p + 14. Let t = 52377/14420 + -213/103. Let z = 1/28 + t. Is z != g?
True
Let d(p) = -38*p - 377 + 437 + 2*p**2 + 11*p. Let q be d(13). Is q greater than 48?
False
Suppose 3*f = -t + 1880, -11*f + 4*f - 9510 = -5*t. Is t at most as big as 1894?
False
Let w = -5742 + 5742. Which is bigger: 13/24 or w?
13/24
Let t = 2/5187 - 5945/1965873. Which is smaller: t or 0?
t
Let u be (0 - (-34)/(-4))*-4. Let a = -129396 - -129428. Is u smaller than a?
False
Let v be (6/(-24))/((-3)/4). Let x be 1348/22200 - 52/962. Which is smaller: x or v?
x
Let t be -9 + (26 - 16 - 3). Which is smaller: t or -66/131?
t
Let a be ((-4)/(24/166))/((-2)/6). Suppose -255 + 9 = -3*l. Is l less than or equal to a?
True
Let d = -198 + 293. Suppose 11 - d = -12*c. Which is bigger: c or 2/27?
c
Suppose 4*z + d - 37 = 4*d, -3*z = 4*d - 59. Let n = z + -17. Let k be 67/(-24) + 15/120. Which is smaller: k or n?
n
Let d be (1/(-2))/(2/(-8)). Let l be (-1)/d*(2 - 0). Let v = -654198/25 + 26168. Is v at least l?
True
Let t = 38.05 + -0.05. Is t bigger than 26?
True
Let k be 56 - 45 - (-19953)/(-1814). Which is greater: -1 or k?
k
Let l be 65/(-845) - 149*50/(-13). Suppose 38*t + l = 41. Which is bigger: t or -2/25?
-2/25
Suppose 0 = h + 5*w + 24, 2*w = 5*h + 5*w + 208. Let d = h + 49. Suppose 86 = -x + 4*x + d*i, 0 = -5*x + i + 106. Is 20 smaller than x?
True
Let d = 3 + -9. Suppose 2*q = 3*z - 22, -3*q - 7 = 4*z - 2*z. Let f = d - q. Which is greater: -11/8 or f?
f
Let s be (-3 - -4)/((-2)/4). Let t = 2 + s. Suppose -9*c - 77 - 247 = t. Which is smaller: -37 or c?
-37
Suppose 0 = -2*h + 5*h - 9. Let j(b) = 4*b + b**2 + 32825 - 32825. Let x be j(h). Is x smaller than 20?
False
Let r be (15/(-10))/1*2. Let f be 7*(28/(-8) - r)*-10. Let b = -41 + f. Which is bigger: b or -5?
-5
Let r be 6*(2/(-9) + (-92)/72). Let f be (-114)/(-7) - (-6)/(-21). Suppose -2*d = -4*d - f. Which is bigger: r or d?
d
Let g = 87.3 + -91. Let y = 0.83 + 3.07. Let m = y + g. Is 0 < m?
True
Let k(u) = u**2 + 8*u - 9. Let a be k(-9). Let f = a + -1. Let v be (-396)/1620 - ((-58)/10 - -6). Which is greater: v or f?
v
Let v(p) = -2*p**3 + 29*p**2 + 17*p - 32. Let g be v(15). Let j be g*(32/112 - (-382)/(-308)). Which is bigger: 2 or j?
2
Let x = -4282 + 4282. Does x = 7/655?
False
Let k = 78 + -73. Let s(r) = 3*r - 11. Let y be s(k). Suppose -y*v = -5*v - 32. Is v at most -32?
True
Let v = -60 - -53. Let m = -10 - v. Let n = -1.1 - -1.3. Are n and m equal?
False
Suppose 4*s - 3*r = -r + 262, -5*s - 4*r = -295. Let y = s + -61. Suppose y*c = 7*c - 5. Which is smaller: c or 0.032?
0.032
Suppose 11 = -3*t - 7. Let x be (-1)/((-1)/(-1 - -22)). Suppose 2*q = -24*n + 23*n - 13, 3*n - 3*q = -x. Which is bigger: n or t?
t
Let a be 6/(-12)*(-3 - -77)*-5. Which is smaller: 187 or a?
a
Let c = 0.96896 - -0.03104. Which is greater: c or 1193?
1193
Suppose -95*l - 12 + 304 = -183. Are -218.4 and l nonequal?
True
Let x be (12/(-16))/(4/(-272)). Let j = 3 + x. Let d = j - 55. Which is smaller: d or -3/4?
d
Let x = 17560 - 17561. Is x at most as big as 1006/5?
True
Suppose 2*x - 4*h = -14144 + 606, -2*x - 4*h = 13514. Let u = x - -20485/3. Which is smaller: u or 66?
u
Suppose -1025 - 1311 = -16*h. Let r = h - -72. Which is bigger: r or 217?
r
Let v be (-6 - 161/(-69))/(1/21). Let h(t) = -t**2 - 4*t + 19. Let a be h(-12). Is v at least as big as a?
True
Let z = 67 + -67. Suppose -4*x = p - 15, -23 = -5*x - z*p + 3*p. Suppose -5*q = k - 27, x*q - 5*q = -5*k - 21. Is -4 greater than or equal to q?
False
Let f = -12109 - -11792. Are f and -320 non-equal?
True
Suppose -5*z = -3*b - 79, -3*b - 34 = -0*z + 4*z. Let m be b/(-63) - 8/28. Let l be ((-1)/10)/(2/(-4)). Which is smaller: m or l?
m
Let w = 630 - 635. Let q be w + 64/17 + 5. Which is smaller: q or 3?
3
Let q be 6/(-27) - (-464)/144. Suppose -4*z + 4 = u, -1 = q*z - 3*u - 4. Which is greater: 7/44 or z?
z
Let t be 4/1*(-23 + 24). Suppose t*m - 47 = -51. Let d be m*(12/(-8)*2 - -1). Which is smaller: 57 or d?
d
Let a be (-20)/(-60) - ((-12616)/(-9498))/4. Which is bigger: -1 or a?
a
Suppose 2*b + 10 = 0, -10 + 24 = -4*o - 2*b. Let p be (6/(-6))/(o/3). Suppose 24*a - 235 = -23*a. Which is smaller: p or a?
p
Let h(d) = -70*d + 66. Let q be h(1). Let f be ((-16)/20)/q + (-20917)/585. Which is bigger: f or -37?
f
Let f be (-2)/((-88)/74) + ((-5134)/(-374) - 14). Which is smaller: f or 0?
0
Suppose 2*i = -3*i + 5*z + 1030, 5*i - 4*z = 1032. Let f be ((-18)/456)/(2*(-1)/i). Is f < 5?
True
Suppose -3*a - 10 - 5 = 0. Let w be (-3392)/(-48)*3/(-2). Let y = 100 + w. Which is bigger: a or y?
a
Suppose 0 = 2*n - 3*d - 8693, 4*n + 2*d - 17336 = -2*d. Is -2 >= n