- 5*o**2 + 2*o + 3. Let u(h) = h**2 + 6*h + 3. Let p be u(-4). Let z be t(p). Let y be 9/z - (2 - 3). Which is smaller: y or 0?
y
Suppose r + 2*r = -5*o - 4, -4*r = 12. Let h = 0.05 - -0.45. Let j = h + -0.6. Which is smaller: o or j?
j
Let u(g) = -g**2 - 3*g + 5. Let q be u(-4). Let o = 1 + q. Let r be 12/66 + (-4)/22. Are o and r unequal?
True
Let z = -89135/491724 - -1/4239. Let a = 2/29 - z. Let s be 2/(-9) + 4/18. Which is smaller: a or s?
s
Let j be (3/2 - 2)*2. Let t = 61313 - 428367/7. Let u = t - 118. Which is bigger: j or u?
u
Let m(n) = n - 2. Let h(i) = i - 1. Let o(k) = -4*h(k) + 3*m(k). Let p be o(-2). Let z = -11 - -12. Are p and z unequal?
True
Let i = -40/7 - -708/119. Let q be 2/9 - 11/9. Which is smaller: q or i?
q
Suppose -2*u + 3 = 3*s + 2, -5*u = 2*s - 19. Which is smaller: s or -4?
-4
Let x = -8 + 13. Suppose 0*l = -x*l - 70. Let s be 6*(-2 - l/8). Which is greater: -2 or s?
s
Let g be 2 + (67/(-13) - -3). Is 0 at most g?
False
Let u = 0.7 + -7.4. Let j = -7 - u. Which is greater: j or 1/2?
1/2
Let j = 3.95 - -0.05. Let a = j + -4.9. Let l = 1 + a. Is l at least as big as 0.1?
True
Let j = 0.6 - 2.1. Let b = j + 1.9. Let c = -0.2 + -0.8. Which is smaller: c or b?
c
Let u = -30.1 - -29. Let m = -2.3 - -1.3. Let d = m - u. Which is smaller: 2/7 or d?
d
Let c = -138 - -163. Which is bigger: 27 or c?
27
Let k = 9 + -4. Let i be (-4)/(-66)*(k + -2). Is i < 1?
True
Let b be ((-16)/14)/(-4)*-6. Which is smaller: b or -1?
b
Let m = 2/499 - 591/22954. Let y = -13/69 - m. Which is smaller: y or 0?
y
Let g = -0.7 - -0.73. Let v = -0.03 + g. Which is smaller: 1 or v?
v
Suppose s - 4 = -2*u - 0*s, 3*u - s - 6 = 0. Let t = -5/2 + u. Which is smaller: t or -0.2?
t
Suppose -u - 3 = -0*u. Let j = 11 + u. Suppose 4*a = j + 8. Is a at least 5?
False
Let q = 5 + -14/3. Let u = 9.7 + -9. Let i = u - -0.3. Is i greater than or equal to q?
True
Let v = 40/3 - 14. Do 0.09 and v have the same value?
False
Let u be 7 - ((-1)/1 - 0). Let y be (-6)/(-70) + u/(-28). Suppose -t + z + 3 = 0, 4*t = -2*z - 0 - 12. Is t at most y?
True
Let n(r) = -r**3 - 4*r**2 + 4*r - 5. Let z be n(-5). Is z at most as big as 2/31?
True
Suppose -8*c = h - 3*c - 24, -64 = -5*h + 3*c. Do h and 1 have different values?
True
Let p(q) = -q**2 + 4*q + 13. Let d be p(6). Let f = 103/748 - -3/68. Is f at least as big as d?
False
Let x be 2/(-3) - (-42)/9. Let y be (-76)/(-16) - (-3)/(-4). Let s = y - x. Is -3/4 less than s?
True
Let s = 1.868 + 0.132. Which is greater: 3/4 or s?
s
Let f be ((-3)/1)/(2/8). Let v be 3/f*(-8)/2. Let g = -2 + v. Does -1 = g?
True
Let b be (-5)/(30/(-21)) - 3 - 1. Is b at most as big as -52?
False
Let t be (-9)/36 - 10/(-8). Which is smaller: 3/31 or t?
3/31
Let i be (1170/429)/(1*-2). Is i greater than -1?
False
Let w be (2 + 8/(-6))*6. Suppose -4*b - 5*n = -0*b - 2, 0 = 2*b + 2*n. Let v = w + b. Which is smaller: 3/4 or v?
3/4
Let d = -171/1220 + -3/305. Do d and 0 have the same value?
False
Let f = 8 + -58. Let b be (4/f)/(3/(-15)). Suppose 4*d - 1 = -r, 0 = 5*d - 10*d - 5*r + 5. Is b smaller than d?
False
Let g = 9 + -5. Suppose 6 = 3*k - 0*k. Suppose 0 = -g*r + 4*l - 24, 12 = k*r + 3*l + 4. Which is bigger: -1 or r?
-1
Let o(j) = j**3 - 1. Let x(r) = -3*r**3 + 8*r**2 - r - 3. Let q(z) = -4*o(z) - x(z). Let h be q(-8). Which is smaller: h or -6/5?
-6/5
Suppose -25 = -c + 5*x, -5 = -c - x - 4. Suppose 0*t + c*k - 8 = 2*t, 8 = -2*t + 4*k. Is t >= -4?
True
Let k be 242/(-5) + (-2)/(-5). Is k <= -49?
False
Let p = -78 + 89. Let x be (-3)/(3/(-2)) - -8. Is p greater than or equal to x?
True
Suppose 0 = 4*x + 20, 2*o = -2*o + 2*x - 6. Which is smaller: -5 or o?
-5
Let u(j) = -j**2 - 6*j + 10. Let z be u(-8). Let l be 4/z - 1/3. Which is smaller: l or -2?
-2
Let p = -3 - -8. Suppose -5*g = p*m - 3 - 22, -5*m = -g - 25. Suppose 3 = -3*h - g. Which is smaller: h or -1/2?
h
Let x = 11 + -7. Let c = 51 - 59. Let j be 10/c - (-1)/x. Which is bigger: j or -2/17?
-2/17
Suppose i + i + 2 = 0. Suppose -d = -0*d - 2*n - 114, 0 = -4*d - 2*n + 406. Let a be ((-24)/d)/((-6)/(-4)). Is i < a?
True
Let y = 3.3 + 0.7. Let k = 9.1 - 9.1. Which is smaller: y or k?
k
Suppose 0 = 3*q + 12 - 0. Let c(p) = -p**3 - p**2 - 4. Suppose -2*i = w, 2*w + i = 7*w. Let k be c(w). Is q < k?
False
Let p = 181/52 - 42/13. Suppose 0*f - f = 0. Suppose 0*g - 3*g = f. Which is bigger: g or p?
p
Suppose -3*p - p + 4 = -4*s, -p - 2 = 0. Let a be 36/80 - s/(-15). Suppose 3*l = -3*d + 3, 2*l + 5*d = 4 + 4. Is l at most a?
True
Suppose 26 - 6 = 5*r. Suppose 3*b = -9, -3*b - 2 = -s + 13. Which is smaller: r or s?
r
Let z = 20 + -61/3. Suppose -5*t = -3 - 2. Which is smaller: z or t?
z
Let f(l) = l. Let i(p) be the first derivative of p**4/4 - 7*p**3/3 + 7*p**2/2 - 6*p + 2. Let m be i(6). Let g be f(m). Is 1 smaller than g?
False
Let y = 33 + -29. Which is smaller: y or 17/4?
y
Let x be 1*(-13 + 2 + 1). Is -9 smaller than x?
False
Suppose 0 = -3*i - h + 43 + 306, -10 = 5*h. Let k be 1/(i/348) + -2. Let c = 4/13 - k. Which is smaller: c or -2?
-2
Let c = 18 + -17. Do 1 and c have the same value?
True
Let g = 5 - 7. Let i = g + 1.9. Let j = 0.2 + -1.2. Are i and j non-equal?
True
Let g = 7/6 - -1/3. Which is bigger: g or 1?
g
Let b = 5 + -2. Let x = b + -5. Is -5/2 equal to x?
False
Let j = -145 - -245. Which is smaller: j or 101?
j
Let y = -36 + 42. Is 6 less than or equal to y?
True
Let j = 5 + -9. Let m(f) = -f**3 - f**2 + 2*f - 2. Let r be m(2). Let p be ((-5)/r)/((-2)/16). Is j less than or equal to p?
True
Suppose -d = -2*d. Let p be 4/6 - (-6)/(-9). Suppose p = -d*m + m. Which is bigger: -1 or m?
m
Let i = -28.1 + 2.1. Is 1 greater than i?
True
Let d = 13 - 13. Let m = -1 + d. Let v be 2/(-2)*1*2. Which is smaller: m or v?
v
Let w = -54 + 53.87. Which is bigger: 1/2 or w?
1/2
Let m(g) = g + 3. Let o be m(3). Let z be 0 - ((-15)/o + 2). Which is greater: z or -1/6?
z
Let v = 237 + -1893/8. Which is smaller: v or 1?
v
Suppose 0 = -o + 5*x + 10, 44 = -3*o - o - x. Are -10 and o nonequal?
False
Let w(q) = q**3 + 7*q**2 + 9*q + 9. Let a be w(-6). Let f be a - (-8)/(8/2). Is -7 != f?
False
Let x = -2.3 - -3.6. Let g = 3 - 3.7. Let a = g - x. Is a < 0.4?
True
Let m = 181 + -1269/7. Is 0.1 at least m?
True
Let n be 3*16/(-12) + (69 - -1). Are 66 and n non-equal?
False
Let j = -1/1453 - 13067/14530. Let p be (12/(-45))/((-4)/6). Let l = j + p. Which is greater: -0.1 or l?
-0.1
Suppose 4*a = 3*x - 11, 4*a = -12*x + 17*x - 21. Is a >= -4/5?
True
Let c = -1 + 6. Suppose 4*b - 10 = 3*b + c*t, 6 = 5*b - 3*t. Suppose -3*j + b*j + 6 = 0. Is j != 1?
True
Let r = -0.1 + 0.1. Suppose 2*j + 3*j - 4*n = 19, 27 = 5*j - 2*n. Let m(f) = f**3 - 7*f**2 - f + 5. Let w be m(j). Are r and w nonequal?
True
Let p = -0.031 - 19.969. Which is greater: p or 1?
1
Let c = 0.01 + -4.01. Let b = 6 + c. Is b > 1?
True
Let k(m) = m**2 - 11*m + 14. Let g be k(9). Is g <= -5?
False
Let o = 1 - -1. Let b = 31 + -46. Let l be (-2 + -1)*(-5)/b. Which is smaller: o or l?
l
Let y(l) = -3*l**2 + 7*l - 6. Let h be y(6). Let q be h/32 - 6/(-8). Is q not equal to -2/3?
True
Let s be -1 - -5*(-4)/(-28). Suppose 2*u - 2 = -0. Which is smaller: u or s?
s
Suppose 69 = -5*z - 4*g, 0 = -3*z + 4*g - g - 63. Which is bigger: -18 or z?
z
Let b be 2/5*(3 + 2). Which is greater: b or 5?
5
Let j(q) = -q**2 - 7*q + 7. Suppose -2*k + 14 = -2*m - k, -4*k = 0. Let z be j(m). Are 7 and z equal?
True
Let a be -3 - (1 - (0 + 2)). Let i = 9 - 11. Is a != i?
False
Let d = 57 - 58. Is d at least as big as -4/3?
True
Let d = -2 + 7. Let p be 24/40 + 47/d. Let n be (2/p)/((-18)/(-30)). Is n less than or equal to 0?
False
Let z = 4 - 5. Let k = -1170 - -101791/87. Let t = k - 91/348. Is t at most as big as z?
False
Suppose 0 = -z + 3*f - 13, 2*z + f = 3*z + 5. Which is bigger: -8/13 or z?
-8/13
Let r = -82 - -142. Is r at least as big as 61?
False
Let t(r) = r**2 + 6*r + 5. Let z be t(-5). Let o(c) = c**3 - 3*c**2 + 2*c - 2. Let g be o(4). Let k = -43/2 + g. Which is bigger: k or z?
k
Let z = -741/68464 - -2/389. Is 1 equal to z?
False
Suppose 5*g + 4*n - 17 = 0, -n + 0*n = -3*g. Let j be (6/2)/(g - -2). Suppose 5*m = j + 4. Which is smaller: m or -4/9?
-4/9
Let g be 1/2 - 2/20. Let p = 0 - -4. Suppose 0 = p*v - 3 + 7. Is v > g?
False
Let d = -1415/6 - -14201/6