. Is n > 1/2?
False
Let g = 2954 - 3108. Which is smaller: -149 or g?
g
Suppose 20*h = 30*h - 30. Suppose h*u + 4*s = 3*s + 21, 4 = -u - 4*s. Which is greater: 4 or u?
u
Let o = 6863/22 - 3426/11. Is -44 smaller than o?
True
Suppose -3*y - 540 = 6*y. Let j be 1 + 4 + (-69 - (-35)/7). Is y < j?
True
Let w be 2/1*31 + 8/(-4). Let t = w - 28. Let d be t/(-72)*(-2)/(-12). Which is smaller: -1 or d?
-1
Let m = -5215 + 5464. Which is greater: m or 254?
254
Let o = 20 - 39. Let h be (o - 7)/((-4)/6). Let u be (22 - 28/7)*5/h. Which is smaller: u or 1?
1
Let k(b) be the third derivative of 2*b**5/15 - b**4/24 + b**3/6 + 7*b**2. Let u be k(1). Suppose -h + 9*h - u = 0. Is -1/55 <= h?
True
Suppose -111*b - 101 = 7225. Is -840/13 at most as big as b?
False
Suppose u - 3 = 8. Let q = 16 - u. Suppose -21 = -n + o - q, n = -o + 14. Is 16 < n?
False
Let k(v) = 6*v + 27. Suppose 11*j - 19 - 300 = 0. Let t = -34 + j. Let n be k(t). Is 8 < n?
False
Let u be 35/(-5)*(0 + -1). Suppose 4*j + j = -w - u, -w = -2*j. Suppose -17 = 7*b + 4. Is b smaller than j?
True
Let j = -3950 - -7899/2. Is -2079 < j?
True
Let s(n) = 4*n - 16 - 19 + 43. Let c be s(-1). Let b be (6/c)/((-6)/8). Is -4 at most as big as b?
True
Let z = -10654/3 - -1743704/491. Suppose -2*d + t = -d - 1, -t + 2 = 2*d. Which is smaller: d or z?
z
Let b = 4.35 - 11.94. Let y = -0.49 - b. Let x = 7.1 - y. Which is smaller: 3/52 or x?
x
Let y = -25 + 20. Let m be (1*2)/(y/(-25)). Let a be m/20 + 0*1/2. Which is greater: 2/21 or a?
a
Let x = -43 + 55. Suppose v = -3*o + 3, -x - 7 = -2*o + 5*v. Let a be (2 - (-21)/(-9))/(o/(-6)). Is 2/3 at least as big as a?
False
Let n = -45 + 46. Let y = -1028/9 + 93602/819. Is y smaller than n?
True
Let y = 1444 + -1015. Is 3002/7 less than or equal to y?
True
Let o = 259 - 772. Let s = -513 - o. Is s less than or equal to -585?
False
Let n be 55167/(-105) + (-1 + 0)*2. Let a = 527 + n. Which is smaller: a or 11?
a
Let r = -9669 + 5020. Is -4649 at most as big as r?
True
Let m be (114/4)/19*(0 - (-4)/(-15)). Is 0.2824 at least as big as m?
True
Suppose -3*s - 13*y = -10*y - 22845, 2*s = 4*y + 15188. Is s bigger than 7610?
False
Let n = -59 - -14. Let x be 4 - -10 - (0 + -6). Let z be n/x*-1*(-3)/(-126). Which is greater: 1 or z?
1
Suppose -3*o + o + 4 = -5*x, -5*x - 4*o + 8 = 0. Let l = -70 + 70. Is l smaller than x?
False
Let f be ((-16)/(-12))/(28/12) + (-12274)/42. Which is bigger: f or -291?
-291
Let b = -647.5 - -493.5. Which is greater: 0.18 or b?
0.18
Suppose -3*j - 2*y - 73 = -4*y, -2*j - 49 = -y. Let q be (-4)/6 - (-10)/30. Which is smaller: j or q?
j
Let p = -306.23 + 308. Let i = p - 8.77. Which is smaller: i or 1?
i
Let o(m) = -m + 5. Let t be o(4). Let a = 795284/215 - 3699. Is a at least t?
False
Let f(h) = 70*h + 1471. Let c be f(-21). Which is smaller: c or -22/601?
-22/601
Let l = 32665 + -6630864/203. Let k = 27/29 - l. Do k and -37 have the same value?
False
Let x = -1818 + 4554. Let p = x + -13739/5. Suppose r = 4*r + 33. Which is bigger: p or r?
r
Suppose 0 = u + 19 - 5. Let z(k) = 2*k**3 - 124*k**2 + 231*k + 517. Let r be z(60). Is u equal to r?
False
Let i(q) = -6*q - 27. Let x be i(-3). Let w be x + 24/(-4) + 15. Which is smaller: 1/301 or w?
w
Let z = -0.149 + -27.751. Let g = z - -26.9. Is g equal to -33/10?
False
Let o = 110/61 + -8837/5002. Let z(l) = -l - 2. Let f be z(-1). Which is smaller: o or f?
f
Suppose -194 = 2*o - 4*o. Let q = o + -41. Let p be 21/24*264/q. Which is bigger: 4 or p?
p
Let u = -16466 + 16466. Is 13/1993 != u?
True
Let a = -809 + 547. Which is bigger: -263 or a?
a
Let m be (7/(-2))/(-1) + 45/30. Suppose -29*s + 28*s + m = 0. Which is greater: s or 47/8?
47/8
Let r(l) be the second derivative of 10*l + 29/2*l**2 + 0 + 2/3*l**3. Let j be r(-10). Which is bigger: -0.4 or j?
-0.4
Let q = -135.2 + 134.9. Is q less than -81?
False
Let q = -4511 + 4548. Are q and 585/16 equal?
False
Let t = -2003 + 1880. Which is bigger: -122 or t?
-122
Let p = 326.04 + -4.04. Let o = p - 307. Which is smaller: 2/3 or o?
2/3
Let u(k) = -k**3 + 24*k**2 + 10*k + 376. Let p be u(25). Is p at most as big as 94/41?
True
Let j = 13 + -12.4. Let s = -1.6 + j. Let h be (-6)/62*2/(-3). Which is smaller: s or h?
s
Let i = 1143/4 - 285. Suppose 0 = -b - 53 + 54. Which is smaller: i or b?
i
Let f = -248927 + 11714255691/47059. Which is smaller: -1 or f?
-1
Let x = 686 + -687. Is x at most as big as -2/21369?
True
Let v = 463 - 437. Let r be -2 + (3 + 389)/4. Suppose 0*q - 3*q - 5*s + r = 0, 4*q - s = 105. Which is smaller: v or q?
v
Let q = 33 - 33. Let p = 119 - 60. Let a = 59.3 - p. Which is bigger: q or a?
a
Let k be (-87)/21 - 2*-1. Let p be 730/18 - 4*(-1)/9. Suppose 18*f + 59 = p. Which is smaller: k or f?
k
Suppose 0 = -8*f + 13*f + 380. Let r = f - -78. Let u be (3 - 19)*2/(-4). Is u <= r?
False
Suppose -196 = -4*s - 2*y, 4*s - 196 = 624*y - 628*y. Let g(i) = 23*i + 2. Let c be g(2). Which is bigger: c or s?
s
Suppose -q = 3*r + 23 - 51, 5*r - 5*q = 40. Is r smaller than 116?
True
Let p = -0.0247 - -6.0247. Which is smaller: p or 43?
p
Suppose 72 = 23*x + x. Suppose 187*q - 184*q = x. Is q greater than or equal to -157?
True
Let c = -195 - 3205. Let b be c/176 + (-4)/22. Which is bigger: -19 or b?
-19
Suppose 128*b + 48*b - 1232 = 0. Does -13/96 = b?
False
Let j(y) = -20*y**3 + 22*y**2 + 116*y - 13. Let s be j(-5). Which is smaller: s or 2455?
2455
Let d be 2/(-4*(-4)/384). Let q(p) = 30 - d - p + 2*p. Let r be q(9). Is -10 equal to r?
False
Let g = -3129 - -3129. Are g and 8/1215 non-equal?
True
Let b be 272/(-102)*6/16. Is b at most -118/127?
True
Let z be (2 + 2 - 4) + (-31)/76. Let t = 9967/532 - z. Are t and 19 non-equal?
True
Let s = -131560 + 1971188/15. Which is bigger: s or -146?
-146
Let i be (-116)/377*(-117)/(-533). Which is smaller: i or 0?
i
Suppose -2 = -5*l + 8, 2*o - 8 = -4*l. Suppose 5*v - 8 = 4*t, -2*t + 2*v - 4 + 0 = o. Is -15/11 smaller than t?
False
Let i = -3 + 11. Suppose i*x = 8 - 1408. Let c be (20/x)/(4/(-30)). Which is smaller: c or 0?
0
Let m be 30/25*(-10)/4. Let h be (-5)/3 + 13/(-3) + 2. Is h equal to m?
False
Let y(r) = -4*r**2 + 270*r - 400. Let v be y(75). Is v less than -2651?
False
Suppose -28*g + 303 = 79. Suppose -f + 21 = -3*i, -f = i - g + 19. Is i <= -8?
True
Let h = 43 - -586. Let j = 628 - h. Let f = 2.4 + 0.6. Are f and j non-equal?
True
Suppose -519 = 46*x - 59. Let t be 4/(-6) - (9 + x). Which is greater: -140 or t?
t
Let x(c) = c**2 + 55*c + 372. Let l be x(-50). Which is greater: l or -12?
l
Let d = -196 - -137. Suppose 2*a - 254 = -40*v + 44*v, 2*v + 4*a + 102 = 0. Which is smaller: v or d?
v
Let a(z) = -z**2 - 8*z + 27. Let s be a(-10). Suppose 0 = 5*t + 90 + 60. Let m be t/(-9) - (-1)/(-3). Is s < m?
False
Let l = -6067 + 6068. Is l at most as big as -26?
False
Suppose g - 3*n = 5, 92*n - 97*n = -3*g + 35. Suppose -63*o + 68*o - 25 = -3*k, g = -3*k + 4*o. Do -2/121 and k have the same value?
False
Let r(p) = 7*p - 50. Let y be r(11). Suppose -23*m = -y*m. Let q = 230 + -235. Which is smaller: m or q?
q
Let g be (-587061)/1782 + 1/2. Let c = g - -329. Are 0.3 and c equal?
False
Let k = 2520.91 - 2521. Which is greater: k or -2/395?
-2/395
Let u = 2540 - 2541. Is u bigger than -2/2983?
False
Let p be (-3)/12*(164 + -164). Do p and -22.87 have the same value?
False
Suppose -263 = -3*u + 337. Suppose -r + u = -6*r. Let s = r + 602/15. Which is greater: 1 or s?
1
Let m = 26 - 38. Suppose 0 = 4*o - 6*o. Suppose o = 10*v + 22 + 108. Do v and m have different values?
True
Let c = 377.9 - 8.9. Let h = -369.4 + c. Which is smaller: h or 114?
h
Let z = -2666 + 2650. Is z < 4/11?
True
Let g = -5.8 - 25.3. Let a = -8.1 - g. Do a and 0 have different values?
True
Let j be ((-10554)/(-126) - 2)/(2/(-6)). Let n = 245 + j. Which is greater: -1/11 or n?
-1/11
Suppose -81 = 10*h - 7*h. Let a = h + 32. Suppose 6*u + 1 + a = 0. Which is smaller: -2/19 or u?
u
Suppose -5*a - 5*d = -60, -7*a + 2*a = -2*d - 46. Suppose -3*o - a = 7*o. Which is smaller: -5/3 or o?
-5/3
Let t = 51/155 - 4/31. Let z be 1506/21 + (-18)/(-63). Is t <= z?
True
Let o be (-8)/(-1) + -6 - -198. Let c = 200 - o. Is -4/143 >= c?
False
Let n be -4 + 0/7 + 5. Is 95 bigger than n?
True
Let n = 44 + -40. Suppose -5*h + n*h + 2 = 0. Let l be 1/h*20/