reater: z or w?
z
Let u = -42.3 + 42. Is u equal to -18/19?
False
Suppose -18 = -3*v - 15. Is v at most as big as 1/339?
False
Let m(p) = 25*p + 165. Let v be m(-4). Suppose o = 36 + 28. Which is smaller: o or v?
o
Suppose -3*u = -2*p + 1, 2*u - 4*p = -4 - 2. Which is smaller: u or -2/647?
-2/647
Suppose 4*s - s = 5*l - 37, l - 9 = s. Suppose 0 = -2*o - 40*n + 45*n - 1, -n - 7 = -4*o. Is s > o?
False
Let f = 17/19 + -15/38. Which is smaller: f or -10/33?
-10/33
Let b = 0 + -3. Let n = -173 + 169. Is b bigger than n?
True
Let x be (75/(-12))/(5/(-20)). Suppose 11*o = 6*o + x. Let q be (-18)/(-60)*o/9. Are q and -3 nonequal?
True
Suppose 4*f + 588 = 588. Are 2/193 and f equal?
False
Let o = -401 + -806. Which is smaller: -0.1 or o?
o
Suppose 5*m + 8 = 3*m. Let a(w) = w**2 + 5*w + 5. Let f be a(m). Let i be ((-38)/6 + 1)*(-111)/148. Which is smaller: i or f?
f
Suppose -4*j + 4*v = -56, -v = 4*j + 4*v - 74. Suppose -3 + 7 = 2*q, 2*b + j = -2*q. Let a be b/(-35) - (-162)/21. Is a <= 0.1?
False
Suppose 11 + 1 = 4*k. Let u be 14*1*6/12. Suppose -5*q + 8 + u = 0. Is k < q?
False
Let h be 9/11 + (-12 - (-1072)/88). Which is greater: 1/1324 or h?
h
Let p = -1 + 4.4. Let j = p + -0.6. Let k = j + -3.9. Which is smaller: k or 2/7?
k
Suppose -2*i + 3*x + 32 = 0, 66 = 8*i - 3*i - 4*x. Let m be -3*(-1 + i/15). Which is smaller: m or -2/125?
-2/125
Let r(k) = k**3 + 6*k**2 - 19*k - 28. Let c be r(-8). Suppose 3*q + 4 = -q. Which is bigger: c or q?
q
Let d = 225.369 - -0.631. Is 2 at most as big as d?
True
Suppose -i = -6 - 9. Let k be 10/i*3 + 0. Suppose 3*m = 2*t - 8, 4*t - m - 6 = -0*t. Which is bigger: t or k?
k
Let w(s) be the third derivative of s**4/24 + 3*s**3/2 + 7*s**2. Let v be w(-14). Is v < -18/5?
True
Suppose -1352 - 748 = -35*n. Is 67 less than n?
False
Let n be (-159)/5 + (-32)/(-200)*5. Which is smaller: n or -30?
n
Let v be 1*1*(2 + -1). Let k be 3 + (-16)/3 - (66/18 - 4). Which is smaller: k or v?
k
Let m = -701/45 + 79/5. Which is smaller: -1.3 or m?
-1.3
Let a = -2078/5695 + 4/335. Suppose -4*y = -3*i + 12, -i = -5*y - 11 - 4. Is i > a?
True
Suppose -4*s + 2*r + 11 = -15, -2*r = -3*s + 22. Suppose -s*o = -3 - 9. Let z be 42/20 + 2/5. Which is bigger: o or z?
o
Let n = 712.22 + -4.22. Which is smaller: n or 0?
0
Let p(c) = -c**3 + 3*c**2 + 4*c - 8. Let u be ((-12)/(-4) + -2 + -4)*-1. Let x be p(u). Let v = 10 + -6. Are v and x equal?
True
Suppose -11*c - 10*c = -42. Let g be ((-3)/6 + -2)*-2. Which is greater: c or g?
g
Suppose 4*f - f + 428 = -5*b, 0 = -4*b - 4*f - 344. Let l = b - -77. Suppose 4*r + 32 = -0*r. Are l and r equal?
True
Let b = 1.23 - 0.52. Let k = 1.91 - b. Which is bigger: -2 or k?
k
Let n be (-38478)/663 - (121/17 - 7). Which is smaller: -57 or n?
n
Let d be 2061/27 - 16/12. Which is bigger: 0.07 or d?
d
Let h = -0.08 + 1.08. Let w(j) = 5*j + 70. Let d be w(-14). Which is greater: d or h?
h
Let r = -392 + 1954/5. Let f be 2 + 0 + 199 + (-80)/8. Let x = f - 193. Is r greater than x?
True
Let c be (-12)/4 + (14 - 2). Let i = -136 - -140. Which is smaller: i or c?
i
Let h(d) = -31*d - 142. Let l be h(-8). Is l less than 104?
False
Let m(x) = x**3 - 7*x**2 - 7*x - 8. Let p = -9 - -17. Let s be m(p). Let w be (4 - s)*(-5)/570. Is 0 bigger than w?
True
Let b = -0.123 - -271.123. Let g = -165 + b. Which is smaller: 0.1 or g?
0.1
Let k = -43.2 + 26.2. Let t = 35 + -17. Let j = k + t. Which is bigger: 5 or j?
5
Let b = -31.9 - -0.9. Let g = -32 - b. Which is smaller: -22 or g?
-22
Let y = -1269/5 - -121819/480. Are 1 and y nonequal?
True
Let q be 1 - (1 + 8/18). Let y(u) = -2*u - 26. Let a be y(-13). Suppose -w - 5*d + 16 = 0, 4*w + 4*d - 16 = -a*w. Which is smaller: w or q?
q
Let w(d) = -d + 2. Let u be w(3). Let j be 2010/(-1225) + (-2)/u. Let h = -2/49 - j. Which is smaller: h or -1/2?
-1/2
Let s(w) = -2*w + 6. Let m(n) = -n + 1. Let p(a) = -3*m(a) + s(a). Let o be p(-2). Let i be (-2)/(-1 + 15/(-10)). Is o <= i?
False
Suppose 10 = 2*f + 76. Is f at most as big as -33?
True
Suppose 0 = -4*x + 1 - 13, 0 = -s - 2*x + 1. Suppose s = 3*b + 2*t, 0 = -4*b - 0*t - t + 1. Which is smaller: b or -2/9?
b
Suppose -5*h - 23 = 2*u, -u - 2*h - 9 = -0. Let o(x) = -8*x**3 + x**2. Let k be o(-1). Let z be (0 - (-2)/6)*k. Is u > z?
False
Suppose -180 = -64*r + 70*r. Which is greater: -31 or r?
r
Let c = 1.1 + 10.9. Let v = 3 + c. Let m = -16 + v. Is 0 >= m?
True
Let n = -594 - -595.445. Let d = -0.055 - n. Which is bigger: d or 0.2?
0.2
Suppose -3 = -c + 1, -5*c + 23 = z. Let w be 78/91*28/z. Is 7 greater than w?
False
Suppose -3*r - 16 + 75 = 5*w, -35 = -3*w - 2*r. Is -6 smaller than w?
True
Let c = 915 + -948. Is c != -10?
True
Let q be (2/(-21))/((-206)/33 - -6). Which is greater: q or 0?
q
Let n = -1.2 - 2.8. Let y = -4.3 - n. Let b = 0.4 + y. Which is bigger: 3 or b?
3
Let m be (-672)/51464*2/(-4). Which is smaller: m or 0?
0
Suppose 20*t = 25*t + 205. Is -163/4 at least t?
True
Suppose 0 = -4*s + 2*s + 18. Suppose 11 + s = 5*v. Suppose -v*f + 4*r - 16 = -f, 0 = -3*f + 5*r - 20. Which is smaller: f or -1?
-1
Let j(h) = 5*h - 6. Let g be j(5). Suppose -7*m + g = 96. Which is smaller: -6 or m?
m
Let q = -4 - -7. Let f(u) be the first derivative of 4*u**3/3 - u**2 + u - 22. Let t be f(1). Is t < q?
False
Let k(d) = -37*d - 88. Let t be k(-3). Is t equal to -4?
False
Suppose 5*z + 579 + 190 = 4*i, 0 = -4*i - z + 763. Let s = i + -389/2. Is s smaller than 2/5?
True
Let x be ((-4)/10)/((-2)/(-10)). Let l(z) = -z**3 + 7*z**2 + z - 5. Let n be l(7). Suppose 0 = u - n*a - 1 - 2, 4*u + 2 = a. Is x less than or equal to u?
True
Let p = 228 + -229. Is p <= 0.03?
True
Let n = -8/69 - -179/2139. Suppose -2*i + 1 = -1. Is n at most i?
True
Let x(k) = k - 6. Let v be x(3). Let r be (9/v)/((-9)/6). Let n be r*3/(-6) - -2. Is 1 greater than n?
False
Suppose y = 2*y - 12. Let i(w) = 10*w. Let u = -28 + 29. Let t be i(u). Which is greater: y or t?
y
Let x(i) = -i**2 - 9*i - 4. Let h(m) = -m**2 - 8*m - 5. Let s(d) = 2*h(d) - 3*x(d). Let o be s(-11). Which is greater: 3 or o?
3
Suppose 0 = -8*c + 162 + 182. Are 1 and c unequal?
True
Suppose 3*n - 1294 = 4*v, 0 = 3*n - 2*v + 7*v - 1285. Which is bigger: 429 or n?
n
Let m = -22 + 17. Suppose -31*j = -20*j + 33. Are j and m nonequal?
True
Let b = 23230 - 441166/19. Which is smaller: b or 10?
10
Let r be ((-21)/(-6))/7*(-44)/(-8). Which is smaller: 4 or r?
r
Suppose -18 + 11 = z. Let f be 2 + z/4 - (-21)/60. Is f at most as big as 1?
True
Let g = 108 - 104. Let j be 5/((-70)/g) - 33/(-42). Which is smaller: j or 0.3?
0.3
Let c(x) = -x + 2*x - 2 + x. Let m be c(3). Suppose -m*g = -2*g + 6. Is -3 greater than or equal to g?
True
Let h(p) = p + 2. Let l be h(-2). Let i be (-4 - (l + 0)) + 22. Let y = 11 - i. Is y greater than -8?
True
Let c be 144/(-108) - 12/(-9). Is c at least 19/56?
False
Let n(t) = -t**3 - 7*t**2 - 2*t + 4. Let l be n(-6). Let i(j) = -j**2 + 19*j - 81. Let d be i(15). Let r = d - l. Which is smaller: -1/7 or r?
r
Let w = -137 - -136.6. Are w and 1/4 unequal?
True
Suppose 467 = -28*p + 7439. Is p greater than or equal to 249?
True
Suppose -2*a + 4*t + 4 = 0, -4*t + 0*t = -3*a - 2. Let k be 8/3 + 4/a. Which is bigger: k or 1?
k
Let g be ((-1)/(-3))/(9/54). Suppose s - 2*m - 34 = -g*s, 5*m + 49 = 3*s. Let f = 5 - s. Is -2 equal to f?
False
Let c = 1/60 + -17/120. Let y = 331/6 - 109/2. Is y greater than or equal to c?
True
Let j = -8548/111 + 77. Is j equal to 1?
False
Let a = 543 + -544.3. Is -0.2 at most as big as a?
False
Let t be (43/(-1763))/(3/9). Which is bigger: t or -0.4?
t
Suppose -p - 4 = m + 1, -5*p = -3*m + 25. Suppose -4*x = -0*x - 20. Suppose 0 = 3*y + 3, -3*y + 1 = x*w - w. Is w less than or equal to m?
False
Let w = -975 - -12669/13. Let j = w - -245/52. Is 3 at most as big as j?
True
Let h be (-284)/(-4)*(-1 - 0 - 0). Let b = h - -75. Let o be (-1)/3 + (-20)/(-6). Which is smaller: o or b?
o
Let c = -1571 - -1571.557. Is -1 at least c?
False
Let z = -241.98 + 242. Is 3 at most z?
False
Let g be (2 - 3) + 58/64. Let t = g + -5/288. Let w = t - -11/18. Is w less than or equal to 0.04?
False
Let o be (14*3)/3 + 2. Let t = o - 14. Suppose -t*p + 2*a = -5*p - 14, -3*p - 3*a - 15 = 0. Is p > -5?
True
Suppose 3*h + 9 = 0, -2*b - 189 = -h - 1000. Are b and 406 nonequal?
True
Suppose -m 