or z?
y
Let d = 172.6 - -1.1. Let c = -150 + d. Let y = -24 + c. Is -3 <= y?
True
Let q = 76/91 - 31418/37401. Suppose 7 = -g + 3, 0 = 5*k - 2*g - 3. Are k and q equal?
False
Suppose 0 = 3*o + 3 - 6. Let k be (0 - o) + 9 + -4. Suppose w - 66 = -k*x + 34, w - 52 = -2*x. Is x greater than or equal to 23?
True
Let d be (-5184)/192*74/(-6). Is 7 at most d?
True
Let u(l) = -3*l - 26 + 9*l - 20 + 4. Let q be u(11). Which is greater: -2 or q?
q
Suppose -14 + 2 = -18*i + 6. Which is smaller: 1/3873 or i?
1/3873
Let m = 5 - 14. Let i be (-4)/(-18) + (-88)/m. Suppose -173*p - 30 = -148*p - 155. Is i < p?
False
Let b(q) be the second derivative of q**4/3 - 8*q**3/3 - 7*q**2 + 15*q. Let j be b(-12). Let u = j - 65596/87. Which is bigger: 0 or u?
u
Let x = 433 + -433.1. Let s = 0.073 - 118.073. Is s > x?
False
Let f(j) = 4*j + 62. Let t be f(-13). Suppose -t*o + 556 - 546 = 0. Which is smaller: o or 2/187?
2/187
Let y = 23.925 + -16.926. Let s = -2329 - -2329.001. Let d = y + s. Is d less than or equal to 2/7?
False
Suppose -1223 + 299 = 28*m. Let u be 3 + 1*162/m. Which is smaller: u or -2?
-2
Let r = 969 - 674. Let d = 3379/11 - r. Is 11 equal to d?
False
Let t be 45 + -44 - (3 - 0). Let b(o) = o**3 + 2*o**2 + o + 1. Let p be b(t). Which is smaller: 1/10 or p?
p
Let o(r) = 3*r**2 - 93*r - 3083. Let d be o(-32). Is 2963 < d?
True
Let b = 130 - 122. Let o(l) = -l**3 + 14*l**2 + 3*l - 39. Let u be o(14). Suppose 7*n = -z + u*n - 4, 6 = z - n. Is z at most as big as b?
True
Let x be (135/(-360) - 5/8) + 2561. Which is greater: x or 2559?
x
Let q = -52/747 + -262591/1494. Which is smaller: q or -176?
-176
Let i be (8/(-5) - -1)*67912/(-3432). Let g = -146/11 + i. Which is bigger: g or -2?
g
Let v be (-4 - -5) + (-3 - 95/1). Let t = v + 93. Is -45/17 less than t?
False
Let i be 3214/1800 + (-19)/152*14. Is i >= -1?
True
Let i(a) = a**2 - 53*a + 494. Let w be i(41). Do 128.3 and w have different values?
True
Let r = 177/779 + -3337519/4674. Let z = r - -714. Do z and 0.5 have the same value?
False
Let b be 224/56 - (0 + 1 + 2). Let w be ((-1)/(-2))/(4*(-17)/b). Is -1 less than w?
True
Let d = 0.0359 - -366.9641. Let b = -367 + d. Is b <= -1/5?
False
Let c be (24/30)/((-2)/(-295)). Suppose -m + c = 4*m + a, 5*m - 126 = 3*a. Is m < 5?
False
Let z = 6.746 + -3.746. Is -965 less than or equal to z?
True
Let j be ((-313)/939)/(1/(-3)). Which is smaller: j or 13611?
j
Let a be 1137/11 + 7/(-1). Let l = a - 82. Is l > 13?
True
Suppose 3*d + 84 = 2*c, 57*c = 58*c - d - 45. Which is bigger: c or -0.6?
c
Suppose 0 = -5*c - 1 + 11. Let t = -0.72 - -0.72. Let v = 2 + t. Is v less than or equal to c?
True
Let l be 105/(-45)*-90*2. Suppose -76*a = -81*a - l. Is a at least 0?
False
Let c be 0/((-4*(-13)/156)/((-2)/12)). Let t = 817/15 - 55. Which is smaller: t or c?
t
Suppose 100*a = 19*a - 88*a. Is a greater than 33/413?
False
Let z(c) = -7*c**2 - c - 6. Let q(y) = -14*y**2 - 2*y - 13. Let a(j) = 6*q(j) - 13*z(j). Let x be a(-1). Let l be (3/x)/((-7)/(-14)). Is -1/9 at most l?
True
Let k(u) = 2*u - 9. Let v be k(5). Let h(x) be the second derivative of -x**5/20 + x**4/4 - 3*x**2/2 - 8*x. Let f be h(5). Which is smaller: f or v?
f
Suppose 97 = 2*i + 3*s, 7*i + 81 = 8*i - 5*s. Suppose i + 104 = -8*r. Is -6 smaller than r?
False
Let a = -178 - -326. Let p = 134 - a. Is -43/3 bigger than p?
False
Let l be 35/((-595)/68)*4/(16/18398). Is -18399 greater than or equal to l?
False
Let t(c) = 19 + 9*c**2 - 77 - c**3 + 35 + 9*c + 57. Let w be t(10). Suppose -4 = 5*u - w. Which is smaller: 7 or u?
u
Let v be 0 + 3/(3/(-13)). Let j = -14 + 17. Suppose 2*g - 11 + 45 = 4*m, -j*g - 5*m - 40 = 0. Is v at least g?
True
Let j be 7*15/140*8. Let o be (-3360)/(-4824) + j/(-9). Is 2/9 less than o?
False
Let w be -4 - ((-30)/801)/(5/535). Let y = w + 172/801. Are y and -2 equal?
False
Let h(v) = -39*v - 76. Let w = 408 - 414. Let c be h(w). Is c bigger than 157?
True
Let i = -19671257/2763222 - 6/65791. Let m = i + 95/14. Which is greater: -0.6 or m?
m
Let p be (16566/(-1653))/((-12)/(-6)*1) + 5. Which is smaller: 1 or p?
p
Suppose -11*x - 4 = -15*x, 3*x - 36 = -r. Suppose 0 = r*g - 3356 - 1726. Is g != 154?
False
Let r be ((-10)/24 - (-31)/(-124))/((-4)/14754). Is 2463 bigger than r?
True
Suppose -5090 = 8*o + 1988 - 1142. Is 18 greater than o?
True
Suppose 174*v - 8082 = 169*v + 4*j, 0 = 3*v + 4*j - 4862. Is v at least 1617?
True
Let k = -23163 + 23162.56. Is -2.6 greater than k?
False
Let u = 5/20124 - -62599/382356. Is u at most as big as -1?
False
Let f be ((-175)/20 - 1)/(-10 - (-15761)/1576). Do -15365 and f have different values?
True
Let x be (5/2)/(((-310)/3620)/31). Which is greater: x or -911?
x
Let r = 249.2 + -247. Let h = 11.2 - r. Is 16 smaller than h?
False
Let y(b) = -7*b - 1 + 11 + 4*b + 4*b + 2*b. Let j be y(-1). Are j and -22 unequal?
True
Let f be (98/(-45) - (-10)/(-45))*(-15)/(-2049). Is 0 <= f?
False
Suppose -1353 = 2*i + 5*c, i - 30*c + 32*c + 675 = 0. Let a = i + 668. Let k be (-1)/(66/147) - -2. Which is smaller: a or k?
a
Let x = -2.8 - 0.2. Let g = x + 4.2. Let n = -3 + 3.1. Which is smaller: n or g?
n
Let y(i) = 4*i**3 + 92*i**2 - 6*i - 137. Let x be y(-23). Let l = -6 - -8. Let v be ((-2)/l)/((-5)/5). Is v at most x?
True
Suppose 0 = 100*u - 144966 + 16855 - 64989. Which is greater: u or 1933?
1933
Let g = 6003 + -5329.2. Let m = -756 + g. Let a = m - -83. Are -1/8 and a equal?
False
Suppose -3*x - 3*q = -660, 135 + 956 = 5*x + 2*q. Let m be 6 + (4 - 10) - -218. Which is smaller: x or m?
x
Let d = 2891 - 1199. Suppose 30*s + d = 21*s. Which is smaller: -189 or s?
-189
Suppose 5*s + 6 = 4*i - 12, 4*i - 4 = -2*s. Let y be 160/(-14)*(-2)/10*s. Which is smaller: 0.3 or y?
y
Let f(d) = 4*d + 86. Let y be f(-31). Let z(h) = -h - 1. Let i(p) = -12*p + 6. Let t(k) = -i(k) + 9*z(k). Let m be t(-7). Is m <= y?
False
Let l be (240/(-100))/((-4)/10). Let i = -731 + 735. Is i > l?
False
Let d = 3 + 38. Let l be 6/(-5)*-71*5. Suppose -4*g - l = -594. Is d less than or equal to g?
True
Let r be (-26 - -28) + ((-20)/(-30) - (-122)/(-48)). Which is smaller: r or 315?
r
Let u = 2465.96 + 2.04. Is -1/2 >= u?
False
Let z(v) = -5*v**3 - 2*v**2 + v + 440. Let d be z(0). Which is greater: d or 447?
447
Suppose 140*r = 123*r + 183107. Do 10771 and r have the same value?
True
Let z = 3.686 + -484.686. Is z >= 2?
False
Let o(u) = -3*u**2 + 4*u + 4. Let j(x) = x**2 + x - 1. Let h(t) = -4*j(t) - o(t). Let d be h(-7). Is d not equal to 51/7?
True
Let u = -98 - -98. Let h(p) = -p**2 + 13*p + 32. Let l be h(15). Suppose l*a + 10 = u, -j + 4*j + a = -32. Which is bigger: j or -8?
-8
Suppose 3*j - 2*j + y = 16, -j = -y - 18. Let o(q) = q**3 - 19*q**2 + 36*q - 35. Let h be o(j). Is h less than -2/445?
True
Suppose 9*i = y + 4*i - 28, 0 = -5*y - 3*i. Suppose 5 - 233 = 78*r + 1800. Which is smaller: y or r?
r
Suppose 0 = -h - 78 + 26. Let x be (-1156)/28 - (-4)/14. Let f = h - x. Is -8 at least f?
True
Let h = 26750 + -26751. Is 1/3787 at most as big as h?
False
Suppose 0 = 4*f + 32 - 8. Let l(i) = -18*i**3 - 2*i**2 + 14*i - 13. Let n be l(1). Is n > f?
False
Let s = 38 + -38. Let w = 3 - s. Let t be w/(6/10) - 5. Which is smaller: -11 or t?
-11
Suppose -5*q = 5*n - 20, -3*q + 13 = -0*q + 4*n. Let f be (-77)/(-33) + (-1 - (q - 2)). Is f at least as big as 1.09?
False
Let v be 584/36 + 10/(-45). Let p be (v/4)/(2/12). Suppose -6*z + p = 2*z. Is z != 2?
True
Suppose 9597 + 744 = 160*g - 2139. Which is bigger: g or 143?
143
Let a(x) = -243*x - 1214. Let d be a(-5). Are d and 22/531 unequal?
True
Let f = 267.7 + -286. Let r = f + 39. Which is smaller: -1 or r?
-1
Let a be 9678/624 + (-3)/24 + -7 + -4. Which is bigger: a or 5?
5
Let t(s) = -4*s**2 + 22*s - 38. Let v be t(2). Let n(o) = 13*o + 139. Let g be n(v). Is g > 8?
True
Let i be 8*(-5)/(-2 - -12)*22/24. Are 4/23 and i nonequal?
True
Let r = -59 + -40. Let o = r + -22. Is -121 smaller than o?
False
Let g be 3*(-2 - -2 - -3). Suppose -5*d = 3*u - 465, -4*d - u - 3*u + 372 = 0. Let q = d + -251/3. Is g >= q?
False
Let u = 85667/900 + -98/225. Suppose -117*o + 121*o + 4*v = 352, 258 = 3*o + 4*v. Which is smaller: u or o?
o
Let l = 6.9 + -20.9. Let s = l + 11.7. Let g = s + 2.3. Is g less than or equal to -1?
False
Let d(j) = -j**3 - 90*j**2 - 935*