((-1326)/(-1079))). Which is bigger: 1 or k?
k
Let m(v) = -v**3 + 11*v**2 + 9*v + 23. Let r be m(12). Let j be -16 - r - 10/(-3). Does j = -8?
False
Let o = -610 - -562. Let j(r) = -r**3 - 47*r**2 + 50*r + 95. Let g be j(o). Is -4/17 at least as big as g?
True
Let u be (8/(-370))/((-2)/105550). Let k = 1141 - u. Suppose 340*b + 306*b = 620*b + 26. Is k not equal to b?
True
Let l = 0.34 + 0.06. Let c = 1739.5 + -1416. Let o = c - 323. Which is greater: o or l?
o
Let u = 3309 - -4419. Which is smaller: 0.1 or u?
0.1
Suppose r - 61 = l, -117*l - 57 = -116*l - 5*r. Is -41 bigger than l?
True
Let l = -6.7 - 17.3. Let x = -537 + 560.9. Let g = l + x. Which is smaller: g or 8?
g
Let i(q) = q - 7. Let x be i(1). Let d be (-3)/(x/(234/21)). Which is smaller: 6 or d?
d
Let a be ((-6)/975)/((-11)/(-55)). Let l(g) = g**2 - g - 7. Let o be l(-3). Suppose -4*q = 4*s + 12, 4*s = 4*q - 1 + o. Which is greater: s or a?
a
Let b(m) = -5*m**2 + 1. Let s be b(-2). Let a(y) = -y**3 + 16*y**2 - 31*y + 25. Suppose 0 = 9*l - 70 - 56. Let u be a(l). Which is smaller: u or s?
s
Let c = 348.1 - 356. Let s = 29 + -21. Let f = s + c. Does f = -14?
False
Let v be (-130)/20*(-6)/39. Which is smaller: -32/113 or v?
-32/113
Let a be 21/2*(-550)/(-825) + 2917. Is a at least as big as 2924?
True
Let j(w) = -w - 1. Let f be j(13). Let c be (-11 - f)*(-1)/10. Let d be (-2)/(-2 - (-5 - -5) - -4). Which is greater: c or d?
c
Suppose 0 = 3*j + 4*h, -2*j + 6*j - 10 = -2*h. Suppose -j*x + 46 = 3*n, -3*n = -2*n + x - 15. Suppose -n = 6*m + m. Which is smaller: m or -5?
-5
Let x(o) = -4*o**3 + 5*o**2 - 2*o + 13. Let z be x(3). Let v = z + 1. Is v smaller than -54?
True
Let q be (-9)/6*2/(-3). Let b(f) = -34*f**2 + 232*f + 8. Let y be b(7). Let i = q - y. Is i greater than 33?
True
Suppose -2*y - 6 + 0 = 0. Let x = 756426/5 - 150470. Let i = x - 818. Is y equal to i?
False
Let t = 1469 + -101363/69. Let h(i) = i**2 + 5*i - 9. Let n be h(-7). Let g(k) = k - 4. Let j be g(n). Which is smaller: t or j?
t
Let t = -138.79 + -1.21. Let s = 54 + t. Let j = s - -86. Which is bigger: 0.027 or j?
0.027
Let q = -10.6 - -11. Suppose 3*o + 6 = 9. Let c be 2/o + ((-231)/18)/7. Are c and q non-equal?
True
Let v be (-3)/((-12)/(-10))*(-6 - 34). Let o = 101 - v. Which is bigger: -2/11 or o?
o
Suppose -323*s + 9334 = -310*s. Let g = s - 520. Is g equal to 198?
True
Let n be (-90)/(-60) + (-1 - (-178)/4). Suppose n = 4*f + 81. Let z be 27/f + 2 + 0/1. Is z at most as big as -5/4?
False
Let y be ((-11154)/(-198) + -55)/(1/((-3)/(-4))). Which is greater: 1/9367 or y?
y
Let a be (-1 - 32/(-24))*3*209. Let g = -72 + -68. Let j = a + g. Is 68 at most as big as j?
True
Let o = -16 + 18. Let i = -220 + 195. Let m(f) = -f**2 - 21*f + 98. Let c be m(i). Which is bigger: c or o?
o
Let u = -131 + 134. Suppose -1203 = -u*m + 2*o, -543 = -m - 3*o - 153. Which is greater: m or 398?
m
Let u(o) = -19*o - 25. Let j be u(-9). Let a be (-1018)/j - (0 - 7). Is a greater than 0?
True
Suppose 7039 = 34*u - 6153. Suppose -9*n = 4*w - 13*n + 308, -u = 5*w - 2*n. Are -77 and w equal?
False
Let j(r) = -3*r**3 + 4*r**2 + 4*r - 10. Let c be j(3). Let h = c + 45. Let o be (-26*1)/h - 3. Are o and -15 nonequal?
True
Let q(i) = 2*i**3 - 77*i**2 + 39*i - 33. Let h be q(38). Is 206.4 at most h?
False
Let o = -2016 - -2088. Is o > 507/7?
False
Let x = 459330172 + -162833005307888/354501. Let h = x + -6/2317. Let k = -139/1071 + h. Which is smaller: k or -1?
-1
Let j = -570219181139/420 - -1357667963. Let g = 3246 - j. Which is greater: 0 or g?
0
Let f = 109149788/2173 - 50230. Which is bigger: 1 or f?
1
Let n = -114 - -107.95. Let f = n + 0.05. Suppose -3*p - 3 = -3*v, 0*v - 5 = -4*p - 5*v. Is f < p?
True
Let o be (18 + -19)*(-5 - 3808/(-4)). Are 1 and o unequal?
True
Let q = -3452 - -3448. Which is bigger: -151/38 or q?
-151/38
Let g = -2.9 - -3. Let d = -406.321 + 423.31. Let c = d + -0.989. Is c smaller than g?
False
Let z(i) = -i**2 + 13*i + 16. Let a be z(14). Suppose 4*s + 45 = -3*q, -5*s + a*q = 11 + 28. Let w be (s/6 - (-21)/6) + -6. Which is smaller: -9 or w?
-9
Let z be ((-10390)/(-15))/(208/(-1326)). Which is smaller: -4416 or z?
-4416
Suppose -2*h + 35 = -h. Suppose -3*u - 17*x = -22*x - 97, u - 39 = -5*x. Is u smaller than h?
True
Let d(f) = -f**3 + 10*f**2 - 13*f - 1. Let l be d(9). Suppose 0 = -54*q + 65*q - 418. Let z = l + q. Is z smaller than 2/49?
False
Let d be (8/(-16)*3 + (-21)/(-18))*-3. Which is smaller: d or 110/171?
110/171
Let y = 4369 - 4873. Which is greater: -506 or y?
y
Suppose -17*s + 62 = 45. Let w = -38/11 - -5217/1507. Are s and w nonequal?
True
Let t = 5.794 - 5.524. Are -11/10 and t nonequal?
True
Let m be ((-1)/(-17))/((-103)/206). Do m and -10/19 have the same value?
False
Suppose i - 117 = 3*b, 3*i + 2*b + 72 = 379. Let w = 45 - i. Let r = 61 + w. Are r and -4/45 non-equal?
True
Let t(y) = -3*y**2 - 56*y - 37. Let g be t(-18). Which is smaller: g or -461?
-461
Let s = -687 + 447. Let i be (5/45*6)/(s/(-63)). Is i greater than 0?
True
Suppose -10*x - 180 = 8*x. Let j be (-7 - (x + 1)) + -6. Let c be 20/(-18)*16/5. Which is bigger: c or j?
c
Suppose 338*y - 334*y + 43 = -3*k, 3*k = -5*y - 44. Let s be 5 + (-3 + -2 - -2). Suppose 3*q - 4*q + s*x - 10 = 0, -4 = q - 5*x. Which is bigger: q or k?
k
Let h = 70 - 99. Let a = 144 - 172. Let b = a - h. Which is bigger: b or 1/60?
b
Let b = 9400 - 2274797/242. Suppose 10095*t + 426 = 9669*t. Which is bigger: t or b?
b
Suppose 3*a - 8*h = -9*h + 755, 3*h + 1249 = 5*a. Is 2260/9 > a?
True
Let i = 56.346 - 55.956. Let w = -0.05 + -0.35. Is i less than or equal to w?
False
Let n be (-535)/(-5350) + 109/(-450). Are 1 and n nonequal?
True
Let i be (1/(-2))/(4/248). Let g(j) = 3*j**2 - 154*j + 459. Let t be g(48). Does i = t?
False
Let v = -16.993 + 17. Suppose -4*l - 5*d + 4 = -d, -5*d = 20. Let t be 28/(-30) + (23/l - 4). Which is bigger: t or v?
v
Suppose 6*m - 857 = 397. Let s be (2/(-54))/(m/(-114)). Let j(f) = -f**3 + 12*f**2 - f + 11. Let o be j(12). Is s equal to o?
False
Let i = -788 - -529. Let h = -241 - i. Are 15 and h nonequal?
True
Let r be (-21 + 21)*(-2)/(-6). Suppose -3*a + 6*p - p - 248 = r, p - 342 = 4*a. Let u be 4 - -6*a/6. Is u less than -82?
False
Let c = -0.286 + 0.206. Let v = c + 0.18. Which is smaller: -71 or v?
-71
Let g = -111 + 58. Let a = g - -145. Let f = a - 93. Is f at least 1?
False
Let m(n) = -4*n + 1. Let r be m(-10). Suppose -o + 50 = c, 2*o - 3*c - 12 - 63 = 0. Are r and o unequal?
True
Suppose 14 = 2*a + 4*y, 4*a + 0*y - 37 = y. Suppose 7 + 2 = -a*l. Let x = -182 + 2183/12. Which is greater: l or x?
x
Let i(m) = m**3 + 23*m**2 + 21*m - 15. Let p be i(-22). Let l be 2 - -1 - (-3 - 2357/p). Let r = l + -345. Which is smaller: -2 or r?
r
Let f = -3061 + 3062. Is f less than or equal to -2/8311?
False
Let g(v) = -4*v - 47. Let f be g(-13). Suppose f*n + c + 21 = -36, -4*c + 60 = -4*n. Suppose -2*h - 25 = 3. Which is smaller: h or n?
h
Let a = -147.45 + 146. Let c = -8.45 - a. Which is smaller: 3/2 or c?
c
Suppose 0 = 3*l + 4*y - 282, l - 4*y = 724 - 598. Let u be 2*-1 - 1*-50. Let g = u - l. Is -52 smaller than g?
False
Let z be 9 + -9 - (-4)/10. Let q(a) = -a**3 - 6*a**2 - 272*a - 1662. Let k be q(-6). Which is smaller: z or k?
k
Let g = 3537 - 3537.01. Is -515/4 equal to g?
False
Let k = 159.88 + -162.88. Is -1854 >= k?
False
Let s = -9655694/1359 - -7105. Which is smaller: 1 or s?
s
Let q = 34103/145 + -1177/5. Let m(y) = y**3 + 8*y**2 + 3*y + 25. Let s be m(-8). Which is smaller: q or s?
q
Suppose -o - 2819 = 3*j - 7, 4*o - 920 = j. Is -935 <= j?
False
Let t be 1*(4/30 - 2/(-10)). Let p = -6.23 + 5.3. Let q = p + -0.07. Is q smaller than t?
True
Let d(b) = 20*b - 179. Let t(s) = -23*s - 11. Let r be t(-1). Let o be d(r). Is 181/3 >= o?
False
Suppose 3*n + 4*o - 332 = 0, 2*n - 4*o = -2*n + 480. Suppose 0 = 5*z + a - 145, 2*a + n = 4*z - a. Suppose -2*x - 31 = -z. Is -4/7 at most x?
False
Let x be 86/1 - (-1 - 2). Let o = x - 93. Which is greater: o or -4/5?
-4/5
Suppose -4 = -2*o + l, -488*o = -488*o + 4*l. Is o greater than or equal to -658?
True
Let o = 2232221/7584 - -1/2528. Is 293 greater than o?
False
Suppose 11*r - 16*r = -820. Let g = r - 153. Is g less than 12?
True
Let m(p) = p**2 + 7*p + 20. Let o be m(-6). Suppose