v be c(-8). Is v at most as big as r?
True
Suppose -5*d + 0*z + 1215 = -4*z, 0 = -5*d + 3*z + 1220. Let n = -197 + 445. Are n and d nonequal?
True
Let k(q) = -2*q**3 + 6*q**2 - 4*q + 6. Let r be k(3). Let i(m) = m**3 - 4*m**2 - 63*m + 8. Let j be i(r). Is j less than 1?
False
Suppose -5*v = 5*u - 50, -43 = -5*v + 181*u - 179*u. Is v >= -174?
True
Let j be 144/63 + 3/(-3) + -1. Suppose -2*a = 6, -5*o + 2*a = -30 - 11. Let y = o + -6. Which is bigger: y or j?
y
Let l be (-10 - (15 - (9 - (-2746)/172)))*48/(-9). Suppose q = -2*q + 3. Which is bigger: l or q?
q
Let s = -76 - -84. Suppose -3*r - 5*b + s*b - 3 = 0, -b - 17 = 2*r. Let z be (-42)/9 - (-6)/(-3). Which is greater: r or z?
r
Suppose 2*k = 6*q - 2*q + 48, 20 = -5*q. Let f = 79 - 34. Suppose -2*s + 55 = 3*y, 0 = -0*y + 4*y - 3*s - f. Is k > y?
True
Let k(n) = -n**3 + 94*n**2 - 4*n + 375. Let d be k(94). Which is bigger: 3/2323 or d?
3/2323
Let t = -41627 - -41794. Which is smaller: -8 or t?
-8
Let m = 1568 + -2031. Which is bigger: -2322/5 or m?
m
Let a = -1/99 + 281/8217. Let s(m) = m**3 + 9*m**2 + 19*m + 169. Let o be s(-9). Let j be (2 + o)/(-3 - (-8)/2). Which is smaller: j or a?
j
Suppose 3*f - 5*n - 385 = -0*n, 691 = 5*f + 4*n. Let j be 7/35*f/(-12). Are j and 8/7 equal?
False
Let h be 6 - (116265/18918 - (-2)/(-12)). Which is smaller: 0 or h?
0
Suppose -503 - 2234 = w - 5*s, -7*w + s = 19057. Is w at least -2723?
True
Suppose -2*v - 9*m + 203 = -8*m, -3*m + 297 = 3*v. Suppose 5*q - q = v. Which is smaller: q or 27?
q
Suppose 0 = 5*y + 302 + 178. Let l(n) = n**2 + 17*n - 29. Let j be l(-6). Is j < y?
False
Let l(h) = -2*h**2 + 10*h + 1. Let u = 57 - 52. Let b(v) = -v + 12. Let x be b(u). Let c be l(x). Which is smaller: -26 or c?
c
Suppose -10 = -2*j + 2*q, -2*j - 3*q + 6 = -9. Let k(d) = -d**3 - 3*d + 86 + d + 87 - 257 + 97 + 5*d**2. Let f be k(j). Are f and -36 non-equal?
True
Let o(v) = -v**2 - 32*v + 60. Let m be o(-34). Suppose 4*s - b + 14 = 0, s = 3*b - 4*b - 1. Let f be (36/150)/(s/110). Which is bigger: m or f?
m
Let m be (-3)/(-5) - (-4 + 476/85). Which is bigger: 1/621 or m?
1/621
Let x = 0.4 - 0.4. Let s = 123 + -18. Let t = 104 - s. Which is smaller: x or t?
t
Let a = -21212/3 + 6983. Let p be 2370/(-27) - 2*2/18. Is p equal to a?
False
Let a = 122 + -127. Let o = 13.4 + -13.3. Which is bigger: a or o?
o
Let d(s) = 13*s**2 - 3*s - 4*s**2 - 62 - 7*s**2 - 3*s**2. Let a be d(0). Let r be (-6 - a/10)/((-18)/5). Is r equal to -1?
False
Let w be (3 + -10)*(-63 + 62). Let j = -103798/13 + 7992. Is j equal to w?
False
Suppose 166*j = -6929 + 1119. Which is greater: j or -23?
-23
Let c = -31249 + 31239. Is c smaller than -665?
False
Suppose 15*r + 9454 = -5*r + 1434. Is -400 > r?
True
Let a be ((-2)/4)/((-79)/(-6)). Let j = 222/395 - a. Suppose 5*x = 3*x + 4. Is x less than j?
False
Let t be 2*-1 - (1 - 326) - -1. Suppose 0 = -33*d + 39*d - t. Which is bigger: d or 55?
55
Let a be 6*(-21)/(-498078) + 0. Is a at least 0?
True
Let c be (-4)/((1 + -2)*2). Suppose 3*z = 4*n, -3*n = 5*z + c*n - 35. Suppose -z*t = -t. Are t and 2 unequal?
True
Let w = 3582 - 3580. Is w greater than 23?
False
Let i(k) = -191*k + 114. Let v be i(-6). Is 1261 at most v?
False
Let a = -0.1531 - -0.8831. Which is smaller: 7 or a?
a
Let m be -2 + (4 - 1) - -1*(-18)/(-3). Which is smaller: 251/30 or m?
m
Let l be ((-260)/(-5)*(-18)/36)/((-1)/97). Is 2519 > l?
False
Suppose -2*h - 10473 = 7521. Let i be (h/50)/(60/25). Let s = i - -75. Is 1 smaller than s?
False
Let c be 55828/(-16) - 339/452. Does c = -3493?
False
Let o = -53.2 - -53. Let r = 132 - 132.2. Is r at least as big as o?
True
Suppose -3*p + x + 128 - 26 = 0, 5*p - 4*x - 170 = 0. Let s = 148 - p. Let i = s - 223/2. Which is smaller: i or 4?
i
Suppose -2*n = x + 13, -8*n = -4*x - 7*n - 61. Let v(r) = 4*r - 79. Let y be v(x). Which is bigger: y or -138?
-138
Let l = -247 + 267.7. Let d = l - 20.3. Which is bigger: -2/5 or d?
d
Let s(f) = 105*f - 524. Let r be s(5). Let u = 1614/47 + -85621/2585. Let x = u - 1/55. Which is bigger: r or x?
x
Suppose -2*l - 5913 = -5879. Are l and -750/41 non-equal?
True
Let m = -828 + 1011. Which is greater: 185 or m?
185
Suppose -367*g - 3399 = -354*g + 1801. Which is bigger: g or -406?
g
Let u = 20764 + -20764. Let x(f) = f**2 - 5*f - 1. Let s be x(5). Which is smaller: u or s?
s
Let x = 1/5870 + 815923/41090. Let b = x + -20. Let v = 0.105914 - 7.105914. Which is greater: v or b?
b
Let a = -56175 + 37813. Which is smaller: a or -18363?
-18363
Let o = -48/3695 + 40714/3247905. Which is bigger: o or 1?
1
Suppose -484*x = 5*u - 479*x - 220, 3*x = -u + 36. Is -13 < u?
True
Let n = 1.93 - -0.1. Let b = n - 2.13. Are b and -3.6 nonequal?
True
Let s(p) = -46*p + 8. Let a be s(-1). Let q = -59 + a. Which is smaller: -1 or q?
q
Suppose m = 2*m + 84. Suppose -3*t = 2*p - 47, -2*t + 71 = 2*t + p. Suppose -t*z = -36*z - 1445. Is m less than or equal to z?
False
Let g(k) be the first derivative of -k**3/3 - 12*k**2 - 114*k - 135. Let z be g(-5). Which is greater: -28 or z?
z
Let c = -209 + 206. Let m be (-8)/(-6)*((-567)/(-198) + c). Which is smaller: m or -32?
-32
Let k = 13789 + -13746. Which is bigger: k or -7?
k
Let p = -54 + 57. Suppose -7*r + 10*r + p = 0. Let h be (115/15 - -3) + r/3. Is h <= 10?
False
Let c = -286126 + 1995636/7. Is c greater than -1034?
False
Let z = 90 - 156. Let y be -3*9/((-81)/z). Let h(s) = 21*s - 1. Let l be h(-1). Is y at least as big as l?
True
Let u be (4/(-20)*1)/((-18)/90)*1. Is -3/5471 greater than or equal to u?
False
Suppose 3*l - 7*l + t = -9, 3*l - 3*t = 0. Suppose 15 = 4*p - 5*m, -2*p - 3*m - 9 = l*p. Are -1/40 and p equal?
False
Suppose 44 = 2*h - 2*a, 2*h + 4*a - 3 = 23. Suppose h*d = 16*d - 252. Let n be 3 + (657/d - -5). Which is greater: 0 or n?
n
Let f(w) = -34*w**2 + 136*w + 3. Let q be f(4). Which is bigger: 15 or q?
15
Suppose 0*w - 2*w = -2*b - 1744, 0 = -3*w - b + 2620. Let f be 1 - 6 - w/(-6). Is f at most as big as 141?
True
Suppose -140 = 18*x + 76. Which is bigger: 2/135 or x?
2/135
Let d = 547 + -279. Let y = -296.4 + d. Which is smaller: y or 0.1?
y
Let d be 0 + 11 + 9/6. Let q = 14 - d. Let i = -19377/7 + 2769. Is q less than or equal to i?
False
Let z = 36 + -30.1. Let o = z + -3.2. Let j = o - -5.3. Which is smaller: j or 1?
1
Let q = -52 + 105. Let d = -65 + q. Which is greater: -1/4 or d?
-1/4
Let c be -9*64/(-144) - -515. Is 1.5 greater than c?
False
Let o = -5 + 3. Let u be 5/o*(-18)/15. Let t be (8/(-72))/(3/(-27)). Is t <= u?
True
Let t be (-2 + 3)*(5 - 5) - -16. Suppose -z + 34 = -t. Suppose -5*s + q - z = 0, 0 = -5*s - q - 23 - 37. Are s and -11 nonequal?
False
Let j = 1/68 + -404/17. Suppose -2*f = 8 + 40. Let k = f - j. Is -2.4 greater than k?
False
Suppose 2*j + 29 = l, 4*j - j - 4*l + 46 = 0. Let i = -25 + 33. Let n(h) = -h**2 + 8*h - 11. Let c be n(i). Which is smaller: j or c?
j
Let n be -5 - (-10 - 856536/(-171300)). Which is smaller: n or -1?
-1
Let i = 827 - 926. Suppose 2*j + 10 = 6*o - 2*o, 4*o + j = 19. Suppose 471 - 71 = -o*f. Which is smaller: f or i?
f
Let s be 10/14 + -1 + 15849/(-21). Let y = s - -502. Is -254 greater than or equal to y?
False
Suppose 0 = -385*g + 381*g + 15992. Let c be -1 + (g/1332 - 2 - 0). Is -1 greater than c?
False
Let t(s) = 8*s**3 + 23*s**2 - 13*s + 38. Let u(d) = 7*d**3 + 24*d**2 - 13*d + 37. Let o(l) = 5*t(l) - 6*u(l). Let h be o(-15). Is h less than -15/17?
True
Let r(z) = -13*z - 232. Let a be r(-17). Let v = -3 - a. Which is greater: v or 3?
v
Let z be (4/(-6))/(1/(-6)). Suppose 2 = y - 2*t - 355, 2889 = 8*y - 5*t. Let r be (-2)/z + y/286. Is r > 1?
False
Let j = 14 + -3. Suppose 6*h - 1 - j = 0. Let t be (-2)/5*(17 - h). Which is smaller: -8 or t?
-8
Let t be 108/(-15) + 6 + 128/40. Which is smaller: t or 0.575?
0.575
Let a = 21187 + -21187. Which is smaller: -7/3147 or a?
-7/3147
Suppose -27 = -35696*f + 35687*f. Which is bigger: -1619 or f?
f
Let v(n) = n**2 - 2*n - 11. Let m be v(4). Let o = 71 - 218/3. Is o > m?
True
Let f(b) = 4*b + 108. Let v be f(-23). Suppose -4*x + v = 4*t, -10*x = 2*t - 9*x - 10. Which is smaller: 17 or t?
t
Let w = 3751 - 3204. Which is bigger: 2 or w?
w
Let p(b) = 137*b + 1507. Let k be p(-11). Which is greater: -3/605 or k?
k
Suppose 6*v - 51 = 39. Let m be ((-14)/245)/(v/(-7)).