 n or -16?
-16
Let k = 3920 - 3920.2. Are k and -0.01302 unequal?
True
Let n = -321 + 324.1. Which is smaller: n or -2/7?
-2/7
Suppose 6*n = 25 + 35. Suppose -5*p = -n*p + 370. Suppose -5*t = -137 - 238. Which is smaller: p or t?
p
Let k = -194 + 241. Let r = -2644/7 + 378. Which is greater: k or r?
k
Let v = 42 - 17. Suppose 5*p - 5*y - v = 0, p - 3*y - 10 = -y. Is p equal to 4?
False
Let a = 92 + -153. Let s(z) = 19 + 17*z - 16*z + 4 + z**2 - 19*z + 8. Let d be s(16). Is d at most a?
False
Let q(r) = -5*r - 79. Let n be q(-12). Let c be (n - 3)*(-1 + 7/2). Is -56 equal to c?
False
Suppose -159*a - 2118 = -1367 + 6881. Which is bigger: -669/14 or a?
-669/14
Let z be (-18)/3 - (-10)/(-40)*-44*-148. Which is greater: -4 or z?
-4
Let j = -0.26 + 0.16. Let t = 53 - 17. Which is smaller: t or j?
j
Suppose -658 = -f - 647. Suppose -5*s = -23 + 8. Which is bigger: f or s?
f
Let g = -11961 + 11156. Is g less than -801?
True
Suppose 0*l - 2*l - 9 = 3*u, 5*u - 4 = 3*l. Let r = -129929/489 - -797/3. Is u < r?
True
Suppose 0 = 92*o - 99*o + 595. Let x(z) = 23 + 3*z**2 + 11*z - 2*z**2 - 7 + 2*z**2. Let c be x(-7). Is c at most as big as o?
False
Let v = 0.4 - 1.4. Let k be (1/(21/(-7)))/((-65)/6). Is k bigger than v?
True
Let k = 71267/16 - 4458. Is -5 less than k?
True
Suppose -5*y + 5*b + 125 = 0, 4*y - 77 = y + 4*b. Suppose 0 = -5*c + 3*j - 96, -26*c - 50 = -y*c + 2*j. Is c less than -6?
True
Let x = -19307 - -20013. Which is greater: -1/11 or x?
x
Let q be 8/(-4) + 179 - 0/(-2). Let j = 493 - q. Which is smaller: 317 or j?
j
Let t = -519 + 1081/2. Let w(k) = -8*k**3 - 5*k**2 + k. Let r be w(2). Let j = -61 - r. Which is smaller: t or j?
j
Let o = -668 - -584. Let y be -6 + ((-1077)/o - 7). Is y <= 0?
True
Let l = -198.212 + 198. Let m = 11.212 + l. Which is smaller: 1 or m?
1
Suppose 82 = 2*h + 96. Let m be 4/h + 320/70. Suppose 2*q + 0*q - y = 0, 5*q + m*y = 26. Which is greater: 3 or q?
3
Let h = -1522.1 + 1522. Let d = -115.9 + 680.9. Are d and h equal?
False
Let z(v) = -3*v**2 - 55*v + 40. Let r be z(-19). Suppose -b + t - r - 65 = 0, -b + 4*t - 79 = 0. Is b less than -63?
False
Let z be ((-28)/(330876/65))/(5*(-3)/18). Is -2/123 less than z?
True
Let s be 11/12 - (-19 + (-2044)/(-112)). Which is bigger: s or 2/485?
s
Let r be -2 + (-77616)/15 + ((-1008)/70)/24. Is r at least as big as -5176?
False
Let x = 0.75 - 13.05. Let j = -12 - x. Let s = -33 + 30. Which is smaller: s or j?
s
Let b be (6 - 14)*(-4)/8. Suppose -4*t = 0, 22 = -5*d - b*t - 78. Is d at least as big as -18?
False
Let l be (-22029)/(-28) + (-4)/(-16). Let n = -81062/103 + l. Is n less than or equal to 1?
True
Let m(h) = -3*h**2 - 12*h + 32. Let n be m(-6). Let p be -2*(3 + 9/(-2))*-1. Which is smaller: n or p?
n
Let s = -3245 - -3553. Which is smaller: s or 307?
307
Suppose 0 = -32*w + 7 + 89. Suppose 2*u - 848 = -2*s, s = 5*s - w*u - 1689. Is -0.1 greater than s?
False
Let a(u) = -2*u + 3*u**2 + 4 - 12 - 2*u**2. Let l = 1065 - 1061. Let n be a(l). Is n bigger than 3/53?
False
Let y = 0.2555 + -36.2555. Let q = -0.0775 - -34.7775. Let r = y + q. Is r less than or equal to 0.1?
True
Let k = -534 + 394. Let u = -139 - k. Which is greater: u or -20/73?
u
Let x = 74 - -216. Let z = x + -324. Which is smaller: -36 or z?
-36
Let c = 55.16 - 1.16. Let i be 9/30 + -1 + 26/30. Which is smaller: i or c?
i
Suppose 6531 = -69*b + 35580. Let z = -126 + 547. Is b equal to z?
True
Let d = 6 - 19. Let b = d - 24. Let n = b + 36. Is -3/23 greater than n?
True
Let f = 5303 + -5964. Which is smaller: f or -669?
-669
Let c(k) = k**3 - 19*k**2 + 15*k + 52. Let o be c(18). Let s be (((-172)/(-5))/o)/(44/(-385)). Do s and 152 have the same value?
False
Let s = 75 + -75.39. Let u = s + -7.01. Let i = u + -6.6. Is -1 less than or equal to i?
False
Let d be -11 + 16 + 1 + (-3)/(-1). Let c be 16/(-48)*d/(-168). Which is smaller: 0 or c?
0
Let n be ((-60)/6)/(1*(-28)/(-322)). Is n not equal to -115?
False
Let y = -13968 - -55857/4. Let q = -5 - -2. Is q equal to y?
False
Let r = -335030260/49 + 6838974. Let x = 1622 - r. Is x less than -1?
False
Suppose -3*b + 612 = 3*x, 4*b + 879*x = 880*x + 831. Suppose -5*l + 1040 = o, 4*l = -l + 2*o + 1025. Is l bigger than b?
False
Suppose 89*m + 6 = 87*m. Let f be 0/(m/((-18)/(-12))). Is f greater than or equal to 1/10?
False
Let g(p) = -p**2 - 5*p - 3. Let n(w) = -w**2 + 2*w + 3. Let k(h) = 2*h - 18. Let c be k(11). Let r be n(c). Let o be g(r). Which is smaller: o or -9/5?
o
Let k = 1.3 + -0.3. Suppose 39*j - 7*j - 608 = 0. Suppose 4*h - 3*h - b + 7 = 0, b - j = 3*h. Do k and h have the same value?
False
Let t = 4663 - 4660. Which is bigger: t or 1.86?
t
Suppose 2*d = -4*a + 10, 4*d - 3*a + 27 = 7*d. Let l(g) = g**3 - 13*g**2 - g + 11. Let n be l(d). Let q be (n + 0 - -15) + -1. Which is bigger: 13 or q?
13
Suppose 5*m - 16 = 3*o, -5*o - 3*m - 2 = m. Let v be (o - 1)/(7/((-49)/3)). Which is greater: v or 6?
v
Let r = -3/21760 - -2643/21760. Do 1 and r have different values?
True
Let i = 151 + -83. Let f = -321.9 + 390. Let h = f - i. Which is smaller: -25 or h?
-25
Let d = -62 + 320. Suppose 3*m = 4*j + 997, -2*m + 4*j + d + 400 = 0. Is m at least as big as 339?
True
Let r be 75/((0 - -3)*26/(-156)). Is -149 >= r?
True
Let w = -2904 - -2870.054. Let x = -0.054 + w. Let t = 33 + x. Which is bigger: t or -2/17?
-2/17
Suppose 306 = 2*j - v, 5*v - 215 + 84 = -j. Which is smaller: 153 or j?
j
Let w = -14 - -22. Let x(o) = -o**3 + 8*o**2 + o - 8. Let t be x(w). Let y = 114 - 93. Which is bigger: y or t?
y
Let s = 201.855 + -202.55. Which is bigger: s or -1?
s
Let v be (-65)/(-55) + 2/(-66)*(-5 - -11). Let k be 0 - 0 - 2578/(-22). Let j = -117 + k. Is j smaller than v?
True
Let b(k) = 23*k + 1422. Let p be b(-60). Is 0.1 at least p?
False
Let h = -64 - -64. Let c = -528.0835 + -0.9165. Which is smaller: h or c?
c
Let d = -1855 - -1841. Which is smaller: d or -101?
-101
Let a = -2 - -2. Let c = 72691/44 + -1652. Which is bigger: c or a?
c
Suppose 108744 = -672*m + 696*m. Which is greater: 4533 or m?
4533
Suppose 16*r = -17*r + 66. Suppose 0*o = r*o + f + 116, -f = 4. Which is bigger: -57 or o?
o
Let r be 0/(-3 + 1 - (0 + 0)). Let g = -18 - r. Let j = g - -39. Which is smaller: j or 19?
19
Suppose -5*f = 6 - 11, -229 = -4*y - 5*f. Let n be y/(-7) - (-6)/(-3). Which is smaller: n or -5?
n
Suppose -117 = 243*f - 252*f. Let q(n) = n**3 + 2*n**2 - n + 1. Let w(b) = -b**3 + 7*b**2 - 7*b + 8. Let o be w(6). Let d be q(o). Is f smaller than d?
True
Let r(z) = z**3 + 46*z**2 + 37*z + 924. Let m be r(-46). Is m <= -778?
True
Suppose -6 = -23*y + 25*y. Let n(p) be the second derivative of p**5/20 + p**4/4 + p**3/3 + 5*p**2/2 + 8*p. Let x be n(y). Is -3/22 greater than x?
True
Let k be 594/(-14) + -7 + 3/7. Let a = 48 + k. Which is smaller: 2/461 or a?
a
Let y = 421 + -435. Let r be (-3)/(99/(-96)) - (y - -15). Is 2 >= r?
True
Let s = -7082/13335 + -2/889. Let a be 556/(-930) - (0 + 0). Let u = s - a. Do 1 and u have the same value?
False
Let t be -9 - (-4 - 5) - (-19)/(114/10368). Which is smaller: t or 1734?
t
Let w = -159 + 164. Suppose w*o + 4*o = 18. Is o > 17/7?
False
Let b = 119 - 116.13. Let j = b + -0.87. Which is bigger: -3/7 or j?
j
Let w = -5/651 + -5701/1736. Which is smaller: -4 or w?
-4
Let j = -0.222 - -0.135. Let m = j + 0.047. Let v = -0.62 - m. Is v greater than or equal to -1?
True
Let x = -7.1936 + 0.1936. Is x != 2.22?
True
Let r be ((-3)/69)/((-140)/1610). Is -58/3 > r?
False
Let f = 8.3 + 0.98. Let x = f + -8.301. Let u = x - -0.021. Which is greater: 16 or u?
16
Let n = 6057 - 6056.925. Let b = -23.775 + 23. Let u = n + b. Which is smaller: -4 or u?
-4
Suppose 384 = 8*l + 31*l + 345. Let b be (2075784/(-1045))/((-4)/(-10)). Let j = 4966 + b. Which is smaller: l or j?
j
Let o be 0/(-3) - (-117 - (-3 + 6)). Let d be (-32)/(-15) + -2 - (-2264)/o. Which is smaller: d or 20?
d
Let c = 7/80 - -5/16. Let o = -54 - -45. Let n = o - -10. Which is greater: c or n?
n
Let d = 2502 + -2501.7. Let z = -18 + 45. Does z = d?
False
Let t(c) = -21*c - 756. Let s be t(2). Which is bigger: -792 or s?
-792
Suppose -1268 = 4*c - 4*w + 3884, -3*c = -2*w + 3869. Which is smaller: c or -1299?
-1299
Suppose s - 7*j = 23 - 57, 2*j - 10 = 0. Let z be (-2)/(-5) + (-3024)/7650. Which is