ue
Let j(k) = k + 10. Let o be j(-5). Is 11 at most as big as o?
False
Suppose 19 - 3 = 4*i, -n - 5*i = -13. Is -8 greater than n?
False
Let v = 22 - 16. Let g be ((-8)/(-12))/((-22)/v). Which is greater: 1 or g?
1
Suppose -5*o + 5 = 15. Let s(l) = l**2 + 7*l + 6. Let d be 2/(-1*4/10). Let r be s(d). Which is bigger: o or r?
o
Let f be (-218)/9 - (-2)/9. Let o = f - -118/5. Is o <= 1?
True
Let m = 53 - 28. Is m <= 25?
True
Suppose 12 + 0 = p - 5*i, 4*p + i = 6. Suppose 0 = q + 3 - p. Which is smaller: q or -5/4?
-5/4
Let c(t) = 2*t - 2. Let p be c(3). Let y = 5 + -3. Suppose -3*v - y = -n, -4*n = -3*v + 2 - 19. Is p at most n?
True
Let h(v) = v**2 - v - 1. Let z be h(-1). Is z equal to -1/3?
False
Let s(c) = 8*c - 81. Let n be s(0). Which is smaller: -83 or n?
-83
Let m(g) = -4*g**2 - 9. Let r be m(-3). Is r > -45?
False
Suppose 2*v - 4 = -18. Are v and -18 nonequal?
True
Let p = 10 - 39. Is -30 at most as big as p?
True
Suppose 5*y - 9 = -b, y = b - y + 5. Let i be (b/(-3))/(2/(-6)). Which is smaller: i or -1/7?
i
Let w(n) = -n**3 - 5*n**2 - 2*n - 10. Let j be w(-5). Let m = -2 - -2. Suppose m = q - 4*q. Is j greater than or equal to q?
True
Suppose 4 + 4 = -4*v. Suppose 4*o - s = -16, 5*s = 2*s. Let d be (-7)/6 - 2/o. Which is bigger: v or d?
d
Let m(p) = -p**3 - 11*p**2 - 12. Let d(k) = k**2. Let u(j) = -5*d(j) + m(j). Let v be u(-16). Which is bigger: -11 or v?
-11
Let z = 5 + -6. Does z = -12?
False
Suppose -4*l = l + 15. Let s = -14 - -11. Let n be (-9)/s*4/(-3). Is l bigger than n?
True
Let m = 281/5 + -1169/20. Is 2/7 greater than m?
True
Let y = -2 + 6. Let f = y - -2. Let l = f - 4. Is 1/2 greater than or equal to l?
False
Let x = 1.2 + -3.2. Is x smaller than 0.1?
True
Let u be (20/110)/(-1 - 14/(-6)). Which is smaller: 0 or u?
0
Let z = 15.05 + -15. Is -0.3 > z?
False
Suppose 0 = 3*h - 8 + 2. Let l be ((-1)/2)/(1/2). Let w be ((-4)/20)/(l/h). Which is bigger: w or 3/5?
3/5
Let y(k) = k**2 + k + 1. Let n = -4 - -4. Let v be y(n). Is v bigger than 0?
True
Let a = 5/4 - 1. Suppose 0 = 3*c + c + 3*z - 30, 4 = -2*z. Suppose -5*j + c = -g - 2*g, 4*j = -2*g + 16. Which is bigger: a or g?
g
Let v be (-10)/4 + 88/(-16) + 5. Are v and 0.8 non-equal?
True
Let m = -2.2 + 3.2. Let x = m - -0.7. Is x at most -1/4?
False
Let c = -1.5 - -1.37. Let n = 0.03 + c. Let s = 3.1 + -0.1. Which is smaller: n or s?
n
Let y = 0 + 3. Suppose -n = 4*v - 4*n + 74, -4*n = -y*v - 52. Let p be (-2)/(-8) - v/(-16). Which is smaller: 2/9 or p?
p
Let m(w) = -w. Let z be m(0). Suppose -k - 4*l = 15, k + 5*l + 1 + 19 = z. Suppose 0 = -2*t + k*t. Is t != 1?
True
Let j = -431 - -429. Let t be ((-10)/8)/((-2)/(-8)). Let x be (-1 - 6/t)/1. Is x at most as big as j?
False
Let a(x) = -x**2 - 24*x - 45. Let u be a(-22). Let k = 1 + -1. Let y = k + u. Which is smaller: -1/5 or y?
y
Let d be ((-30)/(-2) - 0) + 1. Let g = d + -23. Is -7 bigger than g?
False
Let b(j) = j**3 + 6*j**2 + 5*j + 4. Let y be b(-5). Let m be 21/36 + y/(-12). Which is smaller: m or 1?
m
Suppose 2*v = v + 6. Let j = -4 + v. Let w be 0 - (0 - (-6 + j)). Which is smaller: w or -3?
w
Let b = -11 + -1. Is b > -12?
False
Let x = -0.9 + 0.83. Let i = x + 5.07. Let z = i + -4.7. Which is bigger: -2/5 or z?
z
Let d = -131 - -130. Are d and 14/37 unequal?
True
Let k = 69 + -94. Which is bigger: -2 or k?
-2
Suppose 12 = -3*c - 3. Let m = 9 - 15. Which is smaller: m or c?
m
Let s = -9 - -21/2. Suppose 6*c = 10*c - 12. Is s less than c?
True
Let g = 26 - 22. Is 3 <= g?
True
Let b = -0.51 - -0.31. Is 2/21 equal to b?
False
Let u(k) = k**3 + 2*k**2 - 3*k + 4. Let f be u(-3). Suppose f*t = 5 + 15. Suppose -d = -g - t, 0*d + 3*d - 7 = -5*g. Is -2 equal to g?
False
Suppose 5*r = 3*x - 94, 5*r + 96 = x + x. Let s be (8/r)/(4/(-10)). Suppose -z = 2 - s. Which is bigger: -1/4 or z?
-1/4
Let b = -69/11 - -1471/231. Let c(t) = -t**2 + 4*t - 2. Let f be c(3). Which is smaller: b or f?
b
Let j(s) = s**2 - 7*s - 11. Let x be j(8). Let a be (-2)/12*2 + x. Is a at most as big as -4?
False
Let r = 0.1 - 0.1. Let n = r - -0.1. Let b(k) = k + 1. Let y be b(-3). Is n less than or equal to y?
False
Let n = -5 - -5. Suppose -3*y - 2*k = -15, -6 = -4*y + 2*k - n. Is y at least as big as 3?
True
Let d = 3 - 8. Let v = d - -8. Suppose -12 = -3*z - v*m, 16 = z + 2*z + 4*m. Is 1 >= z?
True
Suppose 2*v - a = -7, 2*v + 4 = -5*a - 9. Let l = v - 1. Let h = -3 - l. Which is smaller: h or 1?
1
Suppose 64*v - 59*v = -110. Is -22 != v?
False
Let l = 0.1 + 0. Let g = -255 + 1281/5. Is l at least as big as g?
False
Let u(m) = 2*m**3 - 2*m**2 + 2. Let q be u(-3). Let g be (-285)/q*4/6. Let i = g + -109/35. Is i <= 1?
True
Let y be (2 - 3)/(4/168). Which is greater: y or -41?
-41
Let v be 1 - 0 - (-6)/6. Let u be (v - 1)/((-6)/12). Let f be ((-6)/(-4))/(u/4). Does f = -3?
True
Let o(r) = -r**3 - 4*r**2 - 3*r + 2. Let d be o(-3). Let b(a) = a + 0*a**d - 4*a - a**2 + 3. Let g be b(-3). Is -0.1 greater than g?
False
Let d = 13.8 + -1.8. Let l = 11.9 - d. Which is smaller: l or 10?
l
Let v be 41/5 - (-3)/(-15). Let f = -6 + v. Let i be ((-6)/(-3) - f)/2. Is -3/4 > i?
False
Suppose 0 = 4*x - 20, -98 = -2*d - 2*x - 2*x. Suppose -d = -4*h + 41. Let l be ((-4)/(-10))/(36/h). Is 1 >= l?
True
Let k = -21.6 - 12.4. Which is smaller: k or -2?
k
Suppose b - 5*b = 0, 0 = 3*u + 3*b - 3. Is u less than or equal to -2/19?
False
Suppose -2 = -4*o + 2. Is 1/16 < o?
True
Suppose -5*g + 14 = 4. Suppose 13*r - 10*r = 12. Is g at most as big as r?
True
Suppose 3*g + g = 8. Suppose g*t = t. Which is smaller: t or -2/39?
-2/39
Let h be 10*(3 + 0 + -2). Suppose 9*r = 4*r + h. Suppose 3*v + 3*j + j = 0, 0 = -5*v + 2*j. Which is greater: r or v?
r
Let c(b) = b**3 + 4*b**2 - 6*b - 5. Let q be c(-5). Let o be 12/54 + (-749)/9. Let h = 499/6 + o. Is h greater than or equal to q?
True
Let r = -61 + 245/4. Suppose 4*h - 17 + 5 = 0. Let x be 0/(-2 + -3 + h). Is x != r?
True
Let l(y) = -5*y + 1. Let w be l(-4). Suppose -9 = -3*v, -3*h + 4*v - 5*v = 24. Let g be 21/h*(-6)/w. Is g bigger than 0?
True
Suppose -o + 2*y + 4 = 0, -o + y + 7 = -4*y. Suppose 5*l + 3*t = -1, -4*l + 6 = -2*t + t. Let p be 12/20 - (0 + l). Is p >= o?
False
Suppose 0 = 4*x + 11 - 15. Are 2/161 and x non-equal?
True
Let r = 276 + -242.1. Let c = -34 + r. Let b = -0.2 + 0.3. Which is bigger: b or c?
b
Let y = -111.041 - -111. Is -1 less than or equal to y?
True
Let u be -15 - 11/((-33)/18). Let m(f) = -f**3 - 3*f**2 + 2*f - 4. Let t be m(-3). Is t smaller than u?
True
Let y be (-8)/2*(-4)/(-16). Which is smaller: y or -3/17?
y
Let l = 0.8 + -0.5. Let a = l - -7.7. Let x be 1 - (-4)/((-60)/9). Which is bigger: a or x?
a
Let n = -173/5 + 35. Suppose -4*j = 3*d - 0*d + 6, -j - 3*d - 6 = 0. Is n > j?
True
Suppose 0 = x - 2*x. Is -4/9 smaller than x?
True
Let o = 0.6 - 2.6. Let v = 2.3 + o. Let s = -509/63 - -55/7. Is v greater than or equal to s?
True
Let v(p) be the second derivative of p**3/6 + p**2 + p. Let t be v(2). Suppose -3*j = -j - t. Is -1 at least as big as j?
False
Suppose 4 = u - m, 5*u - 3*m = -m + 20. Suppose -5*i = 4*k - 4*i - 10, -i - 8 = -5*k. Suppose j = 5*b - 17, -4*b + k*j + 1 = -3*j. Are b and u non-equal?
False
Suppose -10 = -3*t + 2*q - 5, -2*q = -4*t + 6. Let m = -64 + 66. Is t bigger than m?
False
Let t be (-10)/13 + -2 + 3. Suppose j = -3*j + 4. Which is smaller: j or t?
t
Let h(p) = p**2 - 8*p + 11. Let d be h(6). Which is greater: -1/93 or d?
-1/93
Let t = 4.2 - 2. Let i = t - 2. Let p = -65/2 + 32. Which is greater: i or p?
i
Let d be (-6)/10*5/2. Suppose -7 = 3*c - 2*c. Let i be (1 - 4)*(-6 - c). Which is smaller: d or i?
i
Let z be ((-8)/5)/((-2)/40). Which is smaller: z or 34?
z
Suppose 0 = -3*l + 5*i + 13, 3*l - 21 = -0*l + 3*i. Is l smaller than 12?
True
Let o be (2 + 0)/(2/2). Suppose -3*l - 25 = o*l. Is l bigger than -5?
False
Let h = 505 + -486.91. Let d = -18 + h. Which is bigger: 0 or d?
d
Suppose -4 = 4*o - 4*c, -16 = -5*o - 3*c + c. Suppose 2*i + o = 2*l, 4*i = i - 3*l - 15. Is -2 equal to i?
False
Suppose 3*g = 2*h - 48, -4*g + 17 - 1 = 0. Let o be (-7)/(-5)*h/(-35). Which is greater: o or 0?
0
Suppose 2*t = -2*q + 6, 4*q - 5 = -t + q. Let u be 1/(t - (1 + 0)). Which is smaller: u or 1/6?
1/6
Suppose -3*x = -5 - 4. Suppose 0 = x*v - 2*u + 3, 5*u + 0*u = -4*v + 19. Is 2/69 g