 t?
20
Let p(k) = 17*k**2 + 8 - 6*k + 27*k**2 + k**3 - 52*k**2. Let j be p(9). Let s be j/156 - (-5)/(-20). Which is greater: s or -1?
s
Let c be 1 + (-204)/99 - -1. Let h = 0.019417 + -0.059417. Is c greater than or equal to h?
False
Let n = -4970 - -5439. Is n != 469?
False
Let c be ((-8)/20)/(2/(-10)). Let h be 4*(-4 - (-9)/c). Suppose -2*k = f, h*k + 3*f = -f. Which is smaller: -0.5 or k?
-0.5
Let d = -31 + 18. Suppose 0 = 3*b - 2*f - 0*f + 13, 39 = -5*b - f. Let c = d - b. Is c < -6?
False
Let p = -769 + 555. Which is smaller: 2/9 or p?
p
Suppose 1674 + 1454 = -184*u. Let g(w) = -10*w**2 - w. Let v be g(-1). Let b = v + -8. Is u != b?
False
Let h be (-10940)/(-25) - (-2)/5. Suppose 4*k - 1752 = b, 5*b - 1781 = -5*k + 409. Is h > k?
False
Let m = 124 - 589. Let h = -464.9 - m. Let g = 24 + -564/23. Is h greater than g?
True
Suppose -18*p = -13*p - 310. Let z be (-2)/(-3)*477/6. Let i = p - z. Is 15/2 less than i?
True
Suppose 5*z + 2*f = -86, 5*z - f + 17 = -60. Let w(r) = -r + 9. Let b be w(8). Let t = -16 + b. Which is greater: z or t?
t
Suppose 0 = 33*h - 29*h - 4. Let x = 69 - 72. Let r be ((-10)/415)/(x + 2). Is r greater than h?
False
Suppose -c + 4*j = -4, -4*j - 5 = c - 9. Let g be 6/(c/(-2)) + -5 + 12. Suppose 0*d - g*d = r + 3, -3*d = -r - 3. Which is greater: d or 11/14?
11/14
Let b = -278 + 474. Let c be (-102)/(-14) + (-7)/(b/8). Are 61/9 and c non-equal?
True
Suppose -38*m = -5*m + 21*m. Suppose 0 = -c, m*r + 3*r = -c + 27. Is 15 greater than r?
True
Let x be -129*((-32)/(-12))/4. Let v = 42 + x. Let l be (-11)/v*(-2 - -7 - 1). Is 1/46 > l?
False
Let j be (55/30 - 2) + (-6351)/(-36). Is j bigger than 176?
True
Let m = 103 - 104. Let i(z) = z**3 - 21*z**2 + 38*z - 2. Suppose -2*l - 10 = 0, 71 = 4*u + 4*l - 3*l. Let j be i(u). Are m and j equal?
False
Let r = 98 + -58. Let p = 24955 + -24917. Is p greater than or equal to r?
False
Let y = 687.5 + -632. Let k = y + -55.34. Which is smaller: k or 1.7?
k
Suppose 0 = z - 35*c + 30*c - 6417, 0 = 3*c + 15. Is 6394 smaller than z?
False
Let k(l) = l**3 - 2*l**2 - 9. Let d = 83 - 79. Let f be k(d). Suppose 0 = 20*g - f*g - 69. Which is smaller: 0 or g?
g
Let a = -24158 - -23635. Which is smaller: a or -517?
a
Suppose -5*v + 15 = -0*v. Let o(i) = i**2 - 13*i + 6. Let w be o(13). Let c = v - w. Is c less than or equal to -1?
True
Let z = -2.43571 + 0.17571. Is 2/11 less than or equal to z?
False
Let o = 1 + 3. Let v = o - 4. Let p = -706 - -702. Which is bigger: p or v?
v
Let w = 768 - 116. Let x = w + -616. Is x smaller than 35?
False
Suppose 65*f - 22*f + 11868 = 51815. Is f < 931?
True
Let y = 267 + -269. Let g be -7 - (-3 + y) - 3/(-4). Is g <= -0.8?
True
Let r(h) = 26*h + 20. Let v be r(17). Does v = 2?
False
Let y be (-2)/3 - 2/6. Let w be ((-1)/(-155))/((-140)/75*-6). Let f = -995/5208 + w. Is y > f?
False
Let k = 82 + -85. Let r be (k - (-55)/25)/((-2)/100). Let m = -39 + r. Is m bigger than 1/4?
True
Let o = -24 + -9. Let j = 101/129 + -5/43. Is j > o?
True
Let x = 0.32519 + -3.32519. Let p(j) = j**2 + 6*j + 6. Let f be p(-6). Suppose -f = 2*t + 6. Which is smaller: t or x?
t
Suppose -3*t + 4157 = -5*f, -t - 172*f = -167*f - 1419. Are t and 1385 equal?
False
Suppose 17*i - 12*i - 240 = 0. Let r be -2 - i/(-26) - 1971/(-1404). Which is smaller: r or 16?
r
Let z = -604 - -992. Let w = 2751 + -2362. Which is smaller: z or w?
z
Let w = 271541 - 271540. Let n be 10/(-9) - 2/(-2). Which is smaller: w or n?
n
Suppose 19*o - 16*o = 381. Suppose 4*y - 147 + o = 0. Suppose 0 = 2*s + 3*j + 89, -s + 2*j + 158 = -y*s. Is -37 < s?
False
Let u = 32/101 - 463/505. Which is bigger: -64/9 or u?
u
Let q = -33/8 - -421/104. Suppose 4*j = -y + 16, y = -3*j + 11 + 2. Suppose 4 = -y*k + 2*c, -3*k + 3*c = 8*c - 23. Are k and q equal?
False
Let b = 0.11 + 1.89. Let y = -265.94 - -267. Let o = y - 1.16. Is o < b?
True
Let z(a) = -13*a + 28. Let x be (-1 - 3) + 504/24. Let b be z(x). Which is greater: b or -192?
-192
Let r(y) = 7*y + 13. Let n be r(-5). Let i = -10 - n. Let t = 1.8 - 0.8. Which is greater: t or i?
i
Let o be ((-104)/12 - 3)*-3. Let f be (-126)/o*(-15)/9. Let w be (-21)/21 - f/(-4). Which is bigger: 1 or w?
1
Suppose 94 = -25*g - 34 + 28. Does 1.74 = g?
False
Let z = -9643.88 - -9644. Which is smaller: -102 or z?
-102
Let v be (8 - 700/80)/((-1641)/8). Let r(p) = p - 5. Let s be r(6). Which is bigger: v or s?
s
Let l = -389 + 387. Let z = 18 + -16.2. Let s = z - 14.8. Is l less than or equal to s?
False
Let z be (101166/8)/(102/4). Let o = -496 + z. Which is smaller: -1 or o?
-1
Let q = 75 - 73. Let h be (-2847)/18 - q/(-3). Let w = 13541/86 + h. Which is smaller: w or -1?
-1
Let a be 11/((-385)/30) - 143/(-77). Which is bigger: 5/1233 or a?
a
Let b be ((-18)/8)/(6/(-64)). Let l(r) = r**2 - 23*r - 261. Let i be l(32). Which is bigger: b or i?
i
Let h be (-5)/(-10)*-2*50. Suppose -550*j + 553*j = 30. Suppose j*g + 576 = -2*g. Is g smaller than h?
False
Let k(m) = m**3 + 25*m**2 + 144*m - 66. Let u be k(-15). Which is bigger: u or 54?
54
Let y(m) = -2 + 2*m + 5 - 40*m**2 + 39*m**2 + 0*m. Let v be y(0). Let p be 10*(-34)/(-32)*3/15. Which is greater: p or v?
v
Let f be 65/(-39) - 280/(-312). Let g(i) = -i**3 - 4*i**2 - 3*i - 1. Let d be g(-3). Is d less than f?
True
Let l = 4.02 - 0.02. Let o be 1*7*8/70. Is l equal to o?
False
Let w(d) = d**2 + 6*d - 2015. Let x be w(-48). Which is smaller: x or 3/1808?
3/1808
Let p = 3868 + -3837. Which is smaller: p or 22?
22
Suppose -581*x = -577*x + 8. Let a be (1028/(-206) + 5)*x. Is -1 at most as big as a?
True
Suppose 5*h + 3*f = -7, 2*h + 7 = -f + 4. Let d be (6 - 0)*(h - -1). Let x be 57/9 + 8/d. Is 9/2 >= x?
False
Let y be 5940/(-3267) - 4/22. Is y > -207/71?
True
Let s be (20/8)/((-2)/(-4)). Let g be (s*24/(-44))/1. Let r = g - -235/66. Which is bigger: r or 1/4?
r
Let r = 3165.917 + -3166. Which is greater: 4 or r?
4
Suppose 2 - 5 = 3*m. Let c = 6 + m. Suppose 93*v - 4*r + 44 = 89*v, -4*v - 31 = -3*r. Is c at least as big as v?
True
Let v be 4/48 + -5 + (-1866)/(-72). Are -13 and v equal?
False
Let q(o) = -o**2 + 8*o + 27. Let i be q(9). Let d = i - 18. Is d not equal to -2/3?
True
Suppose 57 = 2*q + 5*y, -4*q + 2*y + 125 = y. Suppose 4*w - 55 = -2*d + 7*w, 2*d = 4*w + 52. Let n = q - d. Which is bigger: n or 2/23?
2/23
Let x = 20.95106 - 0.01506. Let p = -0.064 - 0. Let q = p - x. Is q not equal to 0.2?
True
Let a = 2/9233 - -240028/138495. Let m = a + -212/105. Is -8/7 at most as big as m?
True
Let t be 121405/14040 + -9 - (-7)/(756/8). Does t = -1?
False
Let b(t) = -2*t**2 - 34*t - 153. Let v be b(-5). Is v bigger than -32?
False
Let a be 2*(598857/61642 + -10 + 4/14). Which is smaller: 1 or a?
a
Suppose -17*x - 29*x = -12*x - 32300. Which is bigger: -1/6 or x?
x
Suppose -5*b = 2*q - 141, 5*b - 6*b = -2*q - 33. Suppose 8*y - b = 19. Suppose y*c = 9*c - 111. Is c < 38?
True
Let h(k) = 4*k + 6. Let g be h(-2). Let q(d) = 26*d + 49. Let f be q(11). Let u be (-3 - f/(-90))*-4. Is u less than g?
True
Let x(k) = 8*k - 71. Let z be x(9). Let v be (-5 + z - 0)*1/(-4). Let y be 1*(-1)/14*1. Is v at most y?
False
Let n = -28277 + 6136104/217. Which is greater: 0 or n?
0
Let l(b) = 33*b + 7. Let z(i) = 17*i + 3. Let c(k) = -3*l(k) + 5*z(k). Let t be c(-3). Suppose r + 2*f + 51 = 0, -2*r + t = f + 150. Is r smaller than -60?
False
Suppose 0 = f - 3*w + w + 10, w + 13 = -4*f. Let z be ((-2)/f)/((-3 - -2)/16). Which is smaller: -3 or z?
z
Let k = -0.018 + -0.033. Let v = 19.051 + k. Let j = -18 + v. Is j bigger than -47?
True
Let x(v) = -1097*v + 20. Let d be x(7). Let l = d + 46289/6. Let p = 56 - l. Do p and -4/9 have the same value?
False
Suppose -4*u - 3 = 5. Suppose 24*c = 21*c + 6. Let a be (c - ((-15)/(-3) + -2)) + 0. Are u and a non-equal?
True
Let k = 1699 - 1700. Which is smaller: k or -3/142?
k
Let s = -5 + 4. Let y = 11228/47 + -239. Let v = -93/1316 - y. Is v at most as big as s?
False
Let v be 12/(-14)*(-350)/75. Let b(t) = t - 1. Let k be b(5). Suppose 0 = 8*r - v - k. Which is greater: r or 0.087?
r
Suppose -7*i + 12*i = -45. Let c = i - -101. Is c < 91?
False
Let b be 1 + (-40)/(-12)*(-18)/(-15). Suppose 5*u - 3*g + 363 = g, -b*u - g = 378. Let k be (-2 - -3) + u/21. Which is smaller: -3 or k?
-3
Let x = -26134884/131 + 199504. Which i