r than s?
True
Suppose -4*p = z + 6504, 4*z - 4916 = -69*p + 72*p. Which is smaller: -3 or p?
p
Let u = -2337 + 2337.2. Which is smaller: 47/14 or u?
u
Let b = -0.35 + 0.2. Let n = -18733 + 18735. Is b less than or equal to n?
True
Let x = 874 + -573. Suppose 5*h = 5*t - 4*t + x, 5*t - 81 = -h. Which is smaller: 60 or h?
60
Let m be 26948/(-36) + ((-3)/(-3) - -2). Let g = 748 + m. Let z = -2 - -4. Is z less than or equal to g?
True
Let m(b) = -2*b**2 - 47*b + 156. Let s be m(-26). Is 406/15 less than or equal to s?
False
Let g be (3 + (4 - 4))*(2 - 1). Let o = g + 0. Suppose -o*b = 4*h - 4*b - 32, -2*b - 1 = h. Which is greater: h or 2?
h
Let b = -71 - -22. Let o be -1*(0 - -2) + -1 + -53. Let g = b - o. Is 6 greater than or equal to g?
False
Let g = -36 - -106/3. Let y(o) = 27*o**2 - o - 2. Let x be y(-1). Which is greater: g or x?
x
Suppose -3*f = 0, -2*f = -8*k + 3*k - 185. Suppose 48 = -5*c + 248. Let a = c + k. Which is bigger: 2 or a?
a
Let h be -5*(47 - 8)*(-1)/15. Suppose m + 0*c - h = c, 5*m = -5*c + 45. Do -2 and m have the same value?
False
Let q = 91 - -108. Let n = q - 201. Which is bigger: 78 or n?
78
Suppose 25*n - 65 = 10. Suppose 2*f + 405 = -f + n*d, 3*f + 373 = -5*d. Are -131 and f equal?
True
Suppose 87*k - 11916 = 21174 - 6729. Is 312 at least k?
True
Suppose -9*w + 32 + 22 = 0. Suppose -6*a = -a + 3*p + 20, 0 = 4*a - 2*p - w. Which is greater: -2/147 or a?
-2/147
Let k(n) = -8*n + 64. Let i be 10 + -4 + -2 - (-4 + 0). Let x be k(i). Is x smaller than 2/201?
True
Let m = 47 + -52. Suppose 11*w = -5*w - 80. Let l be 2*(0 - -25)/w. Is l < m?
True
Let m be (78/(-8))/((-3)/12). Let b be 50 - ((-27)/216 - 194/(-16)). Which is greater: b or m?
m
Let z = -159210.07 + 160144. Let t = z + -934. Are -37 and t unequal?
True
Let t = 1314.6 - 1279.6. Which is smaller: t or 120?
t
Let z(q) = q**3 + 11*q**2 + 30*q + 331. Let k be z(-11). Which is bigger: k or -2/21609?
k
Let d = -0.051 - 0.009. Let x = d - 35.94. Let z = 37 + x. Are z and 23 non-equal?
True
Suppose -j + 17 + 17 = 3*z, 0 = -3*j - 6. Suppose 17*l - z*l + 5 = 0. Let v be (-56)/(-32)*4*l. Do -1 and v have different values?
True
Let t(w) = -2*w**3 + 24*w**2 + w - 19. Let z be t(12). Let g = -125 + 587/5. Which is bigger: g or z?
z
Suppose 0 = 2*y + 2*h + h + 8, 0 = -2*y + 2*h + 12. Suppose 3 = -p, j - 12 = 5*p + y. Let r = j + 2. Which is bigger: r or 0?
r
Let n be 3 - (19 - 8) - 21/(-3). Which is greater: n or 2/767?
2/767
Let s = -22 + 47. Suppose 5*c + s = 2*d + 100, d - 5*c = -25. Let a be (13 - 10) + 156/d. Is a smaller than 1?
True
Let s = -841 + 525. Let v = -313 - s. Which is smaller: -1/4 or v?
-1/4
Let i be ((-214)/8 - 0)*(15 + (-176)/16). Is i greater than -115?
True
Let x(v) = -2*v**2 + 31*v + 98. Suppose 74*l - 54*l - 360 = 0. Let m be x(l). Let h be (-3 - 1)*(-18)/8. Is h > m?
True
Let j = 41275/6 - 6926. Which is bigger: j or -48?
j
Let i = 273.3 + -285. Let x = i - -13. Let f = x - 1.1. Is 0.7 > f?
True
Let x = -73901647/117363 + 11964/19. Which is smaller: x or 0?
x
Suppose 3*g - 187 = -4*j, 9*j = 4*j - 10. Which is smaller: g or 17?
17
Let a be (3 + -6)*-76*1 + -3 + 2. Which is greater: a or 231?
231
Let a = -1.4581 + -1078.5419. Is a less than -2/3?
True
Let k = 4.9 + 86.1. Let b = k - 69. Let c = b - 19. Is 1/11 not equal to c?
True
Let x be 39/(-377)*(-4)/(-18). Let i = -435 + 436. Are x and i non-equal?
True
Let o = -5175 - -4546. Which is greater: -619 or o?
-619
Let l be 552/(-36)*69/13616. Which is smaller: 0 or l?
l
Let z = 91821 - 947684540/10321. Which is greater: z or 0?
z
Let o = -107 + 63. Let d = 42.1 + o. Let j = -2.3 - d. Is 0.7 at most j?
False
Let l = 36.4 + -44.4. Which is bigger: l or 6/67?
6/67
Suppose -48 = 7*p + p. Let v be 1 + p/(18/5). Let u = -68/111 - v. Which is bigger: u or 0?
u
Let y = 32.3 - 34. Let l = -1.24 - y. Let b = -0.26 + l. Which is smaller: 5 or b?
b
Let s(h) = -h**3 - 14*h**2 - 22*h + 19. Let a be s(-12). Which is smaller: 0.2 or a?
a
Let b be (-1 - -1)*(-1)/(-2). Let c(y) = 6*y**3 - 7*y**2 + 4*y + 9. Let z be c(4). Let d = 296 - z. Which is smaller: b or d?
d
Let q = -15144.741 - -15135. Let j = 0.159 - q. Let g = 33.1 + j. Which is bigger: g or -1?
g
Let u = -610 - -645. Let d = 4299.07 - 4334. Let t = d + u. Is 1/7 greater than t?
True
Suppose -32*f + 8093 - 8125 = 0. Let q be ((-30981)/9)/(301/(-3)). Let a = -240/7 + q. Are a and f unequal?
True
Let f be (3/4)/(((-6)/(-10))/((-960)/800)). Which is smaller: 4.1 or f?
f
Let n be -4918*((-350)/(-28))/(-25). Is 2459 greater than n?
False
Let z = -2226 + 3569. Does z = 1344?
False
Let u = -0.0288 + 59.8288. Let d = u + -58.8. Do -29 and d have the same value?
False
Let d(h) = -h**3 + 5*h**2 - 28*h + 86. Let n be d(10). Does n = -4866/7?
False
Let r = 5.91 - 5.5. Let d = 317 + -325. Is r less than or equal to d?
False
Let c be (-62163)/77 - 1*(-5)/(-35). Let h = -808 - c. Let w be (-1)/(-2)*-2*1. Which is bigger: w or h?
h
Let l be 5/(-3) + (-19)/57. Let x be (64/(-80))/(l/748). Let h = x + -298. Which is smaller: 0 or h?
0
Let x = -8 - 9. Let h = x + 32. Let n = -0.01 + -0.09. Which is smaller: h or n?
n
Let k = -115 + 141. Let x(r) be the second derivative of -r**3/6 + 3*r. Let t be x(k). Is t != -25?
True
Let t be (-458)/5*(-38)/76. Suppose -4*z - 5*v + 185 = -4*v, -228 = -5*z + 2*v. Is z >= t?
True
Suppose 4*h + 286 = -u, -5*u + 3*u - 3*h - 547 = 0. Let m = u + 268. Let f = -0.1 - -15.1. Which is smaller: f or m?
m
Let i(u) = -43*u + 508. Let m be i(6). Is m <= -8?
False
Let r = 684 - 680. Suppose 0 = -r*a - 4*s - 180, -3*s - 13 - 30 = a. Is -48 equal to a?
False
Suppose -5*b = 5*c + 20, -3*c = -25 + 34. Let q be (0 + -6)*1/(-2). Let d be 1 - (q - (-12)/(-5)). Is b smaller than d?
True
Let f be (10*2/(-12))/(9/(-27)). Suppose -f*n + 20 = -7*n. Which is smaller: -7 or n?
n
Let a(v) = -2*v - 8. Let k be a(-6). Suppose 0 = 6*d - 157 + 37. Let c be d/(-3 + 8) - (-2 - -1). Is c greater than or equal to k?
True
Let k be -2 - 26*(-8)/4. Let x be (36/30)/(6/k). Suppose 4*s - 3*g = 1, x*g - 5*g + 17 = -s. Is s at least as big as 0.8?
False
Suppose 712 = 2*m + 4*s, 0 = 5*s + 214 - 209. Is 358 greater than m?
False
Let m be (-1 - 0)/(4/4) + -497. Let w = m + 557. Which is greater: 60 or w?
60
Let f = -3724 - -3725. Which is smaller: f or 1/6012?
1/6012
Suppose -m + 5*m = b - 7, -26 = -2*b + 5*m. Suppose 4*q = -25 - b. Let t be (-38)/475 - 1042/100. Is t greater than or equal to q?
True
Let q be ((-72)/(-128))/(-3*1). Suppose 2*f + 10 = 3*s, 3*s - 4*f = 9 - 1. Let v be (0 - s) + 0 - 14/(-4). Which is bigger: v or q?
q
Let t be (-15)/(-27)*(-78)/520. Is -7/11 > t?
False
Let c = -7122 - -6813. Is c at most -287?
True
Let i be (25 + 2)/((-42)/(-4)). Let q(j) be the third derivative of -j**6/30 + j**4/12 - 30*j**2 + j. Let r be q(-1). Which is smaller: i or r?
r
Let j = -0.2359 + 5.2359. Let o = 15.29 + -16.2. Let i = o - -1. Which is smaller: i or j?
i
Let c(h) = 24*h - 208. Let s be c(0). Let w = s + 207. Is 3/8 at least as big as w?
True
Let o = -61 - -65. Let m be (o/(-3) + 1)/(8/(-72)). Suppose 52*n - m = 55*n. Is 1/14 at most as big as n?
False
Let m be -16 + (-188)/2 + -11. Let u be -1*(3 + (-235)/(-2)). Are u and m non-equal?
True
Let d be ((-50)/4)/(((-200)/(-96))/(-5)). Is -3 less than or equal to d?
True
Let l = -2539/531 - -269/59. Suppose 0 = q - 5*a - 23, 2*a + 3*a + 31 = -3*q. Let y = -2 + q. Which is smaller: y or l?
y
Let d = -34/653 - -137633/22202. Is d < -0.2?
False
Suppose 67*s = 714 + 559. Which is greater: s or 29?
29
Let m(w) = -3*w**2 + 28*w + 96. Let j be m(12). Is j greater than or equal to 21/121?
False
Let v = -148/49 + 2326/1127. Which is smaller: 0 or v?
v
Let j = 469215/283 - 1658. Let o = j - 1458/12169. Which is smaller: 0 or o?
o
Let g(h) = -h + 17. Let l be g(5). Suppose -25 = w + l. Let p(t) = 33*t - 4. Let q be p(-1). Are q and w unequal?
False
Let b be (7 - 8) + -4*(-26)/152. Suppose 4*w - 16 = 4. Suppose -1 = -3*h + 7*h - 3*c, w*c + 5 = 0. Is b at most h?
False
Suppose 4*i + 315 = -5*i. Let m = 36 + i. Let y(p) = 2*p**3 - 2*p + 3. Let r be y(m). Which is smaller: 2 or r?
2
Let q = 48.28 - 0.28. Let f = q + 95. Let g = f - 110. Is 2 at least g?
False
Let o be (-9 - -10*(-25)/(-30))*306. Is -9 at most o?
False
Suppose 5*z - 5 = z + 5*c, 4