t x = 0.051 + 0.609. Let h = x - 0.7. Which is bigger: -1/4 or h?
h
Let t be 4/1 - 10/2. Which is greater: 1/17 or t?
1/17
Let q = -7 - -8. Let v be -4 - (-3 + 1) - -3. Is q at least v?
True
Suppose -2 = 3*w - 5. Which is smaller: -2/13 or w?
-2/13
Let i(f) = 5*f**3 + f**2 - f + 1. Let m be i(1). Suppose -16 - 9 = -5*u. Suppose -30 = -u*d - 0. Is d at most as big as m?
True
Let f = -313/3 - -103. Which is greater: 0 or f?
0
Let h be ((-9)/3)/(6/(-4)). Let s be h/1*4/28. Let n = -12 + 12. Is n equal to s?
False
Suppose -8*o = -3*o - 5*m + 55, -56 = 4*o - m. Let b be (2 - 1) + (7 + -5)*-8. Do o and b have the same value?
True
Let z = 10 - 15. Let a be (6/(-50))/(1/z). Is 0 at least a?
False
Let x(u) = u**3 - 5*u**2 + 5*u - 1. Let m be x(4). Suppose -m*v + 2 = -1. Suppose v + 5 = 3*t. Which is bigger: 3 or t?
3
Let w = -0.02 - -0.22. Let v be (6 + -2)*3/12. Are v and w equal?
False
Suppose -3*i + 8 = -7*i. Let r be i + (0 - (3 + -5)). Is 1.1 at most as big as r?
False
Let h be (-1)/(2 + -1) + -1. Let d be (-1)/((-2)/(-3))*h. Suppose 2*y - p + 0*p + 2 = 0, -19 = -d*y - 4*p. Is y smaller than 1/3?
False
Let j = 0.3 + -0.31. Which is smaller: j or 0.1?
j
Let j = -20 + -16. Let s be 8/j - 50/18. Let y = -2 - s. Is 1/4 less than y?
True
Let x = 1.5 - 1. Suppose 0 = -4*p - 4*u, 3*p - 5 = p + 3*u. Let z = -3/5 + p. Is x equal to z?
False
Let b = -2 + 4. Let u be (b/24)/(1 + -2). Let p(s) = -2*s**2 + 5*s + 6. Let z be p(-1). Is u not equal to z?
True
Let c(z) be the third derivative of z**6/120 - z**5/20 - z**4/6 - 5*z**2. Let o be c(4). Which is smaller: -1/9 or o?
-1/9
Suppose 0*n + 4*n = 0. Let l be (2/(-14))/(24/(-14)). Which is greater: l or n?
l
Let o = 15 - 8. Let d = 95 + -88. Is o less than or equal to d?
True
Suppose 0 = -d - 2*a + 3, 5*a - 6 = -d + 2*a. Suppose 5*r - 5 = 5*g, -3*r - 5*g - 3 = -10*g. Let c = r + d. Which is smaller: c or 0?
0
Let b(r) = -3*r**2 - 6*r - 7. Let s(v) = 7*v**2 + 12*v + 14. Let u(j) = -9*b(j) - 4*s(j). Let z be u(7). Is z greater than -2?
True
Let k = 114 + -121. Which is greater: k or -2?
-2
Let t(n) = n**3 + 5*n**2 - 7*n - 9. Let o be t(-6). Let g be o*1/1 + 4. Which is smaller: g or 1/3?
1/3
Suppose 0 - 4 = -2*c. Suppose -3*r + r - 30 = -2*v, 5*r = -c*v - 75. Let o = 31/2 + r. Which is smaller: 2 or o?
o
Let i = 95/32 + -17987/6048. Is i less than or equal to 0?
True
Let k be 589/197 - 0 - 3. Let g = k - 587/394. Which is greater: -0.1 or g?
-0.1
Let t = 214 + -231.4. Let s = t - -17. Which is smaller: -4 or s?
-4
Suppose 0 = 3*p + 2*c - 14, 0*p - 14 = 3*p - 5*c. Suppose r + p = -4. Which is greater: r or 0?
0
Suppose 3 + 14 = 3*r - 2*b, -r = 2*b - 19. Let m be (-2)/r - 203/(-63). Let f = -1 + 4. Is f at least as big as m?
True
Let m be -7 + 8 - 6/2. Is m < -4?
False
Let n(x) = -x + 8. Let s be n(14). Which is smaller: s or -3?
s
Let s = -1.4 + 1.2. Which is bigger: 3 or s?
3
Suppose -4*t + 2*x + x = 5, 0 = x - 3. Suppose -4*g + 0 - 5 = 3*r, r - t = -4*g. Is r at least as big as -3?
True
Suppose -23 - 9 = -4*i. Suppose -4*m + i = -12. Suppose -22 = -5*o - 2. Is m at most o?
False
Let l = -543/5 - -108. Let h = 10 + -9.6. Which is bigger: h or l?
h
Let l = 50 + -50. Is l less than -46?
False
Suppose -2*v = a - 22, 3*v - 44 = -2*a - 10. Let r(u) = u**3 - 9*u**2 - 11*u + 11. Let o be r(v). Suppose 0*s = s - o. Which is bigger: -3/4 or s?
s
Let u = 71 - 58. Does 0.2 = u?
False
Let s(g) = -g**2 + 5*g - 13. Let c be s(3). Which is greater: c or -39/7?
-39/7
Let z = 4 - 4. Let o = -890/9 + 99. Which is smaller: z or o?
z
Suppose 5*h - 16 = -6. Let s be h - (1 - 6/(-9)). Let m = s - -4/15. Which is smaller: 1 or m?
m
Let d = 10 + -9. Let i be 3/(2 + 19)*3. Which is smaller: i or d?
i
Let u be 10/15 + (-2)/(-6). Let o be (-2 + 3)/1*u. Which is smaller: 0 or o?
0
Suppose 2*t - 7 = 1. Let y = -9 - -13. Suppose 10 = -3*n - y*s + 2, -5*n + 8 = -t*s. Is n less than or equal to -6/11?
False
Let s(v) = -v + 22. Let f be s(7). Is 13 less than f?
True
Let g be 4/14 + (-5876)/1554. Let z = 6/37 + g. Which is smaller: -3 or z?
z
Suppose f + 3*f = -5*c + 46, -1 = f. Is c less than 9?
False
Let i = 21 - 22. Which is greater: i or -8?
i
Let d be (15/4)/(3/12). Let q be (-12)/d*10/(-4). Is 3 greater than q?
True
Let o be ((-93)/(-9))/(1/(-3)). Which is smaller: o or -32?
-32
Let o(z) = z + 5. Let h be o(-5). Suppose 2 = -2*q - 0*q. Which is smaller: q or h?
q
Suppose -9*n + 9 = -0. Which is bigger: n or -3/10?
n
Let x(q) be the first derivative of -q**2 + 2*q + 1. Let f be x(-2). Suppose 2 = f*n - 5*n. Is n > 2?
False
Suppose 55 = 2*q - 3*q. Let g be q/75 - 6/(-15). Which is smaller: g or 1/4?
g
Let z(u) = u**3 + 2*u**2 - 3*u + 4. Let d be z(-3). Suppose d*r = 4*q - 24, 4*q + 2*r + 11 = -r. Suppose 0*c = -4*c + 12. Are q and c equal?
False
Let l = 0.42 + 0.68. Is -1/4 greater than or equal to l?
False
Let t = -1/108 + -103/540. Let f be 1/(-1) + 1 + 0. Which is smaller: f or t?
t
Let m = 0.4 + -0.5. Is m at most as big as -1/14?
True
Let c(z) = -z + 18. Let a be c(8). Do a and 10 have different values?
False
Let i be (-3 + 1)/(-3 - 7). Let p = -4 + 3.8. Is p > i?
False
Let z be (-2)/(-9) + 25/9. Let f be z/(9/3) - -1. Let q = -4 + f. Which is smaller: q or -3?
-3
Let c(m) = 3*m. Let s be c(-2). Let l = -7 - s. Which is smaller: -2 or l?
-2
Suppose 5*d + 16 = -4*p, -5*p - 24 + 4 = -3*d. Let t = 3 + -1. Is d < t?
True
Let m = -3 + 8. Let h be 0/(m/((-10)/4)). Let d = 2.9 + -2.9. Are h and d nonequal?
False
Let m be (6/(-8))/((-15)/10). Is 0 greater than m?
False
Suppose -5*t + 5*p = -t + 6, 3*t = 3*p - 3. Suppose -5*h = -4*h + t. Is -0.6 < h?
False
Let i = 124 + -118. Is 2/5 != i?
True
Let v be (-2)/5 - 7/(-5). Is v at least -2?
True
Let x = 0.74 + -0.8. Let l = x - -0.06. Let j = -0.1 + l. Which is greater: -1 or j?
j
Let s be (-2)/(-7 + 3)*0. Let m = -1 - -3. Is s < m?
True
Let n be (-3)/(-12) - (-87)/(-36). Let s = -5/2 - n. Suppose -8*b + 2*o + 5 = -3*b, 4*b - 5*o - 4 = 0. Are b and s equal?
False
Let z = -5 + 7. Let k = 6 - z. Which is smaller: k or -1?
-1
Let g = 3 - 5. Let z be (4/(-3))/(g/(-6)). Are -4 and z unequal?
False
Let g = -134 + 269/2. Which is greater: g or -6?
g
Let f = 3 + 1. Suppose f*c + c = 0. Is 2/7 less than c?
False
Let d(m) be the second derivative of -m**5/20 - m**4/2 - m**3/6 - 4*m**2 + 2*m. Let k be d(-6). Suppose 0 = -2*q + 7*q. Is k less than or equal to q?
True
Let k = -0.066 + 0.996. Let z = k + 0.07. Let x = -2 + 1. Which is smaller: x or z?
x
Let z = 199/80 - -1/80. Let p be (-1)/3*3 - -3. Is p smaller than z?
True
Let i be 1/1 + (-10 - -10). Suppose 2*k - 11 - i = 0. Is 6 greater than or equal to k?
True
Suppose 0 = 7*f - 12*f + 20. Is f > 7?
False
Let d(n) = n**3 - 5*n**2 - 6*n + 2. Suppose 5*w = 3*i - 4*i + 31, 4 = w - 2*i. Let v be d(w). Which is smaller: v or 1?
1
Let i be (4/15)/((-10)/(-15)). Is 1 less than i?
False
Let n = 7 + -5. Let b = -2.4 + n. Let o = 0.4 + b. Is o smaller than -2/3?
False
Suppose -4*w - 4 = -8. Which is greater: 3/8 or w?
w
Let f be (-1 - -1)/(-7 - -5). Does f = 2/11?
False
Let o be -6 + 0/(-3) + 0. Let g = o + 6. Which is smaller: -3 or g?
-3
Suppose -g = 2*f - 21, -4*f - 39 - 6 = -g. Let m = g + -173/6. Is m <= 0?
False
Let a = 2/9 - -13/63. Which is greater: -1 or a?
a
Let h = -4 + 4. Suppose -15 = 5*c, c = w - 5*w - 3. Is w less than h?
False
Let a be (123/(-10))/((-3)/2). Is 9 greater than a?
True
Let u be (-36)/77 - 4/(-22). Let z(t) = 2*t - 8. Let c be z(8). Let a be ((-24)/32)/((-10)/c). Which is bigger: u or a?
a
Let r = 84 + 3. Is r < 0.1?
False
Let t(m) = m**3 - 6*m**2 - m + 4. Let a be t(6). Suppose -q + 7 - 2 = h, -2*q - 15 = -3*h. Is q at most a?
False
Let u be (4/10)/((-4)/(-10)). Let p be 0/((2 - 1) + u). Is 2/5 smaller than p?
False
Let s = 87 - 85. Which is bigger: 2/5 or s?
s
Let z be (-7)/(-5) + (-27)/(-45). Suppose -4 = -z*x - 0. Is -1/4 not equal to x?
True
Let y(z) = z**2 - 7*z + 10. Let q be y(5). Which is smaller: q or 1?
q
Let w = 1.7 - 1.5. Which is greater: w or 0.6?
0.6
Let x be (69/9)/((-2)/12). Let r be x/(-12) + 2/12. Suppose -11 - 1 = r*y. Is y at least as big as -3?
True
Let s(f) = 2*f**2 - 2*f - 1. Let o be s(-1). Suppose 0 = 4*h - 4*j + 4, o*j - 4 = 2. Let r be 1*(-1 + 2/2). Which is smaller: r or h?
r
Let n be 2/4 - (-533)/(-1064).