Let j be x(14). Which is greater: j or 6?
6
Suppose -u = 2*a + 2, 4*u + 5*a = -1 - 7. Is u less than or equal to -10?
False
Let l(f) = -f**3 - f**2 + 4*f + 4. Let m be l(-3). Let v be (6/20)/(12/m). Let j(r) = -r**3 - 2*r**2 + 3*r. Let o be j(-3). Is v < o?
False
Let u = 34 + -24. Suppose 6*h - u*h + 4 = 0. Is h bigger than 2/23?
True
Let q = -13 - -14. Which is bigger: q or -5/3?
q
Let s = -15.1 + 15. Which is smaller: s or 2?
s
Let c be 4/(-3)*9/6. Let f = -29 + 26. Which is smaller: c or f?
f
Let k be (2 - 8)/((-21)/(-14)). Let w = k + 0. Which is smaller: -5 or w?
-5
Let i = 2 - 2. Let c be (-4)/6*1/(-4). Which is smaller: c or i?
i
Let v be (1/20)/((-24)/(-60)). Is 0 at most v?
True
Let s be (6/(-7))/((-4)/84). Is s at most -1?
False
Let v(d) = 2*d**2 + 4*d - 3. Let g be v(2). Suppose -4*f = u + 11, f - g = -4*u + 4*f. Which is bigger: u or 2/5?
u
Let x(j) = j - 8. Let y be x(9). Which is greater: 8/23 or y?
y
Let g = -2 + 8. Let u(b) = -b**3 + 6*b**2 + 4. Let r be u(g). Suppose q + 5 = -5*m, 4*q - 6*q + 18 = -r*m. Which is greater: m or -1?
-1
Let f be (-2)/4 - (-9)/6. Suppose -5*j = -f - 4. Which is smaller: 0 or j?
0
Suppose -4*b - 32 = -96. Which is smaller: 15 or b?
15
Let n = 34 + -18. Is n < 15?
False
Let y(m) = m - 3. Let d be y(-3). Let t = -15/2 - d. Do t and -3 have the same value?
False
Let u = 51 - 51. Let k(d) = -d**3 - 6*d**2. Let m be k(-6). Is m <= u?
True
Let w be (-4)/8 - (-18)/4. Let m = 6 - w. Is m greater than 4?
False
Let j(x) = x**2 - 8*x - 3. Let c be j(6). Let y = c + 4. Is -11 less than y?
False
Let y = 39 - 28. Which is smaller: 10 or y?
10
Suppose 0 = -3*t + s + 15, 4*t - 20 = -4*s + s. Suppose t - 2 = 3*u. Let n = -1 - -1. Which is greater: u or n?
u
Let u = 12 + -3. Let a = u - 5. Which is smaller: 1 or a?
1
Suppose 0 = 5*n - 2*n. Suppose 4*d + d - 25 = n. Let w be (d/(-10))/(2/4). Are -0.2 and w equal?
False
Let n = 1 - 3. Let q = -5/2 - n. Let y be (8/(-15))/((-4)/10). Is q less than or equal to y?
True
Let x = -0.09 + 7.09. Let f = 5 - x. Let b = 1 + f. Is b bigger than -1?
False
Let f = -6 - -5.3. Let m = f - -0.6. Is m > 0.4?
False
Let y be -2 - (0 + 1/1). Let f = 1 - y. Suppose l + f*l + 10 = 0. Which is bigger: l or 1?
1
Let b = 2 + -2.3. Let w = 2.5 - 0.5. Let m = -4 + w. Do b and m have different values?
True
Let t = 29 + -28.9. Is t at least 3/10?
False
Let m = -25/2 - -143/12. Let b = m + 115/156. Let l(w) = -w - 5. Let k be l(-5). Which is smaller: k or b?
k
Suppose -6*f - 54 = -0*f. Is -7 != f?
True
Let l = -3/4 - -5/4. Let g be -5 + 1 - (5 + -8). Which is greater: g or l?
l
Let t(v) = -v**3 - 8*v**2 + 9*v + 10. Let u be t(-9). Let z be (-2)/(u + -2)*3. Which is greater: z or 2/3?
2/3
Suppose -5*c + 23 = -4*h - 7, -4*h - 16 = 2*c. Is h less than -1?
True
Let b be (-2)/(-10)*(2 + 3). Which is greater: b or 1/37?
b
Let h = 33 - 31.1. Let x = h + 4.1. Which is smaller: x or 0?
0
Let c = -31 + 21. Let u = -7 - c. Which is smaller: u or 1?
1
Let j = -7 + 8. Are j and 1 equal?
True
Let s be (-155)/(-15) + -3 - 3. Is 5 at least s?
True
Suppose -5*t + 111 = 31. Suppose t + 2 = 2*d. Let a(l) = -l**2 + 10*l - 4. Let x be a(d). Which is smaller: x or 6?
x
Suppose 0 = -4*q - u - 4*u, -8 = -2*u. Let l = -5 - q. Is 0 not equal to l?
False
Let i = -11 + 16. Let r(q) = -q**2 + 6*q + 2. Let b be r(i). Which is bigger: b or 6?
b
Let k = 1.47 - 0.47. Which is smaller: -23 or k?
-23
Suppose -272 = 4*b - 2*d, -3*b + 5*d + 355 = -8*b. Is b bigger than -68?
False
Suppose -w + 76 = -y, -2*y = y. Is w >= 76?
True
Suppose 10*k - 9*k = 1. Is 1/37 less than k?
True
Let n(c) = c**2 - 7*c + 2. Let s be n(7). Let r(x) = x**3 + 2*x**2 - 2*x - 1. Let j be r(-2). Which is bigger: j or s?
j
Let s = 567 - 23245/41. Are 0 and s equal?
False
Let u(s) = -s**3 - 3*s**2 - 2*s + 1. Let y be u(-3). Let t be (2 + y*-3)/(-1). Suppose -4*z - d + t = z, z - 4*d = 8. Are z and 4 non-equal?
False
Let g = 51.15 + -35.06. Let b = g - 16. Let w = -0.05 + -0.05. Are b and w non-equal?
True
Let j = -118 + 98. Is -20 less than or equal to j?
True
Let o = 0.5 - 1.4. Let c = o - 0.1. Is c <= 0.08?
True
Let i = 1 + -0.9. Let t = -12 + 11.89. Let a = 0.21 + t. Is i < a?
False
Let d = -7 + 9.6. Let q = d - 0.6. Which is greater: q or -2/7?
q
Let i = -7 - -18. Let z = 10.98 - i. Which is bigger: 1 or z?
1
Let j be (3 - (-3 - -2)) + -4. Which is greater: j or 1/18?
1/18
Let d be (1*-2 + 2)/1. Suppose d*p + 5*p = 0. Let w be 6*((-27)/30)/9. Which is greater: w or p?
p
Let s = -7/5 - -41/15. Is 3 less than s?
False
Let r = 18 + -13. Let l = -3 + 9. Which is smaller: r or l?
r
Let r = 536 - 542.99. Let n = 7 + r. Let p = 0.01 - n. Are p and -0.01 unequal?
True
Let y(s) = s + 4. Let v be y(-4). Let w be (v - -2) + (-4)/3. Let c be (-2)/(-6) + (-24)/(-36). Which is smaller: c or w?
w
Let d = 38.04 + -38. Let i be (-6)/27 + 7/(-9). Are i and d unequal?
True
Let q = -128/3 - -44. Is q bigger than 3?
False
Suppose 28 = -5*u + 4*b + 5, u - b + 5 = 0. Is u greater than 1/3?
False
Let z = -16.2 - -16.3. Which is greater: -0.3 or z?
z
Let i = 74 + -73.9. Which is bigger: -2/3 or i?
i
Suppose -6*s - 4 = 8. Does s = -7/4?
False
Suppose 604 = 4*c - 3*b + b, -2*c + 286 = 3*b. Let r = c + -1339/9. Which is greater: 1 or r?
1
Suppose -r + 6*r = 3*u - 2, 3*r = 5*u - 14. Which is bigger: r or -8/5?
r
Let c(j) = -3*j**2 + 4*j + 2. Let r(m) = m**2 + 1. Let h(f) = -c(f) - 2*r(f). Suppose -25 = -5*y - 5*l, 5*l = -2*y + l + 10. Let x be h(y). Is x >= 3?
False
Let r = -3 + 4. Let j be ((-3)/(-3) - 3)*r. Let q be (-6)/(-10)*j/(-3). Do q and 1/2 have the same value?
False
Let c = 41 - 33. Which is bigger: c or 15/2?
c
Let v be 4/2 - (11 - 3). Let l(c) = c**2 + 6*c - 1. Let q be l(-5). Are q and v non-equal?
False
Let n = -80/3 + 27. Is n less than or equal to -2/9?
False
Let d = -27/4 + 6. Let t = 13/28 + d. Which is greater: 1 or t?
1
Let r = 223.99 - 225. Is r less than or equal to 0.1?
True
Let k be (-446)/(-10) - (-2)/(-1). Suppose 18 = 3*u - 111. Let b = k - u. Which is smaller: -1/4 or b?
b
Let q = 9.78 + 0.22. Let l = -9.9 + q. Are l and -7 equal?
False
Let t be (-4)/10 + 32/5. Suppose 2*d + 10 = -t. Which is smaller: d or -7?
d
Let s = -21.1 + 21. Is 3 <= s?
False
Let t be -1 + 3 - 4 - 3. Suppose s + 0*s = -5. Let o(z) = -z**3 - 6*z**2 - 5*z - 5. Let q be o(s). Are q and t unequal?
False
Let l(q) = -3*q - 9. Let k be l(-4). Which is smaller: 22/9 or k?
22/9
Let r be 5 - 4 - (1 + -5). Suppose -4*j = -k, r*j + 4*k = 2*k + 13. Which is smaller: j or 1/6?
1/6
Let t(b) = b**2 - 13*b - 9. Let q be t(13). Let f be (-16)/(-72) - (-38)/q. Which is smaller: 0.5 or f?
f
Suppose 0 = 5*c + 17 - 92. Suppose -6*i - 11 = -3*k - 2*i, -4*k = -5*i - c. Are k and 4 nonequal?
True
Suppose -5*v + 4*i = -0*v - 2, 0 = 4*v - i + 5. Let f = 3 + v. Is f greater than or equal to 1/4?
True
Let v = -5.34 - -0.34. Which is smaller: 0.4 or v?
v
Let j = 19 + -19.5. Which is smaller: j or 4?
j
Let v be (13 + (-3)/1)/2. Is 6 at least as big as v?
True
Suppose -4*m - 16 = 0, -3*f - 2*f - m = 19. Suppose 7*c = -4*r + 2*c - 31, 2*c - 10 = 4*r. Which is greater: r or f?
f
Let d be 2/7 + (-40)/(-7). Suppose -m + 1 = -3*f - d, 12 = -4*f. Suppose -x + 3 = -4*x. Is x < m?
False
Let x(h) = -5*h**3 - 3*h + 2. Let l be x(1). Is l greater than or equal to -5?
False
Let v(o) = o**2 + 12*o - 2. Let z be v(-13). Which is greater: 10 or z?
z
Let x be 13 + -11 + 20/(-9). Is x > 1?
False
Suppose -3*d = -5*d. Let w be 1 + (1*-3)/3. Are w and d equal?
True
Let r = 5.4 + -0.4. Let b = -3 + r. Let m = -0.01 - 0.29. Which is smaller: b or m?
m
Let n = -265/2 - -134. Let y(c) = -2*c - 1. Let h be y(-2). Is h >= n?
True
Suppose 2*f + w + 0 = 3, -6 = -3*f - w. Let n be -13 + (-3)/(-1) + 2. Let o = n + f. Is -1 < o?
False
Suppose -5*d + 168 = -3*t, -2*d - 211 = 4*t + 39. Is t <= -61?
True
Suppose v = 3*z + 217 - 61, 2*v + 4*z = 312. Is 155 at most as big as v?
True
Let j = -0.09 - -0.09. Which is bigger: j or -0.02?
j
Let s(w) = -w - 4. Let m be 4*(-2 - 15/(-12)). Let v be s(m). Let x be 2/((v - -3) + -3). Which is greater: -1 or x?
-1
Let o = -26 - -16. Are -3 and o non-equal?
True
Let x = 6 + -7. Let q be x/(-3)*(3 - 3). Which is smaller: -5/9 or q?
-5/9
Let u(v) = -4 - 4*v**2 + 3*v**2 + 2*v**2. Let z be u(2). Is -3/7 equal to z?