48/165 + (-8 - (-156)/20). Which is greater: f or o?
f
Let a be 8/(-72) + 1 + 23849/(-9). Which is smaller: -2646 or a?
a
Suppose 0 = 10*j - 1681 - 2259. Let z = -353 + j. Suppose o - 3*w - 41 = -10, -o - 2*w + 46 = 0. Which is bigger: z or o?
z
Let z be ((-260)/15)/(-13) - (-4)/6. Suppose -5*q - 4 = b, -q - 4*b - z = -5. Let u be 43/(-21) - 8/28. Are u and q non-equal?
True
Suppose -2*v = -17 + 5. Let n be ((-4)/v + 1)*(-102)/(-34). Let g be 2*2*3/24. Which is smaller: n or g?
g
Let l(y) = y**2 + 8*y + 7. Let d be l(-7). Suppose 4*o - 23 = k, -o + d = -2*k - 11. Suppose -4*h - 28 = 4*m, -3*m - 2*m + o*h = -15. Which is smaller: m or 10?
m
Let a = 17989 + -16176. Is 1815 greater than or equal to a?
True
Let p = 3466 - 3478. Let b = 5/1913 - 177944/13391. Is p at least as big as b?
True
Let c be 11604/42 + -2 + (-7 - (-376)/56). Which is greater: c or 260?
c
Suppose 0 = -3*t - 22*t - 5675. Let r be (-1370)/6 + (-2)/(-6). Is t greater than or equal to r?
True
Let a(i) = 6*i**2 + i + 2. Let t be a(-2). Let k(o) = 3*o**3 + o**2 - o + 6. Let y be k(4). Let c = y + -186. Is t >= c?
True
Let f = -0.257 + -0.423. Is -1/21 greater than or equal to f?
True
Let r be 36/(-10) + 62/(-155) + -11150. Is r bigger than 2/7?
False
Suppose 2*w = -37 + 49. Suppose 3*c - 4*n = 29, -w*n + 3*n = 5*c. Suppose -c = -55*l + 54*l. Is 1 less than l?
True
Let m be 27927/45 - (12/(-10))/3. Suppose -24*n + m = -1155. Which is smaller: n or 73?
73
Let b = 257 + -317. Let l be 2 - (1 - b/65). Is 1 bigger than l?
True
Let f = 31934 - 31934. Which is smaller: f or 7014?
f
Let d(c) = -4*c**2 + 6*c - 15. Let f be d(3). Let h be f/(-44) - (-1)/(-4). Is h greater than or equal to 1?
False
Let p be -1 - 2/((-156)/199). Let d = -1168 - -15166/13. Let h = d + p. Which is smaller: 1/4 or h?
h
Let h = -3383.01 + 3383. Which is bigger: h or 5?
5
Let y = 23 - 26. Let h = y - -7. Let i(n) = 10*n + 25. Let b be i(-2). Which is smaller: b or h?
h
Let i = 258 - 2725768/10565. Is i at most as big as 1?
True
Let v = -959.7 + 922. Let j = v - -41. Let x = j + 0.7. Do 0.3 and x have different values?
True
Suppose -k = -171 + 63. Let h be ((45/k)/5)/((-39)/8). Let x = h + 268/1989. Which is bigger: x or -7?
x
Let s = 1.878 + -0.878. Which is smaller: 4/17 or s?
4/17
Let i = -7568 + 17999. Let x = i + -4391453/421. Is -1 smaller than x?
True
Let a be (-2)/(594/1932 - (-22)/(-77)). Which is bigger: a or -60?
-60
Let t = -118.2 - -118.1338. Which is greater: t or 2?
2
Let b be (-54)/6*6/(-9). Let c = -1047 + 216731/207. Let q = c - 215/828. Which is greater: b or q?
b
Let k be (((-6)/6 - -3)/(3 - 2))/7. Is 3735 < k?
False
Let n = 481 + 7496. Is n > 7976?
True
Let z = -18/83 + 860/4731. Let q(g) = -g**2 + 7*g + 1. Let n be q(7). Does n = z?
False
Let t be ((-32)/80)/(9/15). Let u = 31 - 17. Which is bigger: u or t?
u
Let y be (-28 - -71)*2/(-20). Let k = y + 21/10. Which is smaller: -1 or k?
k
Let d = 0.372 - -0.088. Let g = -1.6 - -1.34. Let n = d + g. Are -1 and n unequal?
True
Let d = 850.89831 + 0.10169. Which is smaller: -0.1 or d?
-0.1
Let i be (-6)/(-1) + (-1020)/153. Which is smaller: 891 or i?
i
Let x = 351.7 - 351.454. Which is greater: -2/9 or x?
x
Let t = 103 - 71. Let r = 31.327 + 0.373. Let v = r - t. Is v less than or equal to 5?
True
Suppose -153*p + d = -158*p + 800, -640 = -4*p - 2*d. Suppose 2*s + 5*m = 349, -m - 4*m - 623 = -4*s. Is p less than s?
True
Let b(k) = 159*k - 27665. Let y be b(174). Let u = -7483 + 209551/28. Which is smaller: y or u?
u
Let s = 12/995 + -5363/362180. Let a be -1*6/(-24)*-20 + 5. Is s <= a?
True
Let a be 126/36*4/7 - -37. Suppose -304*k = -301*k + a. Which is smaller: 3 or k?
k
Let i = 5315.9 - 5540. Let j = i - -224. Is 0.25 bigger than j?
True
Let v be (-2 + 4)*226/(-38). Which is smaller: -12 or v?
-12
Let v be (67/(-227))/((-105)/330) - (-84)/(-98). Which is greater: v or 3?
3
Let h = -2129 - -23351/11. Let w = h - -4830/781. Which is greater: 1 or w?
1
Let t = 260.171 - 260. Let r = t + 6.729. Let q = r - -17.1. Which is smaller: q or 0.2?
0.2
Let o(q) = -10*q - 10*q - 8*q + 26*q - 9*q**2. Let t be o(-21). Let w = t + 19726/5. Which is smaller: 18 or w?
18
Let k = -3307989851298/16549 - -199890619. Let a = k + 1/1273. Which is smaller: -15/7 or a?
-15/7
Let l(b) = b**3 - 2*b**2 - 3*b + 28. Let u be l(0). Suppose 3*k - u*k = 6375. Do k and -254 have different values?
True
Let j(y) = -y**3 + 15*y**2 + 18*y - 24. Let g be j(16). Let l be (g/70)/((-812)/(-70)). Which is smaller: l or 1?
l
Let a(p) = -16*p**2 - 9*p + 45. Let m be a(2). Is m != -45?
True
Let p be 4/(48/28) + 42/63. Let k = 4 + 0. Let h be (p*k/(-96))/(2/(-8)). Which is smaller: 10 or h?
h
Let z be 2/(-12) - 4008/144. Let p be -9 - (-36)/z - 2/(-7). Let o be 7/70*p/(-4). Which is smaller: 55 or o?
o
Let j = -3200 - -3201. Is -4/1323 at most j?
True
Let j = -13.32982 - -606.13682. Let t = j + -593. Which is greater: t or -1?
t
Let x be (-140 - 2) + 10 + -5 + -5. Let m = 427/3 + x. Which is bigger: 0.2 or m?
m
Suppose 3*o = -3*g + 6*o - 159, 4*g + 3*o = -226. Let s = g - -51. Which is smaller: -30/7 or s?
-30/7
Let b = 5819 + -6376. Do b and 4/5 have the same value?
False
Let p = -52935 - -88560251/1673. Which is smaller: p or -1?
-1
Suppose 0 = -7*p - 669 - 437. Is p less than or equal to -149?
True
Let w be ((-7)/56)/(2/1388) + -5 + -1. Does w = -92?
False
Let g be (-1904)/7*7/(5 + 198). Which is smaller: g or -8?
g
Let x = -5.747 - -5.777. Let n = -200 - -623/3. Which is greater: n or x?
n
Let w be (-16)/12*-5*(1 + 2). Let s(c) = 17*c + 2. Suppose -11*i + 9 = -2*i. Let n be s(i). Are n and w non-equal?
True
Let l(p) = -2*p**2 - 31*p - 11. Let j be (20/2)/(8/48*-4). Let o be l(j). Suppose 5*d - 4*w - 79 = 0, 8*w = -o*d + 7*w + 59. Is 11 <= d?
True
Let m = 14 + -13.93. Let t = -3.17 + m. Let b = -3.4 - t. Is b less than -0.01?
True
Let r be ((1/2)/(-1))/(45/15750). Are r and -1939/11 non-equal?
True
Suppose 15 = 3*d - 0*d. Suppose -6*j = 5*f - j - 125, -29 = -f + 3*j. Suppose 0 = -25*i + f*i - 7. Is d less than or equal to i?
True
Suppose 0 = 5*r - 5*w + 3*w + 40139, 8033 = -r + 3*w. Let j = r + 3395423/423. Are 1 and j unequal?
True
Let i(s) = 2*s**3 - 188*s**2 + 1531. Let l be i(94). Is 1531 at least l?
True
Let d be (-23 - 3/(-3))/(-2). Suppose -d*s - 4 = -13*s. Let h(r) = -r**2 - 6*r + 4. Let o be h(-6). Which is bigger: s or o?
o
Suppose 9*y + 102 = 93. Let t = 22.4 + -139.4. Is t at least y?
False
Suppose -1880 = -7*m + 437. Suppose -31 = 12*s - m. Which is bigger: 24 or s?
s
Let u = 0 - -1. Let d(c) = -c**3 + 7*c**2 + 4*c - 18. Let f be d(7). Suppose -h = -5*z + f*z - 50, 0 = -h + 5*z + 10. Is u at most h?
True
Let v(s) be the third derivative of 1/60*s**5 + 0*s - 16*s**2 + 0 - 1/8*s**4 + 0*s**3. Let t be v(0). Which is bigger: t or 9?
9
Let i be 140/560 + ((102725/(-20))/(-7))/1. Suppose 4*j + 1198 = 4130. Which is greater: i or j?
i
Suppose -64*d + 43*d + 21 = 0. Is d > 7079?
False
Let p = 1/51811 - -51808/155433. Are -15257 and p equal?
False
Suppose -7568 = 5*c + 17*b - 13*b, -4*b = c + 1504. Is -1514 bigger than c?
True
Suppose 10*n + 5*n = n + 3*n. Which is smaller: n or -3/1478?
-3/1478
Let j(k) = k**3 + k**2 + k - 1. Let y be j(0). Let w be (y + 2)*(-2 - -7). Let l be 90/75*w/(-11). Is l < -1?
False
Let r = -50.004 + 0.004. Let k = -3452 + 3452. Which is bigger: k or r?
k
Let s = 83 - 40. Let v = 10 - -31. Let z = s - v. Which is greater: 10/7 or z?
z
Let i be (10 + 1)/(-1)*(2 - 3). Suppose 4*y + 161 = i*y. Suppose 3*h + 15 - 1 = 4*s, 4*h = -3*s + y. Is h equal to 2?
True
Let z(o) = 286*o**2 + 2*o + 15. Let s be z(3). Which is greater: s or 2596?
2596
Let p = -1/73585 - 107369/2928756585. Which is bigger: 0 or p?
0
Let g(v) = -21*v - 43. Let q(z) = -21*z - 44. Let h(a) = 4*g(a) - 3*q(a). Let s be h(-2). Which is greater: s or 46/19?
46/19
Let s be (6 - 260/44)*-6. Let m = 29/33 + s. Let i = 2 - 1.9. Is i greater than m?
False
Let f be (66/(-15) + 3 + -3)/10. Suppose 13*w - 15*w = 5*n + 10, w - 2*n = 4. Which is smaller: f or w?
f
Let n = -4524 + 4235. Which is bigger: n or 1?
1
Let q = 2.12 - 359.12. Let r = 357.1 + q. Are r and 70 non-equal?
True
Let d(o) = -5*o**2 - 85*o + 16. Let r be 46/(-552) - 454/24. Let w be d(r). Is -175 >= w?
False
Let q be (-1)/7 + (-17709)/(-