ppose 2*l + 280 = 5*z, 0*l = 4*z - 4*l - 224. Which is bigger: 512/9 or z?
512/9
Suppose 92*c = -33*c. Which is greater: -6/43 or c?
c
Let m be (-4)/150 + (-2 - -2). Let n = -5458 - -5457. Are n and m nonequal?
True
Let l be 56/252 - (50/36)/(-5). Which is bigger: l or -44?
l
Suppose -437 = -4*g + 823. Let x be 81/g + -1*(-1)/7. Is -21 at most as big as x?
True
Let d(z) = -z**3 - 4*z**2 + 11*z + 3. Let c = 55 - 61. Let x be d(c). Let r(a) = a - 1. Let h be r(4). Which is greater: h or x?
x
Let d be (-2)/5 + (-4)/(-10). Let c(t) = 40*t. Let o be c(-6). Let k = -2642/11 - o. Is d >= k?
True
Let u = -31 - -155. Let v = -110 + u. Is 14 less than or equal to v?
True
Suppose -1058*k + 1061*k - 3 = 0. Which is bigger: 3/4 or k?
k
Suppose 28*f - 355 + 103 = 0. Which is bigger: 13 or f?
13
Let n be (-7)/(-7) - (-4)/2. Suppose 8 = n*j - 1. Suppose -m - j = -1. Which is greater: -5/6 or m?
-5/6
Let u = -77647/36715 + 3/5245. Let p = u - -12/5. Which is smaller: p or 4?
p
Let g = 82 + -81. Which is greater: g or 18/11?
18/11
Let o(p) = p**2 + 3*p - 6. Let z be o(-5). Suppose n - 3*v - 3 = 5, z*n + 3 = 5*v. Let d be (-2)/(-7) - (-255)/(-35). Is d less than or equal to n?
True
Let a = 267 + -1337/5. Let m = -0.3 - 0.1. Are m and a equal?
True
Let a = -12 - -19. Let s = 307/21 - 43/3. Which is smaller: a or s?
s
Let g = 227939842936246/134876528571 + 2/745174191. Let m = -1690 + g. Is -1 < m?
True
Suppose -4*c - 3*g + 5*g + 4 = 0, -2*c - 3*g = 6. Let z be (-8 + c)*(-2 + 4). Let r be 37/77 + z/28. Is r at most 1?
True
Let m = 1359 + -1358. Which is greater: m or 2/7?
m
Let s(q) = -q. Let n(f) = -7*f**2 + 2*f. Let d(l) = -n(l) - 3*s(l). Let o be d(1). Let m = -730 + 738. Is o smaller than m?
False
Let f = 291 - 180. Is 112 bigger than f?
True
Suppose -97 = 5*j + 18. Which is greater: j or -22?
-22
Let v(a) be the second derivative of -10*a + 1/6*a**3 + 6*a**2 + 0. Let y be v(-12). Which is bigger: y or 2/67?
2/67
Let w = 609 + -608.9. Is 0.1 bigger than w?
False
Let s be (-600)/(-27) - (-4)/(-18). Suppose -5*a - s = -7*a. Suppose 15 = a*v - 16*v. Which is smaller: v or 8?
v
Suppose -34*v + 11*v - 46 = 0. Suppose 0*j + 8 = j. Let z be 6/4*j/(-6). Is v at least z?
True
Suppose 3*r = -1 + 4. Which is smaller: -37 or r?
-37
Let y = -140 - -140. Is 4/201 greater than y?
True
Let n = 757/2 - 378. Let j = 0.88 - 0.18. Let l = j + 6.3. Is n less than l?
True
Let j = 10.2 - 10.1. Is j less than or equal to -30/7?
False
Suppose -12 = 4*k - 24. Let f be (-1)/k - (3 - 231/72). Which is bigger: 0 or f?
0
Let u = -20 + 138/7. Let t = 895 - 895.13. Are u and t non-equal?
True
Suppose 5*r + 5*r = 8*r. Let m = 1/4130 + -43/59. Let w = m - -4/5. Which is greater: w or r?
w
Suppose 345 = -6*p - 9*p. Which is smaller: p or -19?
p
Suppose -509 = -3*w - 131. Suppose 4*u = -3*u - w. Is -17 > u?
True
Let z = 99 - 93. Suppose -2*l + 12 = -0. Let u be 4/z*l/(-4). Do u and -1 have different values?
False
Let m = -9296497/45085 - 6/9017. Are -206 and m unequal?
True
Suppose 4*b + 20 = 2*n, b + 2 = 5*n - 12. Let s be ((-8)/(-52))/(1/9). Are n and s equal?
False
Let h(j) = -4*j + 41. Let w(z) = z**3 - 2*z + 10. Let x be w(0). Let i be h(x). Which is smaller: -0.04 or i?
-0.04
Let u be -3 + -2 + (4 - -3). Let v be 85/(-15)*-9 + u. Is -1/3 at least as big as v?
False
Let t be (352/(-77) + 4)/1. Which is smaller: t or -31/3?
-31/3
Let x = 0.16 + -0.06. Let j = x - -0.1. Let y = j - 1.2. Which is smaller: y or -0.6?
y
Let v = -1.49 + -0.21. Let p = -1.3 + v. Which is smaller: -0.2 or p?
p
Let y = -0.19 - -0.2. Let o be (((-153)/42)/17)/(6/4). Which is bigger: o or y?
y
Suppose -3*t + 20 = -8*t. Suppose 27*n - 300 = -51*n - 846. Which is smaller: n or t?
n
Let p(w) = -w - 9. Suppose -5*a + 2 = 22. Let c be p(a). Suppose 4*o = -3*z + 17, -7 = -5*o + z - 0*z. Is o smaller than c?
False
Let m(z) = -4*z + 53. Let t be m(13). Which is smaller: -3/133 or t?
-3/133
Let a = 430 + -438. Which is smaller: 4/71 or a?
a
Let w = -0.88 - -0.92. Let l = w - 9.04. Which is smaller: 0.2 or l?
l
Let w be 32/(-36) + 5/(-45). Do 153 and w have different values?
True
Let q(v) = -v**3 - 8*v**2 - 9*v - 7. Let f be q(-6). Let p be f/(-45)*(-2)/(-5). Let z(m) = m + 4. Let r be z(-4). Which is greater: p or r?
p
Let h = -67 + -119. Let t = 569/3 + h. Which is smaller: t or 3?
3
Let w = -1 + 4. Let s = -4 + w. Let m = -4668 + 4664. Which is greater: m or s?
s
Let y = 653 + -636. Do 22 and y have the same value?
False
Suppose 707 = -172*v + 179*v. Which is greater: 100 or v?
v
Suppose -10*b = -4*z - 5*b + 19, 5*b + 11 = -4*z. Is 3/13 greater than or equal to z?
False
Suppose 0 = -4*m - 2*t - 2*t, -m + 2*t - 12 = 0. Let n = 46/31 + -880/217. Is m >= n?
False
Let c(u) = -u**2 + 3*u + 5. Let f be c(4). Let n(s) = 5*s + 2. Let w(y) = -y. Let p(o) = f*n(o) + 3*w(o). Let g be p(-1). Which is smaller: g or -2/67?
-2/67
Let p = 104 - 108. Which is smaller: -37 or p?
-37
Let l be (-120)/(-9) + 2/(-6). Which is smaller: l or 11?
11
Let y(k) = k**2 + 5*k + 3. Let m be y(-2). Let b = -1669/55 + 303/11. Is m at least b?
False
Let w be (9/8 - 1)*(1 - 2034). Let l = w + 253. Is 0 > l?
True
Let t = -891 + 636. Which is smaller: -1 or t?
t
Suppose 16 = 5*g + 1. Suppose 7*l = 14 - 0. Is l equal to g?
False
Let a be (-60)/(-25)*(-40)/6. Let z be (-2)/(2*2/a). Suppose 0 = -9*r + z*r. Is 1/3 greater than r?
True
Let u be 4/15*(-19780)/6. Let j = u + 880. Let p = -31 + 32. Which is bigger: j or p?
p
Let k = 142 - 71. Let f = 69.6 - k. Is -0.2 at most f?
False
Suppose 18*s - 114 = 21*s. Let y = s + 17. Which is smaller: -20 or y?
y
Let b = -187 - -188. Suppose 2*a - 52 = -3*d, 3*d - a = -5*a + 44. Suppose -c = -5*c + 4*r - 36, 4*r - d = 0. Is c at least as big as b?
False
Let i(w) = -2*w**3 - 5*w**2 + 24*w + 110. Let c be i(-4). Which is greater: c or 6?
c
Let i be (((-1330)/(-50))/7)/(32/(-25)) - -3. Let n(w) = -w**3 + 5*w**2 - w + 4. Let a be n(5). Which is bigger: i or a?
i
Let a = 21224 + -21216. Let i be (9/(-2))/(-3)*6. Is i > a?
True
Suppose -30 = -312*n + 322*n. Let z = 0 + 0. Let b = z - 1. Is n not equal to b?
True
Let l = -488 - -486.98. Which is smaller: 0 or l?
l
Let c = -143 - -142.1. Is -0.5 at most as big as c?
False
Let i be (-3)/(((-39)/(-140))/(-13)). Let k be 1 + i/(-34) - -3. Which is greater: 1 or k?
1
Suppose -t + 3 = 4. Let a be 36/486 + (-58)/54. Is t != a?
False
Let s be 0/4 - (26/(-6) + 6). Is s bigger than -3?
True
Suppose 12 = 4*t - 24. Let i be 6 - 2*(-4)/(-4). Suppose -t = 3*g - 3*n, 4*g - i = n - 5*n. Is -4 equal to g?
False
Let u(p) = -25*p - 40. Let v be u(13). Let d = v + 2915/8. Do d and 0.2 have the same value?
False
Let w(k) = k**3 + 3*k**2 + 3*k + 1. Let a be w(-2). Let c(r) = r**2 + 5*r + 6. Let p be c(-6). Let u be 1 + 1 + (-20)/p. Is a smaller than u?
True
Suppose 0 = 2*r + r - 99. Let c = r + -21. Which is smaller: c or 9?
9
Suppose -g + 4*g = 0. Suppose b = -3*h + 6, 2*h = 2*b - 0*b + 12. Let v be (4/3)/(31/h*2). Which is smaller: v or g?
g
Suppose -d + 2*l = 4, 5*l + 3 = -3*d - 20. Suppose -4*v - 8 = 4. Which is smaller: d or v?
d
Suppose p + 0*p - 1 = 4*i, 4*p - 4 = 3*i. Suppose 0 = 4*b - 7 - 5. Suppose -b*l = 3 - 0. Which is bigger: l or i?
i
Let u(r) = -r**3 - 11*r**2 - 12*r + 24. Let k be u(-7). Is -88 greater than or equal to k?
True
Let f(k) = -2*k - 25. Let x be f(-15). Suppose x*v = 7*v + 14. Which is smaller: -9 or v?
-9
Suppose -5*d - 18 - 7 = 0. Let f(n) = -n**3 + 6*n**2 - 5*n - 4. Suppose -5*p + 13 = -12. Let a be f(p). Is a less than d?
False
Let d = -245 - -572. Which is smaller: -1 or d?
-1
Let k = -1693 - -474041/280. Which is greater: k or -1?
k
Let g = -2 - -5. Let q be 5/g*9/6. Let m = 1083.8 - 1084. Which is bigger: m or q?
q
Let l = -780 - -914. Does l = 136?
False
Let i = -0.236 + 0.336. Which is bigger: i or -45?
i
Let x be (2/13 + 378/1092)/(-341). Which is smaller: 0 or x?
x
Let f be ((-9)/(-27))/((-2)/(-5)). Let o = f - 2. Is o greater than 0?
False
Let f be 0 + -1 + (-32)/168*-7. Are f and 40 equal?
False
Let s = -29 + 50. Let j = 5 - s. Let l be j/(-24) - (0 - -1). Which is smaller: 0 or l?
l
Let y = 21674621110 - 3576416108582/165. Let w = -628031 - y. Let x = w + -4/33. Is 1 not equal to x?
True
Let y = 0.33 - 1.03. Let z = 2.3 + y. Let u = 1.1 - z. Which is greater