or t?
14
Let y = 46 + 33. Is 80 greater than or equal to y?
True
Suppose 3*w = 4*z + 17, -z + 5*w - 19 = z. Is z at least -11?
True
Suppose 11 = 14*l + 627. Are -43 and l equal?
False
Let h(s) = -s**2 - 11*s - 4. Let q be h(-10). Is 7 less than or equal to q?
False
Let q = -6 - -10. Let g = q + -5. Let r = g + 0.9. Which is greater: 1 or r?
1
Let w(j) = j**2 - 8*j - 3. Let a be w(9). Suppose a*n - 11*n + 10 = 0. Is n less than or equal to 1?
False
Let c = -0.112 - -0.212. Which is smaller: c or -163?
-163
Let g(f) = 2*f**2 + 2*f - 1. Let b be g(1). Suppose n = -0*n + 6. Suppose 0 = s + 2*s - n. Which is smaller: s or b?
s
Let x be (-4)/8*(1 - -1). Which is greater: x or 2/15?
2/15
Let j be 2/(-4)*(4 - 4). Let v be j - (-1)/(-2 + 8). Are v and -1 unequal?
True
Let z = 1.5 + -1. Let x = z + -0.7. Let g = 31/35 - 9/7. Are x and g equal?
False
Let s be (-1)/5*(-85)/(-2). Let o = -31/4 - s. Is 0 less than or equal to o?
True
Suppose -3*c - 3*y = 6, 2*c + 7 = -2*y - y. Suppose 3*k - c = 17. Let s be (-2)/k + 5/(-15). Which is greater: 2/7 or s?
2/7
Let d be 1*(2 - 20/8). Let x(o) = 7*o**2 + 12*o + 9. Let l(t) = -4*t**2 - 6*t - 4. Let u(m) = -5*l(m) - 3*x(m). Let h be u(-5). Which is greater: d or h?
d
Let o = -4.1 - -4.2. Let d = 1.2 - 1. Which is bigger: d or o?
d
Let j = -15 - -16. Let x be 27/18 + j/2. Is x bigger than -3?
True
Let t be (-52)/(3 - 7)*-1. Let h be t/(-26)*(-4)/7. Suppose 0 = -3*x - q - 0*q, 3*x + 15 = 4*q. Which is greater: h or x?
h
Let x(y) = 7*y**3 - 3*y**3 - 3*y**3 - 1 + 8*y**2 + 7*y. Let g be 6/(-9)*(-42)/(-4). Let f be x(g). Is f at least -2/3?
False
Let y be 3/(-3)*(-1)/(1/(-5)). Which is smaller: -3 or y?
y
Let v be (-8)/(-6)*(-3)/(-2). Are 17/5 and v nonequal?
True
Let m = -2 + 3. Let j = 2 - m. Let p be (-21)/(-18) - (-1)/(-1). Is p < j?
True
Let d(u) = u - 1. Let t be d(-8). Let f(l) = -l**3 - 10*l**2 - 8*l + 11. Let o be f(t). Is 7 bigger than o?
True
Suppose -2196 = -5*g + g. Let d be (-6)/((g/(-2))/3). Let s = -134/183 + d. Which is smaller: s or 0?
s
Let t be 0 - -2*3/24. Let c = 5 + -3.6. Let j = 0.4 - c. Which is greater: t or j?
t
Let w = -5 - -19. Let s = -7 + 7. Suppose w = -s*c + c - 3*z, 0 = 4*c - 2*z - 6. Which is smaller: c or -1/3?
c
Let t(h) = 2*h**3 + h**2 - 1. Let b be t(1). Let q = b - -7. Are 9 and q nonequal?
False
Suppose o - 12 = -5*h, 0*o + 2*h = o + 16. Let q = 2 + o. Is -6 > q?
False
Let t(i) be the first derivative of -i**4/4 - 2*i**3 - 3*i**2 - 6*i - 3. Let a be t(-5). Is a smaller than 1?
True
Suppose 10 = 4*x + 5*u, 5 = 2*x + 4*u - 3. Suppose x = -3*m - 0*m - 21. Is m less than -7?
False
Let z(n) = -n + 1. Let s be z(2). Let y be (s - 2)/(6/(-4)). Is -6 != y?
True
Let p = -67 - -403/6. Which is smaller: 1 or p?
p
Let p be 1 - (107 + 1 + 0). Let k = p - -537/5. Let h = 0.3 - 0.2. Which is bigger: h or k?
k
Let k = 2.3 + 10.7. Let t = 12.94 - k. Is 0 equal to t?
False
Let x = 0 - 0. Suppose x = -y - 3*s + 16, 0*y - 2*y - 1 = -5*s. Does y = 7?
True
Let u be 4/(-6) + (-9)/((-54)/76). Is 12 equal to u?
True
Let f be -1 - 2/(-1 + -1). Is 2/3 not equal to f?
True
Let t(i) = 26*i**2 - 1. Let r be t(-1). Suppose -16 = 6*u - 5*u - 3*q, 0 = 5*q - r. Is 3/11 smaller than u?
False
Let y(f) = 3*f + 24. Let w be y(-8). Is w at most as big as 8?
True
Let t = 137 - 406/3. Is t equal to 0.1?
False
Let o be 4288/(-320) + 3/(30/4). Which is greater: -12 or o?
-12
Let m(v) = -v**2 + 3*v + 1. Let u(p) = -p**3 - p + 2. Let f be u(0). Suppose -6*c = -f*c - 12. Let r be m(c). Which is smaller: -1 or r?
-1
Let j = -2 + 6. Suppose 17 - 1 = j*z. Suppose -z*a - 2 = -2*a. Is a != -2?
True
Let t be 2 - 0 - (-7)/(-3). Let g = 330 + -313.1. Let d = 17 - g. Are t and d non-equal?
True
Let f = -9558 - -908033/95. Let w = f + 3/19. Is 2/3 less than w?
False
Let c be -1*((-1)/1 + 0). Let z(y) = -y - 1. Let n be z(c). Let q be -3*(3/(-9) - n). Is q < -5?
False
Let o be (-3)/(-5) + (-74)/40. Which is greater: -1 or o?
-1
Suppose 4 = -2*t + 4*t. Suppose t*r = 1 + 17. Is 10 > r?
True
Suppose -4*i - 2 = 5*g, 0 = -4*g - 6 - 2. Let o(h) = -3*h**i - 2*h + 2*h**2 + 0*h + 0*h. Let f be o(-2). Which is smaller: -2/11 or f?
-2/11
Let y = 1 - 7. Let t(g) = -g - 4. Let z be t(y). Suppose 0 = -2*o + z. Is 0 greater than o?
False
Let l be (-56)/10 - (-6)/(-15). Is -8 equal to l?
False
Let l(k) = -k**3 + 6*k**2 + 2*k - 4. Let i be l(5). Suppose -2*n = -4*a - 16, 5*a + i - 5 = 4*n. Are n and 5 non-equal?
True
Let r = 0.06 + 2.94. Let g = r - 4. Which is bigger: g or -4?
g
Suppose -2*v = 4*g - 12 - 32, -3*g - 136 = -5*v. Let h be 19510/v*6/15. Let z = h + -300. Which is smaller: 0 or z?
0
Suppose 1 = -x + 4. Suppose -5*q + 0 = -10, 5 = -x*u + 4*q. Which is greater: 0 or u?
u
Suppose r = -1 + 2. Let q = 2 - r. Let v = 5 + q. Is 6 at most as big as v?
True
Let j = -249/104 - -36/13. Which is greater: j or 1?
1
Let o(d) be the second derivative of -d**5/20 + d**4/12 + d**3/2 + d**2/2 - 2*d. Let u be o(3). Is -8 < u?
False
Let y be 8/(-36) + 7/(-9). Let m be (1464/14)/((-3)/2). Let b = m + 70. Which is smaller: b or y?
y
Suppose h - 1 = 1. Suppose 6 + 4 = 4*c - h*m, 3*c - 15 = 4*m. Which is smaller: c or 2/3?
2/3
Suppose 0 = 4*z + 12, 2*k + 3*z - 43 = -0*z. Suppose 2*n - 4*p = -k, -5*n = -n - 4*p + 36. Is -4 bigger than n?
True
Let b be (-12)/16 - 5/4. Let o be 2*(2/3)/b. Do o and 0 have the same value?
False
Suppose -32 = -4*y - 12. Suppose y*s - 6 = 9. Suppose -s*o - d = -0*d - 10, o + 3*d = 14. Which is bigger: o or 1?
o
Let d be (1 - 4)/((-21)/(-4)). Suppose 4*c + 0 = -4. Is c equal to d?
False
Let i = -1.4 - -2. Let m = 4.6 - i. Is 1/2 > m?
False
Let x be (84/(-98))/(4/(-14)). Suppose 0 = -x*o + 2*o. Which is greater: 3/5 or o?
3/5
Let o(s) = s**2 + 6*s. Let a be o(-6). Let v be (-15)/20 - 1*-2. Which is smaller: v or a?
a
Let c be (-6)/5*(-2)/4. Is 2 at most c?
False
Let s(l) = -l**2 + 4*l - 2. Let a be s(3). Let h be ((-4)/(-20))/((-8)/10). Which is greater: a or h?
a
Let n = 0.2 - 0.2. Let i(o) = -o**3 - 3*o**2 - 2*o - 2. Let r be i(-3). Suppose r = -4*z - 0. Which is smaller: z or n?
z
Let c = 1.5 - -0.5. Let r = c - 3. Let b = 2 + r. Is 2/5 bigger than b?
False
Suppose -3*v = -5*l - 5*v, 3*v = 2*l. Which is greater: l or -32?
l
Let a = -9 + 12. Is 3 >= a?
True
Let p(u) = -u**2 + 2*u + 2. Let b be p(4). Let n be b/44*(-170)/265. Let k = n - -5/53. Which is smaller: 0 or k?
0
Let x be (-2)/6 + (-2487)/45. Let l = 56 + x. Which is smaller: 0 or l?
0
Let d be (-228)/(-54) - 2/9. Let h be (2/(-3))/(d/(-6)). Is h > 2/7?
True
Let m = -14 - -13.89. Let n = m + 0.11. Let a = -1.2 + 0.2. Is n less than a?
False
Suppose 28 = -h - 20. Let k = -103 - h. Let g be (-1)/3 + k/15. Is g < -4?
False
Let u(b) = -b**3 + 4*b**2 - 4*b + 2. Let a be u(3). Let x(y) = 0*y**2 - y**2 - 3*y**3 - 2*y**3. Let i be x(a). Is 3 at most i?
True
Let d = 3.4 - 1.4. Let s = d + -2.2. Which is smaller: 7 or s?
s
Let y be -2 - (12 + (-3 - -1)). Let o be (y/(-30))/(1/(-5)). Which is bigger: -4/7 or o?
-4/7
Suppose -2*m - 3*m = 0. Let p be ((-3)/9)/((-1)/(-9)). Is m at least p?
True
Let m be 14/4*(3 - 5). Which is bigger: m or -23/4?
-23/4
Let u = 19 - 36. Let o = u + 9. Let t = -7 - o. Is 2 smaller than t?
False
Let b be (-252)/35 + (-2)/(-10). Is -10 not equal to b?
True
Let i be (-2)/(-7) - (-25)/35. Is i at least -4/3?
True
Let z be (-162)/(-48) - (0 + 3). Which is greater: z or -1/4?
z
Let r = -112 + 558/5. Which is smaller: r or 2/7?
r
Let j = -12322/5 - -2455. Let f be (-10)/((-2)/(-4)*2). Let o = f - j. Which is greater: o or -1?
o
Let i(s) = -13*s - 21. Let n be i(-7). Which is smaller: n or 71?
n
Suppose 12 = -i + 18. Which is smaller: i or 18?
i
Let j = 128.9 + -129. Is j less than or equal to 122?
True
Let y be -2 - 0 - (-5 + 0). Suppose y + 17 = -5*j. Which is bigger: j or -0.2?
-0.2
Let x = 98/3 + -32. Let w = x + -1/6. Is 2 less than or equal to w?
False
Let r = -1/14 + 17/42. Let n(w) = w**2 - 9*w + 6. Let q be n(8). Let v = 2 + q. Which is smaller: v or r?
v
Let t(n) = -n**3 + 10*n**2 + 10*n + 15. Let o be t(11). Which is bigger: o or 8/3?
o
Let a = 567 + -1699/3. Suppose b - 2*b + 3 = 0. Suppose q = -2*z + 2, z + 3*q = -2*z + b. Are z and a equal?
False
Let b = -0.36 + -0.64. Which is bigger: b or -35?
b
Let z = 7426/25 - 297. Let h = 1426 - 35661/25. Let u =