True
Let v = 2229.67 + -2238. Which is greater: -0.1 or v?
-0.1
Let i = 26.2 - 25.6. Is i smaller than 16?
True
Let g be 23/(-2) + 7/(-14). Let s be 2/g*2*-465. Let f be s/420 - 2/7. Is 0 != f?
True
Let y(k) = 3*k + 107 - 219 + 109. Let t be y(24). Which is bigger: 68 or t?
t
Let h = 177.466 + -177. Is h greater than 0?
True
Let h be -2*(14/4 + -2). Let z be (2 - 1) + 26 + -4. Let r = -27 + z. Is r < h?
True
Let v(d) = -d + 4. Let l be v(-11). Let r = 23 - l. Let o = -23 + 30. Do o and r have the same value?
False
Suppose -4*z + f + 92 = 0, 2*f + 1 = -7. Which is bigger: z or 41/2?
z
Let x = -3325/3 - -1107. Is -288 smaller than x?
True
Let c = 0.1 - 0.1. Let y = -0.2 - c. Let h = -1 - -1. Is y at least h?
False
Let k = -1 + 11. Let m = -1622 - -1628. Which is smaller: m or k?
m
Suppose 6*c - 47 = 25. Suppose 5*p - 22 = -i, -p = i + i - 8. Is p > c?
False
Let p(d) = -d + 12. Let w(v) = 1. Let o(s) = -p(s) + 2*w(s). Let z be o(5). Let b = z - 2. Which is greater: -8 or b?
b
Let j(d) = d**2 - 3*d - 1. Let q be j(3). Let u(w) be the third derivative of w**4/8 + w**3/3 - 13*w**2. Let i be u(-2). Is i at most q?
True
Let t = -375 + 406. Which is smaller: t or -3/4?
-3/4
Let v = 523 - 133. Is 390 greater than v?
False
Let o = -5 - 1. Let x be -2 - ((1 - -2) + o). Suppose 0 = -3*i - 3. Which is smaller: x or i?
i
Suppose -20*m = 35 + 105. Let k(s) = -3*s + 2. Let c be k(3). Is m not equal to c?
False
Suppose 4*s + 15 = 5*g, 4*g = -2*s - 0*s - 14. Suppose 5*a = 11*a. Which is smaller: g or a?
g
Let t = -5411/4 + 1343. Which is smaller: -10 or t?
-10
Let n = -162 - -68. Let w = n - -108. Which is smaller: w or 0.2?
0.2
Let p(k) = -k**2 + 9*k + 106. Let a be p(14). Is 5 greater than or equal to a?
False
Let d(h) = -h**2 - 12*h + 4. Let t be d(-12). Let m be (10/44)/5*t. Let n = m + 51/22. Is n > 3?
False
Let b be (15/(-9))/(((-25)/(-6))/(-5)). Do b and 20 have the same value?
False
Let r be -4 + ((-36)/(-8) - (-21)/(-14)). Which is greater: -146 or r?
r
Suppose -7*h + p = -4*h - 8, -3*h = 5*p - 32. Which is bigger: -315 or h?
h
Let m be 1 + 0 + (-38162)/80. Let g = m + 476. Which is smaller: 1 or g?
g
Let a be (-10)/5*(-1)/(-2). Let m = a - 2. Let q = m - -4. Are 0.02 and q non-equal?
True
Let k = -0.149 - -0.149. Is k at most as big as -2?
False
Let p be -3 + 5 + -8 + 1189/199. Which is greater: p or 0?
0
Let w = 401 + -388. Let v = -4.6 + 5. Is v < w?
True
Let p(f) = f**2 - 7*f + 22. Let s be p(6). Suppose -44 = 10*y + s. Does y = -11?
False
Let a = -0.2 + 0. Let y = 7.1562 - -0.0438. Let b = y + a. Which is smaller: -0.1 or b?
-0.1
Let n = 0.32 - -1.88. Let g = -8.2 + n. Are 0.2 and g non-equal?
True
Suppose 0 = -5*p - 2*i - 35, -p + 16 = -3*i + 6. Which is greater: p or -32?
p
Let q = -10/21 + 8/7. Let w = -34.07 - 17.93. Which is bigger: w or q?
q
Let s = -1371 + 1367. Which is smaller: s or 2/5?
s
Let i(d) = d**3 + 10*d**2 - 12*d - 7. Let r be i(-11). Suppose 0 = r*k - 8 - 8. Suppose -49 - 11 = -15*o. Is o <= k?
True
Let b = -27 - -29. Suppose 4*m - 41 = -5*u - 9, b*m = -5*u + 26. Which is smaller: u or 6?
u
Let o = 14.17 + -0.17. Let z = o - -5. Let s = 18 - z. Do s and 4 have the same value?
False
Suppose 3*v = 3*x - 26 + 125, 131 = 4*v - 3*x. Let y = -21 + v. Suppose -c + 10 = -3*c, y = -4*l + c. Which is greater: l or -5?
l
Suppose 0 = -5*y - 3*f - 7, f = 5*y - 4*f + 15. Let o be (3/(-3))/((-2)/52). Let u = 24 - o. Is u less than y?
False
Suppose 0*j - 46 = -2*j. Let o = 2058 + -2037. Is o at most j?
True
Suppose 3*n - 5*u - 10 = 0, 0*n + 3*u + 6 = 3*n. Suppose 2*h + h = n. Which is smaller: 1 or h?
h
Let i be (-4 - -12)*(-3)/4. Let q be i + 2 + (0 - -6). Is q >= 0?
True
Let z(k) = -k - 18. Let b be z(-8). Let s = b + 31. Let u = s + -43/2. Is -1 greater than or equal to u?
False
Let h = 68 - 69. Is h greater than 9?
False
Let p be 1/(-3) + 2/6. Suppose 6*u = 21 + 339. Let w be (-4)/(-50)*u/24. Is w > p?
True
Let v be 33/27 - (1 + -2). Suppose -5*m - 12*m - 1292 = 0. Let y be ((-38)/m)/((-1)/(-6)). Is v equal to y?
False
Let v = -10/39 + -1/13. Let j = 2726 + -2727.7. Is v greater than or equal to j?
True
Let h = 7 - 3. Let k be 1/(-2 + 6/h). Let u be 4*4/12*(-3)/2. Is k smaller than u?
False
Let m = 163 + -68. Let l = -53 + m. Let b be (-40)/7 - 12/l. Is b >= -6?
True
Let q be 5 - (12/26 + 50/10). Does 0 = q?
False
Let v be 2/10 - 3*9/(-15). Suppose -f = -2*b - v*b - 5, -4*f + b = -80. Which is bigger: f or 22?
22
Let n be 14/12 - 10/(-10). Which is greater: n or 2?
n
Let a be 9/15 + 1878/120. Are 15 and a equal?
False
Let s(b) = 5*b + 3. Let g be s(-2). Let c be (0 - (-2)/(-6)) + g/(-84). Is c at most 1?
True
Let j = 6/127 - -44/4445. Let n = 0 + 0. Which is smaller: n or j?
n
Let j(c) = -c**2 + 4*c - 1. Let z(v) = -v**2 + 3*v - 1. Let b(n) = 3*j(n) - 2*z(n). Let l be b(6). Let w be (2 - 6/2)/l. Which is smaller: w or -1/5?
-1/5
Let l be 0 - 23/(529/(-6)). Let k = -5 - -1. Let r(i) = -i - 5. Let n be r(k). Which is greater: n or l?
l
Let m(g) = 7*g - 11 - 14*g + 6*g. Let z be m(-13). Let n(c) = 3*c - 6. Let d be n(z). Which is smaller: d or -2/27?
-2/27
Suppose 0 = -2*m + 8. Let x = m - 2. Let a = -321/5 + 66. Which is greater: x or a?
x
Let k be (7/(-14))/(2/(-48)). Suppose 5*w - 5*y - 30 = 0, 5*w + 0*y + y - k = 0. Is w at least as big as 5?
False
Suppose -12 = -4*s + 4*z, 0*s + 4*z = -5*s + 15. Suppose -5*r + s + 18 = 3*y, -2*y = r - 21. Which is smaller: y or 15?
y
Let q(b) = -b**2 + 2*b + 4. Let n be q(4). Suppose -16 = w + 4*f, -2*w - 4 = f - 0. Suppose -2*h - 6*o + 3*o - 6 = 0, w = -o. Is n at most as big as h?
True
Suppose -13 = 3*s - 3*w + 41, 2*s + 26 = -3*w. Let h = s + 16. Suppose u + h + 1 = 0. Is -6/5 > u?
False
Let g = -0.02 + 0.02. Let b = -178.5 - -179. Let s = g - b. Which is smaller: s or -0.2?
s
Suppose -5 = -4*h - y, 8*y - 5 = 3*y. Let k be (-14)/(-3) + h + 2. Which is smaller: k or 9?
k
Let s(m) be the second derivative of -m**3/3 - 3*m**2 - 11*m. Let r be s(-3). Is -1 greater than r?
False
Let v(k) = 2*k**2 + 7*k + 6. Let t be (21/14)/(9/(-24)). Let i be v(t). Let b be (i/(-9))/(16/12). Is b at most as big as -2?
False
Let b be 6/(-36) + (-52)/48. Let j(x) = -2*x. Let a be j(-1). Suppose a*d = d - 1. Which is bigger: d or b?
d
Let c be (-1834)/(-56) + ((-7)/4 - -2). Which is greater: 27 or c?
c
Let g = -148.3 - -144. Which is smaller: -0.1 or g?
g
Suppose -v + 2*v = -2*n - 17, n - 2*v = -16. Which is bigger: n or -111/10?
n
Let q(g) be the second derivative of -g**7/2520 - g**6/72 - g**5/15 + 5*g**4/12 - 4*g. Let k(w) be the third derivative of q(w). Let f be k(-9). Is f > 1/2?
True
Let m = -1472 + 1471. Which is smaller: -2/47 or m?
m
Let j(v) = 11*v**2 + 17*v + 42. Let l(y) = -17*y**2 - 26*y - 63. Let z(q) = -8*j(q) - 5*l(q). Let i be z(-6). Is i <= -92?
True
Let w = -0.01 + -0.27. Let x = w - 0.72. Which is smaller: 3 or x?
x
Let g(c) = 2*c - 3. Let u be g(-4). Let q be ((-8)/(-10))/(14/(-175)). Is q at least u?
True
Let m = 5.16 - 5.1. Let z = -6 - -1. Let r = z + 5.1. Which is bigger: r or m?
r
Let p = -359 - -355. Let k = -4/1431 + -42886/15741. Which is smaller: k or p?
p
Suppose 3*s + 3*s - 24 = 0. Let v be ((-15)/60)/(2/s). Which is smaller: v or 26?
v
Let c = 120 + -62. Let y = -58 + c. Are 32 and y equal?
False
Let k(w) = 2*w - 13. Suppose -18*t - 7 = -19*t. Let h be k(t). Which is smaller: h or 4/11?
4/11
Let h be ((-1172)/(-22))/(2/(-5)). Let y = -133 - h. Let w = 115 - 116. Does y = w?
False
Suppose -18*q + 21 = -69. Let v be (0 - (2 - 3))*2. Suppose q = v*j - 9. Is 7 less than or equal to j?
True
Suppose 3*u - 4 = -u. Suppose -8*b - 87 = 257. Which is greater: u or b?
u
Let i be (19/323)/((-10)/4). Which is smaller: -0.4 or i?
-0.4
Let l = -0.01 + -0.16. Let i = -0.24 - l. Let h = 29 - 86/3. Is h greater than i?
True
Let l be 44/(-10) + (-6)/(-10). Let z(o) = -5*o - 26. Let k(r) = 2*r + 13. Let x(h) = -7*k(h) - 3*z(h). Let n be x(8). Which is smaller: n or l?
n
Let g be (-216)/69 + 1 - -2. Let a(i) be the first derivative of -i**4/4 - 14*i**3/3 + 8*i**2 + 15*i - 16. Let j be a(-15). Is g greater than or equal to j?
False
Suppose 0 = -5*z - 28 - 2. Let u be 70/(-1)*3/z. Let o be (-20)/6*6/u. Do -1 and o have the same value?
False
Suppose y + 4*l = 18, y - 22 = -0*y - 5*l. Suppose 2*f = f + 2*z + 10, 