reater than -2?
False
Let o(b) = -182*b + 13. Let r be o(-20). Suppose -821 = -6*x - r. Let l = 8964/19 + x. Which is smaller: 1 or l?
l
Suppose 17828 = 123*j - 18580. Is j not equal to 3241/11?
True
Let j = 24451157/1201 - 20359. Let d = -5947/34829 + j. Let a = d - 13/261. Which is smaller: a or 2?
a
Let k be ((-12)/(-296))/((-2)/34728). Suppose 17*x + 15 = 14*x, -x + 2811 = -4*h. Let m = k - h. Is m equal to -1?
False
Let h = 3.2 - 3. Let a be (-2196)/129 - -11 - (-56)/4 - (4 - -4). Is a at least as big as h?
False
Let z be 2 - 2 - (-3)/433. Let w = z - 4778/2165. Suppose 152*m + 245 = -211. Which is greater: m or w?
w
Let v(o) = -o**3 - 16*o**2 - 19*o - 55. Let w be v(-15). Suppose -3*y - 1 = -0*y - 2*n, w*y = -5*n + 15. Do 1/37 and y have the same value?
False
Suppose 4*y = -p + 576, -13*p + 18*p - 163 = -y. Suppose -148*q + y*q = 70. Which is bigger: -12 or q?
-12
Suppose 4*r = -x + 5724, 0 = 20*r - 29*r + 3*x + 12858. Which is smaller: 1429 or r?
1429
Let m be 3/21*(-87 - -1). Let h = -491/28 - m. Let j = h + 49/20. Which is smaller: j or -4?
-4
Let w = -148669/9102 - -1/3034. Which is smaller: 13 or w?
w
Let m(q) = -q**2 - 8*q + 8. Let f be m(-8). Let a be ((-3)/(-114))/(36/f). Is 0 greater than a?
False
Let b = -3.88 - -4. Let h = -182 + 186. Let c be ((4 + 10)/(-7))/h. Is c bigger than b?
False
Suppose -1664*d - 2304 = -1696*d. Is 643/9 <= d?
True
Let g(y) = 0*y**2 + 5*y + 4*y**2 + 3 - 5 - 8*y. Let c be g(-3). Let u = 42 - c. Is u greater than or equal to -1/5?
False
Let s(k) = -k**2 + 11*k - 14. Let b be s(10). Let f(x) be the first derivative of 2*x**3/3 + 3*x**2 - 5*x - 179. Let n be f(b). Which is bigger: 16/7 or n?
n
Let x be (-6)/(-21) + (-2379)/21. Let b = -563/5 - x. Suppose 9*a - 4*a + 12 = 4*f, -2*a + 2*f - 4 = 0. Is b >= a?
True
Let c = 6.92 - 7.9. Let r = -1 - c. Let m be 4/(-8)*0 + -3. Which is smaller: r or m?
m
Let x(v) = 20*v - 1. Let j = 181 + -180. Let b be x(j). Which is bigger: b or 0?
b
Suppose -64*w = -85*w. Suppose w = -a + 2*d + 123, 33 = 4*a + 5*d - 420. Let y be (-4)/6 - (-22)/24. Does a = y?
False
Suppose 168 = -15*m + 99*m, -5*m = 5*v - 10. Let a(n) = n**3 + 6*n**2 + 5*n - 4. Let x be a(-5). Let f be (x/6)/((-5)/(-3)). Which is smaller: f or v?
f
Let d = -2337773/5 - -466075. Is d greater than -1479?
False
Let x = -8.192 - 96.778. Let w = x + 2.97. Which is smaller: 2/3 or w?
w
Let r = -10 - -8. Let d(n) = n**2 + 12*n - 13. Let f be d(-13). Let k be -12 + 15 + (f - 10). Which is smaller: r or k?
k
Let f(k) = 12*k - 25. Let l(u) = 19*u - 37. Let z(t) = -8*f(t) + 5*l(t). Let j be z(20). Is j equal to -66/13?
False
Let n(u) = 10*u**2 - 558*u - 189. Let s be n(55). Is -627 greater than or equal to s?
True
Suppose 0 = 8*t - 3*t - 20. Suppose -5*y = -3*y - 14. Suppose -3*i + y = t. Which is smaller: i or 1/2?
1/2
Let t = -3.58 - -0.08. Let w = -366 + 364.12. Let j = w - -0.88. Which is bigger: j or t?
j
Let a = 7722 - 7196. Which is bigger: 530 or a?
530
Suppose 4*x + 2*u + 0 - 4 = 0, 4 = -2*u. Suppose f + x*f + 70 = 2*v, -2*f + 50 = 2*v. Let r be (-8)/(-12) - (-82)/3. Which is smaller: v or r?
r
Let u(w) = -w - 15. Let i be u(-17). Suppose 5*q + o = 4164, -4*q + 1671 = -i*q - 5*o. Is q > 833?
False
Let f be 4/(-46) + (-5440)/117300. Is f greater than or equal to -814?
True
Let o be 15 - (8 + (-432)/(-117)). Is o at least 4?
False
Let x(q) = -16*q - 2. Let d be x(3). Let p(f) = -3*f**2 + 124*f + 258. Let h be p(43). Let m = h + d. Is m at least as big as -12?
True
Let r(v) = -46*v**3 + v**2 + v - 1. Let s be r(1). Let b be 12/9 - (-5)/s*3. Let z be (16/(-10))/(b + (-15)/25). Which is smaller: 6 or z?
z
Let s be (-1 + (-1714713876)/167272)*-2. Let w = s - 143527/7. Let i = -4/103 + w. Is i less than 1?
True
Let v = -2542.46 + 2543. Which is greater: v or -34?
v
Suppose -3*o = 115*h - 112*h, h = -2*o - 5. Is h greater than or equal to 5?
True
Let s be (-1 + 11)*(3 + -2). Let y = 647 + -639. Is s > y?
True
Let i = -7 - -6. Suppose 12 = -18*k + 19*k. Let l be (-17)/k - 29/(-174). Is i bigger than l?
True
Suppose -4*u = -2*r - 0*r + 22, -2*u = -2*r + 14. Suppose 7*b = r*o + 3*b + 17, -2*o = 5*b - 27. Is -2/35 at most as big as o?
True
Suppose 683*b + 540 = 688*b. Let v be 9/(-28)*(-24)/b. Which is greater: 0 or v?
v
Let f = -13 - -13.1. Let z = 2514/5 - 503. Is z at most f?
True
Let w = 0.9 + -1. Let d be ((-14)/(-147)*14)/((-4)/(-3)). Suppose -d = -z, -3*s - 4*z = -s + 6. Which is smaller: s or w?
s
Suppose 9*v - 81671 = 7915. Let f be 8/(-28) - (-2760)/v. Are -1 and f nonequal?
True
Let s = 11765 + -16034. Which is bigger: s or -4270?
s
Let z = -6904 - -6228. Which is bigger: -673 or z?
-673
Suppose 3358 = 7*r + 1075 - 2841. Which is greater: r or 730?
r
Let s(k) = k**3 + 34*k**2 + 47*k + 325. Let l be s(-33). Is l at least as big as -140?
True
Let o = -5801589/179 + 32411. Which is bigger: o or 0?
0
Suppose -12*l + 96 = -18*l. Let s be ((-24)/l)/(115/58 - 2). Let i(d) = -2*d**2 + 8*d + 3. Let f be i(-5). Is s bigger than f?
False
Suppose -2*y + 4*t - 7 = 69, -y = 2*t + 22. Let m be 59 - (14/10 - (-12)/y). Suppose 5*q + 2*z + m = 0, q + 18 = -2*z - 0. Which is bigger: q or -11?
q
Let z(j) = -155*j + 13232. Let s be z(80). Is s smaller than 846?
True
Let r = -244 - -273. Let z(t) = t - 20. Let u be z(11). Let b = u + r. Which is bigger: 19 or b?
b
Let l = -18945/4 - -41259/8. Let g = l - 393. Are 28 and g non-equal?
True
Let b = -3576 + 3575. Are b and -1/6 non-equal?
True
Let k(h) = -h**3 - 3*h**2 - 2*h + 2. Let y be k(-2). Let f be (-37 - 10)*2*(-1)/y. Let r(s) = 47*s**2 - 3*s - 2. Let a be r(-1). Is a <= f?
False
Let i = 3.68 - 4.68. Is i >= 304?
False
Let p be (-3)/6*(1541 + 1). Let t = 11561/15 + p. Suppose -2*m - 143 + 145 = 0. Which is bigger: m or t?
m
Let v = -8 + 70. Suppose -2*o + 19*z = 18*z + 165, 0 = -3*o - 5*z - 241. Let w = o + v. Which is bigger: w or -0.2?
-0.2
Suppose 3*f = -k - 13, -4*f - 19 = -4*k + 9. Suppose i - 200 = p - 519, p = -k*i + 325. Is p != 322?
True
Suppose 6*d + 3*g + 53 = 2*d, g = -2*d - 29. Let x be 5/((-25)/(-8)) - (-16 - d). Is x less than or equal to 2?
True
Let x be ((-4)/5)/((-24)/1500). Let h be (-50)/8*-2*40/x. Suppose -5*f + j = 4*j + h, -2*f = 3*j - 5. Which is smaller: 1 or f?
f
Let j be 3/27 + 156/54 + -4. Which is bigger: j or 10?
10
Let r = 79977/10 + -7999. Which is greater: r or 3/11?
3/11
Let b(h) = -h**2 + 12*h + 16. Let s(r) = -r**2 + 13*r + 15. Let l(q) = -4*b(q) + 3*s(q). Let f be l(10). Is -9 smaller than f?
False
Suppose 0 = p + 4*w + 4, 0 = -3*p + 2*p + w - 4. Let z be p/(-3)*(-24)/(-7). Does z = 5?
False
Let z = 176 + -190. Let q be (-46)/(-10) + (-1 - z/35). Let k be ((-20)/(-18))/(2/6). Is q > k?
True
Let w be (-1)/(3/28)*(3240/105 + -30). Which is smaller: -175/19 or w?
-175/19
Let m = -2.5062 + 2.3814. Which is bigger: 1/3 or m?
1/3
Let c = -76 + 43. Let j be (220/66)/(1/(-9)) - 1. Which is smaller: j or c?
c
Let x(h) = -9*h - 38. Let n be x(6). Let a = 13 + n. Which is smaller: -155/2 or a?
a
Suppose -w = -3*b, 0 = w + 4*b - 8 + 1. Let m be -3 + (21 - (-3)/w). Suppose 5*g - 3*a = -3 + 150, g + 2*a = m. Is 25 greater than g?
False
Let y = 51.06 + -50.96. Which is smaller: y or 110.9?
y
Let j = -0.0538 - 226.8462. Let f = j - -226. Which is smaller: 0.4 or f?
f
Let g = 1010 - 1014. Suppose s + 30 = -5*r, -2*r - s = -4*r - 12. Which is smaller: g or r?
r
Let r be 692/33*600/(-800). Is -15 at most r?
False
Let f = 184 - 130. Let r be (-4 + 2)/(3 + (-158)/f). Let i be r/(-36) - (-13)/(-12). Are i and -6/7 equal?
False
Let h(t) = 8*t - 1. Suppose -2*u = -3 + 7. Let z be h(u). Which is greater: -15 or z?
-15
Let k be -5997*1/(-12) - (-294)/(-392). Which is greater: 509 or k?
509
Suppose -4*m + 2*d = -4850 - 4130, 3*m = 2*d + 6736. Is 2244 at least m?
True
Let v = 20999.1 - 20999. Which is greater: v or 10365?
10365
Suppose 2*l - 26 = -4*i, 3*i - 3*l + 8*l - 16 = 0. Let a(p) = 20*p - 17. Let m be a(i). Suppose -128*j = -m*j - 150. Is j at most as big as 30?
True
Let a = 61246 - 61246.2. Let m = -1.8 + -0.2. Let j = m + 1.9. Is j at most a?
False
Let v = -62 - -60.81. Let l = v + 0.27. Let t = 0.8 + l. Which is smaller: -1 or t?
-1
Let k be (-6)/(-14) + 345/(-21). Let x = -7450 - -7436. Is x equal to k?
False
Let z(d) = -5*d**3 + 5*d**2 - 6*d + 2. Let a b