-57?
False
Let h be (-186)/(-1674) + (-6056)/(-9). Is 675 bigger than h?
True
Let u = 1 - -1. Suppose -90509*v + 89965*v + 7340 = 34982 + 13158. Which is smaller: u or v?
v
Suppose 2*o + 4 = 0, o = -5*z - 10727 + 2875. Is -1/3 > z?
True
Let k(l) = -20*l**3 - 5*l**2 + 8*l + 3. Let x be k(-4). Is 0 at least x?
False
Let g be ((-2760)/(-805))/(2/35) + 4. Do 66 and g have the same value?
False
Let f = -30277/8 - -3785. Which is bigger: f or 13?
13
Suppose 0 = -20*j - 13 + 73. Let a be (12/9)/((42/(-27))/7). Which is bigger: a or j?
j
Let n(w) = -2*w**3 + 5*w**2 - w - 13. Let l be n(4). Suppose 2*j + j = -213. Let m = l - j. Which is bigger: 3 or m?
m
Let r(y) = 2*y**3 + 17*y**2 - 9*y + 30. Let q be r(-9). Which is bigger: 27 or q?
q
Suppose -5*d - 4958 = 3*j, 1803*d = 1806*d - 5*j + 3002. Is -992 > d?
True
Let m = 6.6 + -5.7. Let p = 97.8 + -1.8. Let j = -95 + p. Is m smaller than j?
True
Let k be ((-70)/(-14))/(-54735)*(-12)/(4/2). Which is bigger: k or 0?
k
Let p be -4*(-54618)/456 + (-2)/19. Suppose -4 = -9*c + 7*c, -3*n = -5*c - p. Is n <= 164?
True
Let i = -1205.9 - -1124. Let w = i + 78. Let f = 5.9 + w. Is f greater than or equal to -1?
True
Let t be ((-2)/(-336))/((-4)/(-12)). Let s be (-10)/35 - 10/14. Is s != t?
True
Let x = -1332 + 1538. Which is bigger: x or 203?
x
Let p = 72442/163849575 - 4/17571. Which is smaller: p or 1?
p
Suppose 0 = -2*h + 11*h + 36. Let i(s) = -s + 2. Let r be i(h). Suppose 6*a = -0*a - r. Is 3/16 <= a?
False
Suppose 3*r - d - 125 = 0, -3*r + r - d = -80. Let c = -25 - r. Let q = 71 + c. Which is greater: q or 6?
6
Let g = -476.5024 - -0.5024. Does -5 = g?
False
Let i be 95/15*(-3)/(-1). Let s = i + -27. Let w be s/14 - 365/(-700). Which is smaller: w or 0?
w
Let w = -9.1 + 9.2. Let l = 137.48 - -1.52. Let h = l + -138.977. Which is smaller: h or w?
h
Let d = -148/3 + 21182/429. Is d less than -1?
False
Suppose -30*r + 29*r - 7 = 0, 3*b + 4*r = -253. Is b at least -74?
False
Let k = -64931/8687 - -127/17. Let h = -9224/6643 - k. Suppose u + 3*x = -16 - 0, 3*u = -3*x - 18. Is h > u?
False
Let f be (-9 - -3)*(-2)/4. Suppose -7 = -f*z + 11. Let v(t) = -t + 37. Let b be v(31). Is b < z?
False
Suppose 0 = -2*g + 10*g - 2912. Suppose -4*q - g = 3*v, q + 3*q = -v - 108. Are v and -128 non-equal?
False
Let y be 582/3*((-10)/5)/870. Let h = y - -4/87. Are h and 2/113 non-equal?
True
Suppose 3*v = -2*h + 11, -3*h - 2*h - 2*v = -11. Suppose -541*u + 547*u + 708 = 0. Let p = 10739/91 + u. Is p at least h?
False
Let r = -1/37 - -41/148. Let z = 273 + -1095/4. Is z greater than r?
False
Let r(k) = -78*k - 536. Let p be r(-16). Which is smaller: p or 2132/3?
2132/3
Let p = -25.7 - -157.7. Let r = p + -132. Is -90 at least as big as r?
False
Let i = -7784.1 + 7784. Are -3310 and i non-equal?
True
Let b = -9.15 + -10.85. Which is smaller: b or -292?
-292
Let p(y) = 2 + 42*y**3 + y**2 - 1 - 3*y - 40*y**3. Let o be p(-2). Is o smaller than -4?
True
Let z = -155 - -143. Let q be ((-7)/(28/z))/(6/(-10)). Which is smaller: -3 or q?
q
Let g = 7010 + -91070/13. Are g and 0.02 unequal?
True
Suppose -6*j = -4*i - j + 54, 0 = 4*i - 3*j - 58. Suppose 7*f - 11*f = i. Let w be 50/12 + f + 2/6. Is -5 bigger than w?
False
Suppose -24*x + 20*x + 1294 = -h, -5*x + h = -1618. Let m = 2266/7 - x. Let s(w) = w**2 - w - 1. Let o be s(-1). Is m >= o?
False
Let k = 728 - 350. Let j = -265 + k. Which is smaller: 1 or j?
1
Let l be 3040/15232 + (-4)/16. Suppose 4*v = 4*i + 4, 5*i + 5*v - 3 = 2. Is l equal to i?
False
Let b = 643 + -318. Let k = -282 - -606. Which is smaller: b or k?
k
Suppose 4*m + 166 = 6*m. Suppose -4*h + 48 = 3*c, 4*c + 0*h = h + m. Which is smaller: c or 19?
19
Suppose 21*r = 19*r - 16. Let y be 5/(-2) + (-68)/r. Let n be (6/(-4) + -1)/(3/y). Which is greater: n or -12?
n
Let o be ((392/(-70))/7)/(4/(-280)*4). Let v = 5 - 2. Suppose -o = v*z - 14. Is -2/127 less than z?
True
Suppose 4*a = j + 1, -1 = 2*a + 5*j + 4. Let t = -6.8 + 6.665. Let y = t - -0.135. Is a less than or equal to y?
True
Let o = 8623999/247 + -34915. Which is greater: -1.1 or o?
o
Let t = 8.34 - 12.81. Let b = -4.7 - t. Let z = b - 3.77. Which is greater: 3 or z?
3
Let r(z) = 3*z**2 - 7*z - 8. Let h(q) = -2*q**2 + q + 1. Let g(b) = 6*h(b) + r(b). Let v be g(-2). Which is greater: v or -0.2?
-0.2
Let l be 6/(111/(-20) - -6). Let c = 6.9 - 5.9. Is l less than or equal to c?
False
Let s = 579.65 - 556. Let u = -24 + s. Let r = u + -1.65. Does r = 4?
False
Let z be ((-7)/14)/(235/(-78) + 3). Suppose 2*t + 19 = z. Is t greater than -9?
True
Let m(k) = -3*k - 8. Let t be m(-2). Let n(o) = -2*o**3 - 3*o**2 - o - 1. Let d be n(t). Let y be (10/30)/(d/153). Which is smaller: y or 11?
y
Let c = 10.4 - -41.6. Let z = c + 7. Let i = 59 - z. Which is smaller: i or 13?
i
Suppose 155*p + 187*p = -54*p + 12988800. Which is bigger: p or 32801?
32801
Let p(w) = -313*w**2 + 3437*w - 5. Let b be p(11). Let l(v) = -70*v**2 - v. Let z be l(1). Is b less than z?
False
Let u be 2/(-33) + 2996/26565. Are u and 1 nonequal?
True
Let i(f) = -7*f + 309. Let x be i(-34). Which is greater: x or 551?
551
Suppose 67*j - 65*j = 5*v + 5, -2*v - 3*j = 2. Which is greater: -6/5813 or v?
-6/5813
Let k be -3 - (1 + -1 + -2). Let f = 11397 + -5322397/467. Are k and f equal?
False
Let p(q) = -2*q**2 - 25*q + 13. Let h be p(-13). Suppose 4*i + 4 = h, 3*g = 5*i - 2*i + 3. Which is bigger: g or 7/24?
7/24
Let k = -1333/609 - -4/87. Let f = 1.31 + -3.2. Let a = 0.11 - f. Is a at least k?
True
Let j = 228 + -225. Let f be j/7 + (26540/15645)/(-4). Is -1 at most f?
True
Let z be 0/5 - (-6 + 12)/(-6) - 5. Let o be (-4)/6 + 37/(-3). Let t = 9 + o. Is z >= t?
True
Suppose 4 = 3*z - z, 5*p + 341 = -2*z. Let k = 218 + p. Is 149 <= k?
True
Let q(s) = s**3 - s**2 - 8*s + 2. Let v = -32 + 35. Let f be q(v). Does -0.05 = f?
False
Suppose -7 = -3*h + 8. Suppose -5*t + 2*p + 170 = -158, h*t - p = 324. Suppose 7*l = -5*z + 3*l - t, -4*l - 4 = 0. Which is smaller: z or -10?
z
Suppose 14*h - 4*h = -3*a - 440, h = -2*a - 299. Which is greater: -151 or a?
a
Let n(j) = -2*j + 42. Let w be n(20). Suppose 0 = 8*s - w*s - 30. Let c(k) = 23*k - 19. Let l be c(1). Which is smaller: s or l?
l
Let g(t) = 12*t + 29. Let m be g(9). Let z = 69 + 69. Which is bigger: m or z?
z
Suppose 305*j = 300*j + 2*g - 7, 2 = 2*g. Which is smaller: 34/227 or j?
j
Let g = -114 - -213. Let y = -68 + g. Let t = 13 + y. Is 2/7 less than t?
True
Suppose 2*v = p + 3*p + 8, 2*p + 16*v = 98. Suppose -174 - 41 = -5*s. Which is smaller: s or p?
p
Let q be ((-34)/51)/((-1)/15) + -9. Which is greater: q or -6/385?
q
Let a be 10*(2139/9018 - 6/27). Let r = a - 4483/3173. Which is smaller: -2 or r?
-2
Let j be (((200/(-15))/10)/2)/(56/(-3)). Which is smaller: -3.9 or j?
-3.9
Let f = 4444/351 - -2/351. Let m = f + 14/15. Is m less than or equal to 14?
True
Let y = 104.29 - 104. Let p = y + -0.09. Which is bigger: 1/50 or p?
p
Let p = 6/11 + -19/55. Let r = 1/125 - -172/375. Let h = r + p. Is h smaller than 1?
True
Let s = -958 + 956. Suppose -1 = 2*u + 17. Let r be ((-15)/6*4)/u. Is s greater than r?
False
Let c(h) = h**2 - 186*h + 3125. Let z be c(18). Which is smaller: 28 or z?
28
Let s = 242 + -240. Let d = -68 + 56. Is d at least as big as s?
False
Let g be (-2 + -340)/(106 - 108). Which is smaller: -12 or g?
-12
Let z = -13206 - -13198. Let r = 3 - 6. Which is smaller: z or r?
z
Let y = -159 - -269. Let u be -1*((-20)/y + (-31)/11). Let q be (100/55)/(-1 + u). Which is smaller: 0 or q?
0
Let f be ((-164)/(-28) + -5)*-538. Let l = f - -463. Is 2 smaller than l?
False
Suppose -2*b = -5*i + 6, -5*b = -i - 3*i + 15. Suppose -26*p - 3*t + 50 = -30*p, -2 = -2*p - 3*t. Let n be 6*(-3)/p - (2 - i). Which is smaller: -0.7 or n?
-0.7
Let s be 132/(-15) + 2 - (-2)/(-10). Let t be (105*1)/(-3) + s/7. Which is smaller: t or 2?
t
Let m(o) = -2*o**3 + 6*o**2 + 23*o - 78. Let p be m(4). Is p > 2/59?
False
Let r be 171/(-3) - (1 + 2). Suppose 0 = 3*s + s + 3*v + 41, 4*s + v = -35. Let b be (-12)/s - (-126)/r. Is b at least 1?
False
Let d be (-1318)/1316 + (-1)/(-1). Let q(c) = -3*c**3 - 303*c**2 + 10*c + 1009. Let t be q(-101). Which is smaller: d or t?
t
Let q = -5122 + 5111. Does q = 466?
False
Let s(q) = q**2 + 2*q + 1. Let c be s(-1). Let l = -302 - -67. Let t = l + 