*p + 3*p - 15 = -4*i, 4*p - 8 = -i. Is n at least p?
False
Let z be (216/(-135))/((-4)/10). Suppose -2*c = 2*c - 20. Suppose c*i - z = i. Is -6/17 <= i?
True
Let i be (3 - 0)/(2/16). Suppose -3*s - i - 21 = 0. Let l be 5/s*6/(-1). Do l and 11/5 have the same value?
False
Let d = -0.78 - -0.41. Let o = d - -0.27. Are o and -1/10 non-equal?
False
Let u(t) = -t**3 + 40*t**2 - 49*t + 137. Let n be u(39). Which is greater: -251 or n?
-251
Let w = 15 - 40. Let d be 30/w*(2 - -3). Let r be d/(-2) + (-24)/8. Which is smaller: 2/3 or r?
r
Let h be 48/128*-1 + 214/272. Which is bigger: 0 or h?
h
Let l = 423 - 428. Which is bigger: -10 or l?
l
Let q = -0.07 - -0.37. Let f = q + -0.1. Let r = 78 + -78.2. Which is bigger: r or f?
f
Let m = -392 - -393. Are 66 and m non-equal?
True
Suppose -2 = -3*u - 23. Let o = -13 - u. Let x be (3/o)/(3/6). Which is greater: 3/11 or x?
3/11
Let w be 1/(-3) - 65/(-15). Suppose -11*d + 12*d = -1. Which is smaller: d or w?
d
Let d be 2 + 3/(-12)*-4. Suppose -2*n - 13 = -d. Let s be (-1)/(-2)*10/n. Which is smaller: 0.09 or s?
s
Let p(b) = -2*b**3 + 9*b**2 + 5*b + 1. Let v be p(5). Let n = 2.4 + -0.4. Let k = n + -1. Is k != v?
False
Let r = -112 + 317. Which is smaller: r or 1?
1
Let j = -150 + 154. Suppose -j*k + 3*c - 4 = 0, -6*k = -3*k + 4*c + 3. Is -0.36 >= k?
True
Suppose -34*b = 6*b - 2000. Are b and 53 unequal?
True
Suppose -2*t - 1 = 1. Which is smaller: 1/179 or t?
t
Let f(h) = 7*h + 3. Let n be f(11). Let k be 50/n*(-1)/(-15). Is k != -1?
True
Let c = 3662/3 + -1220. Which is smaller: -1/826 or c?
-1/826
Suppose -3*n - 9 = -6*n. Let j be n/2 + 25/(-10). Let r be (j/(-4))/(3/12). Is r less than or equal to 3?
True
Let q = 1056 - 1055. Let m(c) = -2*c**3 + 2*c + 1. Let w be m(-1). Is q less than w?
False
Suppose 5*u + g = -29, -5*u + 0*u = 5*g + 25. Let i be 95 - ((-104)/48 + (-1)/u). Is i at least 96?
True
Let g = -0.55 + -0.8. Let i = g - -0.15. Let d = -0.2 - i. Is d bigger than 2?
False
Suppose 0*m + 2*m - 4 = 0. Let p(s) = -5*s**2 + 167*s + 99. Let u be p(34). Let d be 108/(-24)*m/u. Which is smaller: 2 or d?
2
Let l be (-5 + 1)/(-12)*-1*-3. Let q be -3 - ((l + -7)*1 - -2). Does q = 25?
False
Let f = 0.07 - -0.88. Let y = -3.95 - -4. Let k = f + y. Is k <= -6?
False
Let v = -0.048 - 4.552. Let p = -4.8 - -0.8. Let d = v - p. Which is smaller: d or 1?
d
Suppose 29 = 5*p - 4*g - 30, 42 = 2*p + 3*g. Let s = 23 - p. Suppose s = -3*v + 5. Is 6/17 less than v?
False
Suppose 6*p - 3*p = 6. Let v be -77 + 1 + -3*1. Let b = -76 - v. Are p and b nonequal?
True
Let w = -33 + 32.1. Let v = 6.4 - 7. Let z = v - w. Which is smaller: z or 2/3?
z
Let t = -399 - -158. Is -242 at most t?
True
Let l(q) = -q**3 + 6*q**2 + 5*q + 3. Let b be l(6). Suppose -f = 2*f + b. Let i(z) = -z**3 - 12*z**2 - 12*z - 8. Let m be i(f). Is 4 less than or equal to m?
False
Let y be 10/((-27)/(-3) + -4). Is y at most as big as 50/31?
False
Let h = -0.51 - -0.6. Let b = -1956/5 - -391. Do b and h have different values?
True
Let v be ((-36)/27)/(10/12). Which is smaller: -1 or v?
v
Let b = 422.3 + -424. Which is smaller: -5 or b?
-5
Let k(l) = l**3 + 2*l**2 + l + 1. Let z be k(-2). Let y = 415 - 0. Let i = y + -4562/11. Is z at most i?
True
Let c be -1*-3*19/(-6). Let q = -10 - c. Suppose n + 2*a + 8 = 0, -3*a + 14 = -2*n - 6*a. Do q and n have the same value?
False
Suppose -4*z = -3*n - 1, 2*n = 5*z - 0*z - 10. Let t = 47 + -107. Let w be ((-2)/5)/(4/t). Is w != n?
True
Let a(y) = y - y**3 - 5 - 4 - y**2 + 6. Let j be a(-2). Suppose -3*i - 13 = -5*z, 3*i + z - 3 = -22. Which is smaller: j or i?
i
Let b be 3 - -23 - (7 - 4). Suppose r + 5*o + b = 0, 4*r + 1 = -2*o - 1. Let j be (3/r)/(3/6). Is j equal to 5?
False
Let u = -1.271 + 0.271. Which is smaller: -82 or u?
-82
Suppose -3*o = -21 + 24. Let k be 4/(-6) + (-92)/24. Let b = k + 19/4. Is b != o?
True
Let j = 377 + -373. Is j greater than 12?
False
Let q = 5.9 - 0.4. Let w = -6 + q. Is w < -0.3?
True
Let n(o) = 3*o + 6. Let y be n(-4). Let a = -2 - y. Let t be a/24 + 1 + 1. Is t less than 3?
True
Let k be (-15403)/77 - (1 - 18/21). Let x = k + 199. Is x less than or equal to -1?
True
Let j = -43 - -22. Let x(q) = 25*q**2 - 169*q + 94. Let y be x(6). Is j <= y?
True
Let a = -453 - -453.2. Is -25/24 not equal to a?
True
Let q = -105 + 109. Suppose -7*x + 3*r = -3*x - q, x = -5*r + 1. Let k = 124/105 - 26/21. Which is greater: k or x?
x
Let u = 6.8 + -33.8. Let t = u - -48. Let z = 19 - t. Is z at least as big as 0?
False
Let a = 0.053 + -17.153. Let m = -7.1 - a. Which is smaller: m or -1/3?
-1/3
Suppose 3*k - 5 = 133. Let c = k + -46. Which is bigger: c or 2/79?
2/79
Let p = 39 + -9. Let v = p + -30.6. Is v greater than 0.1?
False
Let u = -230206/9 + 25650. Is u smaller than 71?
False
Let t be ((-48)/(-6) + -4)/2. Let s be ((-4)/(-3) - 1)*(9 + t). Which is bigger: 4 or s?
4
Let z(n) = 3*n**2 - n - 21. Let h be z(5). Let s = -3 + 5. Suppose -s*m = -3*k - h, -4*m + 41 = -m + 2*k. Are m and 17 nonequal?
False
Suppose -3*p + p + 4*h = -32, -3*h = -3*p + 42. Suppose p*y - 12 = 9*y. Suppose y*c + 0*c - 16 = 0. Which is smaller: 6 or c?
c
Let o = 1123 - 1122. Which is bigger: 1/142 or o?
o
Suppose j - 6*j = 0. Suppose -2*m + 5*m = j. Which is smaller: m or -1?
-1
Let p = 133 + -131.73. Let j = p + -1.48. Let i = 1 - 2. Does j = i?
False
Let q(b) be the third derivative of 0*b + 5/24*b**4 - 7/3*b**3 - 2*b**2 + 0. Let h be q(6). Is 15 <= h?
True
Let x = -71.2 - -12.2. Let p = x + 60. Do p and -16 have different values?
True
Let y be ((-4)/((-4216)/10))/(6 - 7). Is y less than or equal to 0?
True
Let z be ((-14)/(-5))/(1/5). Suppose -2*h + 4*n + z = 0, -2*h = 3*h - 4*n - 17. Let t = 0.5213 - -7.4787. Is h at least as big as t?
False
Let m = -696.27 - -697. Is m greater than 1?
False
Let p = 8.9 - 0.9. Let f = -9.4 + p. Let w = -1.2 - f. Which is bigger: -7 or w?
w
Let p = -3.131 - 123.969. Let j = p - -127. Is j != 97?
True
Let l = 697 - 661. Which is bigger: l or 7?
l
Let d = -0.3 - -0.35. Let y = 64566/35 - 37825281/20510. Let p = 2/293 - y. Are d and p unequal?
True
Let v be (16/(-64))/(1/4). Is 2/193 >= v?
True
Let z be (-11 + (3 - -2))/(-1*2). Is -43 greater than or equal to z?
False
Suppose 0 = 7*r + 6 - 76. Suppose 5*f + 0 = r. Which is greater: f or 8/11?
f
Let d = 54.381 + -0.381. Let l be ((-1)/5)/((-6)/10). Which is smaller: l or d?
l
Let o = -247 - -7162/29. Let w = o + 1365/58. Which is greater: w or 24?
24
Let l = -19254.1 - -19254. Let c = 0.11 + -0.1. Is c less than l?
False
Let y = -5/1261 + 26576/23959. Which is smaller: y or 2?
y
Let g = -20 + 22. Suppose j = -g*j. Which is smaller: j or 6/17?
j
Let h be (3 - (-2 - -3)) + -2. Suppose -2*b + 9 = -3*v, 4*v = -h*v - b - 1. Let r(c) = c**2 - 6*c + 4. Let o be r(5). Is o < v?
False
Suppose 14*f - 18*f - 5*w = -14, 4*f = 3*w - 2. Are 36/53 and f non-equal?
True
Let s = 21 + -27. Let f = 1 + s. Let i be (11/(-2) - -3)*2. Is f at least i?
True
Let y = 0.3 - 2.3. Let a(k) = -k**3 - 3*k**2 + k + 9. Let q be a(-7). Let g = 1786/9 - q. Is g less than or equal to y?
False
Let k = 7.7 - 8. Let g = 3.3 + k. Let r = 4 - 7. Is g bigger than r?
True
Let y(x) = 2*x**2 + 2*x - 2. Let u be y(1). Suppose 2*c + 0*c + 3*j - 13 = 0, u*j + 4 = 5*c. Which is greater: -3 or c?
c
Suppose -2*a - 3*v - 2 = 0, -2*v + 4*v + 12 = 4*a. Let x be a/(1*(-2)/(-21)). Is 22 bigger than x?
True
Let s be 629/(-4995) + 2/10. Is -0.03 > s?
False
Let c = 0.06 - 0.1. Let g = -1.1 + -5.9. Let i = 7 + g. Which is smaller: c or i?
c
Let p(t) = -2*t - 5. Suppose g - h = -7, 4*h = 4*g + 2*h + 26. Let z be p(g). Suppose 0 = -2*m + 4, -2*m = -2*u - 4*m + 14. Is z >= u?
True
Let k = 119230/11 + -10840. Let r(y) = y**3 + 3*y**2 + y - 2. Let l be r(-2). Is l at most as big as k?
False
Let x = -75 - -26. Let j = -51 - x. Are 0.11 and j unequal?
True
Let v = -0.39 + 0.49. Which is smaller: v or -19?
-19
Let z = 1924 - 1903. Let m = -47 - -69. Which is greater: m or z?
m
Let y be (-6)/4*(-624)/(-117). Are 5 and y non-equal?
True
Suppose 4*p - 2*p - 6 = 0. Let g be p - (2/(-2) + 2). Suppose -3*o - 4 - g = 0. Does o = -2?
True
Let w = 0.45 + 0.42. Let m = w - 1.87. Let i = -3 + 2. Is m != i?
False
Let h = 455 - 466. Is h >= 8?
False
Suppose -3*d + 3*h - 12 = 0, -d + 3*h - 4*h + 4 = 0. Suppose -4*c