)/r*(-3)/(-2). Which is bigger: 31/4 or o?
31/4
Let s = 887863/178 - 4988. Let m = 4.9 - 5. Is m bigger than s?
False
Let q = -1507226112 - -173719867219935/115258. Let m = q - 10/341. Is m less than or equal to 0?
True
Suppose -2*a - 4*i - 36 = 0, a - 6 + 38 = 5*i. Let k(f) = -23*f**2 - 14*f + 1 - 14*f + 29*f. Let w be k(-1). Which is smaller: a or w?
w
Let n = 0 + 0.2. Let q = 0.3 - n. Let x be (-38 + 39)/(1 - 2) - -10. Are q and x non-equal?
True
Let s(x) = x**3 - 2*x**2 - 3*x - 1. Let j be s(3). Let g be 9 - ((-513)/(-255) + 12 + -5). Is j at least g?
False
Let u be (-7 - 2) + 3 + -2. Let z be (u/10)/(38/(-95)). Let n be 6/2 + 36/(-42). Is n at most z?
False
Suppose 127*j = 120*j - 350. Let a be (4 + 0)/(-2)*(-2448)/(-96). Is a greater than j?
False
Let w(v) = v**3 + 3*v**2 + 3*v + 3. Let m be w(-2). Suppose -5*s + 4*s = -m. Let a be -6*-6*(-8)/(-528). Which is smaller: s or a?
a
Let y be (-250)/(-4)*616/(-35). Let g be (-380)/y*140105/(-174). Let h = -1669/6 - g. Which is smaller: h or -1?
-1
Let b(h) = -111*h + 2551. Let x be b(16). Which is bigger: x or 772?
x
Let q = -1490 - -1327. Which is greater: -162 or q?
-162
Let g be 166 - (-4 - (-4 - 3/1)). Let y = -164 + g. Is -3/115 not equal to y?
True
Let j = 15585 + -15585. Which is smaller: j or 3/971?
j
Suppose 32*t = 2*f + 28*t + 16, 3*f + 8 = 2*t. Suppose 4*p + 3*z + 47 = f, -2 = p - 4*z + 5. Which is smaller: 8/9 or p?
p
Let m be (-4)/(-74) - (1422/(-79) - (-2407)/37). Suppose -t + 33 = 4*d - 2*t, 35 = 5*d + 5*t. Which is greater: m or d?
d
Suppose 1401*a + 12 = 1398*a. Let l be (-1263)/(-6)*(a - (0 - 2)). Which is bigger: -420 or l?
-420
Let p = 487 + -536.5. Let u = p - -49.74. Are -7 and u unequal?
True
Let n be 16/5*(12 + -7). Let d = n + -17. Let o be 156/(-36) - (-1 - 5/(-3)). Which is bigger: d or o?
d
Let j = 21 + -3. Suppose 0 = 3*o + 12 - j. Let m(z) = z**3 - z**2 - 2*z. Let y be m(o). Which is bigger: y or -2?
y
Let j be 20/36*-3*(-4)/30. Let b = -309 + 295.1. Which is greater: j or b?
j
Let n(p) = -4*p - 8. Let l be n(-5). Let t be l/(-572)*22398/(-27). Let x = 192/11 - t. Which is smaller: x or 0?
0
Let l = 0.017 + 0.783. Is 195 at most as big as l?
False
Let f = 27.952 + 0.048. Let z = 2351/4 - 608. Let o = -20 - z. Which is bigger: o or f?
f
Let r be -9*((-1)/(-11) + (-8)/1056). Is -718 != r?
True
Let i = -39.5755 + -0.9145. Which is smaller: i or -0.2?
i
Let p = 51047 + -18223760/357. Is p bigger than 0?
True
Let o = 2054 + -1070136/521. Let b = o + 5743/3126. Which is smaller: b or 0.01?
0.01
Suppose r - 3*g - 1 = 3*r, 2*r - 23 = 5*g. Let y be -46 - (2 - 0) - (-2 + r). Let t = y + 76. Is t < 26?
False
Let k(q) = -29*q**2 - 46*q - 156. Let j be k(-5). Which is smaller: j or -1949/3?
j
Let u(h) = 2*h**2 - 17*h - 15. Let l(t) = -t**2 + 6*t + 5. Let d(y) = 8*l(y) + 3*u(y). Let q be d(-2). Is -8 at most q?
True
Suppose -4*p + 0*p = 0. Let x = -0.13156 - -12.20456. Let v = 0.073 - x. Is p < v?
False
Let c be (-7 - -29)*(25/(-790) - 0). Which is greater: 0 or c?
0
Let i = 0.953 + -0.548. Let c = i - 108.405. Is c > -2/9?
False
Suppose 4*i + 138 = -34. Suppose -22 = -10*r + 108. Suppose -17 = c + 5*l, 2*c + r = l - 76. Is c != i?
True
Suppose -13*r + 3009 = r + 3*r. Which is greater: r or 181?
181
Let w = -3490 - -342017/98. Let t be (69/(-92))/(6*6/288) - -5. Which is bigger: w or t?
w
Let w be -23 - (27 + (-16081)/65). Which is bigger: w or -0.5?
w
Let l = 122 - 125. Let b(m) = -2*m**2 + 22. Let n be b(l). Let c = 15 - 22. Is c less than or equal to n?
True
Let h(i) = -i**2 + 14*i - 5. Let s be h(9). Let r be 94*(-2)/(-6)*(-60)/s. Is -48 bigger than r?
False
Let m(b) be the third derivative of 7*b**4/24 + 40*b**3/3 - 31*b**2. Let a be m(-20). Is 0 less than or equal to a?
False
Let r = -87.92 - 0.08. Let x = -2812 + 2905. Let u = r + x. Which is greater: u or -1?
u
Let u = -3 + 2. Let c = u - -2. Let b be 40/(-36) - 17422/2529. Is b less than c?
True
Suppose 9707 = -9*y - 14998. Let r = 660/11557 + -31761963/11557. Let z = y - r. Which is smaller: 3 or z?
3
Suppose 50*u = -y + 51*u - 3303, 3*u = 8*y + 26454. Is y greater than or equal to -3308?
False
Let c = 34/67 + -27405/268. Is -101 equal to c?
False
Let o be 7 + (2 + -3)*(3 - 1). Let g be -2*(o + 1416/(-282)). Which is bigger: g or 0?
g
Let f(g) = -3*g - 31. Let w(c) = -c. Let i(z) = -f(z) + 5*w(z). Let t be i(6). Is 14 <= t?
True
Let p(s) = -s**3 + s**2 - 1. Let o be p(-1). Let g be 19 + -4 - o/(-3). Let c = 290 - 276. Which is smaller: g or c?
c
Let b = 4749 - 4751. Is 4.7 <= b?
False
Let a = -1 - -15. Suppose -15*i + a*i + 36 = 0. Suppose -2*g + i = 2. Which is greater: 19 or g?
19
Suppose -152 = -28*w + 67*w - 20*w. Suppose 3*k + k = -56. Let u be 184/(-28) - (-6)/k. Which is smaller: w or u?
w
Let y be 579/(-9)*(-26)/(-39). Which is bigger: y or -44?
y
Let c = 115721/4 + -28930. Which is smaller: 26/17 or c?
c
Let s(g) = g**2 + 33*g - 106. Let d be s(3). Suppose -20 + 28 = d*p. Is p less than or equal to 43?
True
Let h = -108191/92 + 1176. Suppose 7*g + 3*x + 2 = 11*g, 8 = -2*g - 3*x. Which is smaller: g or h?
g
Suppose 23 = -4*g - 5*t + 10*t, 0 = t - 3. Let z be (-16)/g + 0 + 47. Which is greater: z or 56?
56
Let b(q) = -4*q**2 - 38*q - 13. Let z be b(-9). Suppose c + 11 = -3*i - 241, -z*i - c - 422 = 0. Which is smaller: -83 or i?
i
Let f be 20/12*(-4)/42*-93. Let b = -11/7 - f. Is -16 < b?
False
Suppose -2*a = -3*o + 99, 9*o - 6*o - 5*a - 90 = 0. Let k = o - 52. Is -4 at least as big as k?
True
Let w(b) = 591*b - 50. Let p be w(-5). Let a = 1372 + p. Let k = 44083/27 + a. Which is smaller: 0 or k?
k
Let u = -4643 - -18227/4. Which is greater: -87 or u?
u
Let p be (10917/(-15))/((-228)/(-1710)). Is p at most -5458?
True
Suppose -34*q = -23*q + 198. Let s be (-9)/(-6)*q/27. Which is smaller: s or -9/5?
-9/5
Let f be (25/120)/((-4)/540). Does f = -27?
False
Let z be (-18)/((-9576)/(-98210)) - 4/(-38). Let f = 22780539691/218 + -104497704. Let n = f + z. Is -1 > n?
False
Suppose 5*t - 18 - 17 = 0. Let v be 96/(-10)*(2 - t). Suppose -2*d - 2*c = -v, -d = 2*c + 3*c - 16. Is 26 less than or equal to d?
True
Suppose 173*q - 178*q + 4*o = 470, q + 2*o + 108 = 0. Which is smaller: q or -165?
-165
Suppose 0*l + 5*k - 140 = -5*l, 0 = 5*k - 20. Suppose -l*d - 22 = -22*d. Is -19/2 != d?
True
Let u be ((-57)/(-18) - 3)*(-21 - -156)*22. Do u and 495 have different values?
False
Let i(r) = r**3 + 14*r**2 - 4*r + 122. Let x be i(-15). Which is greater: x or -310/7?
x
Let u = -0.02723 + 0.02723. Suppose 3*g = 3*c + 267, 0 = 5*g - 3*c - 290 - 159. Which is bigger: g or u?
g
Let h = -495 - -514. Suppose -9*p + h*p = 8*p. Are p and -4/51 equal?
False
Let n be -1 - 5/(25/84). Let d = n - -2092/115. Is d smaller than 0?
False
Let r = 3124 + 1444. Let m = 4591.97 - r. Let z = 24 - m. Which is greater: z or 0.02?
z
Let f = 268 - 270. Let g(y) = -y**3 + 7*y**2 - 4*y - 14. Let z be g(6). Is f >= z?
True
Suppose 10*o + 2*d = 5*o - 27, -4*o = 5*d + 25. Let i be (24/240)/((-6)/o). Which is smaller: -13 or i?
-13
Let o(b) = 7*b - 34*b + 4*b**2 - 3*b**2 - 102. Let g be o(30). Let p(a) = a**2 + 6*a - 5. Let q be p(-5). Which is smaller: q or g?
g
Let c = -0.03855 + 0.15855. Which is greater: 272/5 or c?
272/5
Let d be (-1*625)/((-1)/2). Let z be 41277/33 + 6 + -6. Let q = d - z. Which is bigger: -2 or q?
q
Let i be ((-7)/(5670/852))/((-2)/10). Is 4 greater than i?
False
Suppose -11*y = -23*y. Let q(m) = -2*m**3 + m**2 + 4*m. Let x be q(y). Which is smaller: x or 3/47?
x
Suppose -46356 + 46528 = -43*r. Suppose -16 = 3*i - 3*q - 4, -i + 6 = 4*q. Is r bigger than i?
False
Let s = -270 + 273.24. Let o = s - 0.04. Let b = -0.2 + 0.1. Is b equal to o?
False
Let p = 2178/19 + -44702/323. Is -23 at least as big as p?
True
Let p(q) = -7*q - 68. Let j be p(-23). Let t = 0.002 + -0.002. Is t less than j?
True
Let n = -2735.7 + 2737. Are n and -2/23 non-equal?
True
Suppose 2*x + 14*x = -12*x - 252. Suppose 0 = 2*c + 4 + 6. Is c at most x?
False
Suppose 5*p - 10 = -450. Which is smaller: p or -89?
-89
Let r = -25329 - -22717. Are r and -2615 unequal?
True
Let j = 10.3 + -1.3. Let x = j + 2. Let r = -16095 + 16094.9. Is r smaller than x?
True
Let m be ((-173527410)/(-8208235))/37 - 1/((-14)/(-8)). Which is smaller: m or 1?
m
Suppose 0 = -45*v - 53*v + 60