*k, 5*t + 3*k = -k - 11. Which is bigger: t or z?
t
Suppose -3*f + 4*z = -17, -4*f + 2*f + 2*z = -8. Which is greater: f or -1/4709?
-1/4709
Suppose 171*q = 440*q + 3228. Which is smaller: -0.4 or q?
q
Let q(k) = k**2 + 58*k - 6910. Let a be q(-117). Suppose 3*i - 4*i = 9. Which is smaller: a or i?
i
Let p be 1193/(-5) - (-20)/(-50). Let r = p + 246. Which is smaller: 0 or r?
0
Let k = 2.313 - 0.113. Let m = -2.6 + k. Is 2/33 at least m?
True
Let g be ((-1416)/(-20))/(((-348)/(-15))/(-4)). Which is smaller: g or -11?
g
Let z = -47/32 - -963/416. Let f(g) = -36*g + 1838. Let u be f(51). Which is smaller: z or u?
z
Let l = 7187 + -35932/5. Is 1897 at least l?
True
Suppose 4*g + 0*m + 4*m - 88 = 0, -4*m - 72 = -4*g. Suppose 2*v + 5*w = -g, 0 = 3*v + w + 6 - 2. Let z(i) = i. Let o be z(v). Which is greater: -2/11 or o?
o
Let q be -427*(-4 - (2 - 72/14)). Let g = 380 - q. Which is greater: 113/8 or g?
113/8
Let d = 0.142 + -0.042. Let r be (-4 + 3158/7)*4/6. Let b = r - 298. Which is bigger: b or d?
d
Suppose 2*v - 3*c = -157 - 25, 362 = -4*v + 5*c. Let l be 697/(-8) + (210/(-112) - -2). Which is bigger: v or l?
l
Let r = 2.435 - -276.865. Let y = -279 + r. Is 1 at least y?
True
Let v(m) = -m**2 + 19*m + 62. Let z be v(21). Suppose -5*x = 15*x - z. Suppose -6*f + f - 25 = 0. Is f less than or equal to x?
True
Suppose 0 = -5*i + 31 - 21. Suppose x - 21 = -i*x. Suppose 4*s = t + 51, 6*s - 8*s = 4*t - 12. Which is smaller: x or s?
x
Let o be ((-16)/584)/(7 + (-824)/120). Are 0 and o equal?
False
Let q = 136 - 60. Let w = -63 + q. Suppose -3*k + w = 94. Is k <= -26?
True
Suppose 0 = 3*p - 535 + 472. Suppose g + 2*d + p = -0*d, 0 = -4*g - d - 119. Which is greater: g or -28?
-28
Let b = 58631181/817 - 71764. Let j = b - -3746/151145. Is 0 <= j?
True
Suppose 0 = 3*r - n - 13 - 61, -4*n + 40 = 2*r. Let s be (21/7)/(9/81). Is r at least s?
False
Let m = 14261/270 + -264/5. Let y = m - -193/270. Which is smaller: y or -1/3?
-1/3
Let s = 26 + -57/2. Suppose -825*x = -794*x + 186. Are s and x non-equal?
True
Let j = -16410 - -16943. Are 540 and j equal?
False
Let s = -0.317 + -23.483. Let h = -23.7 - s. Is -0.066 > h?
False
Suppose 5*o = 2*n + 9, -5*o + 0*o - 2*n + 1 = 0. Let a(h) = 11*h - 2. Let v be a(o). Let g(i) = -12*i - 3. Let x be g(-1). Is v greater than x?
False
Let z = -1562 - -1006. Let k(x) = 2*x**3 - 86*x**2 - 12*x - 41. Let c be k(43). Which is smaller: z or c?
c
Suppose -18852 = 3*f - 2*s, 6260 = -f + 36*s - 38*s. Is -6280 bigger than f?
False
Let n(o) = -o**3 + 27*o**2 - 51*o + 28. Let i be n(25). Suppose 0 = -w + i*c + 10, 0 = -3*w - c + 54 - 4. Is 116/7 <= w?
False
Suppose 440 = 11*r - 0*r. Suppose o = 5*o + 3*m - 32, 5*o + 5*m - r = 0. Let y be (-226)/48*-2 - 2/o. Which is smaller: 9 or y?
9
Suppose -j = 4*j + 2*f - 273, -5*f - 5 = 0. Let n = 689 - 634. Is j > n?
False
Let c = 38.017 + -38. Let k = -6.456 - -6.533. Let h = k - c. Is -1/4 greater than or equal to h?
False
Suppose -12*m + 17*m = -2*k + 9, -2*m - 2 = -2*k. Let z be 2*((-4)/10 + 783/420). Which is bigger: k or z?
z
Suppose 29 = -19*m + 200. Suppose 0 = m*v + 10*v + v. Are -2/197 and v equal?
False
Suppose -2*v + 1 - 7 = -x, 5*x - 4*v = 30. Let s be x/(-24) + (-4)/16. Which is greater: 184 or s?
184
Let t = -25221 + 25220. Which is smaller: 5165 or t?
t
Let y(o) = 71*o**2. Let c be y(1). Suppose -79*g + 5400 = 15*g - 19*g. Which is smaller: c or g?
c
Let a = -23806 + 23803.8928. Which is smaller: -1 or a?
a
Let o(w) = -w**3 + 10*w**2 - w - 3. Let l be o(10). Let c be (l/(-26))/(41/(-2)). Let a(z) = z**2 - 8*z - 8. Let g be a(9). Which is smaller: c or g?
c
Suppose 46*j - 3*a + 1315 = 47*j, -4*a = -2*j + 2570. Is 1297 bigger than j?
False
Let q = -83 - -746. Let c = -599 + q. Which is greater: -4 or c?
c
Let a be (-22)/6*(-176)/14520. Let b be (-2)/(-10) + (-105)/25. Let t = b + 5. Which is bigger: t or a?
t
Let h = 28 + -65. Let f = 34 + h. Let u = -19.3 + 17.3. Which is greater: u or f?
u
Let q be (-1 - 0)*(34 + -34)/(-2 + 6). Is 1/62 >= q?
True
Let k be (-27853)/(-147) - ((-645)/(-105) + -6). Is 190 at most k?
False
Let t(l) = -5*l**3 - 5*l + 8. Let z be 2/(-2)*2*(2 - 3). Let h be t(z). Let y = h - -41. Is 3/16 less than y?
False
Let z be 1830/(-4)*36/45. Let o be (-8)/z*(-57)/38. Which is greater: o or 1?
1
Let a = 906 - 12687/14. Let u(l) = l**3 - 5*l**2 - 7*l + 6. Let w be u(6). Suppose 1 + w = -s. Do s and a have the same value?
False
Suppose 2*g - y - 27 + 25 = 0, 18 = 2*g - 5*y. Which is greater: g or 1/163?
1/163
Let q(s) = s**2 + 6*s + 9. Let j be q(-4). Let g be j + 22 + (3 - 1). Let y be ((-1)/4)/(-2*g/1360). Is y less than 7?
True
Let b(l) be the third derivative of -l**4/6 - 6*l**3 - 24*l**2. Let w be b(-9). Suppose w = 5*h - y + 15, 3*y + 3 + 4 = 2*h. Is h smaller than -1?
True
Let d = 3685 - 3684. Is d <= 7223?
True
Let f = 2570 - 2569. Is -3341 less than or equal to f?
True
Let k be (1/3)/(-106*5 + 4). Let x = k + 50501/7890. Which is smaller: x or -0.2?
-0.2
Let k(a) = -a**2 - 10*a. Suppose 9 - 19 = n. Let r be k(n). Suppose r*j = 2*j. Which is smaller: j or -6/19?
-6/19
Let p = 23105978/43053309 - 21150/37331. Let u = p - -14/621. Let r = 11 - 12. Is u at least as big as r?
True
Let w = 8469 - 6515. Which is smaller: 1955 or w?
w
Let a = 943/40866 - -2725539413/40866. Let j = a + -9317661/140. Let x = j + -140. Which is greater: -1 or x?
x
Let i = -12621 + 12621. Which is greater: i or 646?
646
Let g be 158/1817 - 7114/874. Is -9 bigger than g?
False
Let b = -1/1288 + -412157/3864. Let x be (12 - 9)/(26/(-936)). Which is bigger: b or x?
b
Let c be (-2)/29*38/(-2). Let y = -65267 + 65267. Is c greater than y?
True
Suppose -3 = -k, -3*k = 4*a + 15 - 4. Which is smaller: 7.85 or a?
a
Let n be (-6)/(-4)*320/255 - -8. Is 9 greater than n?
False
Suppose 72*o - 13071 - 13389 = -18*o. Does o = 312?
False
Let m be ((-17)/(-3))/(2/(-6)). Let g be 170/(-35)*49/(-14). Let c = m + g. Which is smaller: 3/41 or c?
c
Let s = 15255452/93 - 164032. Is s at least 6?
False
Suppose -3*i = 3*x - 21, -x - 3*x + 8 = -i. Suppose -9*k + 5*k + 112 = -i*a, 0 = -2*k - 3*a + 66. Are 29 and k unequal?
True
Suppose 5*y + y = 12. Suppose -y*x = 5*k - 6*x, 0 = -4*k + 2*x. Suppose -7*c + 12*c - 30 = k. Is c at most as big as 8?
True
Suppose m - 1 = 4*g, -3*m - 5*g + 73 = 19. Let p(l) = l**2 + 5*l - 75. Let d be p(-12). Which is bigger: d or m?
m
Suppose 0 = -98*q + 94*q - 104. Let t be (-153)/q*(-5 - -6)*-61. Let h = 359 + t. Which is bigger: h or 0?
h
Let b = -22524 - -35614. Let r be 4378/b + (-6)/14. Is -1 at most r?
True
Suppose -3*c - 4*o + 9388 = 0, 9*o - 13*o - 15604 = -5*c. Do c and 3124 have different values?
False
Suppose 2*c = 8*c - 600. Suppose -v + 71 = -5*z, -4*z + c = -4*v + 6*v. Suppose -v = 3*k - 2*k. Is k at least -55?
False
Let p be (-6)/(-14) + 72/(-21). Let k be p/(-1 + 9 - 1). Is -3/100 != k?
True
Let f be -208*((-70)/(-52) - (-6)/39). Let j = 197 + f. Let m = j - -87. Which is bigger: m or -29?
m
Let i = -2471993/161802 - -1/8989. Which is greater: -14 or i?
-14
Suppose -5*g + 2467 = -w, 0 = -5*g - 5*w + 3172 - 717. Which is smaller: g or 494?
g
Let d = -60 - -59.7. Let s = 7.341 - 0.341. Which is bigger: s or d?
s
Let w(n) be the third derivative of 15*n**4/8 - n**3/3 + 10*n**2. Let p be w(2). Let z be -3 + 164/p + 1. Is z bigger than -1?
True
Let s(q) = 36*q - 2784. Let d be s(77). Are d and 123 non-equal?
True
Let r = 23458240129/85601529597 - 10/14365083. Let q = r + -15/59. Which is smaller: q or -1?
-1
Suppose 13*r = 10*r + 18. Let i(t) = -t**3 + 6*t**2 + 3*t - 8. Let s be i(r). Are s and 14 unequal?
True
Let o = 173815/2154626852 - 3/119908. Is o greater than 0?
True
Let z(y) = 3*y**2 + 8*y + 9. Let l be z(-9). Suppose 0 = -5*u + 4*f + l, -3*f + 120 = 3*u + 39. Is u <= 31?
False
Let y(v) = 1282*v - 685. Let f be y(-6). Are -8378 and f nonequal?
True
Suppose 34*n = -236421 + 228227. Let k(t) = 61*t + 2. Let z be k(-4). Which is bigger: n or z?
n
Let n(l) = l**2 - 4*l. Let x be n(2). Let k be 684/1107 - x/(-6). Let r = 16.7 + -21.7. Which is smaller: r or k?
r
Suppose 2*f - 2*b + 6516 = 0, -16290 = 5*f + 225*b - 223*b. Is f at least -3259?
True
Suppose -6966 + 854 = -46*j + 3548. Which is smaller: j or 199?
199
Let i = -0.03 - 1.77. Is 2.5 equal to i?
False
Supp