*y - 35 = -4*y. Suppose -3*z = 12, 9 - y = -4*u - z. Which is bigger: u or -2/25?
u
Let b be (12/(-15))/((-3)/30 - 0). Let a = 30655/3956 + 1/989. Which is smaller: b or a?
a
Let d = 9.1685 + 0.0215. Let u = -9 + d. Let s = 11 - 12. Does s = u?
False
Let i be (-4)/(-10) + 6/10. Let k be (15/(-280))/(11/4 - (-47 - -52)). Which is bigger: k or i?
i
Let v be (-293 + -1)/(2/(-12)*-4). Is v != -441?
False
Let t be (-2384)/(-584)*-1 + 2*2. Let b = t + -293/876. Which is smaller: b or -1?
-1
Let f = 157 - 154. Is f > 14/9?
True
Let w be 14/(-12) + 4/6. Suppose -i = g + 5, 5*g - 2*i + 21 = 10. Which is smaller: w or g?
g
Let y = -749.9 + 724. Which is bigger: y or -3/7?
-3/7
Let b = 2067 + -3275. Let c = b + 9637/8. Which is bigger: -4 or c?
c
Let w = 520/111 + -156703/444. Let r = -271627/780 - w. Which is smaller: r or -1?
-1
Let n(j) = j**3 - 4*j**2 + 5. Let k be n(4). Let g = -4 + k. Suppose -s + 3*y = 4, -y - 3*y + 4 = 0. Is g less than or equal to s?
False
Let f = -3.8 - 22.2. Let q = -16 - f. Let o = 2 - 2.1. Which is smaller: o or q?
o
Let m = 0.03 + 0.13. Let b = 0.54 + m. Which is smaller: b or -3?
-3
Suppose 18*p = -3*q + 23*p + 508, q = p + 172. Are 184 and q equal?
False
Suppose 62 = 4*x - w, x + 3*w + 0*w = 9. Suppose 5*l = 5 - x. Which is bigger: l or -0.7?
-0.7
Let b be 14016/144 + 8/(-6). Is -0.1 equal to b?
False
Let x = -8.8 - -4.1. Let g = -4.49 - x. Which is greater: -1/4 or g?
g
Let d = 377/8965 - -5/163. Is 1 smaller than d?
False
Let i = -455.9 + 456. Which is smaller: -267 or i?
-267
Let r(x) = x**3 - 12*x**2 + 14*x - 16. Let t be r(11). Suppose 0 = 3*c + 2*g - 35, 39 = 5*c - 2*g - 46. Which is greater: t or c?
t
Suppose 3 = -4*l - 13. Let z(t) = -2*t**2 - 40*t - 43. Let k be z(-19). Which is smaller: k or l?
k
Suppose 0 = 4*x + x + 1160. Let p be 4/(18/(-2084)*-2). Let f = x + p. Is f greater than -0.1?
False
Let f(b) = b + 9. Let c be 1/((-10)/(-26)) + 8/20. Let d be f(c). Which is greater: 11 or d?
d
Suppose -599 = 5*s - 2664. Let y = s + -4549/11. Which is bigger: y or -1?
y
Let j = -219 + 218. Let m = -8 + 14. Which is smaller: m or j?
j
Let p = -36 + 36.1. Let r = -74 - -73.75. Which is bigger: p or r?
p
Suppose -200 = -u + 5*u. Let t = u - -41. Is t equal to -9?
True
Suppose -x + 74 = 7. Let y = x + -67. Which is smaller: y or 6/11?
y
Let s = -199 + 195. Let c = -4 - 0. Is c less than or equal to s?
True
Let f be 15/24 - (114/15 - 7). Is 0 greater than or equal to f?
False
Let r be (-1 - 2)*2*1. Let x be 28/5 + r/(-15). Suppose -x = -3*i + 3. Which is smaller: i or -1?
-1
Suppose -x + 9 + 0 = 0. Let v = 7 - x. Which is greater: v or 0?
0
Let n = 980/9 + -109. Let b be 234/(-966) + (-1 - -2). Let d = -24/23 + b. Is n greater than d?
True
Let b(w) = -w**3 + 4*w + 3. Let z be b(-2). Let g(o) = o**3 - 3*o**2. Let m be g(z). Let u be 18/26*8/(-12). Which is greater: u or m?
m
Suppose 0 = -3*t + 3*j - 6*j - 63, 55 = -3*t - j. Which is smaller: t or -10?
t
Let g(y) = -y**2 - 10*y - 1. Let o be g(-8). Let u be 440/o - 16/12. Is u >= 28?
True
Let g = -18 - -21. Suppose -2*c - c = 15, f = -g*c - 7. Suppose 4*w + 4 = 2*u - f, -5*u + 5*w = -10. Are u and -5/4 equal?
False
Let n be (3 - 62*(-4989)/(-432)) + -1. Let t = -714 - n. Is 0 greater than t?
False
Let p = -4.4 - -4. Let o = -132/13 - -885/91. Which is smaller: p or o?
o
Let l = 15/2 + -9. Suppose 0*a + 6 = 2*g - a, 0 = g + a - 6. Let j be (-2 - (-6)/g) + 1. Is j not equal to l?
True
Let v = 78 + -132.8. Let h = 55 + v. Is h at least as big as -0.5?
True
Suppose 0 = 3*t + 9, 2*p - t + 213 = -4*t. Let u = 417 + -417.1. Which is bigger: u or p?
u
Let c(b) = -b**3 + 12*b**2 - 11*b + 1. Let x be c(11). Let p be 0 + 2 + x - -9. Suppose -p*t + 13*t = -1. Is -5 > t?
False
Let a = -1.1 - -1. Let j = 429 - 660. Let s be 12/66 - (24/j - 0). Which is smaller: s or a?
a
Let v(r) = -3 + 3 - r. Let s be v(2). Let t be 2*(-4)/(-8)*-1. Which is smaller: s or t?
s
Let o(c) = -c + 4. Let n be o(0). Suppose 24 = -3*g + 5*a - 0*a, -n*a = 4*g. Is -3 != g?
False
Suppose 0 = 11*t + 662 - 134. Is t > -47?
False
Let f be -29 + -1 + 6/3. Suppose 2*c - 13*u = -11*u - 52, -3*c = -2*u + 81. Is f greater than or equal to c?
True
Let g = 0.0077 + 0.0943. Which is bigger: g or -0.4?
g
Suppose -z - 13 = -9, -5*x + 127 = 2*z. Let i = -6 - -32. Suppose i*s - 11 = x*s. Which is greater: 1 or s?
1
Suppose 29*f - 9 = 26*f. Let j be f/7 + 3/(-7). Is j less than 12/13?
True
Let z be -1 + (22/(-31))/(6/(-9)). Suppose 11*k = 16*k. Which is smaller: z or k?
k
Let r = 60 + -40. Suppose -r = -4*z + 100. Let f be (-102)/z - 4/(-1). Which is greater: 2 or f?
2
Let a = -0.4 - 2.6. Let k = -26.25 + 26. Let l = k + 3.25. Is a <= l?
True
Let u be ((-766)/30)/((-6)/(-39126)). Let d = u + 166604. Let f = d + -101. Which is bigger: 1 or f?
1
Let p = 2.88 + -3.4. Let v = 0.22 + p. Which is bigger: v or 9?
9
Let d be 1/((-11)/(-24)*1). Let a(n) = 4*n**3 - 11*n**2 + 11*n - 9. Let x be a(2). Is d greater than x?
True
Let r be (12/(-66) - 6/(-33))/4. Let m = r - 18. Are m and -18 equal?
True
Let n = 3 + -7. Let k(z) be the third derivative of z**6/120 + z**5/30 - 3*z**4/8 + z**3/3 + 18*z**2. Let b be k(n). Are b and 4 equal?
False
Let b = -19 - -5. Let p be 328/(-2) - (5 - 12 - -11). Let o be 16/p*b/(-24). Which is smaller: 0 or o?
o
Let c(u) = 2*u**3 - u**2 + 4*u - 3. Let j be c(3). Let h = j - 25. Let v = -29 + h. Are v and 2/15 nonequal?
True
Let i be (-16082)/(-1430) - (3 - 41/13). Is i at least as big as 11?
True
Let l = 858 + -1026. Is -167 smaller than l?
False
Let x be ((-24)/42)/((-4)/14). Let g be (1/x)/(9/(-18)). Suppose -2*h - 10 = -4*p, h + 15 = -3*p - 2*h. Which is bigger: g or p?
p
Suppose -21*h + 32 = -17*h. Let y(s) = s**2 - 9*s + 1. Let f be y(h). Let u = 10 - 17. Is f < u?
False
Suppose -b - 32 = b. Let p = 36 + b. Let l = -39/2 + p. Is l smaller than 1/2?
False
Let v = -203/10 - -2237/110. Suppose -2*i = 4*g + 14, 3 - 8 = -4*i + 3*g. Let c be (-1 - 0)*-1*(i + 0). Is v greater than c?
True
Let f = -11633/8 - -1457. Is f greater than or equal to 0?
True
Let x = -10.352 - 0.048. Let o = 74 - 64. Let y = x + o. Which is smaller: -2 or y?
-2
Let n = 52 + -48. Suppose -n*o = -9 + 5. Let r be (-33)/(-228) + 1/(-4). Which is greater: r or o?
o
Let f = -4557 - -4556. Let z = 1400/4313 - 2/227. Which is smaller: z or f?
f
Suppose -2*u + 0*c = 3*c, -c = -u - 10. Let a = -936 + 937. Are u and a non-equal?
True
Let s be 3/1*(-130)/(-39). Is s not equal to 26/3?
True
Let s(z) = -z**3 + 4*z**2 + z - 4. Let w be s(4). Suppose -5*c + 18 = -2*k, 4*k - 2*c + 20 = -w*c. Let l = -12 - k. Which is smaller: -2 or l?
l
Let i be -4 - -2 - (1 + 1). Let y(b) = b**3 + 5*b**2 + 2*b - 7. Let k be y(i). Which is smaller: k or 5/11?
5/11
Suppose 4*s - 5*c + 5 = 0, -5*c + 5 + 15 = -s. Suppose 0 = -s*g - p + 77, 0 = -g + 3*p + 11 - 2. Do 13 and g have the same value?
False
Let c be -1 - (2 - (-2 + 108/44)). Let l = c - -118/55. Is l > 33?
False
Let c be (-142)/(-6) - 16/24. Suppose -5*x = 7 + c. Let y be -1 + -6*(-3)/x. Which is smaller: y or -3?
y
Let v = -407/7 - -8949/154. Is v greater than 0?
False
Let v be 3 + 604/16 + 2. Let p = 1173/28 - v. Are -2 and p equal?
False
Let v be (2*(-57)/3)/((-4)/44). Which is smaller: 416 or v?
416
Let u = 82/5 - 16. Let i = 4.3365 + -0.0065. Let f = 0.33 - i. Which is bigger: u or f?
u
Let p(l) be the third derivative of 0 + 1/30*l**5 - 1/4*l**4 - 7*l**2 + 1/6*l**3 + 0*l. Let f be p(3). Which is greater: 7 or f?
7
Suppose 65*v = 104*v - 39. Is -6/115 at most v?
True
Let c = -40.19 - -40. Let l = c + -21.81. Let p = 22 + l. Is -1 less than p?
True
Let m = 80 + -178. Let w = -108 - m. Are -10 and w equal?
True
Let g(f) = f + 4*f + 0 + 13 + 5*f**2 - f**3 - f. Let u be g(6). Do -2 and u have the same value?
False
Suppose -4*c = 3*k - 2*c - 21, -4*k + 3*c = -28. Let i = k + -4. Suppose i = 4*v + 7. Is v >= -4?
True
Let m = 2.4 - 1.5. Let p = -31 - -29.9. Let f = m + p. Are f and 0.1 equal?
False
Let o = 69/62 + -259/372. Let d = 3 + -3. Is o equal to d?
False
Suppose -18*m - 2207 = -569. Is -88 at most m?
False
Let d(u) = -u**3 + 24*u**2 + 27*u + 10. Let t be d(25). Which is greater: t or 65?
65
Let b = -2960/12291 + 4/723. Is b bigger than -4.1?
True
Let c = 3247 - 3248. Let o = -293 + 165. Is o at least as 