 (-8)/5. Let k be (-4)/2*g + (10 - 5). Let q = -97/6 - -1459/90. Which is bigger: q or k?
k
Let y be ((-19632)/(-1312) + -15)/((-5)/(-5500)). Which is smaller: y or -40?
y
Suppose -22*r + 4*r = -630. Let a = -202 + r. Is a greater than -165?
False
Let t = 169.2 + 55.8. Let u = 226 - t. Is u at most -78?
False
Let b = 0.32 + -0.12. Let a = -0.25 + b. Let k = 199 - 197. Are a and k non-equal?
True
Let i = -6551 - -6551.147. Which is smaller: 9/7 or i?
i
Suppose 9*z + 2*z - 81 = 8*z. Which is smaller: z or -46.9?
-46.9
Let m = 63523/39 + -1629. Let t be 0/(0/1 - 3). Which is smaller: m or t?
m
Suppose -3*z + 204378 = -5*f + f, 5*f = z - 255478. Let g be f/(-40)*(-14)/15. Let t = g + 1192. Which is smaller: t or 0?
t
Let g(l) = -2*l**3 + 8*l**2 - 4*l - 11. Let t = 300 + -295. Let z be g(t). Is -2/7 greater than or equal to z?
True
Suppose 5*p - 67 = -4*l, 0 = -l - 6 - 1. Let j be 2*3/(-6)*-21. Is p less than j?
True
Let u(k) = -k - 9. Let t be u(0). Suppose 28*s + 28*s = -14392. Let z = -267 - s. Is t greater than z?
True
Let h = 592 + -592.268. Let z = h - 26.732. Let i = 0.3 + -0.3. Which is smaller: z or i?
z
Let f = -458/5 - -92. Let w = -2449790 + 4453717403/1818. Let h = w + 1/202. Is f > h?
True
Let u(t) = 4*t - 46. Let c be u(-17). Let p = 120 + c. Let k = -0.1 - -0.1. Which is greater: k or p?
p
Let o = 361 - 802. Let r = o - -441. Let j = 0 - -1. Which is smaller: j or r?
r
Let p be 4/6 - 20/12. Let l be p/3 + (-12)/(-36). Suppose l = 2*v - 5*v + 12. Are 22/5 and v equal?
False
Let r = -3226/15 - -1072/5. Let o = 0.74 + -0.8. Which is smaller: r or o?
r
Suppose -w + 6*w - 615 = 0. Let p = w - 1105/9. Suppose 0 = 3*j - 5*k + 92, -200*j - 57 = -198*j - 3*k. Is p smaller than j?
False
Let b be 4 - 6 - (14525/4851 - 5). Which is greater: b or 0?
b
Suppose 0 = -2*s + 164 - 434. Let p be (1082/4)/(-144 - -142). Let n = s - p. Which is greater: n or -0.5?
n
Let q = -65 + 65. Let t = -253.1 + 268. Let w = t - 15. Which is greater: q or w?
q
Let j = -2/28273 - -650319/565460. Are j and -2/9 nonequal?
True
Suppose 10 = -4*i - 13 - 5. Which is greater: 15 or i?
15
Let f(y) = -y**2 + y + 45. Let s be f(7). Let n be (-64)/(-6)*(-3)/(-2). Suppose 4*t + s*w - 11 = 0, 7*t - 2*t + 3*w - n = 0. Do t and 2 have the same value?
False
Let x = 4196/189 + -908/27. Which is smaller: -18 or x?
-18
Let h = -2748 - -2755. Is h >= -0.114?
True
Let c(k) = 394*k + 1180. Let n be c(-3). Suppose 2 = -5*a + 3*f + 3, 4*a - 2*f = 0. Let z be ((-6)/45)/(a/(-5)). Is n at most as big as z?
True
Let f = -193.07 + 193. Let g = f - -0.13. Is g bigger than 3?
False
Suppose -31 = 4*i - 3*f, -i - 15*f - 4 = -12*f. Let y be (-19)/57 - (-104)/6. Suppose -5*w + 2*r = 28, -3*w + 2*r = y + 3. Which is greater: w or i?
w
Let l = -64 - -37. Let d(f) be the second derivative of -f**3/6 - 18*f**2 + 377*f - 2. Let q be d(l). Which is smaller: -96/11 or q?
q
Let q = 1/3183 - -3178/15915. Which is smaller: q or -3/100?
-3/100
Suppose 3*y = 10*y - 591577. Let j = 3380739/40 - y. Let r = j + 1/40. Which is smaller: r or 9?
r
Let n be -8 + 0*(-3)/(-9). Suppose 224 + 469 = 9*j. Suppose -j*p + 11 = -78*p. Does p = n?
False
Let r = 1158 - 806. Let o be (-128)/r + (-1440)/33. Let f(a) = -12*a**2 - 4*a - 3. Let i be f(-2). Is o < i?
True
Let r = -111.1 + 111. Let h = -52 - -29. Let c = h + 22.1. Is r > c?
True
Let i(l) = l**3 - 8*l**2 - 19*l - 6. Let v be i(10). Suppose -d + 1032 = -v*o - 369, 0 = -3*d - 4*o + 4203. Let g = d + -35031/25. Which is smaller: g or -0.1?
g
Let n be 1/1 + 33/3. Let u(p) = 3*p**2 - 5*p + 13. Let v be u(n). Let c be 2 - (-7)/(-2) - v/14. Is c < -30?
False
Let y = 24 - 23. Let t = -17 + 21. Suppose -o = t*o - 5. Are o and y nonequal?
False
Let o = -3550 + 3551. Which is greater: 2/299 or o?
o
Let b = 13465.96 - 13467. Let k = 0.02 + 0.08. Is b at least k?
False
Let y be -1*((-144)/(-120))/((-2)/(-45)). Let i = 21 + y. Is -58/9 less than i?
True
Let q = 12746.62 - 12587. Let p = q + -160. Which is greater: p or -2?
p
Let f = 26338550870/133777 + -196884. Are f and 0 equal?
False
Let g be 21/3 + (-11404)/1628. Let j = 1189/6512 - g. Let s = 3 + -2. Which is smaller: j or s?
j
Suppose 114*s - 116*s + 1366 = 2*j, 4*s = j + 2722. Is s at most 680?
False
Let c = -218.9793 - 0.0207. Let q = c - -207. Let u be (10/4)/(1/2 + -1). Is u <= q?
False
Let y = 36605/279 - 1184/9. Let z = 1137 - 1137. Does y = z?
False
Let q(g) = -14*g + 1 - 2 - 3*g + 2. Let j be q(4). Let b = 3528 + -3528. Which is smaller: j or b?
j
Let q be 0 + (4/1 - 78). Let h be 8*(-8)/(-320)*-351 + -1 + -3. Is q at most as big as h?
False
Let x(b) = -b - 5. Let f be x(-5). Let r be 63/(-168) - 117/1560. Is r at most as big as f?
True
Suppose -4 = 7*c - 3*c. Let p be -4*c/(24/5). Let h = -27889 - -27889.1. Is h greater than p?
False
Let o = -227 - -231. Let s be (o/(-7) - 6/14)*-45. Which is smaller: s or 47?
s
Let n be (24 - 1)/((-26)/338). Let r = 298 + n. Suppose 0*v - 2*v = -8. Which is smaller: v or r?
r
Let k(s) = -559*s + 869. Let v be k(5). Are -1928 and v unequal?
True
Let r(k) = -k**3 - 7*k**2 + 12*k + 29. Let u be r(-8). Let o be u/(-21) - (1 - 1468/14). Which is bigger: o or 2?
o
Let h(k) = k**3 + 3*k**2 - 6*k + 4. Let i be h(-5). Let s = 1364/3 + -432. Let v = s + -22. Is v not equal to i?
True
Suppose 5*i + 2*w + 9 = 26, -3*i + 6 = -3*w. Let j be (32/(-6))/(-8)*9*i. Which is smaller: j or 17?
17
Let z(h) = -61*h**2 + 38*h - 130. Let i be z(4). Let q be (1/6)/((-3)/i). Which is smaller: 54 or q?
q
Let n be 1 - 0 - (-466)/(-160). Let r = -21/10 - n. Suppose 0 = 3*p - 5*g - 22, -22 = -25*p + 27*p + 4*g. Is r equal to p?
False
Let h = 48 + -33. Let k be (-110)/h*(-3)/(-2). Let c = 6.8 + 0.2. Which is smaller: c or k?
k
Let f(i) = 2*i**3 - 6*i**2 - 6*i - 6. Let h be f(4). Suppose 0 = -h*l + 4*s - 20, 5*s - 25 = -0*l + 3*l. Which is smaller: l or 1/37?
l
Let y be 4/(-11)*(1196/600 + -2). Let l(q) = -q**3 + 8*q**2 + 38*q - 55. Let h be l(11). Which is bigger: h or y?
y
Let d(b) = b + 2. Let x(z) = z**3 - 8*z**2 - z + 8. Let c be x(8). Let w be d(c). Let j be (-120)/(-59) + w - 4. Which is smaller: j or 0?
0
Let q = -0.0205 + -184.9795. Let g = q + 185. Is g smaller than -5?
False
Let t = -6 - -11. Suppose -5*r - f - f = -20, 5*r + t*f = 20. Let h be 810/(-120) + -1 + 13. Is r at least as big as h?
False
Suppose -40 = 4*p + 5*m, 0 = 2*p - 2125*m + 2128*m + 26. Let i be (-2)/23*3 + 0. Are i and p non-equal?
True
Let r = -68049 - -82543432/1213. Which is smaller: 1 or r?
r
Let q(s) = s**2 - 29*s + 158. Let a be q(19). Which is smaller: a or -65?
-65
Let r = 17.101 + -17. Let f = 1.899 + r. Let n = -2843/10 + 284. Is f greater than n?
True
Suppose 21*k + 320 = 20*k. Let j be -1 - (4173/k)/13. Is j <= -1?
False
Let z = -171 + 3. Let n be 1/((4/1)/z). Is -44 at least as big as n?
False
Let o be (-6)/(63/(-182) - 1/(-2)). Let k = 53 + -51. Let n = k - 42. Which is greater: n or o?
o
Suppose 0 = -2*i - 4*x - 2, x - 19 = -2*i + 4*x. Suppose -i*k - 5*a + 625 = 0, -95 = -k - 5*a + 50. Is k smaller than 121?
True
Let p(y) = y - 8. Let m be p(7). Let d = -635 - -629. Let h be (m - d) + 2*-2. Which is smaller: h or 16/7?
h
Let k(f) = f**2 - 6*f - 22. Let g be k(12). Let b = 41 - g. Let z be b/(-60) - 1/(-4). Which is smaller: z or -5?
-5
Suppose -5*x - 5*u = 15, -3*u + 2*u - 13 = -4*x. Let t(g) be the third derivative of -g**6/60 + g**3/3 + 27*g**2 - 1. Let o be t(0). Does x = o?
True
Let u be ((-638)/55)/((-5)/50). Suppose -42*n - u = -43*n. Is 114 at most as big as n?
True
Let s = 1440 + -2254. Let g = s + 817.6. Which is smaller: g or -5?
-5
Let u be ((-114)/(-22) + (-188)/1034)*(-2)/12. Which is smaller: 105 or u?
u
Suppose -3*t + 149183 = -132*t + 698723. Do 4260 and t have different values?
False
Let c = -8 + -3. Let r(p) = -p - 10. Let q be r(c). Suppose -5*b + q = -4. Is 31 > b?
True
Let n = 40 - 44. Let q be (11 + -2)/((-2)/(n/3)). Suppose -4*j + 5*m = -q, 2*j + 4*m = 20 - 4. Is 5/2 < j?
True
Let i = 13437/7 + -1921. Let m be -1*(-2)/(-2) - 0. Let k be 1 + 2 + (-3 - m). Which is greater: k or i?
k
Let a(t) = -2*t + 0*t + 9*t - 6*t. Let i(o) = -6*o - 4. Let x(h) = 5*a(h) + i(h). Let f be x(-8). Is f smaller than 3?
False
Let b(i) = -i**2 - 5*i + 5. Let v be b(-7). Let j = -2576 - -7705/3. Which is smaller: v or 