 s or 710?
710
Suppose 166 + 289 = -3*c - 2*o, 0 = -5*c + 4*o - 729. Which is smaller: 1 or c?
c
Suppose 25 = 14*t - 9*t. Suppose 3*p = -4*l, 0 = -0*l - 3*l + t*p. Is l smaller than -1/15?
False
Let i = -739 + 281. Let t = i + 531. Is 68 >= t?
False
Let g = -1931865/79 + 48907/2. Which is bigger: -1 or g?
g
Suppose 18 - 60 = 2*x. Suppose -141*w - 33 = -152*w. Let g be (4/w)/(14/x). Which is smaller: g or -3/5?
g
Let a = 219 + -215. Suppose 4*m + 4*k + 24 = 0, a*m + 2*k + 20 = -4. Is m smaller than -8?
False
Let b be (4984/10045)/((-22)/40*2). Let a = b + -1/287. Let h = 3 - 2. Which is greater: a or h?
h
Let u = 174598/41 - 4260. Which is smaller: -2 or u?
-2
Suppose 0 = 11*y - 3*y + 16. Let p be (((-132)/16)/(-11))/(-1). Is p at most y?
False
Let q = -8465 + 6094799/720. Which is bigger: 1 or q?
1
Suppose p - 5656470 - 1159343 = -5*c, p - 2*c = 6815827. Let a = p - 184076378/27. Let s = a - -1821. Is s less than or equal to -2/3?
False
Let m = -1/460 - -233/1380. Let w = -137/4 + 37. Which is smaller: w or m?
m
Let q(w) = 18*w - 27. Let i be q(5). Let p = 65 - i. Suppose -4*l - 140 = -p*n, -n - 6*l + 7*l + 72 = 0. Is 74 < n?
False
Suppose -378 = -12*b + 1386. Let i = b + -22. Let l = i + -1126/9. Is 1 equal to l?
False
Let f = 8.92 + -8. Let v = -16953.7 + 16951.7. Which is greater: f or v?
f
Let j be (6/8)/(27/(-139140)). Is j bigger than -3866?
True
Let t(p) = -p**3 + 95*p**2 + 338*p + 294. Let i be t(98). Is 4604 at most as big as i?
True
Let a be (-1)/3*0 - 0. Let v be (-1 + 0 + a)*-1. Let r = 842/71 - 8633/710. Which is smaller: r or v?
r
Let q = -579 + 602. Suppose -62 = 3*l - q. Let d be (-4)/6*-3 + -13. Is d greater than l?
True
Suppose 3*a + l = 379, -626 = 19*a - 24*a + 4*l. Is a <= 120?
False
Let j = -13.49 + 13.7. Let r = -0.14 + j. Which is smaller: r or -4/15?
-4/15
Let m(q) = q**2 - 10*q + 93. Let p be m(11). Which is bigger: 94 or p?
p
Let l = 430 + -416. Suppose 15*t - 3 = l*t - 3*i, -20 = -2*t + i. Suppose -5*s + 2*z + 31 = -28, s - 3 = -4*z. Which is smaller: t or s?
t
Suppose -2*x + w = 7, -4*w - 10 = 5*x - 5*w. Let b = 47 - 44. Let g be (x/(-4))/(b/24*2). Are 0.06 and g nonequal?
True
Let n be (-72)/(-84) - (-17800)/(-56). Which is bigger: -0.3 or n?
-0.3
Let q(k) = k**2 - 98*k - 1442. Let p be q(-13). Is p at most 2/233?
False
Let t = 8.2 - 8.13. Let d = t - -35.93. Let n = 35 - d. Which is smaller: n or -15?
-15
Let z(u) = -4*u + 736. Let n be z(49). Which is greater: 538 or n?
n
Let h be (-41 + 42)/((-1353)/(-6)). Is h less than -6?
False
Let h be 45*(12/(-8))/(6 - 3)*2. Which is smaller: h or -1050/23?
-1050/23
Let z = 4568 + -4569. Is -1229 equal to z?
False
Suppose 51*z + 21571 + 78943 = -192328. Is z at most as big as -5741?
True
Let h = 14603.25 - 14603. Is h less than or equal to -0.176?
False
Suppose 4*u - 184*p + 182*p = 5294, -p = 3*u - 3963. Which is smaller: u or 1325?
u
Let s(j) = j**3 + 43*j**2 - 6*j - 2080. Let h be s(-44). Which is smaller: -3755 or h?
-3755
Let q be (5 + ((-1371195)/36)/15 - -6)/6. Is -421 bigger than q?
True
Let l = 1473 - 1481. Let r = -9 - -12. Suppose 5*y = 5*s + 20, -2*s - r*s - 32 = -y. Which is smaller: s or l?
l
Suppose -n + o + 394 = 0, 2*n - n - 3*o = 402. Suppose 8*d + 2*d + n = 0. Let t = d + 70. Is t at least 31?
True
Let i = 7782 + -7777. Is i at most -124?
False
Let o = 789 + -789. Let r = -70 + 1949/28. Are r and o nonequal?
True
Let m be (-29)/23 + 0 - -1. Suppose -1234 + 257 = k. Let h = k + 977. Which is smaller: h or m?
m
Suppose -11*z = -7*z + 20. Let p be (z + 93/27)*(-6)/(-8). Suppose -2*q + 12*h - 12 = 7*h, 7 = -5*q + h. Is p less than q?
True
Let b = 0.05 + -0.05. Suppose 5*k - 10 = 0, -25*d + 201 = -28*d - 3*k. Is d >= b?
False
Let u = 151 + -170.5. Let d = u - -25.4. Does 1 = d?
False
Let x(h) = h**3 + 12*h**2 + 10*h + 15. Suppose 3*u + 2*u - 8 = 3*v, 2*v = 5*u + 3. Let o be x(v). Which is greater: 27 or o?
27
Let y be 7*(-3)/(-3) + -2. Suppose 5*v = -5*h + 10, 0 = -v - v + 5*h + 32. Suppose 5*r - 2*r = v. Is r less than or equal to y?
True
Suppose 30 = 2*r - 5*i, 4*r - 5*i - 8 - 62 = 0. Let g(u) = -42*u**2 - 11*u - 11. Let z be g(-1). Let x = z + 83/2. Which is bigger: r or x?
r
Let x be ((-4)/(-6))/((-72)/54)*-24. Suppose 6*v - x = 12. Suppose 0 = 10*w - v*w. Which is smaller: w or 14?
w
Let c = 98 + -92. Let z(j) = j**2 - 9*j - 31. Let n be z(c). Is -49 at least n?
True
Suppose -5*v + 47*v = v - 41. Is 2/1831 less than v?
False
Suppose -10*n - 9*n - 12 - 26 = 0. Which is bigger: -95/69 or n?
-95/69
Let f(q) = -q**2 + 25*q - 107. Let c be f(20). Let g be 6/((-6)/(-4) - 0). Suppose 3*i = -g*z - 36, 2*i + 0*i = 5*z - 1. Which is greater: c or i?
c
Let k = -23.07 + 23.17. Is k bigger than 960?
False
Let y be 4/4 + 156 - 4. Let z be y + 46 - (-9)/(0 - 3). Is 196 at least as big as z?
True
Let b = 69 + 154. Let y = -223 + b. Is 8/37 greater than y?
True
Let q = -9948/5 - -1990. Do q and -2388 have different values?
True
Let f be (-11)/(308/20) - 4/14. Is -2/6945 at least as big as f?
True
Let j = -1.3121 + -0.0279. Let z = -5.34 - j. Is z < 12?
True
Let v(t) = -31*t - 1019. Let d be v(43). Is -2353 at most as big as d?
True
Let y = 527 - 14. Let n = -10082573/4320 - -455511/160. Let i = n - y. Is i greater than or equal to 0?
True
Let v(y) = 19*y**2 - 5*y + 4. Let s be v(5). Let i be 3 - (s/150 + 0). Suppose -4*q + 1 = -0*n - 5*n, -5*n - 9 = 4*q. Which is smaller: i or q?
q
Let d be (3 + (-943)/123)/(1/111*-1). Do 507 and d have different values?
True
Let o be (-6169)/(-341) + 1/(-11). Suppose -n - 5*l - 8 = o, -3*n + l = 46. Let v(m) = 2*m - 5. Let g be v(-5). Which is smaller: g or n?
n
Let b be -1957 - (-4 - (-6 + 14)). Is b at most as big as -1946?
False
Let s be 5*((-18)/90)/((-1)/(-14)). Is 94 smaller than s?
False
Let b = -0.086 - 50.914. Let v = b + 50. Let p = -3.15 - -3.2. Is v < p?
True
Suppose 2*k + 3*k + 3 = p, 4*k = p - 2. Let r be k/((-3416)/(-16))*7. Is r greater than 2?
False
Let t(c) = -4*c - 12*c**2 + 20*c + 5 - 3*c - 9*c. Let o be t(-1). Suppose 0 = -3*m - 4*f - 6, 2*m - f - 4*f + 27 = 0. Is m at least o?
True
Let v be (13/((-2639)/28))/(7/4). Let p = v + 8809/1015. Let y(n) = -n + 11. Let i be y(2). Are i and p equal?
False
Let k be 196/2 - (-45)/(-9). Let n = k - 104. Is -16 != n?
True
Let v be 1 + (-2)/3*3 - (0 + -3). Which is smaller: 11 or v?
v
Suppose u + u - 6 = 0. Suppose 0 = -0*n - 3*n + u. Let p = 4307/23779 + -23/553. Which is greater: n or p?
n
Let q be (185/13172)/(3/36). Is q > -1?
True
Let q(z) = -31*z + 109. Let o be q(4). Let a(x) = 11*x - 10. Let y be a(o). Which is bigger: y or -176?
y
Suppose 0 = -540*l + 550*l + 30. Is -120/31 bigger than l?
False
Suppose 4*n = f + 8*n + 24, f - 2*n = 0. Let t be 6/f*1 - (-275)/260. Which is bigger: -2 or t?
t
Let z(p) = 3*p**3 - 49*p**2 - 28*p - 21. Let f be z(17). Let r(m) = 2*m**2 - 7*m + 8. Suppose -3 = -q + 5. Let j be r(q). Are f and j unequal?
True
Let z = -16222 + 16215. Is 20 > z?
True
Let t = 633858 + -15338729744/24199. Let c = t - 3121661/120995. Do c and -27 have different values?
True
Let z = 891/2 + -446. Let d = -1.3 - -1.21. Let s = 0.91 - d. Is z greater than s?
False
Let x = -0.4822 + -154.2878. Let z = x - -155. Let w be 5/30 - (-1)/2. Is w < z?
False
Let p = -10079/17 - -593. Let n be 2 - (13 - -1)/(-1). Suppose a - h + 3*h = -7, n = -a - 5*h. Is a less than p?
True
Suppose -68*x - 318 = -71*x. Suppose -k = -5*u - 28 - 69, -3*u = -5*k + 529. Which is bigger: x or k?
k
Suppose 2 = m - g - 0*g, 5*g + 4 = 2*m. Let r be (m/(-3))/((-30)/(-9)). Suppose 364*s = 346*s. Is r at most s?
True
Suppose 0 = -3*w - 4*t + 37, -t + 9 = -3*w + 26. Let q be (1/7)/(w - (-220)/(-30)). Is q <= 1/7?
True
Suppose 4*o = -3*c + 16, -20*c + 21*c - 5 = -o. Is c greater than or equal to 37/9?
False
Let o(y) = y**3 + y - 1. Let l(k) = 4*k**3 - 4*k**2 + 12*k - 7. Let h(p) = -l(p) + 6*o(p). Let j be h(-3). Let c be 6/9 + 2*j/6. Which is smaller: 1/3 or c?
1/3
Suppose s + 3 - 24 = 0. Let k be (288/(-112))/((-9)/s). Is -0.27 <= k?
True
Suppose -31*u = -28*u - 11304. Let a be u/72*-3*(1 - 2). Which is smaller: 156 or a?
156
Suppose 7*v - 4*v + 7 = n, -2*v = -4*n - 22. Let r be (-21)/14*n/12*-21. Which is smaller: r or -22?
-22
Let w = -9823703/748743 - -1089/83. Which is smaller: 0.1 or w?
w
Let n 