 Is -1 greater than p?
False
Let s(o) = o - 16. Let w be s(25). Suppose -w*d = 10 - 154. Let r be ((-2 + 1)*-4)/2. Do d and r have different values?
True
Let l = 2.98 + -0.08. Let w = 606 + -599. Do l and w have different values?
True
Let c = -22 + 34. Let a = c + -3. Let m = 8 + -35/4. Is a smaller than m?
False
Let i(h) = -35*h + 27. Let y be i(1). Let l be 2/y*(-1360)/4165. Let u(b) = -b - 6. Let q be u(-5). Is q at least as big as l?
False
Let k = -13.4 - 2.6. Let p = -10.5 + 92.5. Let z = 83 - p. Which is smaller: k or z?
k
Suppose 4*x = x - 369. Let a = -1709628 + 1709510. Is a bigger than x?
True
Suppose 22 = u - 3*y - 34, 291 = 5*u - 4*y. Suppose -4*h + u = -3*l, 30 = -22*h + 27*h + 5*l. Do h and 59/5 have different values?
True
Suppose 17*i - 38 = -30*i + 9*i. Do i and 1/901 have the same value?
False
Let m = -74 + 76. Suppose m*o = -8, -4*q + 2*q + o + 12 = 0. Suppose q*a - 4*d - 5 = d, 5*a + 3*d = -3. Which is smaller: a or 5/13?
a
Let f be (14094/324)/((-9)/102). Is f at least as big as -493?
True
Let o = 115 - 61. Suppose -o = -25*y + 16*y. Suppose -27*n - y = -21*n. Which is smaller: n or 1?
n
Let j be ((-10)/4)/(2/8). Let t be (4/6)/((-42)/252). Let g be 238/(-21) + t/6. Is j bigger than g?
True
Let u = -44 + 47. Suppose -4*x = -u*x - 4*p - 9, -4 = 4*p. Suppose -2*w + 11 = x*l, -l - 14 = -w - 4*w. Is -2/27 at most as big as l?
True
Let s = -17132 + 17135. Is s < 95/29?
True
Let j be (((-147)/(-6))/7 - 3)*14. Suppose -2*x + 9*x = j. Suppose -4*h + x = -3*w + 5, 2*w = -h - 1. Is w smaller than 3/70?
True
Let b = 47591.177 - 47591. Is b at least -15?
True
Let r = -113992/95 + 1200. Let u = 71383 + -71383. Is u smaller than r?
True
Let x = 5.41918 - 355.50018. Let g = x - -350. Are 0.1 and g nonequal?
True
Let w = -6262 - -62669/10. Which is greater: w or -0.4?
w
Let o(i) = 2*i**2 - 31*i - 468. Let u be o(-36). Is u < 3239?
False
Suppose 259*d + 971 - 412 = -1254. Let y = 32 - 22. Which is bigger: d or y?
y
Let q be (-940)/950 + (-1 - -2). Let s = -4/19 + q. Let r = -1.076 - -0.076. Which is bigger: s or r?
s
Let o = -225.3 - -225. Let v be (4 + 72/(-15))/((-36)/20). Which is bigger: o or v?
v
Let a = -7.8 + 12.1. Let j = a - -1.5. Let b = -3 + j. Which is smaller: 0.1 or b?
0.1
Let d be (-1)/(-3) - 578/6. Suppose -93 = g - 2*h, 0 = -4*g - h - 218 - 172. Let k = d - g. Is -20 > k?
False
Let l be (11/(-2))/(40/(-1408)). Let a = 193 - l. Let r = 0.2 - 2.2. Is a smaller than r?
False
Let t = -4554 + 4604.7. Is t >= -6?
True
Let u be (-2)/(-4) + (-36)/(-8). Suppose u*f - 19*l = -15*l + 581, -5*f + l = -569. Is f at least as big as -2?
True
Let l(x) = -x**3 - x**2 - x - 4. Let u be l(-2). Let h be 3/u - 55/22. Are 11 and h non-equal?
True
Let s be (-591)/(-273) + (-1)/(-7). Let o = -52 - -55. Suppose 3*j - 6 = k, 0 = -4*j - 2*k + o*k + 9. Are j and s equal?
False
Let f be 6/132*4 + (-156)/11. Let d(z) = z**2 + 15*z + 24. Let p be d(f). Which is bigger: p or 53/5?
53/5
Let u = 10.2 + -10. Let c = -87 + 87.09. Let a = 0.13 - c. Do u and a have different values?
True
Let m = 2534 + -22804/9. Are 50.4 and m unequal?
True
Let r be (2 + 8)*(0 - (-35)/10). Suppose 3*a = 4*a - 1, 0 = -5*n + 5*a + 140. Let q = r - n. Is 5 greater than q?
False
Suppose s + 0 + 4 = c, 0 = 4*s - 3*c + 12. Suppose i - 5*i + 48 = 0. Suppose i = -2*u - u, -3*b = u + 4. Is s greater than b?
False
Suppose -t = -5*n, -2*t - n + 6*n = 10. Suppose -k + 2*u - 1 - 22 = 0, -4*u = 4*k + 56. Let m = k - t. Is m less than or equal to -6?
True
Let x = -308 - -305. Let b = 841 + -836. Is x greater than or equal to b?
False
Let z = -334 - -298. Is z at most as big as -39?
False
Let x(b) = b**2 - 3*b + 3. Let g be x(-3). Suppose 3*k - 6 - 6 = -3*d, 0 = -d - 5*k + 8. Suppose 0*m + 2*j + 86 = 4*m, -m + 24 = -d*j. Is g equal to m?
True
Let v = 335.98 - 333. Let q = -4.88 + v. Which is greater: q or 1/2?
1/2
Suppose -2*l - m = -20, -23 = -3*l - 2*m + 7. Which is bigger: l or 199?
199
Suppose 5*i - 3*m = -3, 15 = -i + 4*m + 11. Let x be 8/54*3/80. Which is bigger: x or i?
x
Let h be (-40)/(10975360/(-36762)) + -1 + 14/16. Which is smaller: h or 0?
0
Let h = 27357/1219 + -1224/53. Let s = -1 - 0. Is s at least as big as h?
False
Let p be (39 + -36 - (-38)/(-10)) + (-539)/(-680). Which is smaller: p or 0?
p
Let z = -162 + 381. Let p = 246 - z. Do p and 26 have the same value?
False
Let d(u) = -164*u - 1. Let v be -6 + 5 - (-4)/2. Let s be d(v). Let f be (-11)/s*36/(-10). Do -1 and f have different values?
True
Let b = 88038 + -375834224/4269. Is b > 1?
False
Let f = -0.573 - -0.673. Let i be 8/(-12)*(-2 - 21/(-15)). Is i greater than f?
True
Let m(f) = -2*f + 29. Let d be m(14). Let b(o) = -4*o**2 + 5*o - 2. Let j be b(d). Which is smaller: -2/125 or j?
j
Let g be ((-3)/42)/((-15)/(-9370)) + 5. Let m = 118/3 + g. Is m bigger than -0.066?
False
Let p = -126 - -181. Suppose 3*w - 325 = -p. Let s be w*(-3 + 4)/(-2). Is -44 < s?
False
Suppose 2*i = -3*d + 7*i + 73, -4*i - 8 = 0. Let v be (-14)/d + (-1)/3. Let q be (-2 - 38/(-24)) + v/(-6). Which is smaller: q or 1/11?
q
Let c = -411 + 1307. Is c equal to 899?
False
Let h = 1917832585/6211 - 308780. Is h != 1?
True
Let p = 74 - 68. Let u(d) = -12*d + 6. Let i be u(-9). Suppose p*h = 9*h - i. Is 39 less than h?
False
Let f = -4631 - -4639. Let p = 25 + -15. Let s = f - p. Which is greater: s or 2?
2
Let v be 6/8 - (-22 - 2457/(-108)). Is -1/830 at most v?
True
Let z = -1832 + 21985/12. Let p = -9 + 13. Let n = -5 + p. Is z less than n?
False
Let n(u) = 55*u**3 - 2*u**2 + 2*u - 1. Let l be n(1). Suppose 0 = -18*j + 45*j - l. Which is smaller: -74 or j?
-74
Let q be ((-2275)/299)/(6/526). Let j = -667 - q. Which is smaller: j or 0?
0
Let g(d) = -d - 5. Suppose 0 = 3*m - 2*m - 26. Let s = -41 + m. Let h be g(s). Is 10 <= h?
True
Let f be -2 + 6 - (4 - 0). Let j be (f + -2)/(11/(-165)) - 3. Let k(l) = -2*l**3 - 3*l**2 + 2. Let c be k(-3). Is j smaller than c?
True
Let o = 111 + -216. Let b be (o/(-10))/((-5)/(330/(-9))). Which is bigger: b or 79?
79
Let d(i) = -i - 16. Let v be d(-28). Let p be (-12)/(-50)*20/v. Which is bigger: 30 or p?
30
Let j = 6524 - 6627. Is -1736/17 greater than or equal to j?
True
Let v be (-228)/36 + 5 + 1 + 1246/(-6). Which is bigger: -1655/8 or v?
-1655/8
Let f(g) = 3*g**3 + 46*g**2 - 150*g - 1888. Let u be f(-16). Let m be (66/75)/((-6)/(-10)). Is u at most m?
True
Let g = 1.1 - -29.9. Let h = g + -24. Let i = -20.9 + 21. Is i less than or equal to h?
True
Let s = 1.41 + -1.31. Let m = -6.1 + s. Which is greater: -1.3 or m?
-1.3
Let a = 5093 - -1136. Is 6229 <= a?
True
Let i = 34/11 - 328/99. Let j = 8/45 - i. Let q(n) = n**2 - 44*n + 196. Let p be q(40). Is p < j?
False
Let v = -580076 + 20474942570/35297. Is -1 smaller than v?
True
Let t = 529.8 - 530. Let m = 2 - -6. Let h = -9 + m. Which is bigger: t or h?
t
Let i = -70/107 - 7547/1712. Which is bigger: -5 or i?
-5
Let j be (-74 + 0)*6/(-4). Let x(c) = c**3 + 33*c**2 - 74*c - 2332. Let v be x(-33). Which is greater: j or v?
j
Suppose -4*h - 4*p + 32 = 0, 0 = 2*h + 4*p - 49 + 25. Let o be h - (-8 - 19411/(-1617)). Which is smaller: o or 0?
o
Let y be (-14 + 14)/(3/2*2). Suppose -4*m = 4*t + 196, y*t - 2 = -t. Let l(w) = -w**2 + 2*w + 7. Let z be l(4). Are z and m equal?
False
Let p(q) be the first derivative of -q**4/4 - 4*q**3/3 + q**2 + q - 581. Let i(n) = -n**2 + 4*n + 8. Let y be i(6). Let c be p(y). Which is bigger: c or -11/2?
-11/2
Let m(x) = -x - 9. Suppose 2 = 2*r - 5*k - 14, 2*r - 4*k = 20. Let q be m(r). Let t be 78/4*(-12)/(-18)*-2. Is t != q?
True
Suppose -64 + 74 = -v - 3*c, 5*v = -4*c + 16. Do v and -8.5 have the same value?
False
Let h be 12/8*(-646)/(-3). Suppose 0 = -x - 3*i + 321, -44*x - 5*i = -42*x - 643. Is x > h?
True
Let d = -260569/4220 + -4/1055. Let y(a) = -32*a + 1. Let w be y(2). Is d < w?
False
Let j = -94 + 62. Let c = 65170 - 65199. Is j less than c?
True
Let m = -18/41 + -179/246. Suppose -5*o = -7*o + 2. Let v be (-4 - (3 - 7))*(0 - o). Is m bigger than v?
False
Let g = -630.96 + 609. Let n = -22 - g. Let f = n - 6.96. Is -3 > f?
True
Let z be (-1 - 2)*((-34)/3)/17. Suppose -3*r - 3*f + 567 = 0, -909 = -z*r - 3*r + 4*f. Which is smaller: r or 186?
r
Let l be 766/3*1*(-2)/(-48). Let h = l - 98/9. Let r be ((-7)/(-2))/(4/8). Which i