 + 13. Let b(o) = -2*o + 3. Let x be b(3). Let i be x/(-6)*k/(-1). Is i >= 1/3?
False
Suppose -4*c - 1 - 7 = 0. Let l(r) = r**2 + 6*r - 2. Let u(j) = -j**2 - 5*j + 2. Let f(y) = -5*l(y) - 6*u(y). Let t be f(c). Which is smaller: 1 or t?
1
Let i be (-1)/(2/4*2). Let c = -4.8 + 5. Which is smaller: c or i?
i
Suppose t + 0 = -8. Let y(n) = n**2 + 8*n + 1. Let r be y(t). Which is greater: r or 1/31?
r
Let o = 187/6 + -31. Is o equal to 1?
False
Suppose -2*f = 4 - 12. Let c = -9 + f. Does -4 = c?
False
Let d = 36 - 26. Let j(k) = -k**2 - 5*k + 3. Let m be j(-4). Suppose -2*y - d = -m*y. Which is bigger: y or 1/4?
y
Suppose -2*w + 2 = 4*t + 12, -2*t = 5*w + 9. Let b = -2 - w. Let h be 2 + (-2 + 3)/b. Which is smaller: h or -1/4?
-1/4
Let r = -3 - 0. Let h be 8/3 - 5/(-15). Suppose h*b - 3 = 4*b. Is b >= r?
True
Let d = 18 + -18. Which is bigger: d or 4/13?
4/13
Let g be (-28)/16 + (-1)/4. Let d = g - -3. Are d and 4 equal?
False
Suppose 0 = 3*n - 3 + 6. Let y be (-2)/(-4) - (-22)/(-28). Is y less than n?
False
Let g = -59 - -41. Is g greater than 0.4?
False
Let t(m) = -6*m**2 + 15*m + 5. Let r(d) = 5*d**2 - 14*d - 6. Let s(i) = -5*r(i) - 4*t(i). Let o be -3*2/12*-22. Let z be s(o). Is 0.1 > z?
True
Let o be (-21)/10*128/(-6). Let f = o - 45. Is 0 at least as big as f?
True
Suppose 3*v + 10 + 11 = 0. Let w be (2 - v/8) + -3. Which is bigger: w or 1?
1
Let h = -10 + 77/8. Which is greater: 1 or h?
1
Let i be (-1 + 16)*(-1)/3. Let y(s) = s**2 + 6*s + 5. Let w be y(i). Is 5/4 >= w?
True
Let l = -8.1 + 8. Let o = -533/24 + -89/8. Let g = o + 33. Which is bigger: g or l?
l
Let p(r) = r**3 - 3*r**2 + 2*r. Let m be p(2). Suppose -g = -m*g. Suppose t + 2 - 3 = 0. Which is smaller: t or g?
g
Suppose 0 + 5 = 5*f. Let j be 1/(2/(-2))*f. Let v be (-4)/((3 - 21)*1). Is v bigger than j?
True
Let p be (-1)/(-7) + (-156)/(-84). Which is greater: -0.1 or p?
p
Let x(r) = 13*r + 26. Let l be x(-6). Is 1 smaller than l?
False
Let r(g) be the first derivative of -g**4/4 + 8*g**3/3 - 4*g**2 + 5*g + 1. Let k be r(7). Let b be (-2)/(-4)*k/7. Is -1 >= b?
False
Let d be (1 - 3) + 1*3. Let k = 3 - 0. Let l be (8/6 + -1)*k. Is l at most as big as d?
True
Let x = 424/75 - 86/15. Is x > -1?
True
Suppose 5*i + 105 = -2*h, -4*i + 4*h - 2*h = 84. Let p = -22 - i. Which is greater: p or -3?
p
Suppose -20 = 2*q - 3*q - 5*i, 5*q + 12 = 3*i. Is q != -6/11?
True
Let l be (-81)/(-28) + (-2)/(1 + 13). Is 2 > l?
False
Let x(z) = 2*z - 6. Let i be x(4). Is 2 greater than i?
False
Let x be (-2)/((-2)/(-3))*-1. Suppose 20 = a + x*a. Let k be (-3 + 1)*1/a. Which is bigger: k or -1?
k
Suppose -x - 22 = -3*c, 47 = 3*c - 4*x + 13. Suppose 12 = 4*n, -3*n = 5*z - 3 - c. Which is smaller: z or 5/8?
z
Let d be 4/1 + 3 + -4. Suppose k = -4*v, d*v = 3*k - k + 11. Let p be 2/(-6) + v/2. Is p not equal to -2/7?
True
Let y = -2.033 - -0.033. Do y and -33 have different values?
True
Let u be 2 + (-6)/(-57) - 2. Let s be ((-1)/(-5))/(1/5). Which is smaller: u or s?
u
Let m be (3*-1 - -2) + 6. Suppose s - 3 = m*p - 4*p, -p = 0. Suppose 3*a = 5*t + 8, -2*t - s*t - 1 = 4*a. Is 1/4 less than a?
True
Suppose 5*m + 58 = -32. Let q be 4/m*4/8. Is 1 less than q?
False
Let u = 2/227 + -237/1135. Which is bigger: -1 or u?
u
Let t be (2/1 - 9) + 1. Suppose 2*s + 22 = -5*p, -10 = 3*p + 2*s - 0*s. Is t smaller than p?
False
Suppose -2*p - 3*l + 8*l = 34, -4*p + l - 32 = 0. Let j = 1 + p. Which is bigger: -3 or j?
-3
Let n = 53 - 54. Is n < 2/41?
True
Let l be 14/3 - 2/(-6). Suppose -l*r = -0*r. Is r less than 0?
False
Let i = 4 + 2. Let n = 3 - i. Is -3 less than or equal to n?
True
Let x = 7 - 4. Suppose 4*v + 28 = -4*t, -4*t = -6*t + x*v - 4. Suppose 8 = 4*z + 24. Which is greater: z or t?
z
Suppose m + 15 = -4*m. Suppose -3*n + 2*f - 6 = 0, -5*n + 0*n + 2*f = 14. Which is smaller: m or n?
n
Let a = 96 - 2398/25. Let i(t) = -t**2 + 9*t + 23. Let d be i(11). Which is smaller: a or d?
a
Suppose -n = -3*t - 2, n - 2*n = -5*t - 4. Let d(s) = s**2 - 8*s - 7. Let z be d(8). Let h be t/(-4) + z/(-20). Is 2 greater than h?
True
Let h be (24/20)/((-6)/(-4)). Suppose 5*m + 2*p = 11, 3*p - 4 = -0*m + 5*m. Which is smaller: h or m?
h
Let d = 10 + -6. Suppose d = -4*k + 5*k. Which is bigger: k or 3?
k
Let b be ((2 - 3)/1)/(-1). Let d(o) = -o**3 + o**2 - o. Let a be d(b). Is a > -3/4?
False
Let z(a) = -2*a**3 - 5*a**2 - 4*a - 4. Let d be z(-3). Suppose 2*w = -3*k - 11, 3*w + d = -k - w. Which is smaller: 0 or k?
k
Let h = -92.3 + 91. Is -4 equal to h?
False
Let f be (-1 - 0)/((-2)/(-26)). Let x = 19 + f. Are 8 and x unequal?
True
Suppose 0 = 6*u - 5*u - 17. Is 19 bigger than u?
True
Let j be 0 + 2 + 0 + -2. Let s be (-1)/(-4) + (0 - 1). Which is bigger: j or s?
j
Let v(g) = -g**3 + 7*g**2 + g - 6. Let l be v(7). Let r = 2/3 + -4/15. Which is smaller: l or r?
r
Let o = -16 + 12. Let n(b) = b**2 + 2*b - b**3 - 4*b + b**2. Let r be n(2). Is o greater than or equal to r?
True
Let h = -0.09 + 0.04. Let b = -0.45 + h. Which is bigger: -1/3 or b?
-1/3
Let l = 64/651 + -2/651. Suppose 2*q - 7 + 3 = 2*b, -4*b - 4*q = -8. Which is bigger: b or l?
l
Let x(l) = -l - 8. Let u be x(-10). Let h(y) = 3*y**2 - y - 2. Let i be h(2). Let j = i - 5. Is u at most as big as j?
True
Suppose -4*j - 12 - 6 = 2*b, j + 2*b + 6 = 0. Let k = -9.2 - -2.1. Let d = k + 7. Is j less than d?
True
Let q be (1 + 1)/(1 - 5). Let o be ((-6)/(-14))/(6/4). Which is greater: o or q?
o
Let u be 18/45 + -26*(-2)/20. Is 3 at most u?
True
Suppose -3*w + 5*x = -16, x - 12 = -3*w + 4*x. Suppose 0*j - w*j - 2 = 0. Let f(h) = h**3 - 4*h**2 - 4*h - 7. Let d be f(5). Is d <= j?
True
Suppose g - 12 = -5*s + 2*s, 0 = -5*g. Suppose 8*b + 3*i + 27 = 3*b, 2*b + s*i = -22. Which is smaller: -2 or b?
b
Let t = -8 + 17. Let f be ((-1)/t)/(7/(-6)). Is f at most as big as -1?
False
Suppose -2*t + 11 = 7*l - 2*l, -10 = 2*l - 4*t. Let h = 19 + -18. Is l >= h?
True
Let z be (2 + -3)/((-1)/7). Let g = z - 10. Do g and -4 have different values?
True
Suppose -2 = -h - 3. Let n(j) = j + 3. Let s be n(-5). Which is smaller: h or s?
s
Let r be (1/15)/(7/21). Let n = r - 1/55. Which is greater: -1 or n?
n
Let a = 4.0921 - -0.0179. Let w = -0.11 + a. Let j = -0.25 + 0.35. Is w greater than j?
True
Suppose -2*i + i = -5. Let j = -3 + i. Let x be j/4*2/3. Is x >= -3?
True
Suppose 0 = 2*k + 3*p - 55, -p + 8 + 77 = 4*k. Let h = k - 10. Which is greater: h or 9?
h
Let y = -8/25 + -2/25. Let b = 34 - 34.1. Let m = b - -0.1. Do m and y have the same value?
False
Suppose 4*l - 10 = -l. Let x = 31 - 19. Suppose 0 = a - 5*a + x. Is a less than l?
False
Let r = -4.2 - -3.2. Which is bigger: 1 or r?
1
Let o = -2/19 - -37/171. Let d(g) = g**3 - 6*g**2 + 6*g - 1. Let h be d(5). Let c(j) = -j**3 + 3*j**2 + 4*j. Let z be c(h). Is z greater than or equal to o?
False
Let a(z) = -z**3 + 7*z**2 - 9*z + 11. Let m be a(5). Suppose 0 = -5*i + m - 41. Which is greater: i or -2?
-2
Let a = 75 + -3523/47. Is -1 smaller than a?
True
Let m be (-2)/(-16) - (-1592)/(-448). Is -2 at most m?
False
Let l(a) = -2*a + 5. Let j be l(6). Let u = 6 + j. Which is smaller: u or -3?
-3
Let p be 1 + -5 - (-3 + -2). Is p greater than or equal to -4/15?
True
Let b = 0.45 - 0.05. Let g = 91 + -92. Which is smaller: b or g?
g
Let u = -354 - -328.1. Let n = -26 - u. Which is smaller: n or 8?
n
Suppose -3*o + 4*o + 2 = 0. Let n be (o + 0)/(8/(-2)). Which is greater: n or 2?
2
Suppose j + i - 8 = 1, -2*j + i + 15 = 0. Let c = 3 - j. Suppose -2*l + 5 = -v - 0*l, 0 = 4*v - l + 20. Is c not equal to v?
False
Let v = 0.6 - 0.4. Let i = -0.3 + 0.1. Is i <= v?
True
Suppose 14*t + 0*t = -462. Does -33 = t?
True
Let w(x) = -2*x**2 - 6*x - 1. Suppose -2 + 14 = -3*h. Let b be w(h). Is -8 not equal to b?
True
Let i be 1*(-2)/(-2)*-1. Let g = -35 - -32. Which is greater: g or i?
i
Let a = -1168 - -66580/57. Which is greater: -1 or a?
a
Suppose 3*d - g - 7 = 0, -2*g - 5 + 3 = 0. Suppose 2*w = 4*k - 26, 5*w + k - d*k + 20 = 0. Let h = -0.024 - -0.124. Do h and w have different values?
True
Let i be (-2)/(-11) + (-1635)/220. Let s = 8175 - 98045/12. Let f = s + i. Which is smaller: -2 or f?
f
Suppose 2 = 2*g - 2. Suppose 0 = p + 5 - g. Let s = p - 2. Is s equal to -6?
False
Suppose 5*d - 26 = -1. Let b be d/(-70)*(-12)/2. Which is smaller: -1 or b?
-1
Let n(t) 