-5))*(-70)/21. Let n be l(d). Is n smaller than 89?
True
Let b be -385 - (-8 - (-273)/35)*-20. Is -3496/9 greater than b?
True
Let c(x) = -25*x + 215. Let d = 206 - 197. Let r be c(d). Is -7 equal to r?
False
Suppose 66*a - p - 2527 = 63*a, -5*p = -2*a + 1689. Is a smaller than 839?
False
Let p = -16336 + 16340. Which is bigger: p or -313.6?
p
Let z = -131 - -94. Let t = 13 - 10. Which is greater: z or t?
t
Suppose -45*j + 23*j + 5*j + 74579 = 0. Which is greater: j or 0.1?
j
Let c = 5719/286 - 401/22. Suppose -4*w - 3*t - 1 = -3*w, 7 = 3*w - t. Is c < w?
True
Let i be ((-183)/10)/((-174)/1740). Which is smaller: i or 918/5?
i
Let l(a) = a**3 + 16*a**2 + 14*a + 57. Let w be l(-15). Let o be (11 - 3)*w/(-208). Which is greater: -3 or o?
o
Let m be 802/3 + ((-5)/15 - 0). Let x = m + -535/2. Is 13 less than or equal to x?
False
Let g(k) = 13*k + 251. Let z(w) = -w**2 - 4*w + 25. Let m be z(5). Let x be g(m). Is x bigger than -9?
False
Let k(d) = 4*d + 22. Let b be k(-4). Let m(n) = -n + 6. Let l be m(b). Which is smaller: 1/189 or l?
l
Suppose -282*m + 281*m - 3*g = -4, -m + 5*g - 4 = 0. Which is smaller: -2/44525 or m?
-2/44525
Let n(m) = 189*m + 2740. Let b be n(-17). Which is greater: b or -471?
-471
Let q = -286 - -305. Let r = q - 50. Which is smaller: -29 or r?
r
Let q = -3.659 + 103.659. Is q >= 3.1?
True
Let w = 809 - 809. Let z be 112/1066 + w + (-10)/65. Which is greater: -19 or z?
z
Let i(x) = -x**2 + 70*x + 544. Let g be i(82). Are g and -3076/7 unequal?
True
Suppose 4*g = -v + 310, -v = g + 2*v - 72. Let d be 130/g - (2/3 - 1). Let t be d/(-11) + (-312)/(-264). Is -2/15 at least t?
False
Let n(u) = 3*u**2 - 108*u + 105. Let q be n(35). Which is greater: -4/297 or q?
q
Suppose -4 - 3 = -f. Let r(g) = 3*g - 22. Let c be r(f). Let p = -14 - -267/19. Do p and c have the same value?
False
Let y = 134/23 + -10042/1771. Let z = 2019/1595 + 1/145. Let v = z + y. Does v = 1?
False
Let w = 1827 + -1831.3. Is w not equal to -21?
True
Let s = 28389 + -170362388/6001. Is s > 0?
True
Let h = -9 - -9. Suppose h = 5*x - 1 + 6. Let b = -1473/32 + 46. Is x > b?
False
Let v(p) = -350*p - 7333. Let n be v(19). Which is greater: n or -13984?
n
Let g(y) = 43*y**2 + 26*y - 26. Let a be g(1). Is a not equal to 24?
True
Let p(j) = -6*j**2 + 6*j - 2. Let m(d) = 5*d**2 - 5*d + 2. Let q(t) = -4*m(t) - 3*p(t). Let r be q(1). Let a be 2/(-12)*-4 - r/(-3). Is a less than -12?
False
Let q be (-3)/(312/1510 - 14/70). Let o = 633 + q. Is o at least as big as 180?
True
Let w = 32.036 - 0.036. Let i = -122 + w. Let n = i - -96. Are n and 1 non-equal?
True
Suppose -3*j - 21 = -2*w, 5*j + 121*w = 125*w - 33. Is -355/38 smaller than j?
True
Let z = -9237 - -8876. Which is greater: -371 or z?
z
Let l = -15997 - -13504. Is -2495 != l?
True
Suppose -4*v - 3 = -v. Let u(x) = x**3 - 3*x**2 - x - 11. Let i be u(7). Let q be (3 + 39/(-12))/(i/8). Which is smaller: q or v?
v
Let k = -16111 + 16729. Which is smaller: 4330/7 or k?
k
Let a = 7688 + -8301. Does a = -613?
True
Let f(m) = -m**3 - 6*m**2 - 6*m + 11. Let z be f(-4). Suppose 2*r - z*t - 42 = 0, 4*r + t = -0*t + 112. Do 190/7 and r have the same value?
False
Let w(k) = -k**2 - 2*k + 3. Let u = -141 + 142. Let j be w(u). Is j equal to -3/31?
False
Let n be ((-2)/(-1892170))/((-10)/362842768). Let t = n + -370/27031. Let v = 268/7 + t. Which is greater: -1 or v?
v
Suppose 3*t - 32 = -5*g, -2*t - 4 = 2*t - 5*g. Let k(d) = -d**2 + 16. Let y be k(t). Which is smaller: y or 12/71?
y
Let j(v) = v**3 + 41*v**2 + 48*v - 7. Let c(l) = -3*l**3 - 121*l**2 - 145*l + 20. Let x(b) = 6*c(b) + 17*j(b). Let q be x(-27). Which is greater: q or -1/351?
q
Let b be (18*(-23)/(-621))/(-1907*4/(-18)). Which is smaller: b or -1?
-1
Suppose 107 = 5*z + 77. Let t(i) = i**3 - 5*i**2 - 8*i + 12. Let q be t(z). Which is bigger: q or -18/35?
q
Let c = -2122 + 2251. Is 125 less than c?
True
Let t = 1446 + -1452.2. Which is greater: -0.88 or t?
-0.88
Suppose -259*d - 30806 = 149*d - 3470. Which is smaller: d or 84?
d
Suppose 0*o - 8 = -2*o. Suppose -14774060*g = -14774065*g + 15. Is o >= g?
True
Let x(k) be the second derivative of -179*k**3/6 + 23*k**2 - 15*k - 2. Let m be x(-1). Which is greater: m or 224?
m
Let h be (0 - 1) + 8/(-2). Suppose -23*g - 156 + 18 = 0. Let c be (-1 + 0)*(-1 + (-39)/g). Is h at least c?
True
Let l = -167.06 + 33.66. Is l bigger than -1?
False
Let h(x) = 66*x**3 - 4*x**2 - 27*x + 100. Let u be h(3). Is u at most 1764?
False
Suppose b + 4*l = 255, -l = -3*l. Suppose -21*x - b = -6*x. Is -128/7 > x?
False
Suppose -i - 25 = 5*a, 3*i = -a + 6*a + 5. Let z be (-20)/(11/(22/a)). Are z and 10 nonequal?
False
Suppose 5*f - 4*f = 0. Suppose f = 326*x - 338*x + 2004. Which is greater: x or 166?
x
Let s = -25/33 - -12/11. Let q = -2502798/1030561 - -1/147223. Is q < s?
True
Let h = -3098 + 2966. Is h greater than or equal to -125?
False
Let v(q) = 14*q + 66. Let y be v(-6). Suppose -10*f + 20 = -6*f. Let x be (-76)/855*f/y. Which is smaller: 2/7 or x?
x
Let z be ((-117)/(-13))/(-9) - (-1745)/(-6). Which is greater: -291 or z?
-291
Suppose 30*p - 18305 = -3185. Let h = -504 + p. Which is smaller: h or -53?
-53
Let k = -2 + 2.005. Let j = k + -0.355. Let b = j - -0.05. Which is greater: b or -0.2?
-0.2
Let n be (-3)/2 + 5/((-20)/(-6)). Let s = 1/107 + 98/963. Which is smaller: s or n?
n
Suppose -5 = 5*f - 0*f. Let n be -2*-3*4/12. Let g be 0 + (-2)/n - (-42)/54. Is g greater than or equal to f?
True
Let x(m) = 3*m**2 + 2*m - 3. Let t be x(-6). Suppose 0 = -2*q - 35 + t. Suppose i - 35 - 7 = 4*v, -3*v = -2*i + q. Is -14 >= v?
False
Let s be 1474/(-14) + (-6 - (-176)/28). Let p = -106 - s. Which is greater: 4/17 or p?
4/17
Let g = 7.9 - 5.459. Which is bigger: -2 or g?
g
Suppose -17*q + 16*q = 470. Let y be q/(-114) + -6 + 1. Let o = -4/19 - y. Which is smaller: o or -2/31?
-2/31
Let y = -1506 + 2264. Let q = y - 733. Is q > 1/19?
True
Suppose -3*q + 7 = -17. Let a be (2 - (-3)/(-6))/((-14)/17 - -1). Which is bigger: a or q?
a
Suppose 250 = -6*p - 314. Let h = p + 145. Is h at least as big as 101/2?
True
Let f be ((30/(-4))/(213/1136))/(-2). Which is greater: -0.14 or f?
f
Suppose 0 = 4*n - 32. Suppose -22*u + 3*u = -380. Suppose -7*j + u = -29. Which is smaller: j or n?
j
Let q be (-1 + 1 - 20) + -2. Let z = 60 + -36. Suppose 122 = -5*m + 4*w, -m = -w + z + 1. Is q equal to m?
True
Let z(f) = 5*f**2 + f. Let u be z(-1). Suppose 3*r - 48 = w + 2*w, 4*w + 50 = 3*r. Suppose 28*l = 26*l - 2*c + 12, -3*l = -c - r. Are u and l nonequal?
True
Let k(p) = p**3 + 4*p**2 - 5*p + 4. Let w be k(3). Let t = -319 + 325. Suppose -2*o - w = t. Is o >= -30?
True
Let t = 6.8796 - 86.7286. Let l = -0.151 + t. Let z = -63 - l. Which is smaller: -3 or z?
-3
Suppose -20 + 71 = 109*i - 58. Which is smaller: i or -7/55?
-7/55
Let r be 20/36*63/1183. Is -1 equal to r?
False
Let r = -2.62 - 8.48. Let p = -4.1 - r. Let f = 6.96 - p. Are f and 2/11 non-equal?
True
Suppose -7*m - 3*m - 1088 = -298. Which is smaller: -72 or m?
m
Suppose 0 = -304*p + 289*p - 81564 - 48276. Do -8656 and p have different values?
False
Let z = 779 + -791. Are z and 0 equal?
False
Suppose 4*t = -t + 2*f - 142, f + 4 = 0. Let y be 2/3*45/30*-46. Let l = y + 17. Do t and l have the same value?
False
Suppose 18*i + 318 + 260 + 160 = 0. Which is greater: i or 3?
3
Let q = 105 - 103. Suppose -258*o + q = -260*o. Is -7/57 bigger than o?
True
Let f be 40/6 - 8/(-24). Suppose -f = -u - 5. Suppose u*c - 46 = 2*x - 2*c, 0 = x + 5*c + 2. Is -17 less than or equal to x?
True
Suppose 1672 = -l - p, 3316 = 3*l - 5*l + 5*p. Let y = 13365/8 + l. Which is smaller: 2 or y?
2
Let y = 101 - 99. Let s = 8 - y. Let r be (s/4)/(60/304). Which is greater: r or 8?
8
Suppose -o + 491 = -5*s, -s - 1676 = -5*o + 659. Let u be 65/39*o/10. Let a = 78 - u. Which is smaller: a or 1/6?
1/6
Let k = 51888 + -778333/15. Let v = 3 - 4. Which is smaller: k or v?
v
Suppose 3*p = 2*p - 1. Let g be (-12)/(((-40)/7)/(-4)). Let l = g - -77/10. Do l and p have the same value?
False
Let b(v) = -8*v**2 - 24*v + 189. Let g be b(9). Is -674 at least as big as g?
True
Suppose 6 = p + 2. Suppose 2*k - 2*z = -0*k - p, -9 = 2*k + 3*z. Let c be (-7)/26*(3 + 5*k). Are c and 2 equal?
False
Let k = 1 - 2. Let v(u) = u**3 + 6*u**2 - 4*u - 20. 