l = -52*w. Which is smaller: 40 or w?
40
Suppose 5*b - 60 = -2*m + 2, 0 = 4*m - 5*b - 184. Let k = 4 + -4. Suppose 0 = -p - 5, k*p - m = 2*i + p. Which is smaller: i or -17?
i
Let o be 5/50*315/126. Let v = 1 + -3. Is v greater than or equal to o?
False
Suppose 3*z + 2*h - 5 = 0, -5*z + z + 5*h = 24. Let l be (539 - 0)*69/(-145015). Let d = -16/65 - l. Which is smaller: d or z?
z
Let l = 2059.53564 + -2059.5. Is l > 1/4?
False
Suppose -40 = -11*y + 19*y. Let a be (209/55)/((-6)/y). Which is greater: a or 0.1?
a
Let b = 875 + -863.1. Let o = b + -10.5. Let d = -9 - -5. Which is bigger: o or d?
o
Let b = -0.068 + 11.068. Let f = 0 + b. Which is bigger: 9 or f?
f
Let j(k) = -3*k + 4*k**3 - 6 - 7*k**2 - 3*k**3 + 10*k. Suppose 11*x = -12*x + 138. Let g be j(x). Is -2/99 equal to g?
False
Let p = -7 + 7.86. Let m = -3475/3 - -1158. Which is bigger: p or m?
p
Suppose 5*n = 15, 131*h = 136*h - 3*n + 29. Let m = 0.5 - 0.56. Which is greater: h or m?
m
Let w = -130919/166162155 - 1/66705. Which is smaller: w or -1?
-1
Suppose -3*l - 24 = -0*z + 3*z, -5*z = -2*l - 23. Let o be (0 - -5) + 7*(-12)/(-21). Let q be ((-2)/o - 0) + (-47)/l. Which is bigger: q or 16?
16
Let q be (60/80)/(-2 - (-3782)/112). Which is smaller: q or -1?
-1
Suppose 13*s - 2*s = -22. Let v(o) = 2*o**2 - 4*o - 10. Let t be v(s). Is t > 4?
True
Suppose 105 + 108 - 213 = -8*w. Is w not equal to -1/248?
True
Let s = -20992 + 21131. Which is smaller: s or 981/7?
s
Let h(c) = 14 - 8 + 49*c + 52*c + 61*c. Let p be h(5). Let l be p/(-210) - 4*-1. Is l < -1?
False
Suppose 0 = -4*u - 1159 - 1117. Suppose 0 = -4*h - 5*t - 2296, 5*t - 126 = -2*h - 1284. Does h = u?
True
Let l(n) = 3*n**3 + 16*n**2 + 8*n + 17. Let t be l(-5). Let v be t/((-2)/9 - 0). Which is bigger: -15/2 or v?
-15/2
Let l = -44 + 31. Let v(m) = -3*m**3 - 103*m**2 - 357*m + 7. Let i be v(-4). Is l at most i?
False
Let w be 5/(-6) + ((-116)/(-24) - 5). Let h = -1385/1806 + 16/129. Does h = w?
False
Suppose 0*o - 5*m = o - 9, -16 = -3*o - 4*m. Suppose 3*p = o*s + 65, -5*s + 97 = 9*p - 5*p. Is 25 bigger than p?
True
Suppose -5*z = y + 5904, 3*z - 3*y = -4248 + 720. Let j be z/15 + 6/9. Which is smaller: -79 or j?
-79
Suppose 270 = 3*x - 0*x. Let p be x/(-36) + 1/(-2). Let f be (-11)/(-3*p/(-18)). Is 23 < f?
False
Suppose 18*y = 14*y + 20. Suppose -10 + 25 = y*n. Suppose n*x - 27 = -4*i - i, -3*i = -2*x - 1. Which is smaller: 1 or x?
1
Let m be (-88)/(-286)*(-1)/(4/42). Let t = m - -1289/403. Let r = 2 + -2. Which is bigger: t or r?
r
Let y = 186583/136068 + -122/1173. Is y smaller than 0?
False
Let a(v) = -v**3 + 12*v**2 + 11*v + 31. Let k be a(13). Suppose -2*r = -x - 83, -3*x - k*r + 9*r = 245. Is -81 greater than or equal to x?
False
Let m(a) = -78*a + 114. Suppose -6*s - 78 = -19*s. Let p be m(s). Is -354 >= p?
True
Let v(w) = w**3 - w**2 + 2*w - 3. Let k be v(2). Suppose b - k*r + 24 = -23, 43 = -b + 4*r. Let x = -27 - b. Which is bigger: x or -2/21?
x
Let m be 4/14 + 3050/7. Suppose 14*b + 2*x = 1179 + 4921, -5*b + 2184 = -2*x. Is m greater than b?
False
Let j(d) = 14*d**3 + 6*d**2 - 7*d + 8. Let q be j(2). Is 128 <= q?
True
Let k be (((-54)/(-4))/(-3))/(15/40). Let v(s) = 3*s + 1 + s**2 - 10 + 0 - 2*s**2. Let h be v(4). Is h at least as big as k?
False
Suppose 2*f + 0*p - 5*p = 321, 2*p - 165 = -f. Is 167 at least f?
True
Let s be 19/((-19)/4)*2*1. Let w be (1 + 9)*(s/4 + 9). Is w >= 68?
True
Suppose 4*i = -3*l - 24157, -34*l + 30*l + 5*i = 32292. Is l bigger than -8063?
False
Let y(c) = -3*c**3 - 37*c**2 - 11*c + 6. Let g be y(-12). Let x be (3 + g + 1)*-8. Let r be 0*(-2)/8 - 18/x. Are r and -1 non-equal?
True
Suppose -10*s + 6 - 119 = 27. Let j(f) = -f - 8. Let h be j(14). Is s > h?
True
Suppose -2*m - 5*d = -547 + 42, -3*d + 499 = 2*m. Suppose 3*h + 286 + m = 0. Is -177 < h?
False
Let p(s) = -26*s - 34. Let q be p(-1). Which is smaller: q or -11?
-11
Suppose 2397*t - 2399*t + 44 = 0. Let z be 106/4 + 3/(-6). Is z < t?
False
Let t = 704089082/207 + -3401426. Let m = -266/9 - t. Which is smaller: m or -0.1?
-0.1
Let v be 2082/(-54) - ((-40)/18 - -2). Let i(q) = 2*q + 9. Let n be i(-5). Let k(h) = 37*h**3 - h**2 + 2*h + 1. Let d be k(n). Which is smaller: v or d?
d
Suppose -3*f = -2*l - 223, -14*f + 9*f = 4*l - 335. Which is smaller: 76 or f?
f
Let q = 1983/5746 + -57/338. Let w = -0.4 + 1.4. Is w greater than or equal to q?
True
Let q = 12450.2 + -12447. Is q at least -2?
True
Let f be 13/4 + ((-7)/(-4))/(-7). Let z be -13 - -13 - (-1 - (1 - f)). Let x = -1751 - -20993/12. Are z and x unequal?
True
Let k = 14.39 + -2.39. Let t = 29 - k. Are t and 1 non-equal?
True
Let j be 2/8*0/21 + -4. Let p be (3 - 4)*(j + 6). Which is smaller: 2 or p?
p
Suppose -3*m = -7*m + 4. Suppose 5*l - 19*w + 108 = -21*w, w + 109 = -5*l. Is l less than or equal to m?
True
Let b be (-47)/(-5) + 45*(-12)/60. Which is greater: -0.228 or b?
b
Let y(g) = -4*g**2 - 61*g - 5. Let k be y(-15). Suppose 2*w - 20 = 6*i - k*i, 80 = 4*w - 2*i. Do 13 and w have the same value?
False
Let k = 2.9645 - -6157.0355. Which is bigger: k or -1?
k
Suppose d = -2*l + 1 + 1, 5 = 5*l - 3*d. Let o = 17052596/159 + -107249. Is o at most l?
True
Let y = 104847/65 - 1613. Let w = 9 - 6. Let u(x) = -x**3 + 3*x**2. Let r be u(w). Which is bigger: y or r?
y
Let b = -228.7889 - 1.2111. Which is smaller: 1/6 or b?
b
Suppose 52*h - 12608 - 14587 = -53*h. Suppose -l - 1042 = -4*j, 2*j + 156 - 680 = 2*l. Is h at most as big as j?
True
Let v(g) = g**2 - 26*g + 120. Let a be v(20). Suppose a = -3*n + 7*n. Which is smaller: n or 9/53?
n
Let m(s) be the third derivative of s**4/6 + s**2. Let c be m(0). Let o = -2/305 - -254/1525. Which is smaller: o or c?
c
Suppose -4*i + 260 = -656. Let d = 425 - 197. Which is greater: d or i?
i
Let c = -14839/481 + 114/37. Is c at most as big as -28?
False
Let b = 5523 + 8863. Is b greater than or equal to 14387?
False
Let q be (-3)/24*-24 - 1188/(-2). Let f = -958 + q. Is f not equal to -360?
True
Let t be ((-553)/28 - 2) + 2/(-8). Let k be t/5*(23 + -18) + -1. Suppose -23 = 2*l + 23. Is k less than l?
False
Let v = 9930 + -9929.7. Let x = -14 + 14.13. Is x at most v?
True
Let x = -129 + 221. Suppose -11*b - x = -433. Is 94/3 less than b?
False
Let c = 79.4 - 90. Let g = -7.6 - c. Is g != 30?
True
Let k be (2*-9 + 0)*19. Let d = -25301 + 25302. Is k smaller than d?
True
Suppose 2*i - 78 + 274 = 0. Let n be (54 - 55)/(2/194). Is n bigger than i?
True
Let z be 5/2*(5 - (-47536)/80). Is z != 1498?
False
Suppose -2*l - 2 = -3*c + 3*l, 9 = -4*c - 5*l. Suppose -2*r + r + 1 = 0. Let d be 155/(-750) - r/(-6). Is c equal to d?
False
Suppose -r + 9 + 3 = -k, 4*k + 16 = 2*r. Suppose -11*x = -r*x + 25. Suppose -2*n = -x*z - 2 - 4, 4*z + 24 = 4*n. Which is greater: 1 or n?
n
Let i(j) = -j**3 + j + 70. Let y be i(0). Let s be (-224)/3 - (-180)/(-54). Let z = s + y. Which is greater: z or -7?
-7
Suppose 10*w + 2*u = 5*w + 2332, -u = -3*w + 1408. Let y be (-9)/(-12)*13/(w/664). Is y >= 13?
True
Suppose -12*p = -15*p + 9. Suppose -6*x - p - 3 = 0. Let z = 341 - 4091/12. Which is bigger: x or z?
z
Let s be (-12)/(-5)*(-4 - (-12)/18). Let b be s + 1 + 2 + -1. Let q = b + 45. Which is bigger: q or 38?
q
Suppose -7542 = 4*s - 5*r, 0 = -2*s + 3*r + 2*r - 3776. Let k be -4 - s/574 - (-1)/(-2). Which is smaller: -2 or k?
-2
Let u be 2/(-10) - 704/(-20). Suppose -u = -2*c + 5*x, 2*c - 4*c + 5 = x. Suppose 3 = 5*b + c*d - 12, 0 = -2*d + 8. Is 3/10 >= b?
True
Let p be (-3642)/4*348/783. Are p and 1 equal?
False
Suppose -u - 476 = 1344. Let m be (-4)/(-26) - (-228)/u. Let a = -94/385 - m. Are a and -1 non-equal?
True
Let y = -24230 + 24309. Which is bigger: 82 or y?
82
Let w = -207/8 - -27. Let y = -457 + 450. Let h be (-35)/15*6/y. Which is bigger: w or h?
h
Let t = -2712 + 2655. Let r be (-59 + 4)/(2 + -1). Is r at most t?
False
Let y = -29466.001 - -29454. Let x = -12 - y. Let z = x + 0.499. Which is smaller: 0.01 or z?
0.01
Let t(z) = 21*z + 179. Let i be t(-7). Suppose 4*o = -32 - i. Is o greater than -20?
True
Let z = 9.9 - 10.1. Let y = -144 + 102. Let h = y + 34. Which is bigger: z or h?
z
Let y = 7133/3 - 2434. Do -56 and y have different values?
True
Let k(a) = 2*a**2 + 24*a - 7. Let d be k(-12). Let o be 25/(-70) - (-1)/d. Which is smaller: o or -2?
-2
Let n = 22