
Suppose 2*o - 88 = 3*n + n, -5*n + o - 113 = 0. Let v = n - 346. Is v smaller than -368?
True
Suppose -4*t - 3 - 1 = k, 0 = 2*k - 8. Let z be t/3 - (-5)/((-405)/(-24)). Is 0 > z?
True
Suppose 8*f = 4*f + 4. Let k be ((-4)/(-4))/(f/1). Let t be (k - 3/4) + 4/(-16). Is t at least 1/17?
False
Let z = 540 - 52379/97. Let u = z - -45/5044. Are u and 0 non-equal?
True
Let z(p) = -p**3 - 4*p**2 + 3*p + 3. Let w be z(-5). Let t be 2 + (-3 - 11) + -5. Let v = t + w. Which is smaller: v or -1?
v
Let z(i) = -2*i**2 + 351*i + 351. Let g be z(-1). Is g at most -104/187?
True
Let m(n) = -37*n**2 + 81*n**2 - 45*n**2 - 10*n - 10. Suppose 27 = -12*b + 9*b. Let q be m(b). Is q > 5/19?
False
Let v = 12 - 13. Let t be (6/(5748/(-2870)) + 3)*6/4. Is t at least v?
True
Let l = 258419 - 258599. Suppose -358 = x + x + 3*c, x = 2*c - 179. Which is smaller: l or x?
l
Let f = 1681 - 21787/13. Let q = f - 409/78. Let r be ((-1)/(-3))/((-2)/6). Which is bigger: r or q?
q
Let o = 411.1 + -458. Let q = 0.1 - o. Let w = -108 - -109. Which is bigger: q or w?
q
Let o = -3.976 + 3.926. Which is smaller: o or -141?
-141
Let h = 620.9 + -655. Let q = h - -34. Is q != -6.04?
True
Let m = 56/1759 - 2417398/75821695. Which is smaller: m or 0?
m
Let f(n) be the second derivative of n**4/12 + 5*n**3/3 + n**2 + 2*n. Let m(s) = 5*s - 41. Let a be m(7). Let c be f(a). Are -21 and c nonequal?
True
Let u = -142066 + 704673/5. Let m = 1124 + u. Is m at most as big as -6?
True
Let t be (15/18*9/30)/((-297)/(-49032)). Which is bigger: t or 41?
t
Suppose 36*t - 24*t + 38*t + 595600 = 0. Which is greater: t or 0?
0
Suppose 0 = -730*c + 372*c + 365*c - 14. Is c greater than 37/16?
False
Let l = -641 - -638. Suppose 0 = -18*b - b - 152. Is l less than or equal to b?
False
Let p = -365.6 - -477.6. Which is greater: -0.2 or p?
p
Let i(r) = 13*r**2 - 198*r + 64. Let g be i(15). Let d = -3 + 2.8. Which is bigger: d or g?
g
Let x be -7 - (-10 - 537/96). Which is bigger: x or 9?
9
Let v = 3154 + -3156. Let s = 7 + -5. Is v <= s?
True
Let j = -0.2 + 0.3. Let x = 52227.4 - 52237. Is j bigger than x?
True
Suppose 17 = -2*m + 379. Let u = m + -271. Is -91 at least u?
False
Let f = 1236 - 1244. Let u be 3/(-108) - (-2)/8. Is f greater than u?
False
Let f be 1444/20 + 0 + 2/(-10). Let w = f + -58. Let a be (-119)/w - -8 - 43/(-6). Which is greater: a or 2?
a
Suppose -32*v + 42*v - 600 = 0. Suppose 3*x - 3 = 2*x. Let z be 344/v - x - 3. Is -1 < z?
True
Suppose -11*n - 8 = -13*n. Let h(q) = -q**2 - 7*q + 2. Let p be h(-7). Suppose -5*u = -4*c - 19, p*u = 3*c - 2 + 11. Is u greater than or equal to n?
False
Let y = -2612132299349/8996 - -290365974. Let u = y - -1/692. Is 8 equal to u?
False
Let k be ((-7)/147*3)/(4/28). Which is bigger: k or 3/407?
3/407
Suppose 2*m + 2 = 102*n - 99*n, 5*m + 20 = 0. Let p be 16/72 - 1324/(-11808)*n. Which is greater: p or 0?
0
Let h = 34 - 14. Let r = -88 + h. Let q = 69 + r. Is q < 2?
True
Let p = -16.02 + 0.02. Let h = p - -48. Let a = -29 + h. Is a greater than -2?
True
Let c(a) be the second derivative of a**4/6 + 7*a**3 - a**2 - 34*a - 2. Let d be c(-21). Is d at least -12/19?
False
Let h be 84/(-46) + 11/((-55)/(-10)). Let q(c) = 58 - 6*c**2 - 13*c + 5*c**2 - 29 + c. Let p be q(-14). Are h and p equal?
False
Suppose 7*z + 90 = z. Let v = -14 - z. Let x be ((-27)/(-4) + -5)*-4. Is x < v?
True
Suppose 60*n - 47*n + 130 = 0. Let j be 0 - -2*n/(-358). Which is greater: j or -1?
j
Let p = 830 - 27388/33. Let i be ((-3)/2*(-126)/(-3969))/((-2)/7). Is p equal to i?
False
Suppose -91 = -3*b - 25. Let l be -6*b/(-33) + (-76)/10. Is l at least 0?
False
Let q(a) = 15*a**3 - 6*a**2 - 44*a - 47. Let h be q(-3). Which is smaller: -384 or h?
-384
Let t(y) = -78*y + 1479. Let v be t(21). Are -212 and v nonequal?
True
Suppose 5*o - 3*f + 4*f - 6494 = 0, -3898 = -3*o - f. Suppose 23*m + 286 - o = 0. Which is bigger: m or 46?
46
Let o = -25 + 24. Let j be 9 + 31784/1740*(-130)/264. Are j and o equal?
False
Suppose 0 = 57*z + 48 - 105. Let d = -970 + 70812/73. Is z smaller than d?
False
Let v = 708 - 708.198. Is 0 <= v?
False
Let f = -338 - -336. Is f greater than -41/77?
False
Suppose -21*d + 12*d = 459. Let l = -63 - d. Suppose 4*o + 23 = -2*x - 21, 4*x + 16 = 0. Which is greater: o or l?
o
Let r(t) = -817*t + 18. Let h be r(-9). Let p be (-16)/(-72) + (-1800)/h. Which is smaller: p or 0?
p
Let x = 1.05 + -0.05. Let l = 7.3 - 79.3. Let h = l - -88. Which is greater: x or h?
h
Suppose -4*v = -872*y + 870*y + 26, 4*y = 2*v + 16. Is 142/107 at most as big as y?
False
Let l = -157091829/40 - -3926806. Let n = 490 + l. Which is greater: -1 or n?
n
Let x = 43 + -51. Let j be 10/40*-335 + (-6)/x. Is j at most -83?
True
Let o = 127 - 128. Let n be o*3/(2 + 1). Is 2/125 at most as big as n?
False
Suppose -6*i + 3 = -15. Suppose 2*r = -i*r + 15. Suppose -k = -r*k + 4. Is k at most as big as -1?
False
Let f = 33.96 + 1637.04. Is f != -1?
True
Suppose 0 - 25 = -5*b. Suppose -b*d = -2*v - 351, -5*d + 360 = -5*v - 0*v. Let t = d + -41. Which is smaller: 27 or t?
27
Let f be (-9)/(6/(-7 + 1)). Let g = 100.9 - 114. Let p = g + 13. Are p and f unequal?
True
Let v(w) = 2*w**2 + 5*w - 3. Let q be v(-3). Let f(n) = -n + 7. Let z be f(3). Suppose q*a - z = a. Are a and -7 unequal?
True
Let p be (-118)/177 - 2*1/6. Let b be ((8/8)/(p + 0))/1. Is b >= -120?
True
Let j = 4 - 5.4. Let n = j - 0.3. Let y = 2 + n. Is y < 2?
True
Let n = -217/772 + 6/193. Is n < -1857?
False
Suppose 5*n = 415 - 415. Suppose 2*m = -5*p, -2*p = 4*m - 2 + 18. Let f be (3/p)/(10/(-40)). Is n less than f?
False
Let p(f) = f**2 + 8*f - 9. Let u be p(-7). Suppose 97*o - 586 + 1050 = -1185. Is u > o?
True
Suppose 3*z = k + k - 144, -69 = -k + 3*z. Suppose 2*v = v, 5*m + k = -v. Is m greater than or equal to -57/4?
False
Suppose t - 510*g + 509*g = -816, -5*t - 4072 = -3*g. Is t at least as big as -810?
False
Let r = 2.138 - 1.83. Let o = r - 0.108. Is o >= 32?
False
Suppose 1 = -4*x - 3*n, 2*x - 23 = 5*n - 4. Suppose -4*s = -5*l + 156, x*l = -s + l - 39. Is -39 smaller than s?
False
Let c = -29382 + 29381.855. Are c and -12 equal?
False
Let o = 35 - -32. Let a = o + -56. Let w = a - 9. Which is smaller: 15 or w?
w
Let d be 285/(-380) + ((-2)/((-24)/(-35307)) - -1). Is -2935 > d?
True
Let a = 1963499/420 - 4675. Are a and 1 equal?
False
Let r = -3490 + 3457. Let p be (-1164)/35 + (-4)/28. Which is greater: r or p?
r
Let z = 209.9 + -155.225. Let a = -0.675 + z. Do 0.4 and a have the same value?
False
Let o = -57/638 - -5/22. Which is smaller: -0.63 or o?
-0.63
Let q(k) = -1346*k - 3558. Let z be q(22). Is z at least -33170?
True
Let b = 1710 + -1711. Let s be 24/(-45)*4/(-72). Which is smaller: s or b?
b
Suppose 0 = -22*u + 2*u + 900. Suppose 4*z - 5*i - u = -z, 3*z - 43 = -i. Which is smaller: z or 14?
z
Let u be (2/(-6))/(641/(-1923641)). Which is smaller: 1000 or u?
1000
Let w be ((-6)/(-4))/((-6)/84). Let z be (-308)/w*(2 - 5/3). Which is bigger: z or 6?
6
Let s be (0 - 10)/(1/(665/10)). Let t = s - -666. Which is greater: t or 4/169?
t
Let j be ((-2)/(-10))/(2/14). Suppose 0 = 5*a - a - 48. Suppose 0 = -5*d - 9 - 6, 3*v + 4*d = -a. Is v bigger than j?
False
Suppose 5*n - 4 = 3*n. Let v be (-1)/(n/(-8)) - 3. Let i be (0/(-3) - -3)*v*1. Which is greater: 21/8 or i?
i
Let m = 1 + 4. Let f = 229 + -215. Suppose 0 = f*j - 67 - 45. Is j greater than or equal to m?
True
Suppose 3*g - 2*g = 0. Let m be (15/6 - 4)/((-1395)/992). Are m and g equal?
False
Let p = -3894.2 + 3907. Which is bigger: -26 or p?
p
Let d = -0.22 + 38.1038. Let n = 0.0662 + d. Let m = -38 + n. Is 3/4 smaller than m?
False
Let p = 3.607 - 49.607. Which is bigger: p or -0.032?
-0.032
Let o(a) = 197*a + 1181. Let g be o(-6). Which is greater: 1245 or g?
1245
Let q(u) be the second derivative of -u**4/2 + 41*u**3/6 + 45*u**2/2 + 9*u + 8. Let m be q(9). Which is smaller: m or -0.1?
m
Let d be 6/(0 + (4 - 5)). Let c(i) = 2*i**2 + 5*i + 18. Let o be c(d). Suppose -26*g + 1180 = -6*g. Is g greater than o?
False
Let t = 0.02649 + -0.12649. Is 98 at most as big as t?
False
Let h(s) = -s**2 + 8439*s + 50667. Let x be h(-6). Let c be (0/(-2) - -31)/(-8). Is c equal to x?
False
Suppose 147*y = 154*y. Are y and 2/2741 nonequal?
True
Let d = 187.15647 - 0.42647. Let w = d - 184. Whi