. Which is smaller: 2 or g?
g
Let v(s) = -30*s + 10. Let w(y) = -y + 1. Let d(t) = -v(t) + 25*w(t). Let h be d(5). Let b = -40 + h. Which is greater: -3/29 or b?
b
Let k(l) be the second derivative of -l**4/12 - 7*l**3/2 - 27*l**2/2 + 7*l - 3. Let t be k(-11). Does 84 = t?
False
Let h(g) be the first derivative of g**4/4 - 20*g**3/3 + 21*g**2/2 - 58*g - 17. Let d be h(19). Which is greater: d or 0?
0
Let h be (-2)/(-192)*34*14/(-21). Let l = h - -641/3528. Which is bigger: 0 or l?
0
Let m = -30.86 - -30.8. Which is bigger: m or 2?
2
Let h = 6763 + -6305. Is 1829/4 <= h?
True
Let j = 22 - 14.6. Let u = j - 7.6. Let v = -29 + 21. Is u less than v?
False
Let o = -21964332723/262 - -83833046. Let t = o + 285. Which is smaller: t or 1?
t
Let z = 115 + -117. Is z != 18/13?
True
Let a = -589970099/40628859 - -5874/30571. Let x = 2/443 - a. Let i(h) = -3*h**3 - 2*h**2 + 2*h + 2. Let c be i(-2). Is x bigger than c?
True
Let p be -186*(-1)/25 - 12/3. Let h = -2671/775 + p. Which is bigger: -1 or h?
h
Let o = 18116 - 7528. Is -1 at most o?
True
Let k = 8883.9 - -69.1. Which is smaller: k or 0.1?
0.1
Let j be (60/304)/(42/168). Let y = -0.2 - -0.2. Which is smaller: y or j?
y
Let m = 119 - 119. Let c be (-380)/2600 - -1*(-2)/13. Which is greater: c or m?
m
Let q be 5658/19 - 30/(-285). Let b = q + -298. Which is smaller: b or -1?
-1
Suppose -18*r + 25 = -26*r + 5*d, 2*r - 5 = -d. Which is bigger: r or -15/536?
r
Let s = -1 + 2. Let y(h) = -28*h**3 - 2*h**2 + 2*h + 2. Let j be y(-2). Let l be -23 + 28 - 1074/j. Which is smaller: s or l?
l
Let o be (224154/(-28))/9 + -1. Is -892 at least as big as o?
False
Let w = 16969 + -17184. Let s(r) = -r**3 + 4*r**2 + 6*r - 7. Let i be s(8). Is i greater than or equal to w?
True
Let d = 1208.9 + -1209. Which is smaller: d or 419?
d
Let y = -17637 + 70547/4. Which is smaller: 234 or y?
y
Let t be 8/(-28) - 60/(-112). Let g = -19.098 - -19.2. Which is greater: t or g?
t
Suppose 2*z + 317 = -27. Let s = -25626 + 25454. Do z and s have the same value?
True
Let b(f) = f**3 + 3*f**2 - 5*f - 4. Let z be b(-4). Let i = 213 - 217. Let c be (1344/(-450))/8 - i/10. Are z and c nonequal?
True
Let m = 2739 - 2739. Is 2/22311 at most m?
False
Let h = 25.11 - 21.63. Is 2/15 >= h?
False
Let y be ((-25)/2)/(-5)*2. Let i = y - 6. Let x be (1*6)/(1482/38). Is x at most i?
False
Let q(y) = y**3 + 13*y**2 + 9*y + 9. Let u be q(-12). Let c = 135 - 126. Suppose 5*o = -c*o + 630. Is u greater than o?
False
Let f = 101 - 97. Suppose 2*z - f*z = 2. Which is bigger: 7 or z?
7
Suppose -6*a + 4*w + 3780 = -2*a, a = 4*w + 948. Let q be -2 - ((-44)/(-10))/(a/(-11260)). Let o = q - 101/2. Is -1 greater than or equal to o?
False
Let y = -6532 - -6444. Which is greater: -14 or y?
-14
Suppose -3*u + 8*u + 3*p = 36, -2*p = -3*u + 33. Suppose -3*a = u*a + 12. Which is bigger: 7/23 or a?
7/23
Let z = 611 - 615.85. Let v = z - -5.05. Let c = -43/2 + 22. Which is smaller: c or v?
v
Suppose -o = j - 7, 5*j + 4*o - 23 = 2*o. Suppose -2*m - j*f = 100, 5*m - 4*f = -146 - 104. Let w be (9 - 10) + (-2)/88*m. Do 0 and w have different values?
True
Let s = 2035 - 2487. Is -450 >= s?
True
Let w be (-1 - 136)*1/(-1659). Let n = -379/11218 - -3/142. Let j = n - w. Which is greater: j or 2?
2
Let n = -35345/2002 + 89/154. Which is smaller: -16 or n?
n
Let b(n) = -n - 53. Let z(q) = -q - 1. Let t(j) = -b(j) - 4*z(j). Let w be t(-3). Which is bigger: w or 44?
44
Let d(g) = -3*g + 84. Let n be d(10). Let f = 179 - n. Which is greater: f or 126?
126
Suppose -5*z = -4*f, 41*f = -3*z + 37*f. Which is smaller: -5/351 or z?
-5/351
Let s(r) = -r**2 + 39*r - 203. Let i be s(39). Let g = -1423/7 - i. Suppose -z - 3*j - 3 = -14, -2*z + 4*j - 28 = 0. Which is smaller: z or g?
z
Let d = 0.63 - 0.47. Let l = 30 + -30.56. Let k = d + l. Is k greater than or equal to 6?
False
Let q be (-6 - (-18530)/2765) + 60/(-84). Let v be 0*(-1 - (-6)/4). Is q equal to v?
False
Suppose 4*j = 5*q - 21, j + 4 = q - 0. Suppose -14*n - 27 = -15*n + q*a, 5*a = 15. Does n = 42?
True
Suppose 0*n + 3*n = -225. Suppose 16098 = -83*x - 204*x - 4853. Which is smaller: x or n?
n
Let y be (1/(-2))/(588/(-584) - -1). Let d = y - -28. Which is smaller: d or 99?
99
Let f = 3398 - 3977. Which is smaller: f or -578?
f
Let t = -475 + 476. Is t < -8/859?
False
Suppose 0*n = 4*t + 2*n + 22, 3*n = t + 16. Let d = 3 - -13. Let l = d + t. Which is greater: l or 7?
l
Let f(h) = h**3 - 10*h**2 + 9*h + 4. Let p be f(9). Suppose q + p + 5 = 0. Suppose 256*x + 42 = 250*x. Which is greater: x or q?
x
Let h = 105 + -108. Let z be (4/(-28))/(8/72) - 3. Which is greater: z or h?
h
Let t(m) = 16*m**2 - 169*m - 977. Let w be t(-6). Is 608 >= w?
False
Let v(p) = p**2 + 247*p - 1261. Let b be v(5). Is b at least as big as -14/711?
False
Suppose -c = 2*c - 18. Let u be (-2)/c - 62/(-198). Suppose -8 = 2*m - 4*g, -6 = 25*m - 23*m - 3*g. Which is greater: u or m?
m
Let b = -1226055774/7757263 - 3/408277. Suppose 158 = -4*c + 5*c. Let a = b + c. Which is smaller: 1 or a?
a
Let k = 145 - 145. Let m be (-2)/(144/58) + -1 + 2. Is k greater than or equal to m?
False
Let l be 16/4 - 1138/(-13). Let f = l - 34380/377. Which is smaller: 1 or f?
f
Let c = 190 + -221. Let t = 36 + c. Is -2 at most t?
True
Let x be 5/15 - 1 - (-2 - 0). Let v = x + -23/6. Do v and -2 have the same value?
False
Let d be 2/((-6)/(-15))*292/100010. Let m = -134.9 + 135. Which is greater: m or d?
m
Let o be 0 + (1158/6)/(0 - (-55)/30). Is 105 <= o?
True
Let t = -1883197/6420 + -1/2140. Are t and 0.3 equal?
False
Let m = 47.729 + 0.271. Let o = 47.94 - -0.06. Let l = o - m. Which is bigger: l or 2.8?
2.8
Suppose -52 = -5*j - 42. Suppose -3*x - 3 = 5*h - 8*h, -3 = -j*x + h. Do x and -26 have different values?
True
Let l be ((18/(-135))/(11/(-121473)))/((-4)/(-10)). Is 3684 at most l?
False
Let t(h) = -h**2 - 45*h - 260. Let i be t(-38). Let c be 732 - i/12*-8. Is 736 > c?
False
Suppose 4*g - 3*g = 117. Let k be (-6)/(((-2)/(-3))/((-52)/g)). Suppose -2*d + 30 = -4*z + 6, -k*d = z - 66. Is d at least as big as 46/3?
True
Suppose 351*l + 5135225 + 255784 = 0. Which is greater: -15357 or l?
-15357
Let m = -51.955439 - -0.021439. Let b = 52 + m. Let a = b - 0.496. Is 0 smaller than a?
False
Let s be (16/(-18))/(21 + 0 - 25). Which is bigger: 4728 or s?
4728
Let a(h) = -10*h. Let y(d) = -d - 6. Let c be y(0). Let w be a(c). Let q be (9/w*-2)/(9/(-12)). Which is greater: q or 2?
2
Let j = -146/93 + 3451/2139. Let l(p) = -p**2 - 6*p - 9. Let w be l(-4). Which is bigger: w or j?
j
Let o = -28720 + 29778. Are -1.7 and o equal?
False
Suppose 4*x = 20, p + 2*x - 130 = 267. Do p and 384 have the same value?
False
Let w = 51.4622 + -0.0622. Let x = w + -51. Let u = 0.2 - x. Is u less than or equal to 0.04?
True
Let l = 0.25402 - 250.04402. Let v = l + 250. Which is greater: -2 or v?
v
Let m(r) = -23*r**2 + 686*r + 113. Let a be m(29). Which is smaller: a or 667?
a
Let j = -23272 + 23068. Which is smaller: -188 or j?
j
Let k be (-322)/23 + 4 + 36. Do 19 and k have the same value?
False
Let g(v) = v**3 - 12*v**2 - 1. Let p be g(12). Suppose 2*a - 7 + 1 = 0, 731 = -4*x - 3*a. Let n = x - -2403/13. Which is bigger: n or p?
n
Let a = 0 + -15. Let k = 4 + a. Let x = 11.86 - 10.86. Which is smaller: x or k?
k
Let f = -266 - -251.6. Let p = -14.2 - f. Which is smaller: 98 or p?
p
Let t = -604 + 605.4. Let o be (-16)/(-30) - (-4)/6. Does o = t?
False
Let d = -4267 - -3844. Which is smaller: d or -2/21?
d
Suppose 6*y - 80 = -116. Let j be y*(2 + (-6)/9). Is -12 at least as big as j?
False
Suppose 0 = -4080*r + 4085*r - 45. Which is greater: r or 134/13?
134/13
Let s = -15 + 14. Let a be (1 + 19/s)/(-15 - -14). Which is greater: a or 17?
a
Suppose 0 = -82*g + 62 - 1538. Let t = -4 + 6. Suppose -60 = t*p + 2*p. Which is bigger: p or g?
p
Let v(d) = 16*d + 12. Let z be v(-8). Let g(h) = -h**3 + 25*h**2 - 29*h + 5. Let w be g(24). Is w < z?
False
Suppose -97 = -13*n - 32. Suppose 2*p = 2*o + p + 71, -4*o - n*p = 135. Which is bigger: -31 or o?
-31
Suppose 5*g - 29 = 2*v, 2*v + 0*g = g - 9. Let j be v/(-6)*3/3. Let w be ((45/(-10))/3)/((-15)/(-470)). Which is greater: w or j?
j
Let n = 10569 + -10406. Do -6 and n have different values?
True
Suppose -4*m + 2048 = -4*b, -5*m = -56 + 51. Are -510 a