or -2?
m
Let b be 316216/1316 - (1 + 5/(-7)). Is b < 239?
False
Let b be 75/156 + -2*7/28. Do b and 4 have the same value?
False
Let h = 678 + -659. Suppose 2*j + 2*t + 2*t = 28, -64 = -2*j + 5*t. Is h less than or equal to j?
True
Let k = 568/5 - 114. Suppose c = 4*z - 3, 0 = -3*z + 5*c - 5 - 14. Which is bigger: k or z?
z
Let o = -19147/3432 + -376/143. Let y = o + 31/8. Let v(p) = -5*p + 1. Let x be v(1). Is y smaller than x?
True
Suppose 3*y = -3*b - 3, 43*b - 39*b + 6 = -5*y. Let t be 40/44*1*2. Is b less than t?
True
Suppose -2*c - 234 = 4*i + 90, 0 = 2*i + 5*c + 154. Is i less than or equal to -72?
True
Let t = -17 + 15. Let h be (-958)/(-780) + (-8)/52. Let q = -6/65 - h. Which is smaller: t or q?
t
Let r be 78/12 - (-12)/8. Suppose r - 11 = -3*d. Is 4/7 less than or equal to d?
True
Let f be 4/22*319/29. Which is bigger: 27 or f?
27
Let h = -8.34 + 3.77. Let r = h - -4.5. Which is greater: r or 1/4?
1/4
Let d = -5880.1 + 5582. Let x = -283 - d. Let y = x - 15. Is -3 bigger than y?
False
Let f be ((-1)/(-1))/((-5)/(-10)). Let o be 1*-8 + (f - 0). Let l = 0 + -6. Is o != l?
False
Suppose -109 = 9*f + 125. Do -24 and f have the same value?
False
Let u(i) = -4*i - 13. Let b be u(-4). Let f be (-3 + 3)*(0 - -1). Suppose -3*s + f*s = b*p - 24, 3*s + 5*p - 24 = 0. Is s < 9?
True
Let w = 0.03799 - -9.00401. Let r = w - 0.042. Do r and -1 have different values?
True
Let d = 880 - 384. Suppose 4*q = -0*q + d. Let l be 6/27 + q/(-72). Is l smaller than -3?
False
Suppose -4*s = -3*s - 107. Suppose 2*m = 5*n + s, m - 2*m - 27 = n. Let o = n - -20. Do o and -3 have the same value?
True
Let q(u) = u**3 - 2*u**2 - u + 1. Let o be q(3). Let t be 75/(-5)*-1*(-12)/(-20). Suppose -t*k = -64 + 10. Which is greater: o or k?
o
Suppose -2*o - 2 = -6. Suppose -d = 2*g - 6*g - 305, -2*d = 4*g + 314. Let b = g - -391/5. Is b at most o?
True
Suppose -15 = -2*b + 51. Suppose -2*u + b = -u. Is u > 33?
False
Let v be 0 + 4/10 - (-31790)/(-22100). Which is smaller: 0 or v?
v
Suppose 20 = 2*f + 4*a, -26 = -3*f - 0*f - 5*a. Let u be (6 - 2)/((-1)/2). Is u <= f?
True
Let k(h) = h + 214 - 214. Let s be k(0). Which is smaller: -1/3 or s?
-1/3
Let d = -347 + 342. Is d <= -15/4?
True
Let p(k) be the third derivative of 1/6*k**4 + 0*k - 4/3*k**3 + 2*k**2 + 0 + 1/60*k**5. Let z be p(-6). Is z > 5?
False
Let q(p) = 2*p - 1. Let v(o) = -3*o + 8. Let a(x) = 6*q(x) + v(x). Let w be a(1). Which is greater: w or 31/3?
w
Let z = -0.82 - -0.62. Is 84 greater than or equal to z?
True
Let t = 38 - 28. Suppose -5*d + 4 = 3*l - 20, 0 = d - 2*l - t. Suppose 5*o = 6 + 14. Is o >= d?
False
Suppose -2*j = 2*s - 46, s - 5*j = -j + 23. Which is smaller: s or -6?
-6
Let q be (-4)/(-16) - (-38)/8. Let i be (3/(-2))/(3/(-14)). Suppose 0 = -i*l + q*l + 2. Which is smaller: -2/19 or l?
-2/19
Let l = 1057.1 + -1057. Is l > -4/211?
True
Let i = 14 - 9. Suppose i*l + 15 = -v, -2*v + 6*v - 3 = l. Is 2/41 <= v?
False
Let j(z) = z**2 + 11*z + 1. Let y be j(-11). Let v = -67 - -37. Let w be ((-20)/v)/(40/6). Which is smaller: w or y?
w
Let u be (64/(-2900))/(34/(-85)). Which is greater: -1 or u?
u
Let j be (0 - 0)/(1*-3*1). Suppose 2*c - 2*a + 12 = j, 5*c + 4*a - 8*a = -30. Is c <= -50/9?
True
Let d(t) = -17*t**2 - 119*t + 16. Let f be d(-7). Let w = 0 + 18. Which is smaller: w or f?
f
Let b(c) = -c**2 - 6*c + 4. Let a be b(-6). Let m(j) = -j**2 + 4*j. Let o be m(a). Which is smaller: 2/3 or o?
o
Let s = -0.58 - -0.535. Let r = s + 0.025. Which is smaller: r or 3?
r
Let z be 6/4 - 344/16. Let u be (3/6)/((-2)/z). Let q be (-6)/(-27)*u/(-1). Which is bigger: 0 or q?
0
Let o(b) = -4*b + 17. Let u = 147 + -143. Let p be o(u). Is -2/149 less than p?
True
Let g = 13 - 6. Suppose b + 5*i = -26, -8 = 2*b - 3*i + 2*i. Let y be b*(-6)/45*7/14. Is y greater than or equal to g?
False
Let n = 29 - 20. Let f be -3 + (n + -1)/4. Suppose -s = -4*d + 22, 6 + 7 = -4*s + d. Which is smaller: f or s?
s
Suppose 5*k = 2*k + 1416. Let u be -2 - 6*k/378. Let j = u + 88/9. Which is smaller: j or 0?
0
Let m be 2/((-15)/(60/(-8))). Which is greater: 6/65 or m?
m
Let k = -2.7 - 38.3. Let t = 65 + k. Let b = -22 + t. Is b less than or equal to -2?
False
Let g = -24 - 0. Let c be 1*g/(-9) + -2. Let z = -155 - -157. Is z less than or equal to c?
False
Let v(j) = 3*j**3 + 11*j**2 - 37*j - 3. Let t be v(3). Is t less than 63?
False
Let r(s) = -s**2 + 7*s - 8. Let k be r(7). Let m be (4/k)/(1 - (-2)/(-4)). Which is bigger: m or 15?
15
Let h be (-94)/75 + (-18)/225. Which is bigger: h or -1?
-1
Let r be (-9)/(-21) + (-136)/(-336). Which is smaller: r or -1?
-1
Suppose -m = 3*n + 5, -3*n - n + 4*m + 20 = 0. Suppose 0 = -2*u + 5*u - 3*r + 6, 3*u + 3*r - 12 = n. Which is smaller: 2/19 or u?
2/19
Suppose 4*u - 3*v = -10, 3*u + 3*v = u + 4. Let b be 12/(-4 - -2) - 1. Let a(k) = -k**2 - 7*k - 4. Let c be a(b). Which is bigger: u or c?
u
Suppose -3*b - 4*n - 3 + 19 = 0, -5*n + 22 = 4*b. Suppose 0 = 3*p + 4*k + b, -2*p + 0*k + 4*k = -8. Is p equal to -1/3?
False
Let r = 16 + -11. Suppose -2*m + g = -6, -4*g = m - r*g - 5. Is m greater than or equal to 16/9?
False
Suppose 0 = 2*i - 2*z + 52, 112 = -5*i - 3*z + 2*z. Let g(b) = b**3 + 25*b**2 + 45*b - 33. Let j be g(i). Which is smaller: j or 0.1?
j
Let f = -2622374/47891431 - -50/18907. Let x = -1/149 + f. Which is greater: 0 or x?
0
Let t = 1900 - 1900. Which is bigger: t or 1/3109?
1/3109
Let w be (360/126)/((-2)/21). Are -13 and w non-equal?
True
Let a(j) be the third derivative of -j**4/8 + j**3/2 - 2*j**2. Let w be a(2). Let u be -1*(2 + 1) + -1. Is w <= u?
False
Let y = 1679.8 - 1680. Is 524 at most y?
False
Let w = -2508.61 + 2510. Which is smaller: w or -4?
-4
Let i = -0.68 + 0.98. Let n = -15.3 + 1.3. Let z = n - -18. Which is bigger: z or i?
z
Let b = 19112/287 + -474/7. Is -2 not equal to b?
True
Let t(x) = -4*x - 3. Let a be t(-7). Let z = a - 21. Is 4 at least as big as z?
True
Let d = 1.4 + 2.6. Let o = -19 - -22.8. Let w = d - o. Which is smaller: -3/10 or w?
-3/10
Let s = -2.17 + 1.968. Let f = s - -0.002. Is f at least 33?
False
Let x = -91/24 - -33/8. Which is smaller: x or 1/5?
1/5
Suppose 21*t + 17277 + 1455 = 0. Which is greater: t or -1/2?
-1/2
Let a(v) = 2*v - 8. Let o be a(6). Suppose -o*r + 6 = -r. Let n be (r*6/(-8))/(-6). Are n and -1 unequal?
True
Let m = -508.59 + 509. Is m bigger than 1?
False
Let p(q) = 4*q - 130. Let r be p(22). Are 0.2 and r non-equal?
True
Let x = 1.6 - 1.8. Let a = x - 0. Let r(u) = u**3 + 2*u - 1. Let c be r(1). Which is smaller: a or c?
a
Let m = 3 + -3. Let d(j) = -5*j - 43. Let p be d(-9). Suppose -p*h - h = m. Which is bigger: h or -4/7?
h
Suppose -6 = 2*n + 5*v - 0, 5*v + 2 = -4*n. Let z be -2 - -1 - (-2 - 2). Is n < z?
True
Let p = -0.007 + -1.133. Let i = -0.54 - p. Let h = 13/27 - 4/27. Which is bigger: i or h?
i
Suppose -7*c = -c. Suppose c = 4*m + 16 - 20. Which is smaller: 6/7 or m?
6/7
Let a = 0.5 + -0.8. Let z = a + 1.3. Let v = -201 - -200. Is z at most as big as v?
False
Let l = 200 - 777/4. Let i = 2273 - 27305/12. Let v = l + i. Do 2 and v have different values?
True
Let x(y) = -y**3 + 2*y**2 + 3*y - 5. Let w be x(2). Let l be 0 + (-3)/(3/w). Which is greater: l or 2/75?
2/75
Let y(f) = -4*f - 46. Let m be y(-11). Let t = 17.95 - -0.05. Which is greater: t or m?
t
Let a = -56 - -56.102. Let s = -0.202 + a. Which is bigger: s or -2/3?
s
Let r be 519/(-60) - 6/(-15). Let a be (-4)/(-26) - 186/26. Which is bigger: r or a?
a
Suppose -2*w + 5*w = -6, -2*z - 4*w = -32. Let p(h) = 21*h**2 + h - 3. Let b be p(1). Which is greater: b or z?
z
Let p be (-2)/3*6/(-4). Let r be -1 - -2 - 1725/1875. Is r less than p?
True
Suppose 0 = g - 3*z + 11, 8 = 2*z + 2. Let h = 308 - 310. Are g and h nonequal?
False
Let x be ((-13850)/(-200))/(2/8*-1). Are x and -827/3 nonequal?
True
Let s = -78.66 + 82. Let o = -0.34 + s. Is 0.3 greater than o?
False
Let h be -69*(-6)/9 + 3. Suppose -5*w - h = 2*w. Which is smaller: w or -11/2?
w
Let q = 20 - 45. Let d = 24 + q. Which is smaller: d or -0.23?
d
Suppose 0 = 91*t - 87 - 4. Which is bigger: t or 5/346?
t
Let q(u) = -195*u - 284. Let m be q(-7). Is m not equal to -1/3?
True
Let i = 43 + -25. Let o = i - 17.99. Let d = -28/11 + 106/33. Which is bigger: o or d?
d
Let p = 2137/61 - 35. Is 0 at most p?
Tr