-5?
d
Let o be ((-1)/3)/(14/(-294)). Let l = -1 - -1. Suppose 35 + l = -o*h. Which is greater: h or -6?
h
Suppose -b + 4*f = 0, 0*f = 2*f. Suppose b = -0*i - i + 16. Let q be 12/i - 22/8. Which is greater: 1 or q?
1
Let s = -4.01 + 4.2. Let x = s + -0.79. Let r = 2 + -1. Is x < r?
True
Let o = -17 - -60. Let b = o - 46. Does 0.13 = b?
False
Suppose -12 = -0*p - 4*p. Let h(r) = -r**3 + 2*r**2 + 7*r + 7. Let c be h(4). Do p and c have the same value?
True
Let m = 17 - 18. Suppose -s - 46 = -2*g, 3*s + 118 = 5*g - s. Which is bigger: g or m?
g
Let r = -236 + 4033/17. Is r greater than or equal to -0.1?
True
Let u be (-1)/(-9) - (-1420)/180. Is u less than 5?
False
Let c = -75 - -27. Let s = c - -78. Which is bigger: 2 or s?
s
Suppose m - 5*g = -555, 5*m - 5*g + 4523 = 1808. Which is smaller: m or 1?
m
Suppose -t + 26*t = 0. Is t smaller than 50?
True
Let u = -0.3 - 0.2. Let m be (-5)/1 + (3/117)/(7/1323). Is u less than or equal to m?
True
Let r be 0/(-1 - (4 - 3)). Suppose -66 = -5*v - 4*d, -3*v + 50 = -r*v + 5*d. Suppose 3*x - h = 4*h + 23, -2*h = -2*x + v. Which is smaller: x or -1/6?
-1/6
Suppose 5*n + 2*a - 26 = -0*a, 2*n = a + 5. Let z = -154 - -153.776. Let x = z - -0.024. Which is smaller: n or x?
x
Let y = 0.8 - 0.85. Let w = y - -6.05. Let p = -7 + w. Is -0.01 bigger than p?
True
Let m(k) = k + 4. Let n be m(-5). Let v = 3 - n. Let o be (-8)/32 - (-25)/v. Is o > 6?
False
Let n be 4/(-10)*40/(-8). Let q = 16.6 + -15. Is n bigger than q?
True
Suppose 0 = 3*y + 2*y - 10. Suppose -y - 3 = 5*z. Is z less than -1?
False
Let x = 104.525 - 0.525. Which is greater: x or 3/4?
x
Let m(z) = -z**3 + 16*z**2 + 5. Let x be m(16). Let k be (1 - x) + (0 - 5). Are -11 and k unequal?
True
Let b = -2/1161 - 4618/15093. Let v = -2 - -3. Which is smaller: v or b?
b
Let r be -5 + ((-1)/(-1) - 2). Let i = 15 + r. Let b = 4566 + -4566.1. Do b and i have different values?
True
Let k = -216.22 - -216. Which is smaller: -1/16 or k?
k
Let m = 10.9 + -11. Let i = 0.09 + -0.29. Let r = i + 0.5. Which is greater: m or r?
r
Let m be (-78)/8 + 2*(-12)/(-32). Let q be 0/1*3/m. Let n = -1 + 0. Is q less than n?
False
Let c be ((-117)/12 - 0)/(54/80). Which is smaller: -13 or c?
c
Let p = -0.85 + 6.45. Which is smaller: -1 or p?
-1
Let t = -0.542 + 0.342. Is -317 bigger than t?
False
Let m be (-5 + (-48)/(-9))*-15. Suppose 3*r + 2*r - 15 = 0. Suppose -i = -2*u + i - 16, u = -r*i + 4. Is u less than or equal to m?
True
Let x = -6.4 - -4. Let n = -2.5 - x. Which is greater: 1/4 or n?
1/4
Let d = 4.4 + -2.9. Let p = d + -0.5. Let i = p + -0.98. Which is greater: i or -2?
i
Suppose 0 = -3*m - 3*y + 9, 2*m - m - 5*y = -15. Suppose -65*q - 145 = -94*q. Is q equal to m?
False
Let b be 2722/20 + -10 + 7. Let y = b - 133. Are 0 and y unequal?
True
Let g = 449/164 + -20/41. Let b be 4/((-32)/4)*-2. Which is bigger: g or b?
g
Let p = -1 - -7. Let k be -5*(-16)/(-84)*(-7)/p. Is 0 at most k?
True
Let l = 6676 + -4826746/723. Do -0.1 and l have the same value?
False
Suppose 0 = -0*u - 4*u + 64. Let m be ((-3)/u)/((-21)/2604). Is m at most 22?
False
Let l(n) = 2*n - 13. Let a be l(9). Suppose -2*j + 8*v = 5*v + 13, 5*v - a = 0. Is j < -3?
True
Suppose 6*y - 4 = -88. Which is bigger: -13 or y?
-13
Let w = -23 - -15. Let x = -8.1 - w. Let i = x - -0.1. Are -2/5 and i unequal?
True
Let p = 15 + -19. Let o be 2*(-2)/p - 22. Which is smaller: o or -23?
-23
Let p(r) = -3*r**2 - 78*r + 63. Let q be p(-26). Is -0.3 >= q?
False
Let k = 2.3 - 0.3. Let y = -14 + k. Let g = y + 11. Which is smaller: g or -1/4?
g
Let h = 368 + -512. Does -146 = h?
False
Suppose -993 = 7*q - 11*q - 3*l, 3*l = -q + 246. Which is bigger: 250 or q?
250
Suppose -6 + 15 = j. Let f be j*8/12*-2. Let x be (-10)/f + (-1)/3. Which is greater: x or -1/6?
x
Let p be 4*(0 + 26/4). Let l be (1/(-1))/(2/(-52)). Let x = p - l. Which is smaller: x or -1/27?
-1/27
Let v = -36.2 + 1.2. Let s = 37 + v. Which is smaller: s or -0.2?
-0.2
Let u be 0 + (7 - -1) - 1. Let j(a) = -1 - 1 - 4 - 10*a + 11*a. Let t be j(u). Which is bigger: 4 or t?
4
Let w = 61 + -61. Suppose w = -7*k + 19 + 44. Which is smaller: 29/3 or k?
k
Suppose -3*d - 17 = -2*m + m, 2*d + 6 = -2*m. Suppose -p = -2*p + m. Suppose -2*l + 0*l + 2 = 0. Is l smaller than p?
True
Let h be (8/10)/((-2)/5). Let d(w) = 43 - 10*w**2 + w**3 - 46 - 2*w**3. Let q be d(-10). Which is smaller: h or q?
q
Let h = 13 - 6. Let c be 5/10*(2 + 10). Let t be (-1 - 13)/(4 - c). Do t and h have different values?
False
Suppose -4*f + 890 = 2*k, -2*f = -3*k + 169 - 610. Which is bigger: f or 220?
f
Let p(k) = -k**3 - 5*k**2 - 2*k - 7. Let d be p(-5). Suppose -3*b = 12, -d*b - 35 = -5*r - 133. Is r bigger than -19?
False
Suppose -x + 0*x = -4. Suppose -o = 4*k - 6*o + 63, 0 = -x*k + 2*o - 78. Which is smaller: k or -21?
k
Let d(y) = -y**2 + 4*y - 1. Let k be d(2). Let x be 32/(-12)*15/4. Let t be ((-33)/x - k)/3. Which is smaller: t or -1?
-1
Let z = 23.4 - 25.4. Do z and 122 have the same value?
False
Let m(r) = -r**3 - r**2 + 2*r - 1. Let o be m(1). Let u = 8 - 7.3. Let a = -0.9 + u. Is o < a?
True
Let o = 569 + -566. Is o greater than or equal to 5?
False
Let t be (45/2)/((-726)/616). Is -18 greater than or equal to t?
True
Let z(n) = -n + 11. Let j be z(6). Which is bigger: j or 16/3?
16/3
Suppose 4*r - 29 = -3*w, 4*w - 2 = -0*r + 2*r. Suppose -b + w = -3*b + 3*g, -4*b - g = 41. Which is greater: -8 or b?
-8
Let p(g) = 4*g**3 - 22*g**2 - 13*g + 31. Let v be p(7). Is v less than or equal to 236?
True
Suppose 10*x - 13*x = 60. Suppose 5*h = -13 + 3, 2 = -4*o + h. Let d be (2 + (22 - 3))*o. Which is smaller: d or x?
d
Let v be (-1 + (-14)/(-4))*(-2 - -8). Let w be ((-8)/(-10))/(-2) - (-186)/v. Is w at most as big as 13?
True
Let s = 0.094 + 12.906. Which is smaller: s or -1?
-1
Let k = 3435 - 6661/2. Is k at most 105?
True
Let o be 10 + (-1 - -3 - 1). Suppose -f = -6 - o. Let s = f - 7. Are 9 and s nonequal?
True
Let f be (-460)/36 + 3 + (-116)/36. Is -11 equal to f?
False
Let p(l) = -l**2 - l + 1. Let y(j) = -4*j**2 - 3*j - 5. Let c(i) = 3*p(i) - y(i). Let b be c(0). Let d = 9 - b. Is d equal to 0?
False
Suppose -62*z - 21 = -59*z. Let v(g) = 3*g + 14. Let h be v(z). Is -23/3 less than h?
True
Let j = -37/4 - -317/36. Is j <= -21?
False
Let k = 220 + -224. Which is greater: -13/3 or k?
k
Suppose 14*w = 10*w + 68. Suppose -w = 4*y - 5. Is y != 5?
True
Let r = -94.4 + 78. Let k = r - -16.5. Let g = -237 + 6875/29. Are k and g equal?
False
Let n = -280 - -2516/9. Suppose -4*s = -8*s - 4. Is s bigger than n?
False
Let s be 2 - ((-3 - 6) + 4). Suppose 33 = -2*b + s. Let v = b + 18. Is v less than 5?
False
Let f be ((-6)/(-12))/(2 - (-94)/(-48)). Let a be (12/(0 - 1))/((-18)/f). Which is greater: 20/3 or a?
a
Let j = 24 + -3. Let q = -2 - j. Let v = q - -24. Is -4/15 at most v?
True
Let g be ((-160)/(-120))/(4/30). Let l be ((-4)/(-24))/(1/58). Which is smaller: l or g?
l
Let v = 1 - 0.54. Let a = v + -0.06. Which is smaller: a or -8?
-8
Suppose -2*t + 9 = -t. Suppose -132 = 5*r - t*r. Let o = -20 + r. Is o greater than 12?
True
Let a be 1 + (-65)/(6 + -1). Is a <= -57/5?
True
Let f(g) = 2*g**2 + 25*g + 34. Let n be f(-11). Suppose -2*h + 5*x + 28 = 0, -h + 0*x = -4*x - 20. Is h less than or equal to n?
False
Let a = -34267/1458 - -2/729. Let y = 2777/118 + a. Is 1 less than or equal to y?
False
Suppose -4*m = 0, -m - 63 = 3*w - 5*m. Is w smaller than 7?
True
Suppose 3*a + a - 32 = 0. Suppose 0 = -a*w - 44 - 20. Is -8 less than or equal to w?
True
Suppose -2*z + 2 - 4 = 0. Let g be (-53)/5 + (-2)/5. Let t = -38/3 - g. Which is greater: t or z?
z
Let h be (-14)/(-28) - (5/(-2))/5. Suppose 0*j + 12 = -4*x - j, x - j + 3 = 0. Let g be (2/x)/((-65)/(-15)). Is g at least h?
False
Suppose -4*b - b + 85 = 0. Suppose 3*o + b = 2*o. Let a be 4/(-14) - o/35. Which is bigger: a or 0?
a
Let i = -48 + 42. Is 29 < i?
False
Let a = -25611 + 25715.87. Let z = -105 + a. Is z greater than 0.3?
False
Let l be (1 - (-22)/(-12)) + 2648/3168. Which is greater: l or -1?
l
Suppose 31*h = 32*h - 10. Suppose -6*c = 4*c - h. Is 1 < c?
False
Suppose 4*z + 4*m + 182 = 2*m, -32 = z - 4*m. Let b be (-9)/(-11) + ((-52)/z - 1). Is b < -10?
False
Let h = -3194078/21 - -151797. Let x = -302 - h. Suppose 2 = u + u. Which is smaller: u 