ose -n = -y + 5*y + 30, 3*n = -3*y - 27. Suppose 0 = -5*s, 13 + 11 = 4*p - 3*s. Suppose -5*l = -p*k + 3*k + 33, 3*l + 17 = -k. Which is smaller: y or l?
y
Let j be (-8)/12*(-54)/6. Let m be ((-2)/28)/(3/(-271 - 5)). Is j < m?
True
Suppose 0 = 5*j - 5*s + 30, 5*j - 4*j = 4*s - 12. Let x = 68 - 110. Let u = x - -39. Which is bigger: u or j?
u
Suppose 4*t + 6*x - 4*x - 10 = 0, 2*x - 2 = 4*t. Which is greater: t or 2/133?
t
Let d = -7/125 + -2263/2000. Are d and -1 nonequal?
True
Let j(s) = s - 1. Let a be j(-7). Suppose 10*b - 8*b - 48 = 0. Suppose -r + b = -4*r. Is a greater than r?
False
Let s = -1747/36 + 195/4. Suppose -2*g + 7*a = -47, 5*g + 12 = -15*a + 14*a. Is g less than s?
True
Let q = -354 - -363. Let s = -0.1 - 0. Is q bigger than s?
True
Let o = -40 - -30. Let s = o + 10.11. Is -0.2 > s?
False
Let z(u) = -u**2 - 9*u - 5. Let f be z(-6). Suppose -4*i = -20 - 32. Is f equal to i?
True
Let b = 24 + -21.8. Let u = 2.3 - b. Which is smaller: -2/7 or u?
-2/7
Let f = 2967593/63 - 448724/9. Let i = f + 2759. Is i bigger than 6?
False
Let s be (42/12 + (2 - 2))*2. Let o be ((-17)/s)/(1/(-1)). Which is greater: 1 or o?
o
Suppose 5*g + 138 = 223. Suppose 0 = -u + 46 + 10. Let l = -38 + u. Does l = g?
False
Let a be (-11 - 0) + 17 - (-1 + -142). Which is greater: a or 148?
a
Suppose -g + 312 = -3*t, -3*g - 148*t + 924 = -153*t. Which is smaller: 308 or g?
g
Suppose 33*k - 1700 = -k. Which is bigger: k or 49?
k
Let z = 336 + -337. Are 2/29 and z equal?
False
Let u = -85.4336 + 0.0336. Let p = u - -86. Is p < -2?
False
Suppose -2*m + 5*p = 25, -3 - 22 = m - 5*p. Let r be m/(-4) - 9*-2. Which is greater: r or -1?
r
Let g = -1133 - -1136. Do g and -9 have different values?
True
Let m = -6.036 + 0.036. Let n = -30 - -17. Let w = n + 12.7. Which is greater: m or w?
w
Let n = -1825 + 1642. Is -181 greater than or equal to n?
True
Let g = 0.2094 - -0.7906. Let p = -421/2 + 2123/10. Which is greater: p or g?
p
Let a = -293.597 - -591.476. Let x = 321.88 - a. Let z = x - 0.001. Which is greater: 0.1 or z?
z
Let t be 1/(2 + (-48)/21). Let k = -3 - t. Which is smaller: 0 or k?
0
Let b(k) = 54*k**3 - 3*k + 44*k**3 + 2 - 8 + 26*k**2 - 102*k**3. Let u be b(6). Is u less than or equal to 47?
False
Let z = 124959/59 - 2118. Is z at most as big as -2/7?
False
Let f = 510 - 507. Which is bigger: 22/13 or f?
f
Let j be (6 + 138)/(-6) + -3. Is -25 at most j?
False
Let j = -31 - -28.2. Let n = -140 - -137.1. Let t = j - n. Do t and -1/3 have the same value?
False
Let l = 33 - 85. Let z = 58 + l. Which is greater: z or 34/5?
34/5
Let z = -50 - -92. Suppose -z = -3*u + 9*u. Let d(c) = -2*c + 2. Let i be d(5). Is u less than i?
False
Let z = 891/3145 + 2/185. Which is greater: 1 or z?
1
Let l = -99 - -101. Suppose 2*k = -h - 0*k - 5, -3*h - 12 = 5*k. Is h <= l?
True
Suppose -a = 5*g - 25, 4*a - a = g + 11. Suppose -t = 4*p + 26, 0 = -3*t + g*p + 16 - 46. Is t at least as big as -15?
True
Let w(x) = 7*x**2 - 84*x + 60. Let j be w(11). Which is greater: -15 or j?
-15
Let c = -7/523 + 3084/35041. Are 0 and c equal?
False
Let p = 13 + -64. Let w be p*2/8 + (-36)/(-48). Let x be (1/2)/(1/(-22)). Which is bigger: x or w?
x
Let y be (-2 + 0)*62/(-4). Suppose -2*f = -4*o + 9 - y, -2*o - 37 = -3*f. Suppose -56 + 14 = -3*a. Is f at least a?
False
Suppose -310*u + 14140 = -324*u. Which is bigger: u or -1008?
-1008
Let k be 10*(2 + 6/(-4)). Suppose 4*q = k*q + 2. Let x(b) = -b**2 - b + 3. Let r be x(2). Do q and r have the same value?
False
Let q = -335.7 + 336. Let j = -352/3 - -116. Does q = j?
False
Let f = 2/4511 + -27124/130819. Let a(l) = -21*l + 335. Let n be a(16). Which is bigger: f or n?
f
Suppose -16 = -4*i - 4*j, -2*i - 36 = -5*i + 5*j. Let z be -56 + (i + -2 - 4). Are z and 2 equal?
False
Let k(n) = -n**2 + 16*n + 62. Let i be k(14). Is i <= 90?
True
Let z = -100 - -10. Which is greater: -91 or z?
z
Let t(z) = 17*z. Let u be t(-2). Let y be 4/8 - u/(-60). Is -1 at most y?
True
Let s(h) = h**3 + 11*h**2 + 6. Let k be s(-11). Suppose k*p + 12 = 2*p. Let r be (-8)/(-6)*6/(-4). Is r <= p?
False
Suppose 4*w = -2*p + 302, 4*w - 4*p = 248 + 60. Let q = 78 - w. Is q bigger than -2?
True
Let f(t) = -14 + 5*t**2 - 7*t**2 + t**2 - 14*t. Let a be f(-12). Is a <= 15?
True
Let v = -260.4 + 258.4. Is 46.2 at most as big as v?
False
Suppose 21 = f - 3. Let v be f/(-3*(-4)/(-12)). Let o = 71/3 + v. Which is smaller: o or -1?
-1
Let m(h) = 14*h + 168. Let i be m(-12). Is i > -20/41?
True
Let t = 1068 - 1069. Let l = 0 - -6. Let i = l + -124/21. Which is bigger: i or t?
i
Let u = 36/65 - 28/13. Let q(t) = t - 7. Let o be q(5). Which is greater: u or o?
u
Let m(r) be the third derivative of r**4/24 + r**3/6 + 13*r**2. Suppose -4*n - 1 = -5*n. Let s be m(n). Which is smaller: 1 or s?
1
Suppose g + 4*a + 8 - 4 = 0, -5*g + 3*a - 112 = 0. Let i be (17/4)/(5/g). Let y = 388 + -405. Is i less than y?
False
Let l = 376 - 377. Which is bigger: l or -3/91?
-3/91
Let j be (3753/(-225))/(6/(-10)). Which is greater: j or 27?
j
Let o = -47/42 - -11/6. Is o < 2?
True
Let f = 56 - 81. Let l = 6 + -6. Are f and l equal?
False
Let m(b) = 11*b + 264. Let k be m(-24). Is 1/684 at most k?
False
Let s(u) = -u - 3. Let o be s(0). Let m be (-62)/o - (-24)/18. Suppose -7 + m = -5*q. Which is smaller: -4 or q?
-4
Let p = 218 - 217. Is -1/52 equal to p?
False
Let p = 360 - 359.94. Which is smaller: 1/36 or p?
1/36
Let h be (12/(-9))/(2/(-3)) - -2. Suppose -h*b = 5*b + 9. Which is smaller: -2/123 or b?
b
Let d be (-1860)/(-396) - (20/4)/1. Is -1 equal to d?
False
Let k(q) = -7*q + 149. Let z be k(20). Which is smaller: z or 34?
z
Suppose -5*x - 3*v + 69 = -2*x, v - 4 = 0. Suppose 49 = 4*k - x. Let r = k + -122/7. Is -0.5 at most r?
True
Let w(u) = -11*u + 100. Let x be w(9). Let j = 0 + -1. Let n = j + x. Which is smaller: -2/11 or n?
-2/11
Suppose 0 = 5*j - 35 + 20. Let o = -6 - -14. Is o less than j?
False
Let r be 12*((-25)/(-4) - 4). Let b = -109/4 + r. Which is smaller: 2 or b?
b
Let n = -512 - -10233/20. Which is greater: 0 or n?
0
Let y = 7 + 14. Let j = 24 - y. Which is smaller: 2 or j?
2
Suppose 5*v = 0, 2*g + 0*v - 4 = -3*v. Suppose -g*w + 28 = 2*w. Suppose 0 = 2*s - w*s. Is s less than 1/2?
True
Suppose -5*g + 268 + 32 = 0. Suppose -5*a + g = -2*a. Which is smaller: 1 or a?
1
Let f = 8 + 25. Let r = -43 + f. Let i = -9 + -2. Are r and i equal?
False
Let j(c) = c**2 + 28*c + 50. Let g be j(-24). Let o be 3/(-9) - g/12. Let d be (2/(-2) + 2)*5. Which is smaller: d or o?
o
Let x be -2*(-6)/(-8)*(1 + -17). Let d(a) = -2*a + 42. Let c be d(x). Is c at most -5?
True
Let x = 16971 - 16953. Let i be 16/(-10)*15/(-2). Which is smaller: x or i?
i
Let r be (-16)/3 + 4 + 28/12. Suppose -4*i + 0*f - f + 509 = 0, 2*i - 4*f - 250 = 0. Let s = i + -3049/24. Which is greater: s or r?
r
Let y(a) = a**3 + 3*a**2 - 2*a + 4. Let m be y(-4). Let l be -4 - (-7 + 3)*1. Let d be (2/m + l)*-2. Which is smaller: d or 4/17?
4/17
Let v = -250 + 215. Does v = 1/2?
False
Let z be (44/(-154))/(3/273). Let m = 21 + -46. Is m <= z?
False
Let g = -2642 + 2792. Which is smaller: g or 0?
0
Let m = 85 + -93. Let f(o) = -4*o - 32. Let a be f(m). Which is smaller: 1/19 or a?
a
Suppose 5*d + 10 = 3*d - 2*q, -3*q - 21 = 4*d. Let x be (-3 + 3*11/12)*d. Is x at most as big as 2?
True
Suppose 7*z = 2*z + u + 20, z - u = 0. Suppose -3*n = -z*n + 22. Which is greater: n or 12?
12
Suppose -164 + 10 = -7*a. Let t be 4/a - 75/110. Which is bigger: 0 or t?
0
Suppose 2*d - n + 26 = -6*n, -2*n - 2 = -2*d. Suppose 0 + 5 = -5*i. Which is bigger: i or d?
i
Suppose -14*y - 356 = -342. Is y <= -2/675?
True
Let u be (10 + -22)*(3/3 - -28). Do u and -347 have the same value?
False
Let c(w) = -3*w - 20. Let a be c(-7). Which is greater: 2/159 or a?
a
Suppose 5*b - 6 = 54. Suppose -3 = -3*r - 4*t + b, 3*r - 36 = 3*t. Let y = -34 + 42. Which is greater: r or y?
r
Let m = 285 + -284.9. Is 5/6 bigger than m?
True
Let f be (-4 + 8 - 3) + -4. Let h be 4 - (f + 81/12). Do h and -33 have the same value?
False
Let t be 2 - (-2)/(54/(-51)). Let g = -0.95 - -1.35. Which is smaller: t or g?
t
Let j = -56 + 55.3. Let f = 0.31 - 0.01. Let i = f - j. Which is smaller: i or -0.1?
-0.1
Let k be 3348/22 - (-2)/(-11). Let i be k/8*(-1 + 2). Suppose 32 = 5*v - d, v = -0*v - 4*d 