t q be 5*(6/5)/(-3). Let j be q - -2 - 1*-1. Suppose -6*v = -5*v + 2*c + 14, 6*v - 20 = c. Which is smaller: j or v?
j
Let w be 2/2*(-1 - 7). Let m(n) = -n**3 - 16*n**2 - 19*n - 16. Let u be m(-15). Suppose 34*j - 70 = u*j. Which is smaller: j or w?
w
Let x be (2/10)/(635/(-6477)). Which is smaller: -2 or x?
x
Let p = 298656/36043 + -2/5149. Let b be (-44 + 44)/(0 + -3) + (-1 - -9). Which is smaller: b or p?
b
Let x = -70.7 + 76. Let t = x + -0.3. Let i = t - 4. Is i at least -2/7?
True
Let i = -0.257 + 0.047. Let z = i - -1.21. Let b = -1.51 - -1.5. Is b at least z?
False
Let n = 1376.1 + -1376. Is n bigger than -1/232?
True
Let m(o) = -25*o + 130. Let n be m(5). Which is smaller: 2/67 or n?
2/67
Let m(j) = j**2 - 30*j + 1. Let k be m(30). Which is smaller: k or -2/1191?
-2/1191
Let o = -22463226756665/23031 - -975347434. Let u = o + -2/853. Is -1 bigger than u?
False
Let o = 41.009 + -0.009. Let g = -40 + o. Let a = -0.1 - -0.3. Which is smaller: g or a?
a
Suppose 0*y + 30 = 5*y. Suppose -y*v = v. Is 1 at most as big as v?
False
Let a(i) = 2*i**3 + 16*i**2 + 23*i + 14. Let v(c) = c**3 + 8*c**2 + 12*c + 7. Let u(z) = -2*a(z) + 5*v(z). Let m be u(-6). Which is smaller: m or -9?
-9
Let x be ((-24)/36)/((-2)/(-9)). Let g(m) = 2*m - 11. Let j(k) = 2*k - 10. Let o(u) = x*g(u) + 4*j(u). Let r be o(7). Which is bigger: 0 or r?
r
Let q be 592 - (-54)/((-81)/(-9)). Is 599 equal to q?
False
Let z be 3/(72/(-60))*(-4)/5. Is z less than -4.08?
False
Let k be ((-17129)/(-63) - -8) + 2/18. Is k < 280?
False
Let q = 1.821 - -0.079. Let u = q - 2.9. Is u greater than or equal to -15?
True
Let p = -26497/585 + 592/13. Let d = p + -4/9. Let g = 17161 + -188774/11. Are d and g equal?
False
Let m be (-6)/4*440/60. Let x(v) = 2*v - 17. Let z be x(10). Suppose 34 = -3*k - p, -2*p + 26 = -z*k - p. Which is smaller: m or k?
m
Let u = 2 - -8. Let n = -10.1 + u. Is n bigger than 6?
False
Let c be (5/(-1))/5*0. Is c less than or equal to 4/549?
True
Let h be (39/9)/13 + (-52)/(-6). Suppose -39 = -4*w - 3*q, -5*w + 2*q + 14 = -6. Is w equal to h?
False
Let s = -458 + 458. Is s at most -1/64?
False
Let v(b) = -b + 4. Let f be v(1). Let o = 4 - f. Let z = 23 - 33. Which is bigger: o or z?
o
Let r be (2 - (3 - 2))/(987/69). Let z = -20039/4277 + r. Is z less than -6?
False
Suppose 4*i = d - 5, 6*d - 5*d - 7 = 5*i. Let p(l) = -l - 5. Let a be p(i). Let n be (-1)/((-2 - a)/1). Does n = -2/7?
False
Let s = -11 + 28. Let y = -0.216 + 0.416. Which is smaller: s or y?
y
Let p = 127.8 - 128. Which is smaller: -35 or p?
-35
Let l(d) = -d**2 + d - 1. Let n(f) = 8*f**2 - 3*f + 2. Let u(m) = -2*l(m) - n(m). Let x be u(-1). Is x less than or equal to -36/5?
False
Let i = 10 + -10. Suppose -z = z - 3*d - 9, -2*z - d - 3 = i. Let v be 6/(-20)*(-4)/9. Which is bigger: z or v?
v
Suppose 172*j + 13365 = 205*j. Which is smaller: 406 or j?
j
Let c be ((-1)/3)/((-33)/(-22)). Let f be ((-2)/(-72))/((-8)/208). Let l = f - c. Which is smaller: l or 1?
l
Let t = -884 - -1399. Which is smaller: t or 516?
t
Let o = 39 - -1. Let k be 0 + -2 + o/5. Let w = k + -5. Is w at least as big as 2/11?
True
Suppose -f + 2 = -3*b, 2*f = -27*b + 29*b. Let y(r) = r**3 + 17*r**2 + 16*r - 18. Let o be y(-16). Is f greater than o?
True
Let s be -1 + 7/(1187095/12327447). Let m = s + 6/13045. Let i = 72 - m. Is 0 smaller than i?
True
Let c = 102703/98 + -1048. Which is smaller: c or -1?
-1
Let u be (14 - (-344)/(-24))*-25*3. Is u bigger than 7?
True
Let u = -6 + 6. Let q = -1064 - -12757/12. Let y = 5/3 + q. Is u smaller than y?
True
Suppose 3*f - 42 = -3*f. Suppose d + 64 - 6 = -5*t, -5*d = -2*t - f. Which is smaller: t or -10?
t
Let c = -4 - -4. Suppose 5*q + b + 5 = c, 2 = -2*q - 0*q - 4*b. Let x be (1/(-18))/(17/(-34)). Which is bigger: x or q?
x
Let c = 182 - 177. Do c and 5 have the same value?
True
Let h = -139/3 - -1783/39. Which is bigger: h or -1?
h
Let z = 29.22 + -29. Let t = z - 0.13. Do t and -1 have the same value?
False
Let k = 84.71 + -84. Let g = -1.71 + k. Which is greater: g or -1/130?
-1/130
Let f be 5 + -11 - -42 - -3. Does 39 = f?
True
Let q = -351 - -350. Which is smaller: q or -4/99?
q
Let q(l) = l**2 - 5*l. Let b be q(5). Let v = -40 + 42. Let n be (v - 0)*(-10)/(-26). Which is smaller: n or b?
b
Let a(l) = -l**2 + 6*l + 1. Let k be a(6). Which is smaller: k or 3/4?
3/4
Let f be 82/8*(-1 + -3). Let p = -2/25 - 3019/75. Let l = p - f. Is 2 smaller than l?
False
Let h be (2/6)/(2 + (-7)/3). Let l(r) be the second derivative of r**5/20 - r**4/12 - r**3/6 - 2*r. Let w be l(h). Which is smaller: w or -4?
-4
Suppose 4*a - 4*a = 2*a. Suppose s - 9 - 1 = a. Which is smaller: s or 57/5?
s
Let l(n) = -3*n**3 - 23*n**2 + 8*n + 10. Let s be l(5). Is s < -899?
True
Let t(w) = -4*w**2 + 3*w**3 - 5*w**3 + 3*w**3 + 8 + 6*w - 3*w**2. Let s be t(6). Suppose -3*m = -s*m. Which is greater: m or 2/15?
2/15
Let u = 20.001 - 0.001. Which is smaller: 0.2 or u?
0.2
Suppose 342*c + 581 = 349*c. Which is greater: 85 or c?
85
Let r = 6 + -6.3. Let g be -6*(-4 + (-132)/(-16)). Let k = g - -26. Which is smaller: k or r?
r
Let l = -3308/3969 + 36/49. Are -1 and l unequal?
True
Suppose -s - 7 = 3. Let h be (-4)/10*s/16. Let d be (1060/(-68))/(-5) + -3. Which is greater: h or d?
h
Let u be (-4)/8*-4 - -31. Let j = -38 + u. Is -4 equal to j?
False
Let p = 0 + 0.01. Let s = -7.51 + p. Let g = s + 1.5. Which is bigger: g or 0?
0
Let r be (-180)/25 - (6/(-5) - -1). Let a(p) = p**3 + 8*p**2 - 9*p + 6. Let y be a(-9). Let s be (y + -5)*(-1 - -1). Is r <= s?
True
Let d = -40967/252 - -953/84. Let o = d - -151. Let x = -0.5 - -0.6. Is x > o?
True
Let d(b) = -b - 8. Let q be d(-9). Which is smaller: q or -2/471?
-2/471
Let i = -54/1309 - -8/119. Which is bigger: i or -1?
i
Let x(k) = 4*k + 7 + 12 - 17 + 0*k + k**2. Let d be x(-5). Which is smaller: 31/5 or d?
31/5
Suppose -2*j + 27 = -c - 7*j, -4*j + 27 = -c. Let i = c - -28. Let h be (-10)/(-8) - (-1)/(-4). Do i and h have the same value?
True
Let v = -17 - 28. Let o = -67 - v. Which is smaller: 0.2 or o?
o
Suppose 4*h + 2*j + 810 = 0, 1288 = -5*h + 5*j + 313. Which is greater: h or -198?
-198
Let q(f) = -f**2 + 7*f - 5. Let t be q(5). Let a be (2 + -3 - 3 - -64) + 3. Suppose 8 - a = t*g. Which is bigger: g or -10?
-10
Suppose -3*u - 28 = -7*u. Let o be (-110)/(-70) + 3/u. Is o greater than or equal to 0.4?
True
Let d = 0 - 0. Suppose q + 2 = h - 1, -3*h - 3*q + 33 = 0. Let a be (-2 - (-35)/h) + (-19)/5. Which is greater: d or a?
d
Let n be (-7)/((-14)/4)*(-44)/8. Let m be (-2)/(-3) + (-13)/(-3). Suppose -m*y = 18 + 32. Is n < y?
True
Suppose -2*x - 14 = -3*b - 3*x, -5*x = -3*b + 20. Let w = -370/3 - -124. Is w less than or equal to b?
True
Let n(h) = 2*h**2 - 6*h - 4. Let q be n(-1). Does q = 12?
False
Let s = 10.51 - -0.29. Let p = -11 + s. Let f = 102 - 103.2. Which is smaller: p or f?
f
Let r = -36 + 69. Let l be 2568/16*(r/(-9) + 3). Which is smaller: l or -106?
l
Let u be (1/2)/((-5)/60). Let s = u + 7. Let d be (-36)/(-405)*5/(-6). Which is smaller: d or s?
d
Let a be 4*5*336/(-60). Let f be (8656/a)/((-12)/14). Let n = f - 89. Is 0 less than n?
True
Let n be 4*(2 - 303/156)*-15. Which is smaller: -4 or n?
-4
Let d = -36 - -58. Let t = 23 - d. Which is greater: t or 52?
52
Let w be (-1 - 9)*(3/(-6) + 0). Suppose -w = 5*n - 25. Which is smaller: 0 or n?
0
Suppose 2*k = 1 - 13. Let s be -13 - (16 + 882/(-28)). Which is greater: s or k?
s
Let s = 0.05 - -0.11. Let f = -0.76 + s. Let i = f + 0.5. Which is greater: i or 2?
2
Let o be (-1)/(-2)*((-14285)/8 + -1). Let g = -893 - o. Which is smaller: g or 1?
g
Let d be (-3)/(1 - (0 - 3/(-2))). Is d equal to 19/3?
False
Let n be ((-4)/(3 + -1))/2. Let k be (-18)/(-8)*n - -2. Let i = -755 - -755.06. Which is smaller: i or k?
k
Suppose 4*u = -4*v + 5*u + 44, v - 2*u - 4 = 0. Let z be (((-195)/v)/5)/((-6)/12). Which is greater: -2 or z?
z
Suppose -12*t = -17*t. Suppose t = z - 0*z + 27. Is z at most -26?
True
Let o = -1274953/379 + 3364. Which is smaller: 0 or o?
0
Let q(d) = -2*d**3 - 62*d**2 + 63*d - 39. Let a be q(-32). Is -45 > a?
False
Let l = -69 - -133. Let b = l - 66. Is -16 less than b?
True
Suppose -4*m = -5*n - 10, -3*n + 2*m - 6 = -2. Do 3/11 and n have the same value?
False
Let o = -888 + 846. Which is bigger: o or -4