= -3*t + h. Let y = t - -31. Which is bigger: y or 10?
10
Let z = 8172/43 + -190. Which is smaller: 1 or z?
z
Let n be -2*(33/(-9) + 3). Is n not equal to -3?
True
Let n = 195157 - 2143049/11. Let q = n - 334. Which is smaller: q or 1?
q
Let f be 2/(-5) - (-3 + 0). Which is smaller: f or 4?
f
Let f(t) = 2*t**2 + 3*t + 2. Let j be f(-2). Is 11/4 < j?
True
Let o(q) = -q**3 + 22*q**2 - 21*q + 1. Let x be o(21). Which is smaller: x or 2/191?
2/191
Let f(w) = w - 5. Let c be f(6). Which is bigger: c or 3?
3
Let a be (-2 - -2)*-1 + 1. Let q be (a + -3)/((-104)/24). Which is smaller: q or 0?
0
Suppose c = -3*c. Suppose c*k = -k. Are k and -1/4 nonequal?
True
Let d(u) = -144*u - 2. Let k be d(-2). Let l be (-80)/k - 6/33. Which is smaller: 0 or l?
l
Let u(c) = -c**3 - 2*c**2 + 2. Let k be u(-2). Suppose -k*l = -7 + 1. Suppose -3*g - 4*y = -2, 0 = 4*g - 7*g - l*y. Is g smaller than -1?
True
Let c be (6/9)/(3/9*-34). Let v(n) = -n**2 - 3*n - 1. Let o be v(-2). Which is greater: o or c?
o
Suppose -4*o = 3 + 9. Let p = 1 + -4. Is p smaller than o?
False
Let r be -1*1*2/(-7). Let w = 1.84 - 1.9. Is w greater than r?
False
Let g = 1 - 5. Let w = g + 4.2. Let b = 8.9 + -9. Is w equal to b?
False
Let l(t) = -6*t**3 + 2*t**2 - 2*t + 1. Let w be l(1). Let k = w + 8. Which is smaller: k or 1?
1
Let t = 2 + -4. Let x(z) = z**3 - 4*z**2 + 6*z - 3. Let s be x(2). Is s greater than t?
True
Let y be 258*(-4 + (-152)/(-36)). Let w = y - 1198/21. Which is greater: w or -0.1?
w
Let c = 4.3 - 4.2. Which is bigger: c or 0.09?
c
Let p(c) = c**2 + 5*c + 1. Let t be p(-6). Let b = t + -1. Suppose 21*k - 17*k = 20. Is b at most as big as k?
False
Suppose 0 = 4*b - 3*j + 39, -5*j = -3*b - 27 - 16. Let d be 6/(-2)*(-2)/b. Let f be (-4)/(-3)*(-18)/20. Which is bigger: d or f?
d
Let f = -3 - -6. Let r(n) be the second derivative of -n**3/6 + n**2/2 - n. Let a be r(f). Is a greater than -3?
True
Let t = 0.007 - -0.093. Which is smaller: 35 or t?
t
Let w(g) = -g - 4. Let i be w(-4). Let v = 4 - 2. Let k(c) = -c**3 + 3*c**2 - 4*c + 3. Let x be k(v). Is x < i?
True
Suppose 2 + 1 = -3*l. Let j(y) = 5*y - 9 - 4*y + 0*y. Let o be j(10). Is o greater than or equal to l?
True
Let c = 20 - 19. Which is smaller: c or 5?
c
Let u be (-8)/10 + (-398)/(-10). Is 40 equal to u?
False
Let r(f) = 3*f - 33. Let j be r(4). Do j and -22 have different values?
True
Let a(n) = n**3 - 2*n**2 - 2*n - 3. Let t be a(3). Suppose 0 = -t*k - 5*k + 10. Which is bigger: 9/7 or k?
k
Let b be (4 - (7 + -3))/(-2). Is b smaller than 26?
True
Suppose -2*y = -3*p + 13, -y = -p + 5*p - 21. Which is greater: -0.09 or y?
y
Let x be (18/12)/(15/(-4)). Is 0.1 at most as big as x?
False
Let v = 9 - -2. Suppose 3*g - v - 19 = 0. Let t be (-4)/g - (-4)/10. Which is greater: 2/3 or t?
2/3
Let f = 0 + 0. Do -1/14 and f have different values?
True
Let b be -5*(16/10)/4. Suppose 4 = -2*a + 2. Which is smaller: b or a?
b
Let c = -1 + 1. Let w = 10 - -5. Let n = w + -14. Which is smaller: c or n?
c
Let p = 97/387 + -6/43. Which is smaller: p or 1/5?
p
Let k be (1 - 2)/((-2)/(-12)). Let a be k - -7 - (-1 - 0). Suppose a*o = -0*o. Which is smaller: o or 2/3?
o
Let o be (-4)/(-14)*14/80. Which is bigger: -1 or o?
o
Let u = -1 + 5. Let j = -5 + 9. Are u and j non-equal?
False
Suppose 10 = -6*x + x. Let o = 3 - 3. Suppose o*a = 2*a + 2. Which is bigger: x or a?
a
Suppose 6 = 4*o - 2*o. Suppose o*r = -2*r - 5. Is r equal to -3?
False
Let v = -111 + 113. Is v greater than 48?
False
Let z = -58.1 - -55. Let g = 1.9 - z. Which is smaller: g or -0.2?
-0.2
Suppose -4*d - 48 = -0*d. Let m be (447/(-24))/(2/d). Let f = 111 - m. Is -2 > f?
False
Let c(s) = -s**3 + s**2 + 4*s + 3. Let z be c(-2). Let b = z + -1. Is -0.1 equal to b?
False
Let x = -1 + 5. Is 3 at least x?
False
Let d = 10 + -8. Suppose 2*q = -d*y + 8, -4*q + 10 = y - 6. Is 4/7 < y?
False
Suppose -3*d + y - 42 = 0, -47 = 4*d - 4*y + 17. Let k = -7 - d. Let m be 12/(-9) - (-2)/k. Which is greater: m or -1/2?
-1/2
Let o be 1/2*(2 + 2). Let g = o - -2. Suppose -2 = -g*i + 6. Is i at most 1/2?
False
Let p be 4/(-45) - 2/(-9). Let v be 2 + 2 + (0 - 5). Is p >= v?
True
Suppose -2*r + 41 = -r. Let t = r + -207/5. Is 0 != t?
True
Let d(b) = -46*b**2 - 5*b + 4. Let o be d(1). Which is smaller: o or -48?
-48
Let s be ((-60)/(-18))/((-16)/(-18)). Which is smaller: s or 5?
s
Let c = 6 - 5.96. Is -1/4 at most as big as c?
True
Let c = -27 + 29. Is 1/6 at least as big as c?
False
Let y(p) = 2*p**2 + p + 3. Let s be y(-3). Which is smaller: -3 or s?
-3
Let m be (-4)/(-3) + 5/(-15). Let f(u) = m - 6 - u + 1. Let t be f(-6). Are 2 and t non-equal?
False
Let y(v) = -6*v + 3. Let p be y(3). Which is smaller: p or -16?
-16
Suppose -2*l - 5*h + 29 = 2*l, -4*h = -20. Let w be 1 + 11352/34 + 3. Let k = w + -338. Which is greater: k or l?
l
Let g = -102 - -108. Is g smaller than -6?
False
Let g = -348/5 + 70. Which is smaller: g or -1?
-1
Let m(p) = -p**2 + p - 2. Let w be (0/2)/((-3)/(-3)). Let f be m(w). Which is bigger: -1 or f?
-1
Let c be -4*3/3*1. Let o be c*(-1)/4*1. Is o at least as big as 2/5?
True
Suppose -26*w = -34*w - 32. Let m be 4/(-6) - 110/24. Which is greater: w or m?
w
Let x be 9 - (0 + 0 + 0). Let b(u) = -u - 11. Let f(j) = j. Let c(t) = -b(t) - 2*f(t). Let k be c(x). Which is smaller: 1/2 or k?
1/2
Suppose -5*v = -5*a - 10, -2*a - 4 = -5*v + a. Suppose -2*y - y + 6 = 0. Let f be (2/y)/(2/(-4)). Is f less than or equal to v?
True
Let b be (2/3)/((-1)/3). Let h = 1 + b. Let g(o) = -o + 7. Let u be g(8). Is u > h?
False
Suppose 5*f + 1 = -14. Let g be (15/185)/(f/2). Which is bigger: 1 or g?
1
Let r(q) = q**3 + q**2 + q + 1. Let f be r(0). Let d be (-4)/(1/(f/2)). Let z be d/(-12)*9/(-4). Is -1 less than z?
True
Let s = 82.158 + -0.158. Do 2/3 and s have the same value?
False
Let q(x) = 2*x - 7. Let w be q(-4). Which is greater: w or -12?
-12
Let v be (-125)/(-40) - 1*3. Is 2 bigger than v?
True
Let w(c) = -2*c + 8. Let b be w(4). Suppose -j = -b*j - 9. Are 9 and j equal?
True
Let p(k) = k**3 - 7*k**2 + 4. Let u be p(7). Suppose -2*w + u = -4*w. Let t be (-20)/(-36)*3/w. Is t >= 0?
False
Suppose -4*y - 2*m = 6, 4*y - 9 = -3*m + 6*m. Do y and 1/29 have different values?
True
Let b(m) = m**2. Let v be b(2). Suppose v*p = -3*x + 1 + 3, 3 = 3*p + 4*x. Suppose -2*u = -3 + p. Is 1/2 bigger than u?
False
Let o = -8.08 + 0.08. Let b = 7.9 + o. Which is greater: -3 or b?
b
Suppose 0 = -5*m + 2*v + 6, 0*v - 12 = -2*m + 4*v. Let x(b) = -3*b - 3. Let u be x(-4). Let o = -10 + u. Which is smaller: m or o?
o
Let p be 52/30 - (-10)/(-25). Which is smaller: 1 or p?
1
Let s be (1 - 2)*(-2 - -1). Let x be (-78)/80 - 12/(-20). Which is smaller: s or x?
x
Let s(u) = -u**2 - 6*u + 4. Let x be s(-6). Suppose x*o = -4*m + 20, -o + 4*o + m = 9. Which is smaller: 1/2 or o?
1/2
Let u = 227/34435 + -6/355. Let s = u - -489/388. Suppose -5*g + 18 = 2*b, -5*g + g = 5*b - 28. Is g equal to s?
False
Let b = 40 + -119/3. Is b >= 20?
False
Let l(f) = -9*f**2 - 3*f + 2. Let d be l(2). Is -39 at most d?
False
Let j be ((-22)/4)/((-1)/(-2)). Let b = j + 71. Let i be ((-3)/4)/(10/b). Which is smaller: -5 or i?
-5
Let k be 4*4*(-3)/(-744). Is 1 <= k?
False
Suppose -5 = -3*g + 7. Let i be ((-2)/(-52))/(1/g). Let v = -5 + 4. Is i >= v?
True
Let u(m) = m**3 + 3*m**2 - 3*m - 6. Let h be u(-4). Which is smaller: -8 or h?
h
Let x = -3/2 - -1. Is x bigger than 28?
False
Suppose -5*t - f = -132, 5*t - 68 = -3*f + 58. Let c be (18/t)/(1 - -1). Are -0.1 and c equal?
False
Let l(i) = i + 8. Let w be l(-6). Let q be 1 - (-4 - 1) - 0. Suppose 4 = -r + 4*h, 0*r - h = -w*r + q. Which is greater: r or 3?
r
Suppose u + 26 = -5*z + 71, 0 = -4*z - 2*u + 36. Let k be 22/(-8) - (6 - z). Which is smaller: 9 or k?
k
Let k = 67 - 47. Which is bigger: k or -2/5?
k
Let p = 17 - -13. Is p bigger than 30?
False
Let o = 1621/6 + -271. Suppose -5*f = -0*f. Which is smaller: f or o?
o
Let v be -2 + 12/(-99)*-9. Let w = v + 212/209. Let c = 27/4 + -127/20. Which is smaller: c or w?
w
Let n(r) = -2*r. Let d be n(-1). Let s be d/28*(-8)/(-4). Which is greater: 1 or s?
1
Let d be -4 - (2 - (-25)/(-3)). Is 3 at least d?
True
Let o = 23 + -47/2. Which is greater: -1 or o?
o
Let n be (-5)/(-10)*(2 + 14/(-9)). Let b(c) = c - 9. Let z be b(8). Which is greater