 -4*x - 45. Suppose 3*p = 6*p - g*p. Which is smaller: p or -1?
-1
Suppose -6*c - 1 + 13 = 0. Suppose 0 = 2*a - u - 96, -2*u = -3*a - c*a + 240. Let g = 47 - a. Does 2/45 = g?
False
Let v = 37496/11 + -206103/55. Which is smaller: -340 or v?
-340
Let l(p) = -p**2 + 11*p - 27. Let d(n) = -9*n - 21. Let k be d(-3). Let h be l(k). Suppose 2*q = -2*w + h*w + 8, 2*w + q = -1. Are -15 and w non-equal?
True
Suppose -14*g + 16 = 2*g. Let u be (2/(-1)*1)/g - 0. Is -0.029 >= u?
True
Let n(o) = -o**3 - 3*o**2 + 8*o - 5. Let t be n(-6). Suppose -4*v + 2*c + 1 + 9 = 0, -v + c = -4. Which is bigger: v or t?
t
Let l be 1*(-8)/28*5505/6. Let z = 263 + l. Which is smaller: 1/2 or z?
1/2
Let m = 47.9 + -44. Let b(h) = -3*h + 6. Let k be b(-2). Let n be 3*(10/k - 1). Which is smaller: m or n?
n
Let t = 10096 - 10096. Let f = 224.5 + -42.5. Are f and t non-equal?
True
Let l(a) = -a**3 + 7*a**2 + 3*a + 44. Let t be l(8). Suppose t*w - 12 = 2*c, -c - 3*c = 16. Which is smaller: w or 19/9?
w
Suppose 4*t - 9 = -3*l + 12, 9 = 3*l. Suppose 4*s - 2*j - t*j + 75 = 0, 4*s + 115 = -3*j. Let o be (20/(-125))/((-10)/s). Which is greater: o or -47?
o
Let h = -22631.897 - -22634. Which is smaller: h or 2?
2
Let o be (-70212)/(-1296)*21 - 5/4. Suppose -3*h = -3*z + 3405, 2*z + 4549 = -4*h + 3*z. Let q = h + o. Which is bigger: -1 or q?
-1
Suppose 0 = -15*q + 4*q - 869. Let y = -58 - q. Suppose -5*s - 6*z = -z - 105, -2*z = 0. Is y bigger than s?
False
Suppose k - 2*k = -5. Suppose f - k*f = 4. Let o = -9903/20 - -495. Is o less than or equal to f?
False
Let o = -2.7 - -2.53. Let a = -0.2174 - 0.0526. Let b = o - a. Which is smaller: -1 or b?
-1
Let g be (-2)/8 - (-3 - (-2431)/(-44)). Which is smaller: g or 626/11?
626/11
Let r(z) = z**3 + 14*z**2 - 17*z - 24. Let c(j) = 2*j - 33. Let m be c(9). Let o be r(m). Is o less than 19?
True
Let h be -7*(-5 + -9) - (1 + 2). Which is smaller: 1785/19 or h?
1785/19
Let s(u) = -2*u**3 + 2*u**2 - 5*u + 17. Let r be s(5). Let n = -314 - r. Is -104 less than or equal to n?
False
Let s be 1449/(-7425) + (-2)/(-11). Let c = 17/25 + s. Let j = 0.14 + -0.94. Are c and j nonequal?
True
Let f = -21676 - -21960. Are 287 and f nonequal?
True
Let c(f) = 2*f**2 - 36*f + 9. Let x be c(18). Suppose -5*p + 3*k + 228 = 0, -2*p = 4*k - 77 - x. Let t = p + -10. Is 35 bigger than t?
False
Let j(u) = -894*u - 22. Let k be j(0). Which is greater: k or -45?
k
Let z = -153 - -159. Let n be 0 + z + (0 - 0). Let o be 2*(2 + (-5)/(-4)). Are o and n non-equal?
True
Let y = 41354 + -62485897/1511. Are y and 1 nonequal?
True
Let w = 475385647 + -76536727563/161. Let o = w + -2246. Is -2 > o?
False
Let c be (1/((-2)/6))/(10/(-270)). Let n = c - 80. Suppose 2*u - 6 = -5*x - n, -u = 5*x. Which is greater: -0.22 or x?
-0.22
Let w = -23491 + 23475.227. Which is greater: 0.1 or w?
0.1
Let b = 54 - 52. Suppose -b*s - 33 = -41. Suppose 4*o = -3*p + 19, -4*o + 3*p + 17 = s. Which is smaller: o or 13/4?
13/4
Let m(g) = -490*g - 323. Let f be m(2). Is f less than 2?
True
Let v be (-3)/(-9)*321 + -1. Suppose -v = 4*i - 18. Let o be 5 - (-1 - 124/i). Which is greater: 0 or o?
o
Let f = -0.05676 + 1.45676. Which is smaller: f or -0.012?
-0.012
Let h(g) = 2*g**2 + 18*g + 20. Let x be h(-8). Suppose x*s + 3*d + 29 = -16, 0 = -s - d - 10. Suppose m + 60 = -3*m. Are m and s unequal?
False
Suppose 0 = -3*t - 5*a - 0 - 6, a = -5*t + 12. Suppose 0 = h + 4*f + 14, -t*h - 4*f = 6 + 4. Suppose -10 = q - h*l - 1, -l = -4*q - 8. Is 2/135 not equal to q?
True
Let d = -11.128 + -229.872. Which is bigger: -35 or d?
-35
Let z(v) be the first derivative of -4*v**3 - 2*v**2 - 10*v + 37. Let s be z(-2). Is s equal to -53?
False
Let n = -13100 - -13098. Is -0.35 less than n?
False
Let q(b) be the third derivative of b**4/24 - 13*b**3/6 + 17*b**2. Let f be q(-12). Let z be (f + 4 + 1)/(3/(-6)). Which is bigger: 2/3 or z?
z
Let s = 333/280 - 11/35. Let n = -7 - 33. Let o = n + 42. Are o and s non-equal?
True
Let l = -2035.102 + 2035. Which is smaller: l or 0.23?
l
Suppose 0 = -272*u + 276*u - 15912. Suppose 4*n + 9*n + u = 0. Is -306 smaller than n?
False
Suppose -5*d = 4*c + 220 + 102, c - 4*d = -70. Is 4 less than or equal to c?
False
Let k = 41.3372 + -0.0372. Let w = 120.3 - k. Is w < 1?
False
Let j(a) = -55*a - 22 + 19*a + 13*a + 22*a. Let n(p) = 3*p + 4. Let f be n(-8). Let y be j(f). Which is smaller: -12/19 or y?
y
Let k = 662313/1454 + -911/2. Which is smaller: 0 or k?
0
Let c = 30865.98 - 30866. Which is greater: -52/5 or c?
c
Suppose 53*b + 1079 = 17509. Are b and 313 equal?
False
Let r = -1.471 - -0.971. Let g = 12 - 10. Let p be (-16)/(-8)*g/(-6). Is r != p?
True
Let i = -2 + 3. Suppose 61*t - 67*t + 3822 = 0. Let z = -15919/25 + t. Is i less than z?
False
Let k = 14583 - 14590.733. Let w = 0.267 - k. Are 2/11 and w nonequal?
True
Let z = -38802.6 + 38802. Let w = 0.05 - -0.25. Let q = -0.3 + w. Which is bigger: q or z?
q
Let b(s) = 52*s. Let d be b(0). Are 4/287 and d unequal?
True
Let o(a) = a**3 + 2*a**2 - 4*a - 3. Let l be o(-3). Suppose l*w = -3*w - 57. Suppose -17*b + 15*b = 40. Is w <= b?
False
Suppose -31*b - 40 = -27*b. Let t be (-6)/10 + (-106)/b + -5. Suppose t*x - 35 = -2*x. Which is greater: 2/3 or x?
x
Let q(r) = r**2 + 2*r - 5. Let b be q(-4). Let g = -221 - -224. Let a be g + 1 + -16 + b. Which is greater: a or -7?
-7
Suppose 0 = 299*m - 4200 - 26736 - 50392. Is 279 equal to m?
False
Suppose 2*g + 8 = 3*j, -3*j + 4 = 3*g - 14. Suppose 0 = -j*f + 6*f - 8. Let p(x) = -x**3 + 4*x**2 - x + 10. Let s be p(f). Does 8 = s?
False
Let k be 88872/(-1449) + (-10)/6. Which is smaller: k or -1/32?
k
Let v = -78 + 45. Let k = 5.09 + 34.91. Let p = v + k. Which is bigger: p or 3?
p
Let c = 72 - 52. Let h(w) = -w**3 + 20*w**2 - w + 29. Let i be h(c). Suppose -5*p - 16 = -i*p. Is 0.07 equal to p?
False
Let p = -0.050194 - -113.067294. Let i = p + -113. Are i and -0.1 nonequal?
True
Let l = -10346 - -18353. Which is smaller: l or 0.1?
0.1
Let w(c) = 2. Let z(p) = 2*p**2 + 7*p + 2. Let f(v) = 2*w(v) + z(v). Let b be f(-5). Which is bigger: 27 or b?
27
Let q be 2 - (-1*2 + 2). Let o(v) = -v**3 + 73*v**2 - 278*v + 140. Let f be o(69). Suppose 0*s + f = -q*s. Which is smaller: s or -2/31?
s
Suppose -5*i = 5*b + 372 + 183, -3*b - 330 = 2*i. Which is bigger: b or -91?
-91
Let q(c) = -c**3 - 11*c**2 - 22*c + 16. Let i be q(-8). Is i less than or equal to 3/266?
True
Let v(b) be the second derivative of -b**4/12 + 7*b**3/6 - 9*b**2/2 + 10*b - 2. Suppose 5*y - y - 28 = 0. Let p be v(y). Is -9 < p?
False
Let t be (-9 + (11 - 5))/((-33)/(-46)). Let a(h) = -h**3 + 5*h**2 + 3*h + 14. Let r be a(6). Are t and r unequal?
True
Suppose -5*k = 78 + 67. Suppose 4*u - 28 = -3*a, -5*u - 7 = -27. Suppose g + a*g + 140 = 0. Which is smaller: k or g?
k
Let u = -20978 + 20978. Is u not equal to 2.3852?
True
Let q(j) = -3*j**2 + j - 2. Let a be q(1). Let p be 2 + 3/(-2) + 2/a. Which is greater: p or -3/14?
p
Suppose -4*y - 48 = h, 0*h - 5*y = -h - 3. Let j = 47 - 49. Let f be (-4)/h*j - (-178)/476. Which is greater: -1/2 or f?
f
Let n = 1533 + -964. Is 1708/3 smaller than n?
False
Suppose 156 = 4*x - 0*x. Let l be 508/14 - (2 + 72/(-42)). Suppose l*s + 30 = x*s. Is 8 smaller than s?
True
Let n = 9 - 6. Let a = 3304/3 + -1092. Let o = -9 + a. Is n <= o?
False
Suppose t - 524 = -5*l - 1692, -3*t - 3618 = -4*l. Which is greater: t or -1194?
-1194
Let b(f) = 809*f + 808. Let g be b(-1). Which is smaller: 2/12189 or g?
g
Let t = 303 - 301.53. Let r = -0.83 - t. Let q = 0.3 + r. Is 0 bigger than q?
True
Let v = -6233 + 6232.295. Is v != 3/7?
True
Let h = 1728 + -1766. Is -3 > h?
True
Let o = -1738 - -7752. Is o less than 6015?
True
Let f = -6.5 + 1.5. Is 73 at least f?
True
Let t(y) = -2*y**3 - 3*y**2 + 63*y - 50. Let a be t(6). Do -200 and a have the same value?
False
Let q(k) = -69*k - 607 + 2*k**2 + 1233 + 16*k - 566. Let t be q(24). Is t bigger than -117/2?
False
Let b = 0.3671 - 0.3171. Which is bigger: 650 or b?
650
Suppose -k + q + 702 = 0, 7*q = -5*k + 5*q + 3496. Let p be 4 + (k/91)/(-2). Which is bigger: p or -32?
p
Let v = -335.953 + 336. Let o = v + -0.147. Is 1.55 greater than o?
True
Let n = 236 - -48. Let x = -284.32 + n. Which is bigger: -2 or x?
x
Let f(c) be the second derivative of -25*c**3 - 17*c**2/