s 1 at least as big as j?
True
Let p be -3*12/45*-5. Is p at most 0.04?
False
Suppose -3*y + 3*n = -3, 0 = 3*y - 2*n - 2 - 1. Let c = -38/9 - -13/3. Which is smaller: c or y?
c
Suppose 5*k + 2*g = 4*g + 44, 5*k - 38 = -g. Let t = -9 + k. Let u be 6/21 - 1/(-21). Do u and t have the same value?
False
Let t = -3555/17 - -209. Is t bigger than -1?
True
Let p = -5 - -11. Let s(i) = -2*i. Let o be s(-1). Which is greater: p or o?
p
Let q = -0.01 - -0.01. Which is smaller: q or -0.1?
-0.1
Suppose -3*g - g = 0. Let v = 429 - 259. Let d = 1532/9 - v. Which is bigger: d or g?
d
Let x = -2.4 + 3. Let w = 10 - 9.97. Let t = w + 0.07. Which is smaller: t or x?
t
Let q = 28 - 17. Let f be (-3)/5 + 116/10. Is f less than q?
False
Let f = 78 + -77.8. Are 0.01 and f non-equal?
True
Let s = -6 - -5.3. Let j = -0.3 + s. Let q = 1 - 1. Which is smaller: j or q?
j
Suppose -2*u = -2 - 0. Let t be (3/(-6))/(u + -2). Which is smaller: t or 2?
t
Suppose 0 = 6*q - q - 95. Let n = 24 - q. Is n at most -1?
False
Let d = 4 + 0. Suppose -d*f + 0 + 4 = 0. Let j = -6 - -7. Is j > f?
False
Let r = -53/28 - -15/7. Suppose 0 = -g + 5*y - 3*y, -5*y - 14 = g. Let j(m) = 2*m + 7. Let w be j(g). Is w > r?
False
Let i = -0.8 - -1. Is 5 < i?
False
Suppose 0 = -2*n - 4*j - 26, 4*j + 8 = 4*n - 0. Let a = -14 - n. Is -12 greater than a?
False
Let h be 24/110*(-100)/40. Do h and 0 have different values?
True
Let p be 18/(-12)*(-8)/2. Let z be p + (-1 - (0 + 1)). Suppose 0 = -3*u - 5*l + 26, 4*u - l = -0 + z. Do u and 0 have different values?
True
Suppose 0 = 2*g + 3*q - 23 + 94, -29 = g - 5*q. Which is smaller: g or -35?
-35
Suppose -3*c + 2*t = -14, -2*t = 2*c - 7*t - 24. Let u be (-3 - (c - 0))/(-3). Let g(z) = -z**3 - z**2 + 2. Let n be g(0). Is n < u?
False
Let o be (-11)/(-3*(-4)/(-252)). Let f be ((-28)/o)/((-4)/(-6)). Let p be 2/9 + (-112)/180. Which is bigger: p or f?
f
Let d = -68 + 66. Suppose 5*p - 4*p = 0. Which is bigger: d or p?
p
Let q be (-112)/(-48) + 2/(-6). Which is smaller: -4 or q?
-4
Let l = -28/27 - -358/189. Which is greater: 0 or l?
l
Suppose 10 = 4*h - 6. Let d = 2 + -1. Which is smaller: h or d?
d
Let d(o) = o**2 + 4*o. Let x be d(-2). Which is smaller: x or -3?
x
Let z be (5/20)/((-1)/4). Let f = 2 + z. Let m = 1 - 0. Is m != f?
False
Let x(j) be the second derivative of -j**3/3 - j**2 - j. Let k be x(-2). Let f be (k/(-10))/((-24)/(-20)). Is f at most as big as 1?
True
Suppose -14*j = -10*j + 104. Which is greater: -24 or j?
-24
Let p = -60 - -129/2. Let d = p - 5. Is d > 0?
False
Let k = 0.33 - 0.13. Let f = 0 - 0. Let b = k - f. Is 1 at most b?
False
Suppose 0 = -4*v + 3*v + 20. Suppose -4*f - v = -5*t, -2*t - 2*t = -2*f - 16. Does 0 = f?
True
Suppose -3*d - 14 = -f - 2*d, 4*f = -d + 56. Is 14 at least f?
True
Suppose -7*f = -3*f + 4. Is f greater than -17?
True
Let n = 3 - -1. Suppose 0 = -4*r + n*o - 4, r - 10 = 5*r - 2*o. Let g = r + 2. Is g greater than -3?
True
Let v = 17 - 17. Is 2/7 smaller than v?
False
Let c = -2/4241 + 4811/1208685. Let q = 1153/3705 - c. Which is bigger: q or 1?
1
Let x = 1010 + -945.3. Let g = 69 - x. Let n = 4 - g. Does -2/5 = n?
False
Let p = 0.7 - -0.3. Which is smaller: p or 2/5?
2/5
Let t(m) = m**3 - 8*m**2 + 8*m - 4. Let g be t(7). Suppose k + 9 = -5*p, -g*k = -2*p + 2*k + 18. Do -1 and p have the same value?
True
Let y = -4 - 8. Let t be 188/16 + (-3)/y. Is 10 equal to t?
False
Let d = -1 + 39. Which is greater: 36 or d?
d
Let x be (-56)/(-12) + 2/6. Is x < 24/5?
False
Let n = 53 + -53. Which is greater: -20 or n?
n
Let j = 472 + -9437/20. Which is bigger: j or 1?
1
Suppose -8 = 29*c - 33*c. Let z(k) = -k**2 - 5*k + 3. Let x be z(-6). Let p = x - -5. Is p at most c?
True
Let u = -8 - -14. Let j be (0 - -2)*(-2 + 3). Let a(p) = 4*p - 2. Let v be a(j). Are v and u unequal?
False
Let w = -0.2 - -0.21. Let h = -0.31 + w. Let s = -66.9 + 67. Does s = h?
False
Let x = -148 + 107. Are x and -43 equal?
False
Let x(w) = 4*w + 4. Let v be x(-3). Let b = v - -38/5. Let q = -0.2 - -0.3. Is b bigger than q?
False
Let d be (4/3)/((-2)/15). Let g be ((-4)/d)/((-30)/25). Suppose 5*m - 2*w - 2*w = -7, 5*w - 11 = 4*m. Are g and m equal?
False
Let b = 4 - -9. Suppose 5*z = b + 7. Let l be (-33)/42 + z/14. Which is smaller: 0.1 or l?
l
Let s be (-614)/(-210) - 2/(-6). Let p = 20/7 - s. Let r = -6 - -4. Which is bigger: p or r?
p
Let d be 2*(-3 + 32/12). Suppose -s - 23 = -4*p, -2*p - 3*s + 2*s + 13 = 0. Suppose -p = -2*g + 5*g. Is d at least g?
True
Let s be (6/(-4))/3*-8. Let k be (4 - (-1)/1)*1. Are k and s unequal?
True
Let n = 19 - 17. Is n >= 2?
True
Let b = 4 + -7. Let h = -0.8 - -0.8. Which is smaller: b or h?
b
Let c = -39 + 352/9. Is 0 less than c?
True
Let s = -1.5 - -2.4. Let a = s - 0.8. Is -2/17 bigger than a?
False
Suppose -3*y + 30 - 15 = 0. Let z(x) = -x**3 + 5*x**2 - x - 4. Let r be z(y). Is -8 at most r?
False
Let l = -36411/10199 - 2/1457. Which is greater: l or -4?
l
Let b(a) = a**3 + 5*a**2 - 8*a - 3. Let h be b(-6). Let p be (-4)/(-12) + (-5)/h. Let n = 4 - 4. Which is greater: p or n?
n
Suppose 4*j + 4*v + 8 = 0, -2*v - 2 = -0*v. Let z be 0 - (3 - j)/(-1). Suppose z*y = 4*o - 24, 13 = -2*y + 5*o - 5. Is y at least -4?
True
Let n(h) = -h**2 + 7*h - 3. Let r be n(6). Suppose -y + 0 = r. Does -2 = y?
False
Let g = 0.05 - 0.45. Let b = g + 0.5. Which is smaller: b or 0.2?
b
Let y = 19 + -18.6. Is -3 equal to y?
False
Let d be ((-4)/(-10))/((-6)/(-30)). Suppose n = -d*n. Which is greater: n or -1?
n
Let t be (1/(-3))/(2/3). Suppose -4*p - z - 40 = -9*p, 4*p - 23 = -z. Suppose -3*c = -p*c. Which is smaller: c or t?
t
Suppose 5*w = -b + w - 13, -11 = -5*b - w. Suppose -y = -5*y - 2*g + 16, -8 = -2*y + g. Suppose 4*j + 5 + 2 = -3*d, -2*j + y*d = -24. Which is smaller: b or j?
j
Suppose 2*f - 33 = 5*f. Is f less than or equal to -4/7?
True
Let u = 4162/5 - 241241/290. Let y = u + -1/29. Is 0 greater than y?
False
Let r = -1 - 4. Let a be (-77)/11 - 141/(-21). Is a > r?
True
Suppose f = -4*f. Suppose f = 2*w + w + 6. Is w > -1/2?
False
Let z = 4/145 + -1154/10295. Let d = 1150385 - 898450477/781. Let y = d + z. Which is greater: 0 or y?
y
Let w be (3/(-2))/((-3)/6). Let c = -4 + w. Let m be (-4)/(-2) - 2 - 1. Are m and c nonequal?
False
Suppose 3*w + 47 = -76. Which is smaller: -42 or w?
-42
Let z be 78/45 - (-2)/(-5). Which is bigger: z or -9?
z
Suppose 13 = 2*u + 5*f - 9, 0 = u + 2*f - 9. Let h be 168/(-30) + u*3. Is -2 at least as big as h?
True
Let h = 7 + -5. Suppose f = h - 1. Is 11/5 at most f?
False
Let t = 2 + -2.1. Let l = 0.1 - t. Let d = 3 - 3.1. Does d = l?
False
Suppose -u - 1 = 2. Let l be (1 - (-12)/u)*-1. Let g = 2 - l. Is g at most as big as -3/2?
False
Let l = 5593/15 + -373. Is -1 > l?
False
Let o be (-34)/(-30) + (-26)/195. Which is bigger: o or 4/49?
o
Let u be 6/(-21) + (-18)/(-14). Suppose t - 9 = -10. Is t equal to u?
False
Let o = -3 + 2. Let y = -259/2493 - 2/277. Which is smaller: o or y?
o
Let b be 22/26 - 2/(-13). Are -1.6 and b equal?
False
Let q = -40/23 - -936/115. Is q less than 7?
True
Let l = 75 + -71.9. Let r = l - 0.1. Is -1 greater than r?
False
Let b(x) = x + 2. Let i be b(-2). Let t = i + 1. Suppose -4 = 40*n - 44*n. Is t >= n?
True
Let w = 295 + -1781/6. Which is bigger: w or -1?
-1
Let w = 2 - 3. Which is smaller: w or 0.21?
w
Suppose -5*v + 3 = 4*m, -4*v - 3 = m + v. Suppose 4*a - j = a - 2, 0 = 2*a - 4*j - 12. Let d = m + a. Is 5 equal to d?
False
Let w be 1*(-2)/12 + (-50)/132. Which is bigger: 0 or w?
0
Let y = -141 + 3241/23. Suppose -2*v + 2 = -0*v. Is y not equal to v?
True
Suppose -3 = -3*p + 6. Suppose p*s - 12 = s. Let j = -4 + s. Is 2 at least as big as j?
True
Suppose 0 = 5*t - 15, -2*r + 3*r = -4*t + 37. Suppose -q - q - 3*k - 13 = 0, 0 = 5*q + 5*k + r. Which is smaller: -4 or q?
-4
Let a = -399 + 267. Let i be 160/a - (-2)/3. Which is greater: i or -2?
i
Let o = 5.073 + 0.027. Let n = o - 5. Let h = -0.2 - -0.2. Which is smaller: h or n?
h
Let j = 19 - 15. Is 3 < j?
True
Let w(t) = -34*t + 9. Let f be w(6). Let v be 20/f*(-3)/(-2). Are 1 and v unequal?
True
Let w(z) = 1 - 14*z + 6*z + 9*z - 5. Let q be w(3). Is -1/2 bigger than q?
True
Suppose -1 = w - 5*w - 5*a, 0 = -w - a. Is w > -9/7?
True
Let s be (-4)/(-5)*85/2. Let v = s - 103/3. Is v != -2/5?
True
Suppose -r -