 is smaller: y or 24?
24
Let m = -11 + 20. Let r = m + -4. Suppose -5*y - 2*k - 11 = 0, r*k = -5*y - 13 - 7. Which is bigger: y or -2/5?
-2/5
Let x be 8/(-30)*(-6)/(-5). Let f = 46213597/225 - 205393. Let s = x + f. Which is smaller: s or -1?
-1
Suppose -r + 2*i = -5*r - 10, 25 = -5*r - 5*i. Suppose 0 = -r*u + 2*u + 6. Does -8/5 = u?
False
Let j be 0 + 0 - (-4)/(-486). Let i = j - 464/2673. Which is greater: i or -1?
i
Suppose -a + 8*u - 4*u = -7, -4*a = u + 6. Let b be (-27)/(6 + -3) + a. Is b smaller than -9?
True
Suppose -2*o + 0*o + 6 = r, 0 = -2*o + 3*r - 10. Do -3 and o have the same value?
False
Suppose 3*p - 9 = 2*q, 3*q + 3 + 9 = 3*p. Let x = 29 - 32. Is x less than q?
False
Let h = -467/6 - -78. Suppose 0 = -4*p + p. Is h bigger than p?
True
Suppose 0 = -0*h + 5*h - 50. Let f(o) = 19*o**2 - 1. Let s be f(-1). Suppose d + 1 - h = -2*q, 4*d - s = q. Is d >= 5?
True
Let w(c) = -c**2 - 6*c + 16. Let l be w(5). Which is smaller: l or -1?
l
Let t(w) = w**3 - 9*w**2 + 10*w - 17. Let r be t(8). Which is smaller: -2/3 or r?
r
Let u(z) = -z**3 - 28*z**2 + 28*z - 40. Let y be u(-29). Is y less than or equal to 2?
True
Let o = -28.6 - -0.6. Let r = o - -27.97. Let d = -1/93 - 179/651. Which is greater: d or r?
r
Let l = -186 - -184.99. Let t = 0.01 + l. Which is greater: t or 0?
0
Let o = 3.03 + -3. Which is smaller: 0.1 or o?
o
Let h be (0 - 2)/1 - -1. Let r = 44 - 17. Let i = -32 + r. Which is bigger: h or i?
h
Suppose 5*i + 4 - 39 = 5*l, 3*i + 2*l - 21 = 0. Let m be (2/(-6))/(i/(-6)). Let x = 4 + -1. Is m < x?
True
Let t(p) be the third derivative of -p**4/24 + p**3/2 - p**2. Let x be t(7). Let n be 1/x*(-2)/1. Which is greater: n or 1?
1
Suppose m = 4*m. Suppose m = -3*x + 4*x - 2. Suppose 0 = -x*c + 3*c + 1. Which is greater: c or -2?
c
Suppose -4*g = n - 5*n - 8, g = 3*n. Let c = 4 + 0. Let i = c + -9. Are n and i equal?
False
Suppose -1 = -f - m - 3, 5 = -m. Let w = -3 - -6. Is w greater than or equal to f?
True
Let p(u) = -u**2 - 3*u + 4. Suppose 0 = -h - 3. Let k be p(h). Suppose -k*n + 0*n = 0. Which is bigger: 1 or n?
1
Suppose -3*p - 5*g = -10*g - 23, 0 = -4*p + 4*g + 28. Suppose -p = 5*l + 9. Is -2 > l?
True
Let s = -8.2 - -8. Which is bigger: s or -1.9?
s
Let m be (-6)/2*(-1)/(-1). Let f = 107 - 108. Is f greater than or equal to m?
True
Let g = 954/7 - 4103/28. Which is bigger: g or -9?
-9
Suppose 0*j = -3*j - 6. Let g(b) be the second derivative of -b**3/6 - 3*b**2/2 - b. Let t be g(j). Is t less than -1?
False
Let w = 300 + -5702/19. Which is greater: 1 or w?
1
Let h be 1/(-3) + (-4)/6. Let i(g) be the third derivative of g**5/12 - g**3/6 + g**2. Let f be i(h). Are f and 4 equal?
True
Let x be (-1 - -2) + (5 - -191). Let r = -1383/7 + x. Is r at most 0?
True
Let b be (2 - 2)/(3 + -1). Let m be (-2)/8*(-3 + b). Which is greater: 1 or m?
1
Suppose 3*t - 2*t = 9. Let x = -9 + t. Is 1.7 less than or equal to x?
False
Let p = 2/209 - 468/5225. Which is smaller: -3 or p?
-3
Let k = 0 + 1. Suppose 0 = 4*l - 2*l. Do l and k have different values?
True
Let g = -17 + 17.3. Let j(z) = -z**2 - 7*z - 5. Suppose 9 - 3 = -x. Let m be j(x). Is m <= g?
False
Let m = 1 - 1. Let j = 4/53 + 54/689. Is m bigger than j?
False
Let s(f) = -f**2 - f + 6. Let q be s(-3). Is 2/43 > q?
True
Let w(c) = -c**2 + c + 2. Let s be w(2). Is s not equal to 4?
True
Let q(l) = -3*l**3 + l + 1. Let b be q(2). Let w = b - -22. Which is smaller: 4 or w?
w
Suppose 4*d - 2 - 10 = 0. Suppose 3*q + a - 13 = 0, 13 = 3*q - a - 4. Let k = 8 - q. Is d bigger than k?
False
Let h = -98 + 389/4. Which is smaller: h or -8?
-8
Let z be 2/((-90)/35) - -1. Let s(g) = g**2 - 6*g + 9. Let y be s(6). Let q be (-3)/y - 2/3. Which is greater: z or q?
z
Let f(q) = -q + 6. Let w be f(0). Suppose h = w*h. Suppose 5*m = -h*m. Which is smaller: m or -1?
-1
Let v be 7 + (2/2 - 3). Suppose -v*i + 5 = -0*i. Let z be (-16)/40*(-5)/7. Does z = i?
False
Let y = -41/4 - -133/13. Is -1 greater than or equal to y?
False
Let v = -16 - -17. Which is greater: v or 0?
v
Let x = 10 - 9. Let o(t) = 2*t**2 + 2*t - 1. Let c be o(-2). Do c and x have different values?
True
Let b = -18.6 + 19. Is b at least as big as -0.1?
True
Let p = -9 - -7. Let c(u) = -4*u - 2. Let r be c(2). Let l be 2 - (1 + r/(-6)). Which is greater: l or p?
l
Let x = 4 + 2. Suppose 5*s = -4*y - 1 - x, 0 = 5*s - 4*y - 17. Suppose -c - s = -0. Which is greater: -1/9 or c?
-1/9
Let a = -0.94 + 1. Let u = -0.17 + a. Let q = u + -3.89. Which is smaller: -1 or q?
q
Let f(z) = z + 11. Let i be f(-10). Is i bigger than 7/5?
False
Let i = -14 - 22. Which is smaller: -35 or i?
i
Let t(z) = 2*z**2 - 11*z. Let a be t(8). Does 40 = a?
True
Let z(l) = -l**2 + 11*l - 5. Let f be z(9). Which is smaller: 14 or f?
f
Let d = 9 + -16. Let j = d + 7. Which is bigger: j or -0.01?
j
Suppose 4*k - 3*o + 27 = -2*o, 19 = -3*k + o. Let u = k - -5. Let v be -3 + 2/(0 - -2). Are v and u unequal?
True
Let i = -0.007 - -5.007. Which is smaller: i or 1?
1
Let n be ((-1)/(-3))/((-4)/(-276)). Suppose 4*f - 3*r - n = -4, 21 = 4*f - 5*r. Suppose 3 = -w - 2*w + 3*d, f*w = d - 13. Which is bigger: -5 or w?
w
Let m = 7.7 - 7. Suppose u + 2*w = -2*w + 37, 141 = 3*u - 3*w. Suppose -u = 5*i - 40. Are i and m nonequal?
True
Suppose 0 = -5*t + 2*t + 147. Let f = -442/9 + t. Is f != 0?
True
Let q = -64 - -64.06. Which is greater: 3 or q?
3
Let g = 8 + -7. Let c = -1/26 + 59/182. Are c and g unequal?
True
Let v = -10 + 3. Suppose 9 + 11 = 4*z. Let x = -1 - z. Is v at least as big as x?
False
Let o be 7 + -5 - (-6)/2. Let a be (-52)/(-20) - (-2 + o). Which is smaller: 0 or a?
a
Suppose -o - 2 + 5 = 0. Suppose o*b = -b. Let g = -3/29 - -50/203. Is b < g?
True
Suppose -10*l + 4 = -6*l. Suppose 0 = -2*k + 7*k, 0 = -5*c - k + 10. Which is bigger: c or l?
c
Let y = 11/12 - 5/12. Is y greater than or equal to -36?
True
Suppose -9*l + 5 = -4*l. Let o be (0 - 0/2)/2. Let n = o - 0. Is n < l?
True
Suppose -m = -6*m - 15, -18 = -3*w - 5*m. Which is smaller: w or 10?
10
Let w = -1.2 - -0.2. Let q = -0.29 + -0.01. Is q less than or equal to w?
False
Let y be (-2)/4*(-10)/(-15). Let p = -2 - -2. Let v = p + 0. Which is bigger: v or y?
v
Let m = -13 - -12.8. Is -5/2 < m?
True
Let u(g) = g - 8. Let z be u(-3). Is z >= -12?
True
Let m = 148 + -138.9. Let r = -8.984 - 0.016. Let j = r + m. Are 3 and j equal?
False
Let m(f) be the first derivative of f**4/2 + f**3/3 + f**2 + f + 3. Let s be m(-1). Let v be 2/5*15/(-10). Does s = v?
False
Let x = -44 - -82. Is 38 less than x?
False
Let w = 3.5 - 4. Let r = w + 0.7. Which is bigger: r or 2?
2
Suppose -8 = u - 5*u. Let t = 4 - u. Let m be t/(1/((-1)/(-2))). Is 2 <= m?
False
Let l = 11 - 9.9. Is -2/3 at most l?
True
Let i(z) = z**3 + 6*z**2 + 7*z + 5. Let k be ((1 + -16)/(-3))/(-1). Let m be i(k). Does m = -7?
False
Let b be ((-6)/7)/((222/14)/(-3)). Which is smaller: 0 or b?
0
Let o = 13 + -22. Are -9 and o unequal?
False
Let r(l) = l**3 - l**2 - l + 4. Let x be r(0). Let h = x - 2. Is h less than 1?
False
Let k = 17 - 39. Let n be (-2)/(-5) - k/(-30). Let v be (-23)/(-10) + (-21)/(-5) + -4. Does v = n?
False
Suppose 0 = -5*m - 8 + 3. Which is greater: m or -2?
m
Let k = 64 + -71. Is k greater than -8?
True
Suppose 2*p - 13 = n, -14 + 4 = 5*n + p. Is 17 bigger than n?
True
Let p be 6/6*(-1)/7. Let t = -3 + 5. Let j be ((-3)/2 + t)*2. Are j and p non-equal?
True
Let w(z) = -2*z - 4. Let m be w(-3). Let x be 0 - (-9)/(-6)*-2. Is m > x?
False
Let n = 8 + -6. Let d = n - 1.9. Let a = 0.3 + -0.2. Does d = a?
True
Let d = 1341/11 - 122. Let t be 0/1 + 1/(-3). Which is smaller: t or d?
t
Let i = -0.3 - 0.7. Let o = 0.9 + i. Is 0 less than o?
False
Let s(z) = -5*z + 0*z**2 + 0*z - z**3 + 4*z**2 + 2*z**3. Let j be s(-5). Which is smaller: 0.2 or j?
j
Let s = -6 + 0. Let y = 10 + s. Is y at least 4?
True
Let n be ((-90)/21)/5*114. Let i = 98 + n. Which is smaller: i or 1?
i
Let t be 4/26 - (-493)/(-1768). Is 0 <= t?
False
Let k be 2/(-14) - 1/(-7). Which is smaller: k or -2/135?
-2/135
Let z be 0/(2/1 - 4). Suppose -2*t + 2 = 3*o, -3*t + 12 = -4*t + 5*o. Let g be t/3*(-3)/(-8). Which is greater: g or z?
z
Let l = 4.1 - 4. Let f = l + -1.1. Let h = -21 + 21. Is f at most as big as h?
True
Let y = 0.03 - 0.03. Let n = -0.1 + y. Is n < 1/2?
True
Let i = 0.074 + 