- 163*v + 6631. Let s be d(85). Which is smaller: s or 1/34107?
1/34107
Let f = 77/41 + 4412/205. Is 23 equal to f?
False
Let d(o) = -3*o**2 - 113*o + 52. Let u be d(-38). Let g be (-396)/u + (-24)/(-84). Which is greater: -27 or g?
-27
Let u = -2478 + 2511. Suppose 30 - 170 = -4*s. Which is smaller: s or u?
u
Let y(k) = 31*k + 1260. Let c be y(-39). Which is bigger: 92 or c?
92
Let d = 47 - 46.9446. Let u = d + -0.0554. Is u smaller than -155?
False
Suppose 2*v + 84 - 921 = -3*h, 0 = -2*h - 2*v + 558. Is 3615/13 >= h?
False
Let y(h) = -18*h + 442. Let g be y(27). Let o be 745/12 - (-33)/g. Which is smaller: 62 or o?
o
Let a = -242 + 120. Let q = -115 - a. Is q not equal to -1/5?
True
Let t = 213 + -228. Let i = t - -15.1. Let l = -61 + 31. Is l not equal to i?
True
Let z be -3 + 0/((-24)/(-3)). Suppose -2*v + 1611 = 5*r - 1456, -3*v - 2*r + 4595 = 0. Let c = -10737/7 + v. Which is smaller: z or c?
z
Let s = -5628 + 9042. Let r be (-568)/(-54)*(-6816)/21. Let f = s + r. Which is smaller: f or 1?
f
Let v = -4111 - -36997/9. Is v smaller than 49?
True
Let k be (-1 - 25)/((-18)/(-1134)). Let d be k/(-24) + 2/(-8). Suppose p - 4 = 0, 0 = 5*c + 3*p - 0*p + d. Are c and -16 equal?
True
Let n = -12 - -16. Suppose 1 = -2*i - n*f + 9, 13 = 3*i + 5*f. Suppose -2*k = -i*k. Which is smaller: k or 6/7?
k
Let n(g) be the second derivative of g**3/6 + 15*g**2/2 + 30*g. Let c be n(-13). Suppose -5*u + c = -4*u. Does u = 16?
False
Let s = -481 + 307. Let u = -145 - 28. Which is bigger: s or u?
u
Let w = 8840 - 8962. Do w and -20 have different values?
True
Let c be -9 - 121/(-11) - 10. Which is smaller: c or -53?
-53
Let z(h) = h + 11. Let v be z(4). Let t be v/25 + (-33)/5. Let i be (3/18)/((-9)/t). Is -1 greater than i?
False
Let i(y) = -y**3 - 4*y**2 + 2. Suppose 0*q - 12*q = -48. Suppose 31 = -q*l + 27. Let f be i(l). Which is smaller: 6 or f?
f
Let s = -1/29 - 24/145. Let x = 0.09 - 0.04. Let v = x + -0.55. Is s at least as big as v?
True
Let f be 9/36687*-4*(-11 + 786/72). Is -1 <= f?
True
Let q be (10512/(-27))/(-16)*(-3 + 4). Which is smaller: 24 or q?
24
Let d = 0 + 4. Suppose -3*k = -2*k - d. Suppose 6*q - 39 = -5*w + 3*q, 0 = k*q + 8. Do -4 and w have the same value?
False
Let r be ((-30)/(-18))/((-2)/3). Let x = 4534 + -4506. Is x <= r?
False
Let c = 17 - 16. Let t = -934 + 645. Let f = -283 - t. Does f = c?
False
Let q = 22.47 - 1157.47. Which is smaller: -0.1 or q?
q
Let t(p) = -p**3 - 13*p**2 - 5*p - 21. Let l be t(-22). Suppose -34*x - x = l. Which is greater: -124 or x?
-124
Let o be (-6)/5*(-2 - 3/(-2)). Let g(t) = -3 + 1 + t**3 + 2*t - 2*t**2 - 2 + 3. Let w be g(1). Are w and o non-equal?
True
Suppose 66*a - 412 - 3020 = 0. Which is bigger: -5 or a?
a
Let k = 6459 + -6462. Which is greater: 77/18 or k?
77/18
Let b(d) = -136*d - 212. Let n be b(4). Let i be ((-16)/(-138))/(1 - (-780)/n). Is -5 at most as big as i?
True
Let f = -48 - -69. Suppose -4*n = -0*n + 16, 5*d - f = -n. Suppose -2*p = -5*v - 25, -5*v - 25 + 0 = d*p. Which is bigger: p or 26?
26
Suppose -2*w = -3*c + 229 - 790, -4*w = -5*c - 933. Let h = c - -161. Do -27 and h have the same value?
False
Let o = 51 - 49.86. Let i = o - 3.14. Does 13 = i?
False
Suppose -5*z = z. Suppose z = 10*j - 14*j + 280. Let w be 398/(-14) - 40/j. Is w greater than -28?
False
Let k(h) = -19*h**2 + 16*h - 2. Let s be k(5). Let y = s - -398. Is y at most as big as -4/31?
False
Suppose 0 = -2*o - 170*n + 178*n - 38, 0 = 5*o - 4*n + 239. Which is smaller: -8 or o?
o
Let h = 681 - 643. Let o = 0 - -37. Which is smaller: o or h?
o
Let u = 17191 + -17190.957. Let q = 3.7 + -4. Let v = -0.7 + q. Which is smaller: u or v?
v
Let j(p) = p**2 - 19*p + 85. Suppose -31 = -2*l + 5*b + 13, -5*l + 3*b = -72. Let w be j(l). Let s = 4.73 - 5. Is w smaller than s?
False
Let w = 9.64 - -0.16. Let u = -9.5 + w. Which is bigger: 1/19 or u?
u
Let m(b) = b**2 - 96*b + 2146. Let j be m(38). Which is bigger: -34 or j?
-34
Let p(s) be the third derivative of -s**6/120 + 4*s**5/15 - 11*s**4/8 + 3*s**3/2 + 19*s**2. Let k be p(14). Let c = k - -62. Does -1/8 = c?
False
Let o be ((-6)/21 - (-423)/(-63)) + -12. Let w = -83 + 65. Which is smaller: o or w?
o
Let v = -2935358/789 + -1310/263. Are -3724 and v nonequal?
True
Let u(r) = 3*r**2 + 23*r + 8. Let y be u(-9). Let w = -57 + y. Let j = w + 12. Is -1/10 at least j?
True
Let g be (0/(-79))/(-1 - 0). Which is smaller: 108/91 or g?
g
Let g = 0.10681 + -0.10681. Is -477 <= g?
True
Suppose 58*q - 733 = -733. Which is bigger: 8/1819 or q?
8/1819
Let p = -19.467 - -19.977. Is p greater than or equal to 1/26?
True
Let i be ((6/6)/(-1) - -6) + -146. Suppose 2*t + t + 423 = 0. Is t >= i?
True
Let l(y) = 2*y + 28. Let v(n) = -n**3 + 10*n**2 - 7*n - 5. Let o be v(9). Let t be l(o). Let a = 131 - t. Which is bigger: a or 76?
a
Let l = 181 - 182.7. Let t = 13 - 15. Let s = l - t. Which is greater: s or -5?
s
Suppose 2186*d - 2194*d + 2080 = 0. Which is greater: 262 or d?
262
Let y = 2.7 - 3. Let d = -1/51182 - 255867/2200826. Is y bigger than d?
False
Suppose -7913*y + 99 = -7922*y. Which is smaller: -522/49 or y?
y
Let c(o) = 2*o**2 + 20*o + 4. Let g be c(-9). Let l be g*(160/(-28) + 4). Suppose -4*f - 1060 = -l*f. Which is bigger: 54 or f?
54
Let h = -747 - -535. Let x = -211.977 - h. Is -0.07 at most as big as x?
True
Let a(w) = -2*w**3 - 31*w**2 + 20*w - 16. Let s be a(-16). Let l = s + 84. Suppose l*f - 2*v - 3*v + 197 = 0, -4*v = f + 23. Is f at least as big as -43?
True
Suppose -3*t - 10 = 4*p, -8*p - 2*t = -4*p + 4. Is p > 70/129?
True
Suppose 130*k + 748 - 748 = 0. Is k >= 1/7143?
False
Let t = 2/641 - 4497/3205. Let s = -736 - -740. Are t and s nonequal?
True
Let n be (-5 + (-162)/(-30))/((-2919)/15). Are n and -1 non-equal?
True
Let f be 6/10 + 1596/(-35). Let w = f + 32. Suppose 3 = 3*g, -2*m - 3*g - 17 = 4. Which is smaller: m or w?
w
Let j be 2*(-2 - 11/(-5)). Suppose -12 = -4*t + 5*t + 5*r, 0 = 2*t - 5*r - 21. Let u be 2/2 + (80/36 - t). Is u bigger than j?
False
Let t = -27688 - -27838. Let h = 335 + -186. Is t bigger than h?
True
Let d be (-3)/(-3 + 28/10). Suppose 5*i + 5*l = -35 - d, -3*i - 4*l = 26. Which is greater: i or -13?
-13
Let r = -0.3 - -2.3. Let c = 11.936 + -12. Let x = c - -8.064. Which is bigger: x or r?
x
Let f be ((-2)/3)/((-14)/(-21)). Suppose 0 = -g - 4*o + 28, -152 - 64 = -5*g - o. Let i be (-1)/(-6) + g/(-552). Does f = i?
False
Let b = -17707 + 17654. Which is smaller: -45 or b?
b
Let i(a) be the third derivative of a**6/120 + a**5/6 + a**3/2 + 4*a**2. Let w be i(-10). Suppose 0 = -w*z - 12 + 3, 0 = -p - 3*z - 8. Is p smaller than 3?
True
Suppose -25 = -5*n - 3*j, -3*n + 16 = -0*n + 2*j. Let w = -7 + -3. Let l be 4/10 + (-6)/w. Which is greater: l or n?
n
Suppose 3*s = -4*k - 350, -k + 10*s - 6*s = 97. Let t = -87 - k. Let a be ((-4)/(-5))/(30/50). Which is smaller: t or a?
a
Let j be 89024/5136 - (20 + -1). Let a = 0.1 + -0.1. Let g = a - -1. Are j and g unequal?
True
Let w be ((-2387)/(-330))/7 + (-18)/15. Which is bigger: -0.002 or w?
-0.002
Let g = -13000 + 12947. Is -0.16 greater than or equal to g?
True
Let o(n) = 211*n**2 + 4*n - 4. Let b be o(3). Suppose 0 = -17*w + b + 31. Is 114 less than or equal to w?
True
Let z = -6788 + 6719. Which is bigger: 10/11 or z?
10/11
Let u(q) = -4*q**2 + 61*q - 12. Let a be u(15). Suppose -6*b - k = -5*b, -4*b - k = a. Which is smaller: b or -91?
-91
Let u(p) be the third derivative of -p**6/120 - 23*p**5/60 - 23*p**4/24 - 31*p**3/6 + 63*p**2. Let g be u(-22). Which is greater: -11 or g?
g
Let m be ((-4)/130)/(3/(-30)). Suppose -5 = -3*j - 4*n, -5*n - 3 = -j - 7*n. Which is smaller: j or m?
j
Suppose 0 = i + 3*s + 6, 8*s - 9*s - 2 = -3*i. Which is smaller: 2/4061 or i?
i
Suppose 0 = 34*r - 78 + 44. Let n = -152/15 - -397/39. Is n not equal to r?
True
Let d = -191 + -1862. Are -2052 and d nonequal?
True
Let m be 3/(36/4)*-57. Let f be 20*15/18*18/15. Let j = m + f. Is j < 2/17?
False
Let s(f) = -3*f**3 - f**2 + 2. Let b be s(1). Let n be -15*b/6 + -2. Suppose 4*w = -w + 25, 4*y - n*w + 35 = 0. Does 7 = y?
False
Suppose -33*t + t + 36*t + 23300 = 0. Which is bigger: t or -5824?
-5824
Let y = 7540 - 22618/3. Which is bigger: 6390 or y?
6390
Suppose 2*u - 16 = -2*u. Suppose -y - u = 3. Suppose 5*z = -d - 18, 17 =