 344/44) + (-4)/22. Is -8/29 smaller than k?
False
Let t be 2 - 5 - 29/(-9). Let i(n) = -3*n**2 - 18*n + 1. Let c be i(-6). Is t less than c?
True
Let u be (-10)/(-65) - 56/26. Let n be (-6)/(-9) - (-10)/(-6). Which is smaller: n or u?
u
Let s(i) = 3*i**2 - 1 - 4*i**2 - 7*i + 2*i**2. Let z be s(7). Let d = -25 - -49/2. Is z bigger than d?
False
Let h = -312.91 - -315. Let p = h - 2. Let q = -0.01 - p. Which is bigger: -0.4 or q?
q
Suppose 5*r + 64 = -2*a, r + 83 = -4*a + a. Which is greater: a or -29?
a
Let i(k) = k**3 - 3*k**2 + 1. Let w be i(3). Let v be (0 - -3) + 2 + w. Does 6 = v?
True
Let l = -47 - -45. Suppose -4*q - n - 4 = 0, -6*n = -2*q - n - 24. Is l > q?
False
Let z = -1 + 2. Let g = z + 11. Let q be -1*1 - (-4)/g. Is -1 less than q?
True
Suppose 0*t = -4*t + 468. Let x = 587/5 - t. Which is smaller: x or -1?
-1
Let v(q) = -2*q - 10. Let n be v(-5). Is n at least as big as -4/19?
True
Let w(h) = 0*h**2 + 3*h**2 - 3*h - h**2. Let t be w(2). Let f be (2 - 2) + 2 + t. Which is smaller: 3 or f?
3
Let p = -17925572 + 28232774497/1575. Let u = -1/525 - p. Is u greater than or equal to 0?
True
Let c = 7.3 + -7.25. Is -2/5 <= c?
True
Suppose 0 = 2*v + 3*v + 60. Let f = v - -45. Let k be 1 - 1 - 6/f. Which is bigger: k or -1?
k
Let t = -213/88 - -28/11. Is 0 greater than t?
False
Let y(k) = -9*k - 2. Let f be y(-8). Let w be 4/(-14) - (-34)/f. Let o(x) = x + 5. Let n be o(-6). Are n and w non-equal?
True
Let t(j) = j + 4. Suppose 5*d + 10 = -20. Let a be t(d). Let i be 1 - (4*-1)/a. Is -4/7 <= i?
False
Let f = -44 - -486/11. Let u = 2.29 - 0.19. Let n = u + -2. Which is smaller: f or n?
n
Suppose 4*p + 3*a + 7 = 0, -15 - 12 = -p + 5*a. Suppose 5*c = 6*c - p. Is c greater than 2?
False
Suppose -44 = 4*b - 4*u, 0 = u + 4*u - 15. Suppose -3*k - 2*z = 10, 4*k + 3*z + 6 = -6. Let q = b - k. Which is bigger: -2/9 or q?
-2/9
Let f be (-2*1)/((-1)/(-2)). Suppose -3*z + y = 12, 3*z + 4*y = 8*z + 13. Which is greater: f or z?
f
Let f = -0.01 + 0.15. Is f at least -2?
True
Suppose 0 = -3*z + 5*z + 8. Let a(n) = -7*n + 2. Let y be a(-2). Suppose 0*u + 4*u = -y. Is u equal to z?
True
Let x = 0.027 - -0.073. Which is smaller: -9 or x?
-9
Let d = -101 - -63. Which is bigger: d or -40?
d
Suppose 2*v = -5*u + 19, -5*v - u + 16 = u. Suppose -v*p = -p + 5. Let l be (0 - (3 + p))*-1. Is l at most as big as -2/3?
True
Let b(p) = -p**2 + 4*p. Let k be b(5). Which is greater: 1 or k?
1
Let r = 16 - 15.99. Let b = -0.19 - r. Which is bigger: b or -0.3?
b
Let n be (2 + 1)/((-1)/(-21)*-9). Which is greater: n or -32/5?
-32/5
Let r = 158/5 + -32. Which is greater: 0 or r?
0
Suppose -5*x + 12 = -2*x. Suppose -x*p + 3*p = -2*d, -1 = d - p. Let m be 1/((-7)/(-2) + -3). Is m at least as big as d?
True
Suppose 11*b - 36 = 10*b. Which is smaller: 35 or b?
35
Let r(q) = -3*q**2 + 5*q. Let u be r(-1). Suppose 0 = 2*v + 2*v + 32. Is v smaller than u?
False
Let w = -3 - -3. Let p = 76 + -66. Which is bigger: w or p?
p
Let n be (-40)/140 + (-62)/(-70). Is 0 bigger than n?
False
Suppose -7*w = -8*w - 6. Is -14/3 equal to w?
False
Suppose 7 = -4*n - 9. Suppose -24 = 3*r + 5*c, -21 = -3*r + 8*r + 2*c. Is n at least r?
False
Suppose -3*f - 7 = 2. Let k = 2 + f. Let m be (6/27 + 0)*k. Which is greater: m or 1?
1
Suppose -t - 3*k - 3 = 0, 0 = -5*t + k + 3 - 2. Let p = -66 - -67. Do t and p have the same value?
False
Suppose 3*h + 1 - 31 = 0. Suppose -4*v = -3*m + h, -1 = -5*m + 9. Which is bigger: -1/44 or v?
-1/44
Let a = 2.94 - -0.06. Let o = 29 - 28. Are o and a equal?
False
Suppose 0 = -b - 2*b + 3. Let q = 196 + -195. Is q at least as big as b?
True
Let n be (-2)/10 - (-9)/(-5). Let x be (-4)/(8/6) + 1. Are n and x equal?
True
Let f be (2/3)/(18/(-45)). Are f and -2 non-equal?
True
Let t = -22 - -24. Is 6 >= t?
True
Suppose -3*t + 47 + 10 = 0. Is t <= 19?
True
Let g(d) = 5*d**2 + 3*d - 3. Let t be g(-2). Which is smaller: t or 10?
10
Let v(l) = l**2 - 7*l + 2. Let q be v(6). Let y = 3 + q. Are y and -1 non-equal?
False
Suppose s - 2*s = -2. Let k be 2 + 2 - 4/s. Suppose -f = -5*z + 24, -2*f = -z - 4 + 7. Which is bigger: k or f?
k
Let s = -9 - -7. Which is smaller: s or 0?
s
Let u(l) = -l**3 - 3*l**2 - 3*l - 2. Let y be u(-2). Let t = 2 + -18. Let c be y - 1 - 4/t. Is 0 greater than or equal to c?
True
Suppose h + 2*h = 24. Let w be ((-1)/(-2))/((-2)/h). Is -1 < w?
False
Let z = 7 + -1.1. Let s = 20 - 14. Let l = s - z. Is l at least 11?
False
Let b be (-20)/12 + 1/(-3). Let h = 2 + b. Suppose 5*c + 5*i = 3*i - 13, -c + 4*i + 15 = h. Which is greater: c or -1/2?
-1/2
Suppose 5*a - 3 = 2. Does a = 4/7?
False
Let b = 9 - 8.4. Let w = -0.8 + b. Is w smaller than -0.2?
False
Suppose l = -4*i - 6, -5*l + 12 = i + 4. Suppose 0 = 2*p + 2*n, 2*p + 3*n = -3 + l. Which is smaller: p or 0?
0
Let d = -1 - -1.1. Let x = d + 0.9. Let c = -1.372 + 1.362. Does x = c?
False
Let y = 5 + -3. Let l be (-2)/6 + y/42. Which is smaller: l or 0.1?
l
Suppose 0 = -m - 2. Let z be -2 + 624/(-1197)*-12. Let t = 70/19 - z. Which is greater: t or m?
t
Let f(k) = -k**3 + 3*k - 1. Let n be f(3). Let j be (8/15)/(1/35). Let z = j + n. Which is smaller: z or 0?
z
Suppose 5*s - 3*s + 16 = 5*c, -4*s - 10 = c. Let o be (6 - 0)*1/c. Let m be ((-1)/6)/(o/6). Is 2/11 <= m?
False
Let o(b) = -b**2 - 7 + 11*b - b**2 + 4*b. Let h be o(7). Which is bigger: h or 1?
1
Let j = 21/2 + -8. Let f = -14 + 16. Does j = f?
False
Let j be 3/6*4/2*-1. Which is greater: 12 or j?
12
Suppose -p = -5*p - 16. Are p and -4 non-equal?
False
Let s = -7 + 9. Which is bigger: s or 5/4?
s
Let w(n) be the first derivative of -n**3/3 - 7*n**2/2 - 3*n - 1. Let k be w(-7). Is k not equal to -5/2?
True
Let i = 2/17 + 11/51. Which is greater: 22 or i?
22
Let v be -2*(6/(-16) - 0). Let g(w) = w**3 - 7*w**2 + 8*w - 12. Let j be g(6). Are v and j non-equal?
True
Suppose -2*o + 2*t = 2*o + 6, 2*o + 2*t = 0. Is o bigger than 0?
False
Let b be (-4)/6*(-36)/(-96). Is -1 greater than or equal to b?
False
Suppose f = -4, 12 + 9 = -o - 3*f. Which is greater: -1 or o?
-1
Let q = -4.1 - -3.4. Are -3/4 and q nonequal?
True
Let k = 28 - 27.89. Is k less than 1?
True
Let b be 4 - -1 - (-99 - 16). Is 120 less than or equal to b?
True
Let o = -8 - -9. Let h be (4/(-18))/o + 0. Let i be ((-1)/(-2))/(-1)*2. Which is smaller: h or i?
i
Let a(d) = -2*d**2 + 34*d + 37. Let q be a(18). Are 6/7 and q nonequal?
True
Let x = -2/119 - 65/3213. Which is smaller: -0.2 or x?
-0.2
Let o = 1.8 - 1.8. Is 7 less than or equal to o?
False
Let l be (-25)/3 - (-14)/42. Which is smaller: l or -2?
l
Let s = -31 - -18. Let j be ((-7)/4)/(3/24). Which is bigger: s or j?
s
Let w = 1/3 - -1/6. Which is smaller: w or 4?
w
Suppose 8*y - 20 - 4 = 0. Is -3 equal to y?
False
Let q(g) = g + 1. Suppose 2*v + c + 3 = 0, 2*v + 0*c - 2*c = -6. Let r be q(v). Which is bigger: r or -4/7?
-4/7
Let g be 9/(-2)*6/9. Let i = g - -4. Which is smaller: -1/3 or i?
-1/3
Let f be (-16)/(-1)*(-1)/2. Let k(d) = -d**3 - 7*d**2 + 8*d + 6. Let h be k(f). Is h < 4?
False
Let c be 1664/10 + (-4)/10. Let y be (4/40)/((-88)/c). Let p = y + -1/88. Is p less than or equal to 1?
True
Let y be (14/(-126))/((-3)/(-45)). Is -1 less than y?
False
Let q = 0 + -1.1. Let g = 0.8 + q. Let o = g - 0.7. Is 0 less than o?
False
Suppose -3*v - a = -1, 3*v + 0*a - 2*a = -2. Let k be (0 + -4 - -4)*(-1 - 0). Is v less than k?
False
Suppose -4*s - 24 = -d, 4*s - 24 = -3*d + 64. Let z be d/(-4) - (-2 - 2). Is -15/7 greater than or equal to z?
True
Let q be 1 + (-1 - 0) + 2. Suppose -q*j - 23 + 9 = a, -4*j + 4*a - 28 = 0. Let i = -5 - j. Which is smaller: i or 3?
i
Let o be (0 + 2)/(-2)*-7. Suppose -1 + o = 2*f. Suppose -2*l - f*l = -5. Is l not equal to 2/15?
True
Let c(m) = -3*m**3 + m**2 - m - 1. Let o be c(-1). Suppose 6*l - o*l = 0. Do -2/3 and l have different values?
True
Let w = -104.1 + 104. Is -1 < w?
True
Suppose -3*x = -d - 9, 4*x + 0*d - 10 = 2*d. Let w(s) = s**3 - 6*s**2 + 5*s + 2. Let l be w(x). Which is bigger: l or -9?
-9
Suppose 4*a + 146 = 3*y - 210, 2*a = 3*y - 358. Let z be y/(-175) - (-4)/14. Which is smaller: z or 1?
z
Let q = -9/7 - -12/7. Which is greater: 0 or q?
q
Let o = -8 + 9. Suppose -3*k = 4*j + 6, 0*k - k = -2*j - 8. Which is greater: k or o?
k
Suppose 5*p = -112 + 12. Is -37/2 at most as big as p?
False
