pose m + f*m = -30. Let l be m/25*(-10)/16. Which is smaller: l or -15?
-15
Let j be 2/(-4) - (-3)/6. Suppose -4*m + 124 = 108. Suppose 2*n = -5*d + 9, 7*n - m*n + 5*d = 11. Is j smaller than n?
True
Let u = -28797 + 26463. Does u = -2331?
False
Let s be (-13)/((-39)/48) - 1/(-2). Suppose 5*g + 4*m = 81, -3*g - m = -0*m - 50. Which is bigger: g or s?
g
Let r be (4 - 9/3)*(-4)/(40/10). Is r at least -24/367?
False
Let d(x) = 11*x**3 - 45*x**2 - 8*x + 51. Let w be d(1). Suppose -5*v - t + 164 = 0, 5*t + 50 = 2*v + 6. Suppose -6*k + v = -2*k. Do k and w have the same value?
False
Let m = -1904 - -915. Let z = m + 1094.936. Let v = z + -106. Which is greater: v or -1?
v
Let c = 366/11 + -6998/209. Which is smaller: -0.065 or c?
c
Let i(r) = 205*r**2 - 632*r - 80. Let d be i(6). Which is greater: d or 3509?
3509
Suppose 114 = 2*j + 116. Let o be j*(-2)/6 - (-10355)/57. Are 181 and o nonequal?
True
Suppose 3*h - 65 = -44. Let a be (h - -13)/(2/5). Let l be (a/(-10))/(3/6). Is l at least -11?
True
Let k(u) = 6 - 15 + u - 9 + 2. Let a be k(17). Which is smaller: -19 or a?
-19
Let j be 11 + (67334/393)/(2/3). Is 286 >= j?
True
Let j = 2275 + -2431977/1069. Is -1 <= j?
True
Let o = 16/5225 - -298234/1572725. Let j = o - 15382/33411. Let q = j + -2/111. Which is smaller: q or 1?
q
Let i = 404 - 398. Let d be (-17235)/(-5715) - i/2. Which is bigger: 1 or d?
1
Let s = -26.7 - -25.88. Let m = -127.9 - -128. Which is greater: s or m?
m
Let v = 222 + -145. Suppose 95 = 5*c - 5*o, -3*o - v = -3*c - 5*o. Let r be (-6)/2 + (28 - 2). Is c less than r?
False
Let q(g) = -32*g - 569. Let r be q(-27). Is r != 293?
True
Let m be ((-103)/(-7) - (-36)/126) + -8 + 7. Are m and 544/41 non-equal?
True
Let p = -4.6091 + -1.2909. Which is smaller: 129 or p?
p
Let k(j) = -3*j**3 - j**2 + 2*j - 2. Let y be k(2). Suppose 11*t + 13*t = -48. Which is smaller: y or t?
y
Let j = -8170 - -8168. Let y be 7/(-28) + (-139)/68. Which is smaller: y or j?
y
Suppose 0 = 83*r - 86*r - 72. Let h be ((-7)/((-28)/r))/(495/(-10)). Is h less than -1?
False
Let s = -2060 - -2324.8. Which is greater: s or -1?
s
Let j be (-1)/1 - (-2)/(-8). Let v be (-270)/25 + 144/6 + -14. Which is smaller: j or v?
j
Let q = 90 + -85. Suppose 5*c = 3*c + q*c. Is c less than or equal to -20/57?
False
Let x = -3965 + 3961. Is x greater than 47?
False
Let f(j) = -3*j + 6. Let v be f(2). Suppose v = c + 22 + 28. Is -49 bigger than c?
True
Let n = -51102/55 - -929. Let j be 5 + (6 - (11 - 0)). Which is smaller: n or j?
n
Suppose 17 - 40 = -3*h + 4*o, 4*h - 2*o = 24. Suppose 2*c + 137 = -0*v - 5*v, -v = h*c + 32. Which is bigger: v or -23?
-23
Suppose 21*o - 1200 = -279*o. Suppose 3 + 6 = 3*c. Which is bigger: o or c?
o
Let b = -691 + 1274. Let x = 577 - b. Which is greater: 6.6 or x?
6.6
Let x = -49969 - -699935/14. Let b = x + -2453/126. Is 7 at most b?
False
Let o = 23950 + -23959. Is -237/26 at least o?
False
Let c be ((-2)/(-8)*6)/(4/680). Let d be 4/(-14) + c/(-210). Let x be (-1)/(-12 + 14 - (-10)/(-6)). Is d greater than or equal to x?
True
Let p(r) = -6*r - 122. Let u be p(-17). Let d be 4/u*(-15)/(-9). Which is greater: d or -27?
d
Suppose 0 = -6*w - 9371 - 7837. Let t be w/780 + (-6)/(-10) + 2. Which is bigger: -2 or t?
t
Let n = 21317/51 - 418. Let b = 137/1785 + n. Which is smaller: -0.2 or b?
-0.2
Let j = 43787/45 + -973. Suppose 2*b + 456 = 5*h, 4*b + 381 = 3*h + 113. Let z = h - 93. Which is bigger: j or z?
j
Let q be -1 + (-14)/(-8) + 143*(-63)/(-308). Which is smaller: 303/10 or q?
q
Let w = 5048 + -5006. Which is smaller: 40 or w?
40
Suppose 75 = 18*g + 7*g. Suppose 2*k = -10, g*u - k - 500 = -3*k. Is u greater than or equal to 169?
True
Let h be 28770/(-28)*13*(-16)/(-104). Which is greater: h or -2060?
h
Let n = 4756 - 4755. Which is smaller: n or 0.2549?
0.2549
Let b be (-336)/((-6)/1) - -7. Which is smaller: 568/9 or b?
b
Let l = 222 + 183. Let s = -407.87 + l. Which is smaller: -1 or s?
s
Let x(c) = c**3 + 4*c**2 - 13*c + 5. Let k be x(-6). Suppose -3 = 12*w - 13*w. Suppose w*i - 7*i = -48. Is k less than or equal to i?
True
Let j be 226/((-31)/124 + ((-9)/60)/1). Are -565 and j equal?
True
Suppose -1163 - 370 = 7*h. Let c = h + 1097/5. Are c and -72 nonequal?
True
Let t = 139 - 55. Let r = -84 + t. Which is greater: 2/445 or r?
2/445
Let g = 19241/51 + -1135/3. Suppose n - 7 = d, 4*n = -3*d - 0*n + 7. Let x be 4/6 - ((-8)/d + -1). Is g greater than x?
False
Let u = 9 + -8.52. Let a = -0.18 + u. Let f = 448 - 445. Are a and f equal?
False
Suppose -2490 = -4*a - 69*o + 71*o, 0 = -4*a + 3*o + 2497. Which is bigger: a or 616?
a
Let s be (9/6)/(27/(-36)*(-10)/(-15)). Let b = 4 - -1. Suppose -3*o = 2*o + 5*p, -b*p = -o. Is o greater than or equal to s?
True
Suppose -87*g = -86*g - 4*j - 521, -3*g + 1584 = -5*j. Are 532 and g equal?
False
Let m = -94.736 + 0.736. Let q = 92 + m. Which is greater: q or -2.9?
q
Let r = 310 - 309. Suppose d + 2*m - 3*m - 2 = 0, 4*d + 3*m = r. Is 8/15 < d?
True
Let n be 4/(-6 + (-304)/(-56)). Let t(y) = y**3 - 8*y**2 + 12*y - 7. Let z be t(5). Which is smaller: z or n?
z
Let a be (-3)/(-378)*402/(-9) + 339/791. Which is bigger: a or -71?
a
Suppose -4*k = 5*t + 4, -6*k - t = -2*k + 4. Suppose 4*m - 64 = -4*m. Let r be (6 - m) + 22/10. Which is greater: r or k?
r
Suppose 3*k - 5*r = 1, 0 = 3*k + 34*r - 33*r + 29. Is k less than 217?
True
Let s = -5649/4 - -638377/452. Let o be 6 - 1/(-7)*0 - 7. Is o less than or equal to s?
True
Let m(v) = v**3 - 35*v**2 - 37*v + 37. Let n be m(36). Let f be ((-38)/5)/n - -8. Which is smaller: 16/35 or f?
f
Suppose 3*t - 35 = 4*t. Let g be 18/12 + t/2. Let m = g + 8. Do m and -5 have different values?
True
Let h = -10 - -12. Suppose -h*w + w = 1. Let t be (2/39)/(999/(-1215) + 9/15). Which is smaller: w or t?
w
Let n = -8.5 + 8.2. Let f(c) = -7*c**2 + 3*c + 4. Let d be f(-1). Which is smaller: n or d?
d
Let w = 4783/51 - 281/3. Let m = 83 + -122. Let h be (-6)/8 + m/(-52). Which is smaller: h or w?
h
Suppose 21430 = 3*w - 4*n, -w - 30*n + 7155 = -33*n. Which is smaller: w or 7133?
7133
Suppose 5*t + 3*j = 6836, -j - 5485 = -4*t + 2*j. Let v = -300011/230 - 2751/46. Let m = t + v. Is -1 at most m?
True
Let f = -175 - -271. Let j = f + -95.1. Let n = 4 - 3. Is j < n?
True
Suppose -5*p + 2*a = 80, -2*a - 88 = 4*p - 24. Let b be ((-12)/(-3))/((-4)/14). Which is smaller: p or b?
p
Let p be -16*((-66)/12 + 2). Let a be p/(-126)*36/(-8). Is -8 greater than or equal to a?
False
Let x = 2926 + -61. Which is smaller: x or 2864?
2864
Let t = -93 + 115. Let i(j) = -j**2 + 19*j + 68. Let d be i(21). Are d and t unequal?
True
Let d = -24066 + 24285. Which is smaller: d or 655/3?
655/3
Let m(k) = -k - 11. Let u be m(-8). Suppose 0 = 2*y - 60 + 144. Let w be 183/y + 2 - 4/28. Is u at least w?
False
Let a be 49/7 - 14 - -1362. Suppose 4*o - 5*b = a, 0 = 2*o - 4*o - b + 681. Are 339 and o nonequal?
True
Let w be 9 - (17 + (-165)/11). Is 12 at most w?
False
Let s = -4670.03159 - -4670. Is 1 greater than s?
True
Let o be (-2 - 3) + 6 + -1. Suppose -6*g = -o*g - 6. Let h = -337/6 + 56. Are g and h unequal?
True
Let t = 1409/10 - 2823/20. Is 5012 < t?
False
Let s = 0.0015 + -3.0015. Is s greater than 2/5?
False
Let s(p) = -209*p + 4456. Let k be s(19). Is 4 greater than k?
False
Let k(f) = -31*f + 80*f + 6 - 29*f - f**2 - 24*f. Let t(z) = -z**2 + 4. Let v be t(-3). Let q be k(v). Is q less than or equal to 6/5?
True
Suppose -2*h = 2*t + 2, -2*h + 0*t + 4*t = 8. Let p be (6 - (h - -6)) + (-50924)/15846. Let a = p + 70/57. Is a less than -1?
False
Let w(o) = o**2 + 11*o - 5. Let l be w(-13). Let i = -56 + l. Let k be 28/i - (-22)/20. Are k and 0 unequal?
True
Let m be (11 - 72793/14)*(-16)/42. Let v = 13822150/6993 - m. Which is greater: 0 or v?
0
Let n = 2 + 4. Suppose 2*h + 4*k = 0, 5*k = -33*h + 34*h. Is n bigger than h?
True
Let i be 8*11/(-44) - 1936*3/6. Which is bigger: -969 or i?
-969
Let a be (12/10*6)/(-19 - 225663/(-11875)). Is 2251 greater than a?
True
Let k be -1 - (-3)/2*6/9. Suppose 3*y + k*y + 4*z - 22 = 0, -z + 4 = 0. Suppose -1 = -y*q - 3. Is q equal to -1/23?
False
Let z be ((-24)/14)/((242/(-77))/(-22)). Suppose 4*p = -p + 105. Suppose p - 60 = 3*t. Which is greater: z or t?
z
Suppose v + 216 - 515 = 5*g, 3*g - 1495 = -5*v. Is v at least as