and i non-equal?
True
Suppose -44*u = -75*u + 5084. Is u >= 161?
True
Let f(q) be the third derivative of -q**4/3 + 5*q**3/3 - 3*q**2. Let z be f(10). Let h be (-12)/(-3) - (-284)/z. Is 1 less than or equal to h?
False
Suppose 24 = 3*b + 99. Let c = -24 - b. Does c = -3/8?
False
Suppose 21 = -11*d + 10. Suppose 2*x + x = 3. Let l = x + -2. Are l and d equal?
True
Let f(g) = g + 143. Let x be f(23). Which is bigger: x or 164?
x
Let p be ((-3)/18)/(26/8). Let t(j) = -j**3 - 7*j**2 - 6*j - 1. Suppose -w = 3*b - 9, 4*b + 4 = -3*w - w. Let i be t(w). Which is smaller: p or i?
i
Suppose -2*s = 2*i + 36, -s + 5*i - 36 = s. Let k be (s/(-27))/(5/3). Are 7 and k equal?
False
Suppose 5*k - 2*t + 53 = 0, -5*t - 17 = k - 1. Let c = -52.6 - -52.7. Is c less than k?
False
Suppose -2*p + 2*d = -12, 0*d = -4*p - d + 4. Suppose 3 = -p*t + t. Let l be (0/(-1))/(t + 0). Which is smaller: l or -2/7?
-2/7
Let v be 4758/17 + (-6)/(-51). Suppose -4*j + 4*t = -0*j - v, 3*j = -2*t + 195. Which is bigger: 68 or j?
68
Let x be -2 + (-48)/(-28) + (-5)/105. Is x greater than 4.9?
False
Let d(a) = -2*a**3 + 6*a**2 - 3*a. Let o be d(2). Suppose -2*x + 4*w + 18 = 0, 4*x + o*w = 3*w + 8. Suppose 2*i - x - 1 = 0. Is i less than or equal to 3/14?
False
Suppose r - 18 = 3*r. Let l = 6 + r. Suppose 2 - 5 = 3*j. Are l and j unequal?
True
Let t = 37/25 + -11/5. Which is smaller: t or -1?
-1
Let i = -10 + 10.05. Let c = -2.05 + i. Which is smaller: c or -10?
-10
Let s = -2607 - -649144/249. Which is bigger: 1 or s?
1
Let g = -11142 + 11143. Let l = -8 + 6. Which is bigger: l or g?
g
Let j = 8.213 + 0.087. Let m = -8 + j. Which is smaller: -4 or m?
-4
Let l be (-5)/10*0 - 21/26. Let i = -803/962 - l. Is 0 not equal to i?
True
Let k be (3/((-6)/(-4)))/(-2). Let m(g) = -12*g - 1. Let x be m(k). Suppose 6*n = x*n. Is -2 less than or equal to n?
True
Let b = -115 - -119. Let r be (-1 - -3)/(12/18). Is r greater than b?
False
Suppose 4*x = 5*o + 11, -x + 0*x = -3*o - 1. Let y = -0.08 - 0.26. Which is smaller: o or y?
y
Let f be 2/(-7)*-2 - 1. Let g(s) = -s**3 + 9*s**2 + 8*s - 14. Let z be g(10). Let v = z + 34. Are v and f equal?
False
Let p(t) = -7*t + 1. Let c(g) = g. Let m(r) = -4*c(r) - p(r). Let o be m(-1). Which is smaller: 0.1 or o?
o
Let s = -160 - 34. Do -195 and s have the same value?
False
Suppose -100 = -2*d + 3*c - 31, -140 = -5*d + c. Which is smaller: d or 29?
d
Let a be 1/5 + (-1)/5. Suppose a = k + r + 10 - 3, 3*r = -2*k - 19. Let c = -953/28 - -135/4. Which is smaller: k or c?
k
Suppose -3*t - 79 = -4*z + 2*t, -5*t + 110 = 5*z. Which is smaller: z or 43/2?
z
Let r(o) be the first derivative of -o**4/4 - 11*o**3/3 + 27*o**2/2 + 16*o + 5. Let a be r(-13). Let s be 38/6 + 3/(-9). Which is smaller: a or s?
a
Let v(l) = -l**2 + 2*l + 1. Let k be v(2). Which is smaller: k or 6/55?
6/55
Suppose -40*r + 39*r - 60 = 0. Is -67 < r?
True
Let h(b) = -9*b**3 - b**2 + 2*b + 2. Let o be h(-1). Suppose 11*f + 30 = o*f. Which is smaller: f or -4?
f
Let g = -120 - -959/8. Suppose -3 - 13 = -4*m. Suppose -1 = -m*c - 5. Are c and g non-equal?
True
Let w = -7 - -10. Let m = w + -4. Let b = 59 + -61. Is m != b?
True
Let b be (-416)/(-10) + (-18)/(-45). Let c be (-1 - -5) + -1*2. Suppose 4*h - b = -c*h. Which is greater: 6 or h?
h
Let z = 50 + -46. Let t be (20/(-6))/(z/(-12)). Which is smaller: t or 9?
9
Suppose -2 = -g + 30*p - 31*p, 2*g - 6 = -3*p. Is g less than 15/32?
True
Suppose 0 = 24*q - 23*q - 4. Let v be 2/q + (-270)/300. Which is bigger: -15 or v?
v
Let l be ((-12)/13)/(-6 - -4). Which is bigger: -26 or l?
l
Let t be (2/10)/1 + (-539)/(-55). Suppose 4*p = -11*v + t*v - 7, 0 = -3*p + v. Is 1/38 <= p?
False
Let k(s) = -4*s - 2. Let z be k(8). Let y = 23 + z. Suppose 76*l - 65*l = -110. Which is smaller: y or l?
y
Suppose -2296*t = -2295*t. Is t < 58/41?
True
Let b = 19/59 + -46273/236. Let c = -193 - b. Is c at least as big as 2?
True
Let b be (1/(-5))/(20/325). Is b less than -2?
True
Let x = 24 + -21. Suppose x*l - 4*i = -60, l - 5*i = 5*l + 80. Which is smaller: l or -1?
l
Let i = -154/3 - -50. Let s(q) = -13*q + 2. Let h be s(-1). Suppose -4*g - 4*v - h = -g, 0 = 3*g - 4*v - 9. Which is smaller: g or i?
i
Suppose -14*s + 19*s - 335 = 0. Let r be 269/s + (-6)/3 + -2. Is 0 smaller than r?
True
Let x = -260 + 149. Let y = x + 110.63. Is 2 at most as big as y?
False
Let m = -3.3 + 3.2. Which is smaller: m or -79?
-79
Let d be (-23246)/5841 - 1*-2*2. Which is smaller: d or -2/7?
-2/7
Suppose 374*f = 367*f - 301. Is -41 >= f?
True
Let s be (-6)/(-4) - (-90)/(-12). Let w = -540 - -535. Which is bigger: w or s?
w
Let w(n) be the third derivative of -n**4/8 + n**3 - 47*n**2. Let o be w(3). Is o less than -3?
False
Let y = 7 + -6. Let g = -1.07 + y. Let r = g + -1.93. Which is smaller: 0.2 or r?
r
Let u be ((-8)/(-3))/((-350)/(-6)). Let s = -6/25 - u. Let r = -0.02722 - -0.02722. Which is smaller: r or s?
s
Let f = 18 - 20. Which is smaller: f or -12?
-12
Let w be 5 + -3 + (1 - -1). Let d be 4/12*-2*-3. Suppose d*h + l = -3*h + 15, -2*h + 4*l = -6. Which is smaller: h or w?
h
Let j = -1.3 - -2.3. Which is greater: j or -9?
j
Suppose 3*t - 17 = -11. Let a be 48/(-27) - (t + -4) - 0. Is -1 equal to a?
False
Let o = -130574/3237 + 5/1079. Is o < -39?
True
Let j = 4 + -1. Let l = 6 - j. Suppose 4*z + 9 = -l*k, 3*k = -3*z - 3 - 3. Which is smaller: k or 1/4?
1/4
Let f = -71/448 + 12707/16576. Let q = -4/37 + f. Which is bigger: q or -19?
q
Suppose -168 = -7*j + 525. Do 99 and j have different values?
False
Let q = 45 - 25. Let o = q + -16. Suppose o = -2*r - 0. Is -5 <= r?
True
Let m be (3 + 1)*5*(-15)/12. Is m at least -180/7?
True
Let r = -8 + 10. Suppose r*p = -3*u + 75, p + 2*u = 18 + 22. Let f = p + -89/3. Which is smaller: 2/9 or f?
2/9
Let t = -118527/275 - -431. Let g be (-16)/((-4)/1) + -3. Is g greater than or equal to t?
True
Let j(x) = 5 - 22 - 7 - 5*x + 4*x. Let s be j(-14). Which is bigger: -11 or s?
s
Suppose r + 6*v - 54 = 7*v, -r = 3*v - 66. Let s = 56 - r. Does s = 1/16?
False
Let m(o) = -2*o**2 + 2*o + 7. Let k(g) = 2*g**2 - g - 6. Let f(t) = 5*k(t) + 4*m(t). Let i be f(1). Is i bigger than 0?
True
Let w be 6/(-2) - 105/(-7). Let q(t) = -t**2 + 9*t + 25. Let u be q(w). Is 1 at least u?
True
Let n = 76 - 313/5. Which is greater: 14 or n?
14
Suppose 22*k + 115 = -765. Is k <= -43?
False
Let w = 17.1 - -93.9. Let p = w + -111. Is p at least as big as 5?
False
Let m = -5.299 + 0.299. Which is smaller: 12/5 or m?
m
Let p(i) = i**2 + 2*i - 6. Let y be p(-3). Let g be (9 - (2 - -3))*(-2)/(-18). Is g >= y?
True
Let p = -26.64 + 27.3. Let x = -0.7 - -0.86. Let y = x - p. Is -1 greater than y?
False
Let t be 0 + 3715/(-65) + 2/13. Let z = t - -51. Which is smaller: z or -8?
-8
Let y(i) = i + 22. Let v be y(-15). Suppose -v = -q - 4*m, 19 + 24 = -3*q + 4*m. Is -5 bigger than q?
True
Let d be ((-7803)/(-9453) - 3) + 2. Let h = 12974 - 1777426/137. Let g = h + d. Is g less than -1?
False
Let h(d) be the first derivative of -7*d**4/2 - 4*d**3/3 + 3*d**2 + 4*d + 8. Let p be h(-4). Let v be (p/(-60))/(-7) + -2. Is 1 < v?
False
Let f be 40/(-15) - 6/(-9). Let g be 10*1/f*1. Let c = g + -2. Is -17/3 less than or equal to c?
False
Suppose -6*h + 177 = 3. Is 29 >= h?
True
Suppose -17*s - 13531 = -13701. Suppose 0 = 3*l - v - 32, -3*l - v + 28 = -6*v. Which is bigger: l or s?
l
Suppose 2*r - 3*r + 4 = 0. Let v be r/(-14) + (-46)/(-14). Let h(o) = -o**2 - 3*o + 2. Let n be h(-3). Which is bigger: n or v?
v
Let l = 924 - 1526. Which is smaller: -1 or l?
l
Let p = -75.1718 + 0.1718. Which is greater: p or 6/5?
6/5
Suppose 6 = 4*a - 2. Suppose -a*k - 54 = -2. Which is smaller: -27 or k?
-27
Suppose -p + 40 = -2*p + 5*j, -3*p + 3*j = 180. Let n be (-270)/p + (-2)/13. Let d = n + -18. Are -14 and d equal?
True
Let m be ((-5)/(-50))/(3/57). Which is smaller: m or 3?
m
Let m(z) = z**2 + 13*z + 67. Let o be m(-17). Which is bigger: 133 or o?
o
Let a = 21750475/22 + -988925. Let k = -267 - a. Is k greater than 0?
True
Suppose 3*z + 4 = -4*s - s, 16 = 3*z - 5*s. Suppose z*h - 4*h = 0, 3 = j - 2*h. Let u(c) = -c + 10. Let d be u(7). Is j not equal to d?
False
Let l = -533 - 597. Let q be (-964)/6*1/l. Let z = q - 1/113. Do -1 and z have different values?
True
Let f = 115 + -117. Which is smaller: f or 1