 k = h + -36/11. Which is greater: k or 0?
0
Let c(i) = 6*i**2 - 3*i + 3. Let j be c(2). Suppose 3*b = 4*b - 3*v + 7, 0 = -3*b + v - j. Let o be (-16)/b + (3 - 5). Is 1/4 at most o?
True
Let b = 4 + 1. Suppose 4*u - 55 = -b*j - 12, -4*u + 5*j + 53 = 0. Is 12 equal to u?
True
Let y be (-16)/140 - (-2)/(-7). Which is bigger: -2 or y?
y
Let g be 1/5 - (-343)/35. Is 10 bigger than g?
False
Let a(l) = -l**3 - 4*l**2 + 5*l - 1. Let j be a(-5). Which is smaller: j or -3/29?
j
Let n be (-6)/(-27) - 11716/(-90). Let r = 130 - n. Is -1 smaller than r?
True
Let g be 4/(-14) + 6252/(-70). Let o = g - -90. Suppose -22 = -5*w - 17. Is w at least o?
True
Let x be (-1 - 213/(-210))*-218. Let w = x - -19/7. Which is smaller: -2 or w?
-2
Let a(o) = -o**2 + 6*o + 4. Let s be a(7). Let g = s - 0. Let f be 1 + (3/g - 0). Is f at most as big as -1/6?
False
Suppose -7*j - 244 = 442. Are -97 and j unequal?
True
Let i be (-16)/40*(-5)/(-7). Which is smaller: 1 or i?
i
Let o = 12/19 - 43/38. Which is greater: -1 or o?
o
Let s = -2.984 - 0.016. Is s at most 0?
True
Let i = -3.2 + 3. Let v = -0.3 - i. Let a = -1/19 + 22/57. Which is smaller: v or a?
v
Let l = 0.74 - -7.26. Is l smaller than 1/9?
False
Let s = 0.55 - 0.7. Let l = s - 0.05. Is l equal to 1?
False
Let t = -139/4 - -35. Let v = 0 + 5. Suppose -3*s = -v*s. Which is bigger: s or t?
t
Let w = -22.9 + 23. Is w bigger than -2/9?
True
Suppose 0 = -t + 26 - 4. Suppose -7*w + 2*w - 4*p + t = 0, 2*p = 6. Which is smaller: w or -1/4?
-1/4
Let c = -27698/43 + 644. Is c > -1?
True
Let c = 0.947 - 1. Let g = c + -22.947. Which is bigger: g or 0?
0
Suppose 0*n - 3*n - 5*w = -10, -4*w + 16 = 4*n. Suppose -3*b = -2*z, -n*b + b - 5 = -z. Let o = -4 - -2. Is o at most b?
True
Let b = -43 - -25. Is b greater than or equal to -0.3?
False
Let b = 5 - 5.21. Let k = 0.01 + b. Which is smaller: k or -1/2?
-1/2
Let y = 37 - 36. Which is smaller: -24 or y?
-24
Let f = 3 + -2.6. Let o = -1.6 - f. Let z = -0.13 - -1.13. Is z at least o?
True
Let a = 16 - 17. Let w = -8.6 + 9. Which is smaller: a or w?
a
Let p be (-20)/(-16) + 1*-2. Let l be 0 - (0 - -2 - 0). Which is smaller: l or p?
l
Let m(j) = -2*j**3 + 3*j**2. Let y(z) = 3*z**3 - 6*z**2 + z. Let l(h) = 5*m(h) + 3*y(h). Let k be l(-4). Suppose 21 = -k*v + v. Which is smaller: -6 or v?
v
Let h(o) = -o + 12. Let y be h(11). Is y at least 4?
False
Let l = 1 + -1. Let p = l + -0.1. Suppose -4*n = -2*y + 16, 0*n + 2*n - 2*y + 10 = 0. Which is bigger: n or p?
p
Let p be 14/5*(-24 + -1). Let v be 2/(-3) + p/147. Is 0 > v?
True
Let f be -4 + 1*23/1. Which is greater: 20 or f?
20
Let d = 169 - 1873/11. Let p = 15/11 + d. Is p equal to 1?
False
Suppose -2*t = -3*t. Suppose t = c - 0*c + 2. Is c != -1/2?
True
Let d = -38 + 37. Which is bigger: d or -2/119?
-2/119
Suppose 15 = 5*w - 2*p, 4*w + p - 3 = 9. Suppose 5*j + 3*g + 20 = 0, 2 + w = 5*j - 2*g. Which is greater: j or 2/27?
2/27
Let g be (-5 - -6) + (39/21 - 2). Which is bigger: 1 or g?
1
Let c(y) = 3*y + 3. Let s(f) = f + 1. Let r(v) = 3*c(v) - 8*s(v). Let x be r(4). Let j be (1/10)/(x/(-20)). Which is smaller: j or -5?
-5
Let o(m) = m**3 - m. Let u be o(-1). Suppose -x + 8 = 4*a - a, 4*x - 18 = -5*a. Suppose x*j = -2*j + 4. Which is smaller: u or j?
u
Let t = -1.4 + 1.5. Is t not equal to 0.06?
True
Suppose -3*z - 4*t = -5*z - 4, 2*z - t = 5. Do 9 and z have different values?
True
Suppose -2*g - 4*q + 10 = 0, -3*g - 2*q + 30 = -7*g. Let l = g + 6. Suppose 4*x + 3 = -l. Is x < 0?
True
Let d = 6 + 4. Let t be 10/(-12)*d/(-7). Let j = -6/7 + t. Are -1 and j unequal?
True
Let r be -1 + 5 + 115 + 9/3. Is r not equal to 121?
True
Let p be ((-100)/(-16))/((-6)/72). Is p < -75?
False
Suppose -27 = 3*w + 6*w. Let o(m) = 0*m - m + 4 - 2. Let z be o(w). Which is smaller: 3 or z?
3
Let n(j) = -j**3 - 4*j**2 + 5*j + 6. Let x be n(-5). Suppose 3*g = x*g. Is 0 smaller than g?
False
Let r be 2/1 + 6 + 8/(-2). Which is bigger: 17/4 or r?
17/4
Let x = -0.1 + 0. Suppose 2 = 4*i - 10. Suppose 8 - i = 5*v. Which is smaller: x or v?
x
Let q = 0.3 + -0.2. Let r = 4 + -4. Let f = 0 - r. Which is smaller: f or q?
f
Let r(g) = g**2 - 2*g + 3. Let d be r(2). Let j = -12 - -10. Let w be j/d - (-20)/84. Is w smaller than -1?
False
Let h = 25/2 + -13. Let w = -5 - -3. Is h > w?
True
Suppose -4*d + 5 = 1, -b + d = -2. Let p(l) = -l**3 + 9*l**2 + 10*l + 4. Let v be p(10). Which is greater: v or b?
v
Let w be 74/(-40) + (-4)/(-2). Let p(i) = i**2 - 16*i - 16. Let k be p(17). Is k at most as big as w?
False
Let g = 0.11 - 0.31. Let z = g + 7.2. Which is smaller: z or -0.1?
-0.1
Suppose -4*t = -28 - 4. Let n = t - 8. Does 3 = n?
False
Let n(r) = -3*r**3 + 6*r**2 + 5*r + 11. Let o(j) = -j**3 + j**2 + j + 1. Let p(k) = n(k) - 2*o(k). Let i be p(8). Let m = i - -2009/9. Is 0 at least m?
False
Let b = -5 + 11. Let g = 7 - 6. Suppose i + g = -y, -4*y + 0*i = -i - b. Is y at most as big as -1?
False
Let z = -12 + 8. Let v be 0*(2/(-1))/4. Let d = v - 5. Which is smaller: z or d?
d
Let n = 1.6 - 1.7. Do n and 19 have the same value?
False
Let q = -6 - -10. Suppose -5*d + q*d + 3 = 0. Is 4 less than or equal to d?
False
Let q be ((-1)/7)/((-18)/21). Let i be (-2)/3*15/(-10). Which is smaller: i or q?
q
Let x be (0 + (0 - -2))/2. Let p be ((1 - 2) + -2)*1. Let m be -1 - p/(3/2). Do x and m have different values?
False
Let k be 2/5 + 260/(-275). Do 0 and k have different values?
True
Let c be (-1)/2*(22 + -20). Which is smaller: -5/4 or c?
-5/4
Suppose 32 = 7*i + 60. Do -5/2 and i have different values?
True
Suppose 8*c + 16 = 4*c - 4*z, 0 = -3*c + 4*z - 33. Which is greater: c or -9?
c
Let t be (-44)/(-2)*((-52)/(-8) - 6). Which is smaller: 12 or t?
t
Let k(r) = r - 1. Let o be k(0). Is o less than 0.02?
True
Suppose -25 = -u - 4*h, -3*u + 43 = -2*u - 5*h. Is u smaller than 31?
False
Suppose -3 = 4*n + 3*m + 11, 2*n + 8 = -m. Let q(d) = d**2 + 6*d + 3. Let j be q(n). Let h be (6/(-3))/((-2)/(-3)). Do h and j have the same value?
False
Let d be (-4)/(-18) - 64/207. Let c be (1/(-4))/((-8)/32). Is d not equal to c?
True
Let a = 359/22 - -46/11. Let u = 20 - a. Which is smaller: u or -2?
-2
Let z be -15*(0 + (2 - (-312)/(-155))). Which is bigger: 1 or z?
1
Let d = 1 + -0.9. Let w = -5 - 1. Let u = w + 6. Which is smaller: d or u?
u
Suppose -2*t + 0*t = 6. Let b be -3 + (0 - -3 - 4). Which is smaller: b or t?
b
Let v be ((-7)/21)/((-1)/(-3)). Which is smaller: v or 4/11?
v
Let d be (-3)/18*-14 + -2. Let t = -13 - -12.5. Which is bigger: t or d?
d
Let u = -47/3 + -71/6. Let t = 27 + u. Is t greater than or equal to 2/3?
False
Suppose 0 = -3*v - 4 + 1. Let y(o) be the second derivative of -o**3/6 + o**2 + 6*o. Let a be y(2). Is v greater than a?
False
Let r = -8 + 6. Let u = 0.22 + 0.08. Let v = u - 0.1. Which is greater: v or r?
v
Suppose 3*q + 7 = -2*y, -5*y + 5*q = -y + 3. Suppose 5*s + 6 = -4*k - 20, -4*s = -2*k. Is s at most as big as y?
True
Let z = -7 + 12. Let w be (-3)/z + 9/15. Which is smaller: -7 or w?
-7
Suppose -3*a = 2*m + 8, -m - 6*a + 3*a - 10 = 0. Let j be -2*m/(4/(-5)). Is 5 at most j?
True
Let i be (-3)/(-1)*12/(-9). Suppose 2*n - v + 7 = 0, 2*v - 1 = n + 4. Is i at least as big as n?
False
Let y(b) be the third derivative of b**4/24 + b**3/3 + 3*b**2. Let c be y(-3). Which is smaller: c or 5?
c
Let f be (-578)/(-20) - 2/5. Let m = f - 28. Let u(c) = -c**2 + 2*c + 1. Let o be u(2). Is o >= m?
True
Let j = 161/2 - 80. Let u = 0.09 - -3.91. Which is bigger: u or j?
u
Let p = 28 - 55/2. Let z = 18/7 + -97/35. Is z smaller than p?
True
Let y be (21/12)/((-2)/8). Let i = y - -8. Let m be ((-1 - i) + 1)*3. Which is smaller: 0 or m?
m
Suppose -2 = 2*r + 3*h - 18, 2*r = -4*h + 18. Suppose 5*u + 0*u - 25 = 0. Suppose 0 = x + 5*o + 1, x + u*o = -4*x - r. Are x and 1 nonequal?
True
Let r(d) = -d + 2. Let a be r(-2). Suppose a*k - 3*o = 1 - 5, k - 4*o = -1. Let h be 275/396 - (-1)/(-4). Is k less than or equal to h?
True
Let d = -2 - -1. Do -1/4 and d have the same value?
False
Let p be -2 + 0 + (-14)/(-8). Let d(j) = j**2 + 17*j + 16. Let s be d(-16). Is p < s?
True
Let h = 101 - 63. Are 37 and h nonequal?
True
Let d(v) = 3*v - 14. Let m be d(5). Is 14/19 at least m?
False
Let y = 14 - 8. Which is smaller: 1 or y?
1
Let v be -2 + (-2 + 0 - 3). Let c be 8/(-21) - (-2)/v. Is