+ 5 - 7. Do 1 and n have the same value?
False
Let w = 5248 - 5349. Is 1.9 >= w?
True
Let f = 85 + -100.6. Let r = f - -15.5. Is r at most as big as 69?
True
Let j be 1/104*16 - (-225)/(-195). Suppose -2*i + 4 + 30 = 0. Let n be 0 + (-6)/i - 0. Which is smaller: j or n?
j
Let m(u) be the second derivative of -u**4/4 - 7*u**3/2 + 13*u**2/2 - 63*u. Let h be m(-11). Is h < -118?
True
Let q = -179 - -178.734. Let t = 1.266 + q. Is -1.39 at least as big as t?
False
Let i(j) = 43*j + 216. Let y be i(-5). Which is bigger: y or -4/2295?
y
Let f be -1 - (-3)/(-9) - 118/6. Let r(z) = -z**3 - 21*z**2 - 2*z - 8. Let l be r(f). Do 36 and l have the same value?
False
Let m = 89.41 - -1.59. Let f = m - 88. Let p = -2.77 + f. Which is smaller: p or 1?
p
Let u(w) = -36*w**2 + w + 4. Let b be u(-2). Let h = b + 141. Which is greater: h or -3?
h
Suppose 12*a + 154 = 5*a. Let t = a - -37. Is t greater than 18?
False
Suppose 4 = -4*a - 3*o, 0 = 2*a - 0*o - 2*o + 2. Let i be 27339/(-6864) + -33 - -37. Is i != a?
True
Let v = 2.626 + 0.174. Let k = 2.7 - v. Which is smaller: k or -9?
-9
Let h = 38408 + -26652. Which is smaller: h or -1?
-1
Let c = -10840535220883/6708 - -1616060694. Let u = c + 1/1677. Is u at most as big as -12?
True
Let u = 4771/10195240 + -11/3944. Is u <= -1/3?
False
Let p(k) = k**3 + 4*k**2 - 5*k - 2. Let m be p(-4). Suppose m = -3*s - 6. Let i be (-7)/(-2) + 1071/(-306) - 8. Are i and s nonequal?
False
Suppose -3*z = 4*p + 7 + 24, -4*z - 3*p = 32. Let n = -63 + 52. Let d = 18 + n. Which is smaller: d or z?
z
Let g(z) = z**3 + 8*z**2 + 8*z + 9. Let l be ((6/(-4))/1 - 0)*4. Let r be g(l). Which is bigger: 32 or r?
r
Let b be (75/168)/5*9/(-6750)*5. Which is smaller: 0 or b?
b
Let u be ((-4)/14)/(10/(-70)). Let y be u - 1 - 1845/1875. Let p = -131/375 + y. Is -8 bigger than p?
False
Let g = -2125/6527 - -21/61. Let r = g - -1064/321. Suppose 6*i - 7 = -2*f + 7*i, 0 = -5*f + 3*i + 17. Is f > r?
True
Let x = 1746.3 - 1746.2. Do x and -3834 have different values?
True
Suppose 29*v = 30*v - 73. Let c be 2*(-16)/(-6)*12. Suppose 2*x - 193 + 41 = -2*f, -c = -x + 3*f. Is v greater than or equal to x?
True
Suppose -2*c = -4*d - 1488, -5*c + 1791 + 1929 = 3*d. Let l be (10/(-12) - 9/18) + (-15652)/(-21). Is l bigger than c?
False
Let h = -11979/2 - -5987. Suppose 0 = -6*f + f - 25, -f + 15 = x. Suppose 0 = -8*p + 3*p - x. Is p less than h?
True
Suppose 3*t - 32 = -8. Let u be 4/(4 + t)*6. Is 1 less than or equal to u?
True
Let j = -9680 + 9680.6004. Are j and 0.2 non-equal?
True
Let w = 16238.93 - 16239. Which is smaller: -486 or w?
-486
Let k be ((-10)/(-8))/((-7)/(-56)) + 2. Let l be (561/k)/((-2)/(-6 - 2)). Let o = l + -11965/64. Which is bigger: o or 1?
1
Let n = -115 + 129.9. Let c = n + -18. Let w = c + 3. Is w at least -1/11?
False
Suppose -5*j + 76 = 71. Suppose -g + 7 = 5*m, -3*m - 4*g - j = -12. Do m and -1/226 have the same value?
False
Suppose -w - 28 = -2*q - q, 0 = 3*w + 12. Let j be (-65)/(-4) - (-7)/(-28). Let z be -24*(j/(-12) - -1). Is z < q?
False
Suppose 37*v + 1139 = -5595. Is -182 at most as big as v?
True
Suppose 12 = 2*k - 24. Suppose 0 = 16*s - 17*s + k. Suppose 950 = -s*w + 8*w. Which is greater: -96 or w?
w
Suppose 540 = -o + 547. Suppose -o*k + 70 + 70 = 0. Let l = 60 - 40. Do k and l have the same value?
True
Let q be (10 + 1392/(-36))/(1/(-276)*-2). Which is greater: -3958 or q?
q
Let x(g) = 29*g - 2. Let k be x(2). Suppose -50*w + 2508 = -2*d, -33*d + 35*d = 3*w - 158. Which is bigger: w or k?
k
Let o(h) = -h**3 - 10*h**2 - 12*h + 1. Let d be o(-8). Suppose -195 = 4*s + 189. Let m = 65 + s. Is m != d?
False
Let d = 2 + -1. Suppose -5*y - 5*j = 1180, -4*j = -5*y - 312 - 868. Is d less than y?
False
Let t = 274 - 220. Suppose -t = 8*y - 78. Are y and 45/17 unequal?
True
Let w = -0.058 + -0.036. Let y = 8.606 - w. Let a = y + -8.666. Which is greater: 1 or a?
1
Let v be (-1 + -3)/((-36)/(-7) + -5). Let d be 12/(-21) + (-3992)/v. Is 141 bigger than d?
False
Let f = -6418 - -6850. Which is smaller: 434 or f?
f
Let x(j) = 571*j**3 + 5*j + 7. Let h be x(-2). Let w = h + 32063/7. Is 8 <= w?
True
Let h = -15009 + 14939. Which is bigger: h or -81?
h
Suppose 0 = 5*p - 62*z + 59*z - 1143, -2*p + 3*z + 468 = 0. Is 224 != p?
True
Let c = 9889.7 + -9887. Is c > -16/5?
True
Let d = -1.39 - -1.61. Let j = 88 + -87.72. Let x = j + d. Is x less than 3/13?
False
Let c be (-12)/(-9) + 4 + (-41107)/7788. Which is greater: c or -1?
c
Let d be (-42)/189 - (-2 + 2). Are 51 and d nonequal?
True
Let o = -0.099 - -0.175. Let g = o - -2.124. Is 3 < g?
False
Let k = -173 + 173.23. Let c = 0.33 - k. Is c less than -5/11?
False
Let u = -1227 - -1131. Which is smaller: 2/3 or u?
u
Let i = -0.15 + 7.15. Let t be ((-13)/(-78))/((-18)/(-24)). Which is bigger: t or i?
i
Suppose -2*b + 13 = g, 13 = g - 2*b - 0*b. Suppose -15 = -4*v + g. Suppose 0 = 4*n + 11 - v. Which is greater: -2/51 or n?
-2/51
Suppose -5*q - 1217 = 4*n, -751*n + 749*n - 625 = -3*q. Suppose 4*l = 3*z + 913, -3*z + l - 790 - 129 = 0. Is n at most z?
True
Let w = 26 - 50. Let s be ((-1040)/273)/(-5 - 124/(-24)). Is s > w?
True
Suppose -29*o + 16*o + 25 - 1923 = 0. Which is bigger: o or -131?
-131
Let v = 31 - 29. Suppose -5*x + i = -3*x - 70, 3*i = -v*x + 78. Suppose -40*n = -x*n - 124. Is n < 31?
False
Suppose 4*h = -x - 9 + 2, 4*x + 8 = 4*h. Let b be ((-2)/(-2))/((-918)/12). Do h and b have the same value?
False
Let c(x) = x**2 - 14*x + 1. Let q be c(17). Suppose -3*z = 16 - q. Suppose 4 = -4*l + z. Which is smaller: l or 7/8?
7/8
Let t = 224 - 251.4. Let p = t + 27.337. Are 1/2 and p unequal?
True
Suppose -6*d = -d - 10. Suppose 2*l - 87 = r - 28, 86 = 3*l - d*r. Let n be (1/4)/((-8)/l). Which is bigger: n or 1?
1
Suppose 52 = -5*z + 57. Let o be z/(12/(-40))*6/(-5). Suppose 2*a = 2*b - 20, o*a = -2*b + 6 - 28. Is -8 > a?
False
Let j = 520 - 517. Suppose j*n = 28*n. Which is smaller: -5/197 or n?
-5/197
Let k = -88310 + 53408. Is k >= -34903?
True
Let w be (-36)/48 + (-634)/8. Let u be w/(-130)*2*1. Let d be (-22 - (-33)/3) + 12. Which is smaller: u or d?
d
Let r be (1/2)/(2/4). Suppose 3*m = -k - r - 2, 2*k = -3*m. Suppose -5*j = 31*y - 32*y - 12, -5*j + 14 = -2*y. Does m = y?
True
Let o = -134 + 87. Let g = 34 + o. Let p = g + 10. Is 2/15 greater than or equal to p?
True
Let j be (2/12)/(9 - 660/72). Let n be (26 - 22) + (-2124)/530. Is j bigger than n?
False
Let f(l) = l**3 - 21*l**2 - 21*l + 14. Let s be f(22). Let j = 720.8 - 721. Is s at least j?
True
Let g be 1/(-2)*(4 - (-1274)/(-7)). Suppose 108 = -g*w + 80*w. Are 0 and w nonequal?
True
Let u = 11.98 - 11.68. Is -2.18 at most as big as u?
True
Suppose 2*h + 4310 = -128. Let c = 24375/11 + h. Is c at least as big as -4?
True
Let u = 208 + -208. Let n be u + 2/8 + 8/96. Is n at least 1.63?
False
Suppose -57*u + 60*u - 12 = 0. Suppose -u*t = 7*t + 22. Is t >= -15/19?
False
Let k = 2529 + -45511/18. Suppose 166 - 172 = -3*z. Which is smaller: k or z?
k
Let b = -176 - -335. Let k = b + -478/3. Is k less than -19/4?
False
Let p = -64 - -67. Suppose o = 4*z - 21, 0 = -2*o - 2*o - 2*z + 6. Let x be (o - 1)*(-38)/18. Which is bigger: p or x?
x
Let i = -45889251/2035 - -22550. Which is greater: -1 or i?
i
Suppose 3*n = -5*n - 1008. Let r be (-3 + 1 + 3)*n. Do r and -125 have the same value?
False
Let w = 12 - -44. Suppose -c - w = -0*c. Let y be (-31)/c + 5/(-120)*3. Which is smaller: y or -0.2?
-0.2
Let j = -2589 - -2759. Is 166 less than j?
True
Suppose -25*g + 21*g + 168 = 0. Suppose 4*b - g = 46. Let q be ((-2)/(-1))/((-4)/b). Which is smaller: q or -1/5?
q
Let c = 249 - 134. Let h(r) = -210*r**2 - 3*r + 116. Let l be h(0). Which is smaller: c or l?
c
Let a be (71/(6816/504))/(2/8*-1). Let y be (-17)/5 + 2 + 1. Is y bigger than a?
True
Suppose -22*x - 20572 = 17*x + 11252. Is x greater than -815?
False
Let k = -195 + 17. Let u = -178.1 - k. Let s = 0 - -15. Which is greater: u or s?
s
Suppose -6*m + 10 = 40. Suppose 0 = -5*h + 14 - 54. Is h at least as big as m?
False
Let s = 0.8413 - 0.7413. Do 52/29 and s have different values?
True
Suppose 0 = -s + a + 127, s - 472 = -3*s - 5*a. Suppose -l = -2*j + s, 0*l - 4*j - 147 = l. Let f = l + 409/3. Which is bigger: 6 or f?
6
Let t be (-8 - 235/(-30)) + 830/12. Which is bigger: 75 or t?
75