. Which is smaller: -1/455 or y?
-1/455
Let m = -185 + -798. Let a = m + 594. Let w = 1971/5 + a. Which is bigger: w or 6?
6
Let q = -106 + 106. Let d be (q - 1)/(8/400). Let v = d + 49. Which is bigger: -4/7 or v?
-4/7
Let w = -51795 - -466753/9. Is w at least as big as 67?
False
Let d = 447 - 329. Let z = d + -117.965. Is z <= 0.1?
True
Let d = -1445/18841 - -6/83. Let q be 64/(-48) - (-28)/12. Is d at least q?
False
Let t = -1778 - -1776. Let s = 0.6 - 0.72. Which is bigger: s or t?
s
Let n = -401 - -201. Let s = n - -230. Which is bigger: 29 or s?
s
Suppose 5 = 5*h, 3*t - 19*h = -17*h - 173. Suppose 7*w = 2*w - 590. Let m = w + 61. Is m equal to t?
True
Suppose -4*b = w - 8, -2*b + 7 - 3 = 4*w. Suppose -3*k = 109 + b. Is k <= -33?
True
Suppose 0 = 4*f - 9*f - 90. Let a = 14 + -28. Let q = a - f. Which is smaller: q or 17/4?
q
Suppose 0 = 3*d - 6, -5*z + 5 = -4*z + 5*d. Let a = 5 - 5. Suppose 2*r + 1 + 5 = a. Which is smaller: z or r?
z
Let r be (-98 - -99)/(2/(-54)). Let p = 11643 - 128355/11. Are p and r unequal?
True
Let b = 345541 - 345540. Let n be -2 + 2 + (-3304)/(-18). Let j = 184 - n. Is j greater than b?
False
Let x = -40 + 42. Suppose -2*s = 5*o + 46, 3*s - x*o = 4*s + 22. Let q be (-12)/28 - 12/s. Do 0 and q have different values?
True
Let f = 158 + -155. Let i be (f - 4/2)*(-12 + 26). Is i > -2/11?
True
Let s be (4/(-3))/(36/(-81)). Let y be (-3)/6*-6*(-68)/(-102). Suppose -s = -y*i + w, 8 = 2*i - 2*w + 2. Which is bigger: i or -4/47?
i
Let u(c) be the first derivative of 11*c**2/2 + 110*c + 80. Let i be u(-19). Is -99 bigger than i?
False
Suppose 0 = -4*g + 2*f + 2 + 2, 0 = 5*g - 5*f. Let r = 1/4403 - -2368809/22015. Let o = r + -3706/35. Which is greater: g or o?
g
Let y be (-4)/(-4) + -3 + -25. Suppose 16*g - 76*g - 1680 = 0. Which is bigger: g or y?
y
Suppose 3*x + 137 = 5*s, 2*s - 4*s - 5*x = -30. Suppose d = -0*d - 32. Let k = d + s. Is k smaller than -9?
False
Let o be 2/(-17) - (332/68 - 7). Suppose -4*v = -v. Suppose 2*q + 5*i = 63, -q + o*i = -v*i - 9. Does q = 16?
False
Let h = 0.0564 - 0.6004. Let q = h + -16.456. Which is smaller: q or -3/4?
q
Let f be 88348/(-22) - 25/((-1375)/(-10)). Let z be (5032/f)/((-2)/(-8)) + 5. Which is greater: 0 or z?
0
Let j(o) = 30*o**2 + 288*o + 39. Let d be j(-10). Which is bigger: 54 or d?
d
Suppose 2*y = 23 + 25. Let x be (-6)/y + -3 + (-109)/(-4). Is 26 greater than x?
True
Let s be -3*2/(-15)*1740/522. Let q be (10/(-15))/(1/6). Let v = q - -6. Which is greater: v or s?
v
Let r = -0.2658 - -62.2658. Do 76 and r have different values?
True
Let n = -134 + -13. Let l = n - -147.2. Let q = 95/198 - -2/99. Is q bigger than l?
True
Let k = -1751/3 + 566. Let o = 15 + k. Let f be 8*36/64*(-4)/6. Does f = o?
False
Let b = 0.114 - 0.14. Let q = -0.0455389 - 0.9544611. Which is bigger: b or q?
b
Let s be 28/21*(-54)/228*(-1)/(-3). Is s at least as big as 6/59?
False
Suppose -43 = -4*p - 31. Suppose c + 0*c = 5*k + 9, -k + 3*c = -1. Let w be k/1 + 1*4. Is p at least as big as w?
True
Let d be 4/(-14) - (-276)/(-14). Let m be ((-32)/12)/((-2)/12). Let u be (m/64)/(1/(-82)). Is d >= u?
True
Suppose -5*d - 5*n = -2*n + 19, -n = -3*d - 3. Let y be ((-16)/(-72) - (-32)/18)/d. Is -3/50 smaller than y?
False
Let k = -48459/5 + 9701. Which is bigger: 8 or k?
k
Let p = 349/33 - 8824/825. Let n(x) = -x**3 - x**2 + x - 1. Let g be n(0). Does g = p?
False
Let z = -67 - -100. Let n = z + -5. Let i = n - 27. Which is smaller: 0.4 or i?
0.4
Let f = 31 - 31. Let u be (-1)/4 - ((-500)/208)/5. Is f less than or equal to u?
True
Let n(g) = -g**2 - 14*g - 15. Let u be n(-8). Let b = u - 442. Which is smaller: b or -408?
b
Let o be (-8 + (-1488)/9)*27/(-12). Let r = 391 - o. Which is smaller: r or -2/55?
-2/55
Let s be (35/(-7) + 8)*(-2434)/(-18). Let n = s - 406. Let g = 93.47 + -94. Which is bigger: g or n?
n
Let o = -4983 + 1888568/379. Which is greater: o or 0?
o
Let l(n) = n**3 - n**2 + 3*n - 9. Let b = 423 + -421. Let z be l(b). Is z greater than or equal to 2/207?
True
Let q = -60 - -60. Suppose -x + 20 = -2*d + x, q = -4*x + 16. Suppose 14 = 2*f + 24. Which is smaller: f or d?
d
Suppose -4 = -8*m + 7*m. Suppose m*j = 3*i + 308, 2*i - 4*j + 200 = -0*i. Let t be (-36)/i - ((-7)/(-66) + 0). Which is smaller: 2/3 or t?
t
Suppose 7 = 2*j - 1. Suppose j*o = -o + 2*w + 8, -4*w - 16 = -2*o. Let a be (o - 3)*(-2 + 1). Which is smaller: -0.6 or a?
-0.6
Suppose 0 = 3*m, 27*l + 5*m = 31*l - 1248. Is l equal to 306?
False
Let x be 2*3/(-15)*1. Let z = 4227 + -4227.4. Is z smaller than x?
False
Suppose -4*p = -4*s + 48, 16 = -2*p + 4*s - 14. Let j be p/10 - (-15 + 11 - -3). Let n = 0.2 + -1.2. Do n and j have the same value?
False
Let c = 56.1 + -66.1. Is 155 greater than or equal to c?
True
Let z = 1564.8 - 1405.94. Let f = -0.14 - z. Is 1 greater than or equal to f?
True
Let r(p) = -p - 19. Let a be r(-19). Let v be 564/(-52) - -3*1. Let f = -1200/143 - v. Is a <= f?
False
Let l(h) = 56*h - 190. Let x be l(8). Let y = 259 - x. Which is bigger: y or -2/97?
y
Let y = 3253 + -3252. Is 3/427 less than y?
True
Let t = -85821/4 - -22000. Which is smaller: 546 or t?
t
Let x = -6845 + 6850. Let z = -733 + 727.93. Let k = 0.07 + z. Which is greater: k or x?
x
Let s = 1380 - 1434. Which is bigger: 2/243 or s?
2/243
Let x = -7.383 + 7.533. Which is smaller: 114 or x?
x
Suppose -214 = 12*a + 41*a - 55. Let x be ((-12)/(-9))/(4/(-18)). Is x <= a?
True
Let c be 710/(-216)*(-23 - (-3042)/130). Is 0 bigger than c?
True
Let c(t) = 72*t**2 - 2588*t + 2589. Let a be c(1). Which is smaller: a or 136?
a
Let g = 467 + -75184/161. Let s = -176/805 + g. Which is smaller: s or 2/49?
s
Suppose -15*d - 2*w + 3 = -14*d, -4*w - 15 = -d. Do d and 285/34 have different values?
True
Let i = -303 - -172. Let j = 4507 + -4637. Which is greater: i or j?
j
Let s(o) = -o - 24. Suppose -153 + 3 = -6*j. Let t be s(j). Which is smaller: -47 or t?
t
Let w(z) be the first derivative of z**2 - 141*z + 67. Let f be w(35). Which is bigger: f or -70?
-70
Suppose 8826*v - 8839*v = 13. Let a be ((-3)/(-570))/(1/2). Which is greater: a or v?
a
Suppose 0 = -x + 1 - 0. Let d be 645/1890 - 160/(-360). Do x and d have different values?
True
Suppose 952 = -7*h - 21*h. Let g be (h/680)/(2 - -47). Which is smaller: g or 1?
g
Let m(k) = -k - 45. Let x(c) = 2*c**2 + 19*c - 1. Let j be x(-12). Let t = j - 76. Let i be m(t). Which is smaller: i or -27?
i
Suppose -j - 80 = 4*j. Let d = 165 - 194. Let x = 10 + d. Which is smaller: x or j?
x
Let s(g) = g**2 - g + 291. Let t be s(-44). Which is greater: t or 4543/2?
4543/2
Suppose -48437 + 11909 = -572*p + 10948. Which is smaller: p or 1/60?
1/60
Let x(r) = 70*r - 2. Let p be x(3). Let w be 300/p - (-9)/(-6). Let d = 3119 - 3120. Which is smaller: d or w?
d
Let z be 8/(-1000)*-895 - (16 - 8). Which is smaller: z or 9?
z
Let t = 2.343 + -0.043. Let s = -15.9 + t. Let n = 13.7 + s. Which is smaller: 56 or n?
n
Let s = -3.174 - -2.774. Which is greater: 312 or s?
312
Let b(y) = -y**3 - 7*y**2 - 2*y - 17. Let f be b(-10). Is f at most 304?
True
Let d = -54.4 - -8.4. Let y = d - -45.986. Let z = -0.014 - y. Which is smaller: -7/3 or z?
-7/3
Suppose 816*r = 833*r. Are r and -1/11093 equal?
False
Let t be 7/14*-190 - 7. Let k be (-136)/t - 92/78. Let w = 0 - -1. Is k smaller than w?
True
Let g(z) be the third derivative of -5*z**4/24 - 7*z**3/6 - 8*z**2. Let x(q) = q + 3. Let i be x(-6). Let o be g(i). Which is smaller: o or 4?
4
Let a = 96 + -91. Suppose -3*b - a*x = -4*b - 10, x = -5*b + 2. Let j be (1 + 1)/(12/5). Is b at most j?
True
Let l(y) = y**3 - 3*y + 3. Suppose 32*h = 39*h - 28. Let d be (2/h)/((-21)/(-42)). Let t be l(d). Which is greater: t or -2?
t
Let j = -18658 - -17293. Is j greater than -1365?
False
Let t(s) = s + 6. Let y be t(-2). Let x be 100*(-1 + y)/6. Let q = x - 43. Does 33/5 = q?
False
Let f(w) = 12*w + 46. Let s(q) = 5*q + 15. Let m(z) = -3*f(z) + 8*s(z). Let d be m(4). Is -5/7 equal to d?
False
Suppose 5*o + 13 = 3. Let b be (((-3771)/4)/(-1))/((-175)/(-100)). Let m = -541 + b. Is o less than m?
False
Let b = 11/424 - 60901/2363800. Is b at most as big as 1?
True
Let j be 12*(-3 + 7/2) + 578. Let q = 601 - j. Which is greater: q or 133/8?
q
Let f be ((-1424)/12460)/((-12)/10). Is 27/20 != f?
True
Let s