244/45. Which is greater: m or s?
s
Let l = 0.06 + -0.13. Is l at least as big as -1?
True
Let f be 12/1*1/(-2). Let v(g) be the second derivative of g**4/12 + 7*g**3/6 + 3*g**2 + g. Let n be v(f). Is n greater than 1/4?
False
Let r = -9160/47647 - 2/1537. Which is bigger: r or -1?
r
Let p = 32 + -36. Do -5/2 and p have the same value?
False
Let c = 35.1 + -38. Let x = c + 3. Is x > 1?
False
Let j(y) = -y**2 - 4*y - 3. Let p be j(-3). Let z(c) = -c**2 + p*c - 3*c + 1 + 0*c**2. Let q be z(-3). Which is greater: 2/9 or q?
q
Suppose 0 = 5*u + 5*b, -2*u + 2*b + 6 = -u. Let g be u/34*7/(-7). Which is smaller: -1 or g?
-1
Let g be 4/((-368)/172) + 2. Which is greater: g or -1?
g
Let x be (-9 - 1)*7/196. Are x and 1 non-equal?
True
Let g = 9979/10 - 997. Which is bigger: 0 or g?
g
Let f = 0.01 + -15.01. Let r = f + 10. Do r and 0.2 have the same value?
False
Let g = 0.019 + -5.019. Is 2 <= g?
False
Let n = 19 - 16. Is 2/7 greater than n?
False
Let s = 0.3 - -0.7. Let h be (-55)/(-231) + 4/(-7). Which is greater: h or s?
s
Let d = 12 - 13. Is d at least -4/25?
False
Let m = 12 - 8. Suppose -m*l + 6*l + 2 = 0. Let u = 27/5 - 86/15. Which is smaller: u or l?
l
Let i = -4 + 3. Which is smaller: i or 3/53?
i
Let c be 2*25*(-2)/(-2). Is c > 51?
False
Let y(b) = b**3 + 3. Let z be y(0). Suppose 0 = -z*f + 5 + 49. Let v be 6/(-21) - f/(-14). Are 2 and v non-equal?
True
Let p be 28/(-49) + 34/35. Suppose -4*i + 3 = -i. Are i and p equal?
False
Let n = 19 + -20. Let r = 0.37 + -3.47. Let s = -3 - r. Which is bigger: n or s?
s
Let r(m) = -m + 11. Let d be r(0). Is 11 <= d?
True
Let u = -11.92 + 12. Do -1/3 and u have the same value?
False
Let r be (3/9)/(-4 - -9). Which is bigger: 2/5 or r?
2/5
Let w(g) = -37*g + 2. Let u be w(-2). Let a = u - 48. Suppose -4*k + a = 5*b, -3*k - 2*b = b - 18. Is k at least as big as 3?
False
Let m = 16 + -19. Let l be m*(2 + (-26)/6). Which is smaller: l or 6?
6
Let z(i) = -i - 11. Let p be z(-8). Let y be 1/(-2) - (-5 - p). Let f(n) = n**3 - 8*n**2 + n - 6. Let b be f(8). Which is smaller: b or y?
y
Let n be -3*(2 + (80/(-6))/5). Is 16/7 at least as big as n?
True
Let r = 0 + 3. Let l = -13 - -17. Which is smaller: l or r?
r
Let k be ((-42)/49)/((-12)/28). Let a = 29/24 - -239/120. Which is bigger: k or a?
a
Suppose -2*w - 4*t + 22 = 0, -w + 3*t - 2*t = 4. Is w < -2/61?
False
Let j = 68.1 - 63. Let i = -1.1 + j. Let a = i - 3. Which is smaller: a or -0.2?
-0.2
Let z = 5 - 2. Let h be -1 + 4 + (2 - z). Let c(n) = -n**2 + 1. Let o be c(h). Which is smaller: -2 or o?
o
Let u = -34 + 34. Let t = -82 + 575/7. Which is bigger: u or t?
t
Let z(k) = k**3 - 5*k**2 - 4*k + 9. Let j be z(5). Which is greater: -12 or j?
j
Let z(a) = -a**2 + 3*a + 4. Let w be z(4). Let b be 230/55 - 4/22. Let p be (-1 + b + -1)/2. Which is smaller: p or w?
w
Suppose -2*p + 3*z = -61, -z = -4*p + 71 + 26. Is 23 < p?
False
Suppose 14 = 2*t - 4. Let b = t - 6. Let i be ((-6)/9)/(2/b). Is i less than or equal to -6/11?
True
Let o be 2/(1 - 1/2). Suppose 2*h + 4 = 10. Is o at least h?
True
Let y be 3/(-2)*(5 + 44/(-12)). Is -3/5 smaller than y?
False
Let b = -36 + 36. Let v = 3741932/20427 + -7/1857. Let s = v + -183. Which is smaller: b or s?
b
Let b = -0.3 - -0.2. Let m = -1.9 + 2. Let h = m + 0.1. Which is bigger: h or b?
h
Let i = -10009/300 + 3/100. Are -33 and i equal?
False
Let l = 17.612 + 0.188. Let z = 15 - l. Let t = z - -3. Which is bigger: 1 or t?
1
Let p be -1*0/(3/1). Suppose 0*g = 2*g + 4. Let b be 1 + (p + -2 - g). Are 1 and b equal?
True
Let u be (16/(-12) + 0)*12/4. Let o(t) be the second derivative of 2*t**3/3 + t. Let s be o(-1). Is s at least u?
True
Let a = 385/1048 - -1/131. Let c = -57 + 57. Is a <= c?
False
Let f = 0.25 - -3.75. Is f equal to 2?
False
Suppose 82 = -2*y + y - 3*t, -3*y = -5*t + 274. Let g = y - -618/7. Which is smaller: 1 or g?
g
Let z(q) = 2*q - 6. Let p be z(4). Let v be ((-6)/(-4))/((-2)/(-4)). Is v <= p?
False
Suppose 2*g = -2*g + 12. Suppose 0 = -g*q + 11 + 10. Let u(n) = -n**2 + 8*n - 9. Let d be u(q). Are d and -2 unequal?
False
Suppose 0*a + 2*a = 0. Suppose a*l + l = 0. Which is smaller: 3/10 or l?
l
Suppose -3*u - 21 = -0*u. Let i = u - -5. Let l(a) = -a - 5. Let p be l(-4). Which is smaller: p or i?
i
Suppose 6*r - 20 = 2*r. Are r and 14/3 unequal?
True
Let d be 214/390 + -1 - (-10)/25. Is 0 bigger than d?
True
Let g = -12 + 14.5. Is 1 equal to g?
False
Let z(b) = b**3 - 8*b**2 + 6*b + 9. Let y be z(8). Let a be (15/(-102))/(y/256). Let t = -2/323 + a. Is t < -0.05?
True
Let d = -0.9 - -0.4. Let y = 0.4 + d. Let n be (-2)/(-6) - (-1)/(-21). Are y and n nonequal?
True
Suppose -3*p = -2*p + 1. Is 1/17 at least p?
True
Suppose 5*p + 17 = 4*l, -14 = 2*p - 4. Let n be 30/l*(-16)/(-20). Are -12 and n nonequal?
False
Let s = -4.1 - -4. Let g = 0.2 + s. Which is bigger: g or -1/2?
g
Let g = -215/4 - -53. Which is smaller: g or 7?
g
Suppose -2*y - 3*d = 2*d + 27, 3*y + 4*d + 23 = 0. Let f = 3 - 3. Suppose 3*s + f + 3 = 0. Are s and y non-equal?
False
Let c(k) = k - 2. Let f(o) = -2*o + 3. Let g(z) = 7*c(z) + 4*f(z). Let m be g(2). Is m not equal to -5?
True
Let v(h) = 11*h**3 + 2*h**2 - 2*h + 1. Let b be v(1). Let j be (-9)/(-2)*(-8)/b. Which is bigger: 1/4 or j?
1/4
Let f(b) = 6*b + 37. Let s be f(-6). Is -3 bigger than s?
False
Let q = 0 + 0. Are q and 4 equal?
False
Suppose -7*g = -4*g - 9. Suppose -u + 7 = g. Let a be (-6)/(-21) + 80/14. Is a != u?
True
Let h = 89 - 88. Let x = 1 + -0.9. Let o = -0.1 + x. Which is greater: h or o?
h
Let t be 8 + -5 - (-138)/(-44). Is t at least 1?
False
Let v = -190 - -191. Is v > -40?
True
Suppose 31 = -k - 5*b, -3*k - 1 - 2 = -3*b. Let t be (3 - (-24)/(-9))*-21. Is k less than t?
False
Let l be (-30)/4*36/(-45). Which is bigger: -1 or l?
l
Let h be ((-18)/20)/(6/(-5)). Suppose 0 = -0*v + 2*v. Which is smaller: v or h?
v
Suppose -h - 18 = -3*h. Let o = h - 1. Is o greater than or equal to 7?
True
Let m = 1272/7 + -182. Let o = 2.83 - -0.07. Let g = o + -3. Which is bigger: g or m?
g
Let h be -2 - (4 + (-11 - -2)). Which is greater: -1 or h?
h
Let y(j) = -j**3 - 3*j**2 - 3*j - 3. Let o be y(-2). Which is smaller: o or -11?
-11
Let c = -112 - -77. Let n = c + 49. Is 14 at least n?
True
Let h be (-46)/3*(-177)/18. Let c = h + -151. Suppose 0 = l - 0*l + g - 3, l - g = -5. Which is smaller: l or c?
l
Suppose s = -9*d + 4*d + 9, 10 = 4*d - 2*s. Suppose 34 = -5*v + 3*r, v - d*r = -r - 8. Is v at most as big as -2?
True
Let g = 3 - 3. Let a = -1 + -3. Is g at least as big as a?
True
Let f = 1 + -7. Let x be (f/15)/((-14)/(-10)). Suppose 0 = 2*b - 4*q - 6, 4*q - 3*q = -5*b - 7. Which is bigger: x or b?
x
Let q = 587/8 + -73. Is q <= -1?
False
Let s = -225 - -5173/23. Let x be 17/(-17) + (1 - -1). Which is bigger: s or x?
x
Let c = -1.2 - -1. Let k = -1.2 - c. Which is bigger: 1 or k?
1
Suppose j - 10 = l, -3*j + l - 6*l - 2 = 0. Is 6 at most as big as j?
True
Let c be -3 + (12/1)/1. Is c <= 8?
False
Let y be (-8)/28*(-39)/6. Is y > 3?
False
Let j = 0.005 + -4.405. Let b = -1.6 + j. Is b at least 0.1?
False
Suppose 0 = 2*d - 2*z + 2 - 0, -2*d = 3*z - 23. Which is smaller: d or 34/11?
34/11
Let u = 55 - 55. Which is smaller: -5/27 or u?
-5/27
Suppose 3*h - 1 = -13, 20 = -4*k - 3*h. Suppose -a = 4*v + 3 - 4, 3*v = 3*a + 12. Is a not equal to k?
True
Let m be 24/(-3 + 7) - 10/(-5). Which is smaller: m or 3?
3
Let z = 1 + -1. Let b = 1 - 0. Let c be (-14)/(-8) - 2/b. Which is greater: c or z?
z
Let v be (-4)/(-10) - (-26)/10. Suppose 0 = -p + v*p - 4. Is -1/3 bigger than p?
False
Let r = 3 - 4. Let v = 3 + r. Is v greater than -0.3?
True
Let h be ((-1)/(-9))/((-3)/(-9)). Suppose -5*t + 2*j + 18 = -3, -3*j - 9 = 0. Let s = t + -4. Which is bigger: h or s?
h
Let g = -8 + 8.3. Let r(z) be the first derivative of z**3/3 - 4*z**2 + 3. Let j be r(8). Is g < j?
False
Let j be 0*(-3 - -5 - 1). Is 4 bigger than j?
True
Suppose -2*m - 2 = -0*m. Let s be m/3 - (-8)/(-12). Are s and 3/7 nonequal?
True
Let k = -16 + 84/5. Which is bigger: -8 or k?
k
Let l be (-1411)/(-130) + (-2)/(-4). Let s = l - 56/5. Which is bigger: s or -1?
s
Let k = -9759/11968 - 3/1088. Let m = -172642/77 - -2242. Let v = m - k. Which is greater: 0 or v?
v
Suppose -k - 22 = -4*o, -5*k + 4*k = 5*o - 23. Let m be (1 + 2/k)/(-2). 