q be (-4 - -3) + 2 + 2. Is q greater than or equal to -4?
True
Suppose 4*s - 19 = 2*b + 19, -5*s + 46 = -2*b. Let y = 7 - s. Is -1 equal to y?
True
Suppose -5*t + 35 = -o, -4*o + 5*t = -o + 55. Let z = o + 12. Is z at most as big as 2?
True
Let w = 0 - 2. Let g be (8/(-6))/((-4)/12). Suppose 3*c + 5 = -4*a, -5*a + g*c - 14 + 0 = 0. Do w and a have the same value?
True
Let q = -4.5 - 0.5. Let b = q + 4.8. Let n = 0.3 - 0.4. Which is smaller: b or n?
b
Let u = 0.27 + -0.27. Which is smaller: u or 1.6?
u
Let r = 1 - 1. Which is greater: r or 2/11?
2/11
Let r = 18 - 13. Suppose r*c + 53 = -27. Let d = c + 10. Is -6 less than d?
False
Let v = -1550/9 + 172. Let c be 2 + -2 - (-2 + 2). Which is smaller: c or v?
v
Let b = -24 + 8. Is -16 equal to b?
True
Let y = 1 - 6. Let h = -5 - y. Are -8/9 and h nonequal?
True
Suppose -3*t = 2*p + 39, -t - 65 = -2*p + 7*p. Let z be 3/p + (-14)/(-8). Let s be (1/(-2))/(-3 + 5/2). Which is smaller: s or z?
s
Let f = -10.8 - -11.8. Let v = -300 - -294.94. Let m = 0.06 + v. Which is bigger: f or m?
f
Let y = -38 + 12. Is -27 equal to y?
False
Suppose 2*w = -5*b + 5 - 0, 0 = b + 4*w - 1. Which is smaller: b or 9/8?
b
Suppose -5*p + 3 + 3 = 2*j, 0 = 3*j - 2*p - 28. Suppose -4*f = -j*f. Is f bigger than 4?
False
Let b(c) = c - 4. Let x be b(5). Is 2/39 less than x?
True
Suppose -4*a + 4 = -20. Is 4 at most a?
True
Let s = -11 + 9. Let k be (5 + -8)/((-3)/s). Is -5/7 < k?
False
Let j = 8 - 1. Let l = -7.1 + j. Is l >= -0.4?
True
Let f be -2 - 5/(10/(-4)). Let w(r) = r**2 - 5*r - 8. Let b be w(6). Is f smaller than b?
False
Let u = 2296 - 355882/155. Which is smaller: 1 or u?
u
Let t be ((-2)/(-4))/(-4 - -1). Which is bigger: t or 0.1?
0.1
Suppose 21 = p - 9. Let m be (-1)/(-4) + p/(-24). Is -2/5 at least as big as m?
True
Suppose -v - 4 = 2*w, -5*w - 3 - 1 = 4*v. Let g = 4 + -2. Let f be (v + -1)/(-1) + g. Which is smaller: f or 0?
f
Let n = 92/205 - 2029407/4522505. Let h = n - -18156198/110305. Let s = h + -164. Which is bigger: s or 2?
2
Let t = -36 + -4. Is t equal to -40?
True
Suppose -m - 5*f = -2*f + 5, f = -2*m. Let v be (5 - 0)*(0 - m). Is v greater than -4?
False
Let l = 108444/97 + -1118. Which is greater: l or 0?
0
Let g(c) = c**2. Let u(w) = -w**3 + 4*w**2 + 2*w + 1. Let a(i) = -3*g(i) + u(i). Let t be a(-1). Is 3 greater than or equal to t?
True
Let k be (4 + (-177)/45)*(-1 - -27). Which is smaller: k or 1?
1
Let v = 1 - -3. Suppose j = -5 + v. Which is bigger: -3/2 or j?
j
Let x(j) = -j**3 - 7*j**2 - 7*j - 8. Let o be x(-6). Suppose -5*f = -0*f + 10, v = -f - 5. Let y = -6 - v. Is y >= o?
False
Suppose -4*o = -2*c + 16, -5*c = -0*o - o + 5. Let f be (-1)/c - (-3)/2. Is 2 > f?
False
Let w = 2/567 - -1088/13041. Suppose 9 - 3 = -6*n. Is w greater than n?
True
Suppose -5*z = 3*i - 22, -z + 0*z + 7 = -2*i. Is 2/283 bigger than i?
True
Let g be 2 + 1 + 69/(-21). Which is smaller: g or 3?
g
Let j be (-2)/(((-12)/(-16))/3). Which is bigger: j or -7?
-7
Let j = -41126/105 - -9994/35. Let l = 106 + j. Are -1 and l unequal?
True
Let x = -5.4 - -4. Let j = -1.4 - x. Which is greater: j or -6?
j
Suppose 4*h + 5 = h - 2*d, -5*h + 2*d = -13. Let q be (-16)/18 - (-2)/3. Is q <= h?
True
Let x = -2 + 3. Which is bigger: x or 3?
3
Let v be ((-4)/27)/((-10)/(-3)). Which is greater: v or 0?
0
Suppose -2*y + 6 = -3*a, 0 = -8*a + 3*a - y - 23. Let o = -3 - 1. Is a <= o?
True
Let h = 0.8 - -2.2. Let w = 0 + h. Is 2 at most w?
True
Suppose 7*f - 2*f + y - 12 = 0, -3*y = 5*f - 6. Let u = 0 - -9. Suppose 8*z + 4 = u*z. Which is smaller: z or f?
f
Let f = 0 + 5. Suppose -r = -f*r - 48. Let l be ((-2)/(-4))/((-14)/r). Which is smaller: l or 1?
l
Suppose j + 3 = -0*j. Let k be 38/(-13) + (-9)/j. Is k greater than or equal to -1?
True
Let i(z) = z**2 + 2*z + 1. Let v be i(-3). Let w = 1 - v. Let o = 2.02 - 0.02. Which is bigger: o or w?
o
Suppose 4*k = 2*o + 20, -4*o + o - 24 = -5*k. Let w(n) = n - 4. Let h be w(k). Are 4/5 and h equal?
False
Let d be 5/(-7) + (-6)/21. Which is greater: d or -2/29?
-2/29
Let i = -0.39 - -0.41. Which is greater: -2/5 or i?
i
Let y = -15 + 16. Suppose -2 = -2*f + 2. Which is bigger: y or f?
f
Let d(c) = c**2 - 11*c + 7. Let o be d(11). Is o not equal to 8?
True
Let z(j) = -j - 6. Let c be z(-8). Let p be (-1722)/30 - c/(-5). Let f be p/(-108) - (-4)/18. Which is bigger: f or 1?
1
Let a = 8.86 + -0.66. Let q = 6 - -2. Let j = q - a. Is j greater than or equal to -0.2?
True
Suppose -2*f - 25 + 8 = 3*b, -2*f + b + 3 = 0. Is 5/41 at least f?
True
Let k(a) = -a**3 + 11*a**2 - 2. Let b be k(11). Suppose -2*z = 3*z + 15. Which is bigger: z or b?
b
Let s = 21 - 41. Let x be 2/5 + 68/s. Let h = -0.4 - -0.4. Is h < x?
False
Let n(a) = 2*a - 9. Let o be n(7). Suppose -5*g = 4*s - 5, 2 = -3*g + 5*g - o*s. Let l be 4*3/(-18)*-1. Is g > l?
True
Let h = 12.6 - 2.6. Is h less than 0?
False
Let u be ((-2)/(-15))/((-16)/20). Suppose 5*b - 4*k - 31 = 2, -3*b + 19 = -2*k. Suppose b*x = 2*x. Which is smaller: u or x?
u
Let y = 40/7 + -36/7. Which is greater: -2 or y?
y
Suppose 5*d - v = 15, -5*d + 28 = -d - 4*v. Let s be (-2)/6*(-27)/12. Which is smaller: d or s?
s
Suppose -4*s - 144 + 12 = 4*x, 3*s - 5*x + 75 = 0. Let v = -92/3 - s. Which is smaller: v or -2?
-2
Let a = -2.8 - -2.9. Which is smaller: a or 24?
a
Let r be (-223)/7 - (-13)/(-91). Is r greater than -34?
True
Let q = 33 + -33. Which is smaller: -2 or q?
-2
Let t = 193 - 191. Let h = -6 + 8. Is t > h?
False
Let k be 172/(-42) - (5 + -9). Which is bigger: k or -0.2?
k
Let d = -16 - -17. Is -0.08 equal to d?
False
Let i = 1 - -1. Let p be 384/27 + (-4)/18. Let d be (-6)/p*14/(-4). Which is bigger: i or d?
i
Let f = 4/13 + -88/117. Which is smaller: f or 1?
f
Let t(w) be the third derivative of w**5/60 + 5*w**4/24 - 5*w**3/3 - 3*w**2. Let p be t(-7). Is 4 less than p?
False
Suppose 3*m + 26 = -4*j, -m + 6*m = -4*j - 30. Let u be (-2)/(-6) + m/18. Which is smaller: 0.4 or u?
u
Let m(v) = v**3 + 3*v**2 - v - 4. Let f be -1*(5 - (-12)/(-4)). Let r be m(f). Is r smaller than 0.2?
False
Let s = -17121/14 - -1220. Let a = -3/7 - s. Suppose -4*y + 0 - 4 = -o, -5*y = 4*o - 16. Which is greater: o or a?
o
Suppose -4*q = 5 - 9. Which is bigger: q or -3/7?
q
Suppose -4*j = -g - 8, 3 = -5*j - 2*g - 0*g. Is j less than -8?
False
Suppose 0 = -2*k + c - 0*c - 99, 247 = -5*k + 3*c. Let z be 1/3 + k/114. Which is greater: z or 0?
0
Suppose -i = -2*i. Suppose i = w + 2*w. Is 2 greater than or equal to w?
True
Suppose 0 = 2*a - 5*u + 9, -2*u + 5 = -4*a - 5. Which is smaller: a or 0?
a
Suppose -3*d + 10*d = -28. Is d at least as big as 15?
False
Suppose 0 = -4*m - 2*t + 2, 0 = -m - 3*m + 2*t - 10. Is -2/199 bigger than m?
True
Let d be 4 - (-2 + 3)*1. Let a(x) = 2*x. Let r be a(2). Is r at least as big as d?
True
Let w = 0 - -1. Let l be (-3)/(-5) + 5127/(-5670). Let b = l - -1/54. Which is greater: b or w?
w
Let v be (-1)/(2/8) - -3. Is v less than or equal to -3/2?
False
Suppose -5*u + 0*u = -5. Let n = u + -2. Let d be (-1)/(-7)*(1 - 0). Is d < n?
False
Let p = 3.5 + -0.5. Let o = p - 4. Let n = o + 1. Is n equal to -0.3?
False
Let l = 681/10 + -68. Is l greater than or equal to -1?
True
Let o be 2*(-97)/(-2)*1. Let t = -488/5 + o. Are -2 and t non-equal?
True
Let w be (-2)/2*(-62)/(-2). Is w bigger than -29?
False
Let y(f) = f**3 - 7*f**2 + 3*f + 13. Let x be y(7). Is 34 >= x?
True
Let l = -299/4 - -76. Let h = 48 - 48. Which is greater: h or l?
l
Let t(h) = 6*h**3 - 4*h**3 - 2*h + 1 - h**2 + 0. Let s be t(2). Is s at most -1?
False
Let z be -2*((-8)/7 - -1). Let x = 2 - -3. Let v = x - 8. Is z bigger than v?
True
Suppose -2*q - u - 3 = 0, 5 = -2*q - 5*u - 10. Is -2/23 at least as big as q?
False
Let v(b) = -b - 3. Let x be v(-5). Suppose -c - x = -3. Are 0 and c nonequal?
True
Let s be ((-6)/(-3) + -2)*1. Is s at least 0?
True
Let c = -0.3 - -0.2. Let f = -7.9 - -8. Let r = f + c. Which is bigger: r or 3?
3
Let b be 1/(((-4)/(-6))/((-14)/(-21))). Let k(q) = q - 3. Let i be k(5). Which is smaller: b or i?
b
Let v be 91/15 + 2/(-5). Which is bigger: 6 or v?
6
Let b = 0.6 + -0.5. Let m = 11.8 + -13. Is b >= m?
True
Let g be 37 + 0/((-6)/3). Let o = g + -62. Let t = -74/3 - o. Is t bigger than 1?
False
Let t = -1069/46 + 5101/230. Let g be (-4)/5*(-30)/92. Let u = g + t. Is u sma