ller: b or 2/95?
b
Let l be 11 + -4 + 4 + 3. Suppose 21*q - 49 = l*q. Is 1 greater than q?
False
Let u = -138 + 270. Let r = u - 72. Let t = 0.23 - 0.23. Which is smaller: r or t?
t
Let p = 1.95 - 1. Let z = 2.05 + p. Are 0.03 and z unequal?
True
Let x(y) = -2*y + 30. Let i be x(14). Suppose -i*c = -46 - 32. Suppose c = v + 37. Is v less than or equal to 5/3?
False
Let u(z) = -z + 19. Let r be u(11). Suppose 0 = r*g - 3115 + 83. Is g at most 379?
True
Let n = 15 + -14. Suppose -d + 2*d = -n. Let g = 0.2248 + -1.8248. Which is greater: d or g?
d
Let x = 409 - 404. Let d be (x - 880/175)*2. Are d and 0 equal?
False
Let o = 32 + -35. Let d be o - 2/((-100)/(-52) - 3). Let x be (3/(-2) + 51/34)/3. Which is smaller: x or d?
d
Let f = 69 - 69.72. Let v = -47.72 - f. Let c = 46 + v. Is -8.2 >= c?
False
Let r(p) = -p**2 - 3*p + 3. Let q be 1 + (0 - (-3 - -7)). Let m be r(q). Suppose -z - 7*x = -2*x - 13, m*z + 31 = -x. Which is smaller: -9 or z?
z
Let r = -125 - 261. Let l = r - -384. Let t = -46 - -46.21. Which is smaller: t or l?
l
Let h = 557238 + -557240. Let m = -1.1 - -1. Which is greater: h or m?
m
Let g = 280.1 - 280. Let v = 28 + -34. Let q = v - 28. Which is greater: g or q?
g
Let g be (-1*3688)/(-1)*(2340/104)/45. Is g less than 1845?
True
Let d = -125 - -124. Let i be (-21 - -21) + (-2)/(1 - d). Let j = 745/9 - 83. Which is smaller: i or j?
i
Let l = 2700 + -2698. Is l greater than 25/13?
True
Suppose -5*b - 10 = 3*s, -5*b + 0*s + 15 = -2*s. Let z be (((-16)/10)/(-2))/(b/265). Suppose d + 5*a + 53 = 0, -4*d - 3*a = -0*d + z. Is -54 < d?
True
Let f(i) = i**3 - 5*i**2 + 2. Let t = -7 - -11. Let r be f(t). Suppose -7 = 6*w - 31, -2*b - 4*w = 12. Is r less than b?
False
Let y(p) = 2*p**2 + 56*p. Let h be y(-28). Which is smaller: 10/329 or h?
h
Suppose 5*u - 344 = 2*i + 214, 4*u - 445 = 3*i. Let s = u - 153. Let w = s - -38. Is w > -5/2?
False
Let k = 11855 - 11830.045. Let o = -0.045 - k. Let n = 25 + o. Is n at least 12?
False
Let v = 33195/3324376 + -7/3256. Which is bigger: -1 or v?
v
Let m = 7.99 - 341.99. Is -9 not equal to m?
True
Let w = 9982 - 9981.9. Let y = -3.001 + 3. Which is smaller: y or w?
y
Suppose 135 = 5*j - 5*t, t - 1 = -4. Let i be (18/j)/((-2)/((-48)/(-873))). Suppose 0 = -9*k + 4*k. Which is smaller: i or k?
i
Suppose 55208*m - 55171*m - 551707 = 0. Which is greater: 14910 or m?
m
Suppose 0 = 3*n - 3*m - 18, 14 = n - 3*m - 2. Is 3/4435 at most as big as n?
True
Let n = -14284 + 14284. Which is smaller: n or 234/43?
n
Let i(f) be the second derivative of f**4/24 + 13*f**3/6 - f**2 + 13*f. Let u(y) be the first derivative of i(y). Let a be u(-12). Are -2/27 and a non-equal?
True
Let k = 138767/319 + -435. Is 0 less than or equal to k?
True
Let o = -116 - -120. Let r be (o/(-2))/(66/(-165)). Let h be (0 + -1 + 0)*2. Which is smaller: r or h?
h
Let f be 1 - 4 - (-17 + 10). Let a be (8/f + 41)*-1. Let z = 58 + a. Which is greater: z or -1?
z
Let j = 2/1415 + -8548/41035. Let r(w) = -2*w**2 - 75*w - 22. Let z be r(-37). Suppose 5 = -20*f + z*f. Is j < f?
False
Let a = 4612 + -4612. Is -36/61 at least a?
False
Let a = 104.3957 - 104.37. Is a > -14?
True
Let f = -5 - -58. Let v = f + -55. Let q(b) = 2*b**2 + b. Let a be q(v). Is 13 at most a?
False
Let z = -3931/41 - 144425/861. Let n = z - -264. Which is smaller: n or -1?
-1
Let p = -1.1404 - -2.0704. Which is greater: -13/4 or p?
p
Let i(c) = -33 - 23*c + 8*c + 51 - c**2. Let f be i(-14). Suppose 15*w + f = 11*w. Which is bigger: w or -12?
w
Suppose -5 = m - 7*v + 10*v, 5*v + 5 = 0. Which is bigger: m or -72/97?
-72/97
Let p(r) = -1133*r + 6748. Let j be p(6). Which is smaller: -85 or j?
-85
Suppose 181 = 4*l + c, 0 = 3*l + 5*c - 4*c - 137. Suppose -39*h + l*h = 25. Which is bigger: h or 0.16?
h
Let g = 45.7 + -55.8. Let t = 89.9 + -100. Let x = g - t. Which is smaller: 1.5 or x?
x
Suppose 2*d + 4 = -4*x, -22*d = -3*x - 17*d + 10. Which is smaller: x or -2/1635?
-2/1635
Let i = 80/63 + -14/9. Let k = 11.313 + 147.747. Let r = 159 - k. Which is bigger: r or i?
r
Suppose 4*b + 124 = -12. Suppose -4*r - 3*p - 514 = 0, 4 = -p + 2. Let u = r + 93. Is u less than b?
False
Suppose -24 + 331 + 281 = -6*r. Is -2/17 at most r?
False
Let q = 390 - 214. Let p = 182 - q. Which is smaller: 5 or p?
5
Let s = 1786/7 + -5372/21. Is s at least as big as 6.6?
False
Let c = -395.62 - -488.575. Let k = c + -93. Do k and 0.3 have the same value?
False
Let y = 24 + -14. Let w be (3 - (-37)/(-5))*y/2. Let u = -37 - -12. Does w = u?
False
Let x be (-11)/(11/(-6)) - (-10 - (-69069)/4319). Which is smaller: x or 0?
0
Let x = -46 + 43. Let p be -26 - ((-1)/x - 20/(-12)). Let f = p - -27. Is 4/19 < f?
False
Let s = -22669345/168 - -134937. Is s at least as big as 1?
False
Let s be (-1)/(3 + 4/(-28)*22). Let x(a) = a**3 - 9*a**2 + 10*a + 15. Let f be x(s). Which is smaller: 0 or f?
f
Let r(n) = 2113*n - 4244. Let s be r(2). Let x(j) = -j**3 + 4*j**2 + 2*j - 6. Let h be x(5). Is h < s?
True
Let t be ((-228)/48)/(-19)*2*823. Let q = t + -408. Which is smaller: q or 4?
q
Suppose -4*b = 2*y + 1520, 5*b - y - y + 1909 = 0. Let w = b + 346. Are -34 and w equal?
False
Suppose 3*n + 2*w = -3 + 6, -3*n + 3 = 4*w. Suppose -6*t = 5 + n. Let a be (12/(-18) - (-656)/966)*t. Is a smaller than 0?
True
Suppose 0 = 15*r - 10729 - 23447 - 6354. Which is bigger: r or 2704?
2704
Suppose 2*f - 398 = -2*l, 2*l - 203 = l - 5*f. Let k = -6137/31 + l. Is k at least 0?
True
Let x = 2.125 - -77.875. Is 0.2 > x?
False
Let k = 8.722 - 10.722. Is k at least as big as 0.921?
False
Let b(p) = -3*p - 22. Let l be b(-6). Let n be ((-2)/l)/(2/28). Are n and 5 equal?
False
Suppose 4*r + 5 = 2*g + 11, -4*g + 4*r - 4 = 0. Suppose 4*f = -f + 20. Suppose -y + 1 = -l, f*y - 4 = 3*y. Is l >= g?
True
Let c = 4/10191 - 296011/1202538. Is 0 equal to c?
False
Suppose -9*g = 6*g + 495. Is g > -19?
False
Let r = -130 - -11969/92. Are r and 4 nonequal?
True
Let l = 54 - 27. Suppose -5*z + b + 3*b = -l, -z - 3*b - 6 = 0. Suppose 0 = -z*x + 2*g + 6, 0*x - x + 9 = -3*g. Is 2/77 smaller than x?
False
Let v = 19.4 + 25.6. Let z = 39 - v. Is 5.8 <= z?
False
Let t = 1900/124501 + -2/793. Let d = t - -3758/785. Let s = 8 + -3. Which is greater: s or d?
s
Let l(x) = -1. Let r(q) = q + 20. Let k(g) = 3*l(g) - r(g). Let w be k(27). Is w at least -48?
False
Suppose 5*m + 13 = 4*m. Let j be 3286/(-279) + ((-27)/(-3) - -3). Which is smaller: j or m?
m
Let d(y) = y**3 - 9*y**2 + 2. Let p be d(9). Let z be p + (-1)/((-9)/(-19)). Is z less than 1?
True
Suppose -140*q + 2860 = -127*q. Which is smaller: q or 222?
q
Suppose 342*y + 24 = 338*y, -4*y = -5*o - 10351. Which is bigger: o or -2076?
o
Suppose 11529 = -v - 4*x, -14*v + 22*v - 4*x = -91944. Is -11496 smaller than v?
False
Let i(f) = 5*f - 125. Let s be 3*(-6)/(-99) - (-2184)/88. Let x be i(s). Which is smaller: x or 48?
x
Let q = -36 - -95. Let a(h) = 17*h**2 - 168*h - 346. Let k be a(-2). Is k at most q?
True
Let w(i) = -63*i**3 + i. Let k be w(-1). Let y(s) = -2*s**3 + 23*s**2 + 18*s - 2. Let m be y(12). Let b = k - m. Which is smaller: 2/21 or b?
b
Let w(j) be the third derivative of -j**5/10 - 5*j**4/8 - 5*j**3/3 - 78*j**2. Let h be w(-4). Is -49 greater than or equal to h?
False
Let s = -10 + 9. Suppose -6*k + 14 + 34 = 0. Let t be (s - -1)*(-1 + 5)/k. Which is bigger: t or 5/13?
5/13
Let y be (-6)/(-22)*(-1837)/(-501). Is 2/44367 greater than or equal to y?
False
Let y = 1.454 - 0.024. Let k = y + -95.43. Which is smaller: 1 or k?
k
Suppose -31*m + 141 - 57 = -226. Which is greater: 44 or m?
44
Let r = -4274 + 4278. Let f(c) be the second derivative of -c**5/20 + c**4/2 - c**3 + 2*c. Let s be f(r). Is 76/9 at least as big as s?
True
Let q = -2 - -1. Suppose r = 2*v - v - 7, -4*r = -5*v + 30. Let c be (-36)/(-72)*v/(-1)*1. Is q at most as big as c?
True
Let g = -137 - -137.33. Let o = -0.53 + g. Which is greater: o or -47?
o
Let b be -3 + -3 - -29*(-10)/(-45). Suppose -4*j + 36 = 4*q, -10 - 10 = -5*j. Suppose 0 = -q*h - 6 + 26. Is h greater than or equal to b?
True
Let t(i) = 25*i**2 - 3*i - 146. Let c be t(10). Which is smaller: 2326 or c?
c
Let c be ((-1257)/2095)/((-3)/25). Which is greater: 264 or c?
264
Let l = -39.913 + -0.087. Let a = 4638.2 - 4598. Let h = l + a. Which is smaller: -10 or h?
-10
Sup