 t greater than -106?
True
Suppose -39 + 75 = 12*k. Suppose 0 = 5*y + 2*d - 115, -k*d = 4*y - 20 - 65. Suppose -l - 69 = -4*l. Is y <= l?
False
Let h = 847 - 684. Let c = h - 147. Is 15 < c?
True
Suppose -2*y = 4*m - 28, -44 = -y + 5*m - 9. Suppose -19*i - p + 14 = -22*i, -3*i + 4*p - y = 0. Is i bigger than -6?
True
Let j = 0 + 1. Suppose -n - j - 2 = 0. Suppose -2518*m - 8262 - 6846 = 0. Which is smaller: n or m?
m
Let f = 40430 - 40444. Let m = 3 - 4. Which is greater: m or f?
m
Let m = 0.489 - 0.409. Which is bigger: -19 or m?
m
Let q = 47 - 4189. Is -4142 greater than or equal to q?
True
Let b(t) = 3*t**2. Let u be b(1). Let a = u - 2. Let v = 1974663 - 1974664.3. Is a less than v?
False
Let u be 67/100 + 76/950. Are u and -83 equal?
False
Let t = 30 + -16. Let m = -0.429 - 2.571. Is t equal to m?
False
Let t = 10849 - 509905/47. Which is bigger: -52 or t?
t
Let g = 1616 - 1621. Is 7/33 at least as big as g?
True
Suppose 3*o = -l + 11, -6*o - 4*l + 61 - 23 = 0. Is o at least -8/1019?
True
Let i = -45.24 - 24.76. Is i less than or equal to 82?
True
Let k = 13 + 25. Suppose k*y - 2334 = -282. Which is smaller: -0.1 or y?
-0.1
Let k = -26 - -25. Let s = -5335 - -885613/166. Which is greater: s or k?
s
Let w(g) = -2*g + 4. Let x be w(1). Let h be (-9)/(-45)*x/(-6). Let y = 11/75 + h. Is 1 less than or equal to y?
False
Suppose 0 = 2*b + 2 - 18. Let d(v) = v**2 - 8*v + 6. Let r be d(b). Suppose -4*k - 2*m - 24 = 0, 52 = -r*k + 2*k + 5*m. Are -8 and k non-equal?
False
Let q be (-441)/30*32/(-1120). Which is smaller: 1 or q?
q
Let v be -375 + ((-64)/8 - -9). Let z = v - -373. Is -3/560 greater than z?
True
Let n(b) = -224*b + 2460. Let j be n(11). Which is bigger: -374 or j?
j
Let l = 5/779 - -45167/2337. Suppose 5*y - m - 97 = 0, -2*y + 3*m = -3*y + 13. Which is smaller: y or l?
y
Let b = -91 + 43. Let m = 530/11 + b. Which is smaller: m or -5.2?
-5.2
Let k(m) = 2*m**2 + 48*m + 361. Let j be k(-9). Which is greater: j or -0.04?
j
Let h = -46924 + 46837.9. Which is bigger: h or 2/17?
2/17
Let c = -274.3 + 274.157. Which is smaller: c or 29?
c
Suppose 2*o = -5*z + 800, -3*z = -4*o + 2*z + 1600. Suppose -o = -5*v + v. Let g = 67 - v. Is -33 < g?
False
Let i(m) = -17*m + 172. Let n be i(17). Let t be (-18)/n + 3412/(-21840). Which is smaller: -1 or t?
-1
Let b be (527934/65987 - -3) + -11. Is b smaller than -1?
False
Let o be 98/32*6726/477. Let u = 61/318 + o. Let s = u - 43. Which is smaller: 0 or s?
0
Let y = -51.2 + 13.52. Let u = y + -4.22. Let v = u + 42. Is v greater than 2?
False
Let g = 2216 - 1347. Which is greater: 865 or g?
g
Suppose 2*g = 4*w - 6, 424 - 433 = w + 3*g. Is 4/111 != w?
True
Let q = 231615/14 + -16545. Is -63 smaller than q?
True
Let n = -14016 + 14016. Let b be (6/(-33))/((-10)/12). Which is bigger: b or n?
b
Let p be (165/(-10) + 16)/(2 + (-27)/6). Are -45.12 and p equal?
False
Let m = 4101.041 + -4091. Let w = m - 0.041. Let y = w - 9.95. Is 3 greater than y?
True
Let t(k) = k**3 + k**2 + k - 4. Let c(l) = -6*l + 85. Let b be c(15). Let n be t(b). Is n smaller than -109?
False
Let q(k) = -k**2 - 6*k - 3. Let o be q(-3). Let i(w) = -2*w**2 - 17*w + 10. Let l be i(-8). Suppose 11*b - l = 2*b. Which is smaller: o or b?
b
Let g(w) = 4*w**3 - 4*w**2 - 5*w + 4. Let f be g(4). Let m be (f/286)/(-3 - -2). Is m smaller than 0.01?
True
Let c be ((-3675)/581 + 7)*36/16. Which is bigger: c or 2?
2
Let a(l) = -69*l - 5031. Let w be a(-75). Is w less than 140?
False
Let m = 840 + -822. Let n be ((-15)/6)/((-2)/14). Is m less than n?
False
Let j be 52 + -55 - 114/(-1). Let n = 125 - j. Suppose -3*y = -h + 8, -h + 6*h + 4*y + 17 = 0. Which is greater: h or n?
n
Let x = -741 - -757. Which is greater: 10.1 or x?
x
Let b = 8656 + -8658. Are -1074 and b unequal?
True
Suppose 0 = -3*u - 0*u + 9. Suppose r + 1 = -4*q, -3*r - 6 + u = 4*q. Let x be (-665)/(-1290) - (-3)/(-6). Which is greater: x or q?
x
Suppose 5*h + 0*h + 125 = 0. Let u be -3 - (3 + (-20)/4 - (-2112)/84). Which is smaller: u or h?
u
Suppose -2*v - 5*j - 405 = -384, 2*j + 14 = 0. Is v != -332?
True
Let g = 40651 + -59068. Is g at least -18418?
True
Suppose 5*i + q = -25, 4*i + 11 = -0*q + q. Let n be (i/(-426)*-15)/(-1). Which is smaller: n or -1?
-1
Suppose -u + 580 = 2*t + 578, -4*t + 4*u = -4. Which is bigger: 6/677 or t?
t
Let o(v) = 8*v**2 + 157*v + 584. Let g be o(-21). Which is smaller: g or 5?
5
Let z = 141 + -130. Let i be 7 + 0 + (7 - z). Is i at least as big as -78?
True
Let m = 439 - 75. Let g = m + -206. Is g <= 158?
True
Suppose 4*d - 45 = -3*q, -24*d = -23*d - 3. Let v = -1 + 0.8. Let t = v - -0.1. Is q bigger than t?
True
Suppose -18294*m + 18214*m + 2180160 = 0. Which is bigger: m or 27253?
27253
Let q be ((-40)/(-58)*1)/(-2). Let b be 756/4872*(-82)/5. Let h = q - b. Is 2 less than or equal to h?
True
Let r(v) = v**3 + 11*v**2 - 5*v - 19. Let a be r(-14). Let d = a + 541. Which is greater: 26/7 or d?
d
Let n be (4 - 140/36)*1. Suppose 11 = -6*u + 65. Suppose 3 = -u*d + 6*d. Are n and d non-equal?
True
Suppose 204 = -2*t + 588. Let h = t - 383/2. Is h less than 21?
True
Suppose 4*c = j - 13, 0*c - 7 = -4*j + c. Let a = -627 + 42008/67. Which is greater: j or a?
j
Let s(a) = a**3 + 5*a**2 + 5*a + 6. Let l be s(-3). Suppose -3*y - l = 0, 2*k + 5*y = -32 - 31. Let t be (24/(-16))/((-9)/k). Is t at least as big as -4?
True
Let a be 1/(-5) - (-1444)/(-180). Suppose 2*t - 6*t + 5*r = -76, 16 = t - 2*r. Suppose -z - t*z = 175. Is z less than a?
False
Let a = -655.174 - 0.626. Is a greater than 0.2?
False
Let y(r) = -171*r**3 - 5*r**2 + 262*r - 1044. Let u be y(4). Which is smaller: u or -11019?
u
Let w = -14344 + 14349. Which is smaller: w or 7?
w
Let j = -16003 - -15972. Is 274 greater than or equal to j?
True
Let l(j) = -4*j**3 - 12*j**2 + 21*j - 5. Let f be l(4). Let h = f + 362. Is h <= 3?
True
Let d = -304863/20 + 15243. Is d less than 0.42?
True
Suppose 0 = 201*j + 74427 + 44565. Is -592 equal to j?
True
Suppose -3*d = r - 0*d - 57, 0 = -2*r + 3*d + 123. Let g = r - 123/2. Let l = 1 + g. Which is greater: 5/3 or l?
5/3
Suppose 13*q = 23 + 263. Let b = 27 - q. Let h be (4/b)/((-6)/(-5)). Does h = -49?
False
Let t be 218/(-6)*(-4554)/(-108537). Is t not equal to -2?
True
Let d = 1 + 3. Suppose 3*u + 38179 - 38196 = 2*a, -5*a = -5*u + 45. Which is bigger: d or u?
d
Let r be 72/(-20) + 4 - (-2592)/20. Suppose 18*k - 86 = r. Which is smaller: 17 or k?
k
Let v = -677 + 399. Let d = 318.8 + v. Let r = -41 + d. Which is smaller: r or 0.05?
r
Let q = -108 + 107.9. Suppose -49 = 2*m - 135. Suppose -2*d + 1 = m. Which is smaller: d or q?
d
Suppose 0 = -2*m + 5*o - 8 - 12, 0 = -5*m + 4*o - 16. Let x be -213*(-1605)/(-219) - m. Let g = x + 1561. Are 1 and g equal?
False
Suppose -5*c = -4*i + 17, -3*c = 3*i + 2 - 8. Let v = -939 - -65729/70. Which is smaller: v or c?
c
Let r(a) be the third derivative of -7*a**6/360 - 5*a**4/6 - 23*a**2. Let k(i) be the second derivative of r(i). Let n be k(-1). Which is bigger: n or 13?
n
Let v be (-84)/(-7) - 6 - 1046. Let l be 1/(-2*2/v). Are l and 260 unequal?
False
Let v be ((-40)/(-12))/(4/(-6)). Let j be 3/(-5) - 18/v. Suppose 4*q - 12 = 0, -2*t - 66 = j*t + 3*q. Is t at most as big as -14?
True
Let a(j) = 4*j + 217. Let v be a(-53). Suppose -3*c + v*s - 1292 = 0, 5*c - s = -2040 - 128. Is -434 less than c?
False
Let x be (21 + 4)/(-5) + -5 + 21. Let t(p) = p**3 + 17*p**2 - p - 5. Let k be t(-17). Is k at most as big as x?
False
Let t be 3261*-8*(-19)/(-456). Which is smaller: t or -1067?
t
Let u(a) = a**3 + 7*a**2 + a + 5. Let z be u(-7). Suppose 22*w = 16820 + 2276. Let i be z*2/3*42/w. Are i and 0 equal?
False
Let m(n) = n**3 - 3*n**2 - 7*n - 18. Let o be m(7). Suppose -5*r + 3*r = -4*x - 134, 4*x + o = r. Are -33 and x non-equal?
True
Suppose 5 + 3 = -2*z. Let p be (-42)/z*(-36)/21. Let h = p - -18. Is h less than 7/9?
True
Let x(m) = -3*m**2 + m + 3. Suppose 8 - 2 = 4*y + 2*a, 0 = 4*y - 2*a + 14. Let i be x(y). Is 3/76 <= i?
False
Let s = 8.1 - 8. Let k = -0.13838 + -336.86162. Which is greater: s or k?
s
Suppose 14 = 12*f - 5*f. Let w be (f*-1)/(26/(-377)). Suppose 2*c = 11 + w. Is c less than 20?
False
Let t = -3.7995 + -10598.2005. Which is smaller: t or 0?
t
Let q = -61.046 - -0.046. Let z = q + 60.92. Let f = 0.05 - z. 