. Is s less than or equal to -95?
False
Let y = 15458 - 15458. Are -341 and y non-equal?
True
Suppose 10*g = -41190 + 102390. Suppose -5*x - 10*x - g = 0. Let w = x - -22438/55. Which is smaller: w or -2/7?
-2/7
Let g = -26338 - -26337. Is g smaller than -51?
False
Let n be -4*(-157)/(-8)*1*(2 + 6). Is n greater than or equal to -626?
False
Let d = -101/168 + 42835/71064. Do d and 1 have the same value?
False
Let r be -52*(120/(-16) - 2). Let p be (-52)/r - 325/(-19). Let m(k) = k**2 - 7*k + 11. Let z be m(8). Is z >= p?
True
Suppose 5*n = 5*i + 27 + 53, 3*n = -i + 4. Let w(j) = j**3 - 5*j**2 - j - 7. Let y be w(5). Which is greater: y or i?
i
Suppose 4*l = 4*f + 2392, -2336 = -4*l + 45*f - 48*f. Which is bigger: l or 588?
l
Suppose 37*x = 29*x + 960. Let r = x - 127. Is -12 >= r?
False
Let w = -11303 - -11832.08. Let p = -529 + w. Which is smaller: 33 or p?
p
Let i be (-104)/364*-3*(-21)/18. Which is smaller: -55/24 or i?
-55/24
Let u = 1055/21 + -515/7. Let d = 24 + u. Let j = 0 - -1. Which is greater: d or j?
j
Let d = -0.75 - 34.05. Let x = -36.04 - d. Which is smaller: 2 or x?
x
Suppose 3*f - d + 4*d = -267, 291 = -3*f + 3*d. Let r = 240 + -332. Which is smaller: f or r?
f
Let a = 22591/20 - 5924/5. Let z = 228 + -282. Is a != z?
True
Let j be 12/18 + (-2278)/72 + 2. Let w = j + 115/4. Are -32 and w unequal?
True
Let x be 14/(350/(-5835)) - ((-72)/(-20) - 3). Is x <= -234?
True
Let r = -7173 - -7502.12. Let u = r - 329. Which is bigger: 3/2 or u?
3/2
Let c(y) = 14*y**2 - 71*y + 143. Let v be c(2). Is v > -6?
True
Let s = 1366979/109 + -12541. Which is bigger: 1 or s?
1
Let u = -2.69011 - 0.30989. Which is greater: u or -150/29?
u
Let l be ((-2976)/56)/(-12) - 15/3. Which is smaller: 90 or l?
l
Let u(w) = -w**2 - 7*w - 3. Let m be u(-6). Suppose m*k + 9 = 9. Let n(x) = x**2 + 16. Let y be n(k). Is y at least 16?
True
Let f = 77 - 72. Suppose f*d - 4*z = 443, d - 4*z + 166 = 3*d. Let h = d + -81. Which is smaller: h or 4?
4
Let c be 3/(-21) + (-169)/(-7). Let r(h) = 4*h + 18. Let u be r(1). Is c <= u?
False
Let p = 227 + -294. Let l = p + 77. Which is smaller: l or 2?
2
Let x = -133 + 157. Suppose 0*t = -6*t + x. Let k be 102*6/9 + t. Which is smaller: k or 71?
71
Let i(u) be the second derivative of u**4/12 + 3*u**3/2 + 8*u**2 + u. Let b = 510 - 516. Let j be i(b). Is j at least as big as -15/14?
False
Let f = 0 - -0.1. Let t = -7914/901 + 149/17. Which is smaller: f or t?
t
Let s(v) = -v**3 + v**2 + 2*v - 4. Let a be s(0). Let w = a + 7. Suppose 5*t + 12 + 188 = 5*j, 0 = -w*t + 5*j - 124. Are -40 and t non-equal?
True
Let h = -23 - -16. Let s(d) = -d**3 - 7*d**2 - 2*d - 6. Let l be s(h). Let m be 2 - (l + -4 - 0). Is -3 greater than or equal to m?
False
Let x = 69 + -67. Let m be ((-488)/(-36))/(-2) + x/(-9). Let w be (-103*1)/(m - -38) - -3. Which is smaller: w or -1?
-1
Suppose 5*u = q + 318, u - 14*q - 44 = -11*q. Does u = -0.012?
False
Let v = -2317 - -25466/11. Let y be ((-428)/(-2247))/(2/3). Is v equal to y?
False
Let i(d) = d**3 - 18*d**2 + 20*d - 9. Let k be i(8). Let p = k - -1447/3. Let q be (-6)/2 - (-12 + 17). Which is bigger: p or q?
p
Let y = -49/32 + -325/96. Let g = 323/84 + y. Which is bigger: g or -2?
g
Suppose 22*v + 24 = 24*v. Suppose -v = 4*g, 3*i - 4*g + 87 = -8*g. Let n be (-34)/(-10)*-2 + 5/i. Which is smaller: -3/8 or n?
n
Suppose 2*l + 2 - 6 = -j, 3*l = 5*j - 20. Suppose 0 = c - 3*c - 5*p + 79, -4*p = j. Let a = -6 + 48. Is c smaller than a?
False
Let i(j) = j**3 - 14*j**2 + 25*j - 13. Suppose -165 = -5*b - 105. Let a be i(b). Which is bigger: a or 3/14?
3/14
Suppose -158*k - 49764 = -15*k. Which is bigger: k or -333?
-333
Suppose -90*y + 999 = 279. Suppose 4*p - 19 = 29. Which is smaller: p or y?
y
Let s = 12683/21 + -2827/21. Which is smaller: 468 or s?
468
Let p = -290856 + 8394395018/28861. Which is smaller: -1 or p?
-1
Let n be 224/(-42) + 820/180. Does 100 = n?
False
Let s = -75148/3285 + 50/657. Suppose 2*d = -0 - 44. Is s at least as big as d?
False
Suppose -4*v + 0*z - z + 791 = 0, v + 5*z - 193 = 0. Let y be 6 - (v/6 - 7). Is y smaller than -20?
False
Let f be (-8 + 3 - -163)*(69/6 - 11). Which is smaller: f or 1324/17?
1324/17
Let o be 3*2/2 - (8 + -9). Let m be o*(128 + 4 - 3). Is 517 less than or equal to m?
False
Let k = -1.95 - 0.05. Let c = 17 - -115. Let p = -147 + c. Which is smaller: k or p?
p
Let u = -168 - -200. Suppose -u*o + 28*o + 384 = 0. Is o not equal to 96?
False
Let w(q) = q**3 - 33*q**2 - 53*q + 66. Let t be w(34). Which is smaller: -578 or t?
t
Let b be (4 + (-19)/5)/((-24)/10). Suppose -8*x = -13*x - 5. Let j be (21/(-7) - (x + -1))/1. Is j bigger than b?
False
Let q = -0.324 + -0.131. Let b = -0.045 + q. Which is smaller: b or -8/11?
-8/11
Let s = 45 + 560. Is s less than 604?
False
Let r(i) = 12*i + 290. Let v be r(-24). Suppose v*k - 8 = -10. Is -2/193 less than k?
False
Let s(x) = 5*x + 31. Let t be s(-5). Suppose -t*o - 10404 - 4008 = 0. Let n = -218579/91 - o. Is 1 less than n?
False
Let u = 2288 + -2909. Do u and -622 have the same value?
False
Let y = 2198 - 4025/2. Is y at least 185?
True
Let k = 584 - 414. Let l be 12/8 + (-205)/k. Which is smaller: 1 or l?
l
Let q = 7449 - 16271. Is -8821 bigger than q?
True
Let m be (5 - -12)/(-2 - -1). Let q(r) = 43*r**2 + 4*r + 4. Let z be q(-1). Let p = z - 59. Which is bigger: m or p?
p
Let z(a) = -2194 + 1083 + 1098 - 3*a. Let p be z(-6). Does 17/3 = p?
False
Let b = -0.1056 - -78.1056. Let k = b - 77. Suppose -r + 3 = -8. Does r = k?
False
Let a be (57/(-20))/((-4)/(320/(-30))). Suppose -5*h = -39 - 21. Let d be ((-14)/6)/(4/h). Is d greater than or equal to a?
True
Suppose 0 = 178*k - 194*k + 368. Which is greater: 300/13 or k?
300/13
Let f = 66/41 + -1471/328. Let q(i) = i**3 - 11*i**2 + 28*i - 93. Let j be q(9). Which is smaller: f or j?
j
Suppose -o + 3*o - 4*j = -822, -o - 3*j = 421. Let r be ((-134)/(-16))/(36/(-1784)). Let l = o - r. Is 1 at most as big as l?
False
Suppose 9214 = 4*a - 2*k, -16*k + 11550 = 5*a - 12*k. Which is bigger: a or 2307?
2307
Let c(g) = -135*g + 1400. Let i be c(-6). Which is bigger: i or -0.2?
i
Let q(n) = 3*n + 1. Let j be q(-2). Suppose 33*z - 403 + 276 = -391. Which is bigger: z or j?
j
Let f = 138 + -141. Let r be (-1)/((f - -4)/(28/(-4))). Which is bigger: r or -4?
r
Let n = -550/119 + 15133/3094. Is 3 != n?
True
Let q(l) = l**3 + 3*l**2 - 6*l - 3. Let n be q(-4). Let a be 3/n - (-9)/(-27). Which is smaller: 1 or a?
a
Let w(c) = -12*c**3 - 3*c**2 - 6*c - 4. Let d be w(-2). Suppose -72 = 5*j - d. Let x be (j/3)/(-25 - -3). Which is greater: 1 or x?
1
Let k = -85 + 90. Suppose k*u - 2*u - 20 = 5*n, -4*n - 4 = 0. Suppose 0 = -2*w + s - 140, -3*w - 138 - 98 = u*s. Is w at least -72?
True
Suppose 324*q + 1114 = 142. Which is smaller: 0.1015 or q?
q
Let w = -196/1143 - -50/127. Which is smaller: w or 1.59?
w
Let q = -203 - -211. Suppose 17*x + 9*x = q*x. Is 1/335 not equal to x?
True
Let l = -20.491 - 0.509. Which is greater: l or -3/11?
-3/11
Let x = -2059 + 18533/9. Is x at most as big as 611?
True
Let w = -4738 - -4627. Do -10 and w have different values?
True
Let t = 5 + -18. Let c = 32 + t. Suppose 0 = 2*y - c + 57. Which is smaller: -18 or y?
y
Let q = 2 + -4. Let v = q + -2. Let w = 1608 - 1608.04. Which is greater: w or v?
w
Suppose -67*q = -62*q - 4*v - 141, v - 105 = -3*q. Which is smaller: q or 42?
q
Let u = -142.08 - -651.77. Let o = u + -509. Which is greater: o or 2/3?
o
Suppose -6*n = -6 - 6. Suppose -32 = -n*c - 2. Let a be 6/c + 58*3/(-135). Is a greater than 0.1?
False
Let r(b) = -5*b - 15. Let d(u) = -11*u - 30. Let m(o) = -2*d(o) + 5*r(o). Let n be m(-8). Suppose -n*j = -10*j + 56. Are j and 56 nonequal?
False
Let c = 5059 + -5077. Let x = -9.67 - 0.33. Which is smaller: x or c?
c
Let c(g) = 7*g - 4. Let t be c(-7). Let d(w) = -55*w**2 - 49*w - 48. Let j be d(-1). Which is greater: j or t?
t
Suppose y = 4*v - 12, -v + 11 = 7. Let g be (-3 - -1) + (44 - y) + -11. Let n = 48 - 23. Which is smaller: n or g?
n
Let h be 2 + -6 + 8 + -4. Let b be h/(((-60)/4)/(-3)). Let l be (-88)/406 - 2/(-7). Is l at most b?
False
Let j(d) = 4*d**3 - 2*d**2 - 29*d - 11649. Let l be j(0). Is l equal to -11649?
True
Let t be ((-10)/45 + (-6153)/135)*75/12. Is t != -287?
True
Let q = 124 + -124.75