*2 - 12*t - 11. Let k be l(-10). Let w = x - k. Which is bigger: w or 0?
0
Let c(v) = 3*v - 6. Let h be c(2). Which is smaller: 6/43 or h?
h
Let t(b) = 2*b + 1. Let o be 1/2 + (-1)/(-2). Let f be t(o). Let h be (f - 1) + (-36)/16. Are h and 5 unequal?
True
Suppose -5*s = 210 - 395. Is 34 at least as big as s?
False
Let l be 4/(-4) - (-2)/1. Let x = 0 - l. Let r be ((-4)/8)/(x + 0). Which is smaller: 0.1 or r?
0.1
Let p(h) = -h**2 + 7*h + 8. Let f be p(8). Let w(c) = -c**3 + c**2 + 3*c - 3. Let r be w(2). Which is bigger: f or r?
f
Let o(t) = -7*t**2. Let u be o(-1). Is u at most -6?
True
Let c = -259/6 + 43. Let w = 1 - 6. Let q = w + 6. Which is greater: c or q?
q
Suppose -c + 24 = 3*c. Are 5 and c nonequal?
True
Suppose 0 = -6*u + 3*u - 9. Let i be u*-1*(-2)/(-8). Do i and -2/7 have different values?
True
Let m = 4.87 + -0.97. Let a = 0.1 - 4.1. Let q = a + m. Do q and 2/3 have different values?
True
Let s be (-2)/11*(-5)/(-20). Are 0 and s nonequal?
True
Let w be ((-8)/(-6))/((-5)/(-15)). Suppose 2 + w = -2*o. Suppose x - 4*x = -2*l + 8, 0 = 2*x - 5*l + 9. Which is smaller: o or x?
o
Suppose r = -2*l - 28, -3*l + 2*r - 3*r - 42 = 0. Let v = l + 20. Let k be 34/v + (-4)/6. Is 3 not equal to k?
True
Let f be 33/(-55)*(-10)/2. Which is greater: f or 7/2?
7/2
Let y = 5 + -2. Let l(w) = -y + 1 - 3 + 4 - 5*w. Let n be l(1). Are -5 and n unequal?
True
Let s(w) = w**2 - 7*w - 5. Let q be s(8). Is q at least as big as 8?
False
Let j = 17.1 - 17. Is -0.5 >= j?
False
Let w(f) = -f**3 - 18*f**2 - 8*f + 10. Let x(b) = -b**2 + b + 1. Let c(a) = w(a) - 4*x(a). Let k be c(-13). Which is smaller: k or -6?
k
Let h = 5/13 + -80/39. Which is bigger: -2 or h?
h
Let i(c) = c + 2. Let y be i(2). Let p(z) = 4*z**2 + z. Let n be p(-1). Suppose -5*g - 10 = -5*r, 0*g + n*r - 4 = y*g. Is 0 equal to g?
False
Let z = -139 - -116. Is z <= -21?
True
Suppose -5*r + 4*u + 234 = 0, 2*r - 3*u = 92 - 4. Suppose j - 6*j - r = 0. Is -10 < j?
False
Let s be 152/(-1) + -1 + 3. Let z = s + 4049/27. Does z = -1?
False
Let k be -1 + (-3 - -6) - -3. Suppose -3*s - 4 = k*g, 0*g - 3*s - 6 = 3*g. Is 2/25 greater than g?
False
Let k be 1 - (-7)/(1 + -2). Let g(h) = -h - 1. Let y be g(k). Suppose 30 = -y*j + 10. Which is smaller: j or 1/4?
j
Let z = -21237/25 - -849. Let p = -59/175 - z. Is p greater than 0.2?
False
Let h = -21.3 + 13.3. Is h less than or equal to 1?
True
Let p be (0 + -3 - -4) + 9. Is 11 at least as big as p?
True
Suppose 2*n - 14 + 6 = 0. Let w be 7/n - (-6)/24. Is 4/5 greater than or equal to w?
False
Let j = 9 - 4. Suppose 7 + 3 = j*w. Let h be (-2 - (-7)/3)*3. Which is smaller: w or h?
h
Suppose 0 = 4*l - 4*v + 72, -3*l - 30 = 2*v + v. Let u be 18/l - 2/(-7). Suppose 0*s = -4*s. Which is bigger: u or s?
s
Suppose 0 = -2*f - 2*f + 12. Suppose f*w = 7*w + 16. Let n(t) = t**2 + 21*t - 51. Let r be n(-23). Is r less than w?
True
Let x = 25 + -16. Let r be (-8)/45 + (-2)/x. Let h(t) = -t**2 + 5*t - 5. Let i be h(4). Is i at least as big as r?
False
Suppose 0 = -3*y - 5*p + 152, 5 = 2*p + 3. Let m be (-21)/y + 69/63. Is 1 greater than or equal to m?
True
Let x be (-2)/(1/(1/2)). Let h be x*1*3/4. Let y be (-2 + 5 - 4)/1. Which is smaller: h or y?
y
Let m = 14 - 10. Suppose -5*r + 5*x + 30 = x, -r + m*x = -6. Suppose -2*p - 2 = -r. Which is smaller: p or 0.1?
0.1
Let i = 0.02 - -0.02. Which is greater: i or 2?
2
Let c = 74 + -73. Is c less than -6/29?
False
Let c = -167.1 - -167. Is c < 33?
True
Let o(w) = -w**3 + 8*w**2 + 2. Let b be o(8). Let t be b - 1 - 3/3. Is t at least -1/3?
True
Let t = 68 - 56. Which is smaller: t or 25/2?
t
Let i be ((-8)/(-8))/(2/(-4)). Let b be (-7)/(-21)*1/i. Which is bigger: b or -1?
b
Let u(d) = -d**3 + 8*d**2 - 4*d - 3. Let j be u(8). Let b be ((-28)/j)/(14/5). Which is smaller: b or 9?
b
Suppose -5*i = -3*q + 20, -17 = 2*i - q - 2*q. Which is smaller: i or -3/2?
-3/2
Let a = 7 + 1. Which is smaller: 1 or a?
1
Let l = 10 - 8. Let r be 28/6 + (-6)/9. Suppose 0 = 4*v + l*d - 16, v + 3*d = -r*v + 21. Is v bigger than 3?
False
Let k = -15.2 - -1.2. Let j = 18 + -19. Which is smaller: j or k?
k
Suppose -5*n - n = 6. Is -1 > n?
False
Suppose 0 = 6*h - 4*h - 2. Let w = 18 + -13. Let s = 8 - w. Which is smaller: s or h?
h
Let p(q) = -q**2 - 7*q - 4. Let o be p(-6). Let k be o/(-3)*(-1 + -2). Let l = 0.04 + 1.96. Is l > k?
False
Suppose -3*r + 7*r = -4. Suppose 5*j = -x + 5, -3 = -5*j + 2*x + 2. Let c be 0 + (2 - 1) + j. Which is smaller: c or r?
r
Let p(k) = 2*k**3 + 3*k**2 - 2*k + 2. Suppose 0 = -5*g + 4 + 11. Let u be p(g). Let j be 2/(-7) + 36/u. Which is bigger: j or 1?
1
Let s = 3 + 8. Suppose c - 2*g = -s, 0*c - 3*g + 17 = -2*c. Which is greater: c or -2?
c
Let h(m) = m**3 + 6*m**2 + 4*m - 3. Let q be h(-5). Let y(f) = -f**3 + 14*f**2 + 17*f - 17. Let l be y(15). Let t = 15 - l. Is q less than t?
False
Let c = -11 - -10.7. Which is smaller: 0.4 or c?
c
Suppose 104*u = 101*u - 57. Is 1 equal to u?
False
Let z = -364 - -217. Let p = 101 + z. Let f = -140/3 - p. Is f at most 1?
True
Let t = -132 - -134. Let d = 10 - 6. Which is bigger: t or d?
d
Let w be (2/6)/((-3)/(-27)). Suppose i - m - 1 = 0, -i - w - 4 = -3*m. Suppose -4 = -4*z - 4*d + 12, 2*d - 8 = -i*z. Is z at most -1?
False
Let h be 1*(-1 + 2 + 1). Suppose -h*z + z + 5 = 0. Let p be 2*2/(-4)*z. Which is greater: -3 or p?
-3
Let n = 1 + -1. Let w(u) = -4*u - 13. Let d be w(-2). Let r = n + d. Is r at most -5?
True
Suppose u + 3*o = 10, -5 - 1 = -u - o. Let d = 51 + -33. Suppose 4*t - 5*t = -u*s - 9, -4*s = 2*t + d. Which is smaller: t or -2?
t
Let j be ((-4)/14 - 79/(-7))*-1. Which is smaller: j or -52/5?
j
Suppose 2*o - 6 = -5*m + 3*m, m - 9 = -4*o. Is 1 < m?
False
Suppose 4*f - 3*l - 32 = l, l = 0. Suppose 0 = 5*s + 15 + 10, -2*j = -2*s - f. Let p = 2/113 + -121/452. Which is smaller: j or p?
j
Let v be 14 + -19 - (-858)/172. Is v less than -1?
False
Let k be 3/3*(-1)/(-2). Let y = 1 - 1. Let u = 0.4 - y. Is u <= k?
True
Suppose 0 = -8*g + 4*g. Let v = -4 + 8. Suppose -3*a + 6 = -3*p, g = p + v*p - 2*a + 7. Do p and -1/2 have the same value?
False
Suppose -7*o - 2*f = -2*o - 200, 183 = 4*o - 3*f. Suppose -d - 2*d = -o. Let z be (6/d)/(14/(-49)). Which is greater: 1 or z?
1
Let p be 1 + 0 - (1 + -3). Let m(j) = j**p + 2*j - 3*j - 3*j - 2*j**2 + 4. Let z be m(3). Which is greater: 2 or z?
2
Let f = 6 - 4. Let v = 0 - f. Is -3 less than or equal to v?
True
Let w = 7 + -6. Suppose -3*t = w - 4. Is t greater than 1?
False
Let a = 18 - 17.8. Let f = a + -1.2. Are f and 1/3 unequal?
True
Let z = 14817/29 - 511. Let i = z + 677/145. Let m = i - 41/10. Is 0 greater than m?
False
Let q = 10 - -2. Let l(o) = o**2 + 6*o - 10. Let v be l(-7). Let j be (-3 - (-3 + -14)) + v. Which is smaller: q or j?
j
Let w(l) be the second derivative of -l**5/20 + l**4/3 + l**3/6 - 3*l**2/2 - 3*l. Let v be w(3). Let h be 12/(-9) - 6/v. Which is smaller: h or 1/2?
h
Let k = 0.04 - 0.24. Is -10 bigger than k?
False
Suppose -v + 4*m - 79 = 0, -13 = 5*m + 2. Which is bigger: -92 or v?
v
Let r = 6 + -11. Let o(j) = j**3 + 6*j**2 + 4*j - 4. Let n be o(r). Let f = 688/7 + -98. Which is smaller: f or n?
f
Let g(r) = -2*r. Let m be g(1). Let l be (-34)/6 - (3 + -7). Are l and m equal?
False
Suppose -r - 2 = 3. Is -5 greater than r?
False
Let s = 4 - 2. Let o be (-4)/s*(-1)/(-5). Suppose 0 = -k - 4*y + 8, 0 = 5*k + 4*y - 8 - 0. Which is smaller: k or o?
o
Suppose -25 = -5*u + 5*o, 0 = -4*u - 8*o + 3*o - 25. Is u > -3/31?
True
Let a(q) = -q**2 - q + 11. Let i be a(-4). Is i smaller than 0?
True
Let b be 40/(-78) + 10/(-65). Are b and 32 equal?
False
Let n(t) = t - 2. Let r be n(9). Let v = 8 - r. Which is smaller: 7/4 or v?
v
Let x = -30 + 30.019. Do 1/3 and x have the same value?
False
Let t = 5885/2 + -3034. Let k = t - -96. Which is bigger: k or 5?
5
Let o = 0 + 0.2. Let u = 0.8 + o. Is u not equal to 13?
True
Let v = -4 + 8. Suppose 2*w = -g, -w = -v*g + w. Which is bigger: 3/5 or g?
3/5
Let p = 11 - 13. Let w(b) = b**3 + 3*b**2 - 1. Let r be w(p). Which is greater: 2 or r?
r
Suppose 4*v - 2 - 2 = 0. Suppose -3*x - 3*u = -3, 4*x = 6*u - 2*u - 20. Is x greater than v?
False
Let p = 6641345/138 + -48125. Let z = p - 12/23. Let n = -2 + 3. Which is bigger: z or n?
n
Let p = 7 - 8. Let l be (-3)/9 - (1 + p). Which is bigg