= -3*n - 2*d, -5*d - 143 = 4*n - 0*d. Let a be 40/(-30) - 44/n. Is a >= -1/12?
False
Suppose 0 = 3*i - 12. Suppose 3*s = i*s. Is s <= 0?
True
Let j be 108/(-8)*6/(-9). Which is greater: 15/2 or j?
j
Let i be (-8)/28 - (-60)/14. Suppose -x - 20 = -i*p, -2*p + 3*x - 5*x = 0. Let d = p - 7. Is -3 < d?
False
Let y be 7/140*(-4)/3. Which is greater: y or 0?
0
Let d be (2022/28)/((-130)/4). Let a = d + 2/91. Is -1 < a?
False
Let n be -2*(-3 + 52/16). Is 5/4 smaller than n?
False
Let o be (1/(-2) - 1)*-2. Let r(b) = b - 1. Let k be r(o). Is k not equal to 5/2?
True
Suppose 0 = 5*d - 0 + 15. Let p be -2 + 4 + -2 - d. Is 2 <= p?
True
Let h = -1015/744 - 1/93. Let d = h - -7/8. Let t = -7 + 4. Which is smaller: d or t?
t
Let y(t) = 33*t - 6. Let d be y(-6). Let v = d - -1635/8. Which is smaller: 1 or v?
v
Let n(m) = m + 33. Let y be n(-21). Let q(v) = 2*v**3 - v**2 + v - 2. Let o be q(2). Is y < o?
False
Let m = -97/558 + 2/279. Let x = -17 - -50/3. Let s = m + x. Is 4 bigger than s?
True
Let d = 0.127 - 0.027. Suppose j - 39 = -4*w, 5*w - 2*w - 3*j = 48. Do d and w have different values?
True
Let t = 379/5 + -1052/15. Let m = t + -6. Is 1 bigger than m?
True
Suppose 2*k - r = 3, -k + 4*r = 3*k. Let m be (6/4)/(-3)*k. Is m equal to -1?
False
Let z = 35 - 28.6. Let n = z + -6. Let r = n + -0.4. Is 2/5 greater than r?
True
Let v = 25 + -40. Let d = -59/4 - v. Let t = 2/11 - 40/99. Is t bigger than d?
False
Let u = 1 - 0.5. Let w = u - 0.2. Is -2 at least w?
False
Suppose 4*i + 4*x = 96, 78 = 3*i + 4*x - 3*x. Is 105/4 bigger than i?
False
Let b = -227 + 2501/11. Let c = 36 + -37. Which is smaller: b or c?
c
Suppose -2*l + 8 = -2. Suppose -6*a + a = 3*z - 5, 5*a - l = 3*z. Let o = 448/2343 + -2/213. Is o >= z?
True
Let m = -0.19 - -1.49. Let c = 0.03 + -1.03. Let l = m + c. Which is greater: l or -0.1?
l
Let r(p) = 8*p + 4. Let g be r(4). Let d = g + -106/3. Which is greater: 1 or d?
1
Suppose 0 = -h - 3*h. Let n(l) = -l**2 - l + 1. Let s(f) = -4*f**2 - 3*f + 3. Let t(y) = 3*n(y) - s(y). Let c be t(h). Which is smaller: 1/3 or c?
c
Suppose p + 6 = -p. Let k be (((-18)/(-4))/p)/(-41). Let h = -109/738 + k. Is h less than -1?
False
Let b(g) = -7*g**2 + 22*g - 20. Let u(x) = -3*x**2 + 11*x - 10. Let q(v) = -2*b(v) + 5*u(v). Let m be q(10). Which is smaller: m or 2?
m
Suppose -4 = -2*x, 0 = 4*d - 2*x + 7*x - 14. Let s = -10 + 18. Is s at least d?
True
Let s be 0 - 2*(-1)/6. Which is smaller: s or 0?
0
Let b = -13 - -16. Let h be (-3)/b + 33/21. Which is bigger: 0.1 or h?
h
Suppose 13*v - 14*v - 5 = 0. Is v > -10?
True
Suppose 5*g + 4*s = 40, -4*g - s - 3*s + 36 = 0. Is g <= 6?
True
Let l = -35/17 - 1051/51. Is -24 greater than l?
False
Let d = 8 - 20. Let q be ((-3)/102)/(3/d). Is q not equal to 0?
True
Let y = -1356975731/306956 + -3/153478. Let n = y - -4387. Let l = -34 - n. Which is bigger: 1 or l?
1
Let q be (2/6)/(1680/(-36)). Let g = q - -59/420. Is g smaller than -1?
False
Let i = 209 + -2297/11. Is 4 at most as big as i?
False
Let u = 20 + -17. Is u smaller than 4?
True
Let t be (3/(-2))/(2/(-4)). Suppose 6*d - 48 = 4*d + v, -4*d - v = -96. Let y be t*(d/9 + -2). Is 0 at most as big as y?
True
Suppose -2*k + 4*w + 96 = -0*w, -w + 185 = 5*k. Which is smaller: k or 40?
k
Let r be -3*(7/2)/(-7). Which is smaller: r or -1?
-1
Suppose -4 = -7*a + 3*a. Suppose -2 + 0 = 2*v - 2*n, n - a = -v. Suppose -5*k - 14 = -2*j, 3*j + 3*k - k + 17 = v. Does j = -3?
True
Let t = -10 + 6. Let o = t - -3.84. Let w = o - -0.06. Which is greater: w or 4/7?
4/7
Let k be ((-32)/3)/4*(-30)/8. Which is bigger: k or 62/7?
k
Let z = 3 - 2.6. Let v = -0.3 + z. Let a = 21 - 59/3. Which is smaller: a or v?
v
Let c be -3 - -1 - (8 - -3). Let z(i) = i**2 + 14*i + 13. Let q be z(c). Is q < 0?
False
Let h = -88 + 618/7. Which is greater: h or -1/8?
h
Let b = -57.46 - -57. Let n = -0.5 - b. Let i = n - 3.96. Is i less than or equal to 1?
True
Suppose h - t = -10, 2*h + 4*t + 30 = 8*t. Let d = h - -5. Is d equal to -1/8?
False
Suppose -a + 8 = 5*u, -2*u + 36 = -3*a + 3*u. Which is smaller: a or -38/5?
-38/5
Let j = 11 + -8. Suppose 7 + 94 = -3*a - 4*l, j*l - 73 = 2*a. Let k be 41/a - (-3)/5. Is k smaller than 0?
True
Let j be (2 + 1 - 3)/2. Which is greater: j or 1/14?
1/14
Let n(z) = z**3 - z**2 + 4 - 3*z - 3 + 2 - 1. Let w be n(2). Is 1 != w?
True
Suppose q = -q. Let o(d) = -3*d**2 - 2*d + 2. Let u be o(-2). Let g = -4 - u. Is q >= g?
False
Let u be 3/4 - 21/252. Is 4 at most as big as u?
False
Let g be -1 + -2 - -1 - -2. Suppose -2*m - 2 = 0, g = 2*v + 3*m + 3. Which is smaller: 1 or v?
v
Let n(v) = -v - 15. Let o = -35 - -21. Let a be n(o). Is a < -3?
False
Let z be ((-6)/7)/((-12)/4767). Let i = z + -327. Let s = i + -14. Which is bigger: -2 or s?
s
Suppose 0*o + 5*o = -3*j + 34, -j = -3*o + 12. Let y = o - 0. Suppose -13 = -2*b - y. Which is bigger: 5 or b?
5
Let x = -13 - -20. Which is smaller: x or 6?
6
Suppose 2*m + 5*u - 1 = 0, 5*m - 3*m - u = -29. Is m at most -12?
True
Let y(u) = u**2 + 0*u**2 + 3*u + 0*u + 1. Let q be y(-3). Suppose l - c - 3 + q = 0, l + c = -6. Which is greater: l or -3?
l
Suppose 0 = r + 3*r. Which is smaller: 3/11 or r?
r
Let s = 0 - 29. Let y = -18 - s. Let g = 43/4 - y. Is 1 less than or equal to g?
False
Let k be (-2 - 6/(-6))/(-1). Let o = 297 + -9209/31. Which is smaller: k or o?
o
Let d = -43 + 34. Is -2 at least as big as d?
True
Suppose 0*x = 3*x - 3. Which is bigger: -1/28 or x?
x
Let p = 1 + 1. Suppose -5*s - 16 = -a, -s - p = 4*a + s. Let l = 23/203 + 5/29. Is a equal to l?
False
Let j = 322 - 3545/11. Let a(p) = -2*p - 11. Let l(t) = t - 2. Let q be l(-4). Let u be a(q). Which is greater: u or j?
u
Let f(w) = -w**3 + w**2 - 4. Let b be f(0). Let q(r) = -r**2 - 3*r + 5. Let t be q(b). Let h = 88 - 970/11. Which is greater: t or h?
t
Let a = 0.05 - 2.05. Let l = 13 + -6. Let p = 5 - l. Is p at most a?
True
Suppose -6*v + 3*v - 3 = 0, -4*l + 4*v = 0. Let i = -1 - 0. Let q be 0 + i*3/18. Which is smaller: q or l?
l
Let d = 16.6 - 0.6. Let z = d - 10. Let f = z - 3. Which is bigger: f or -0.1?
f
Suppose -i = 4*i - 3*g + 55, 4*i = 2*g - 42. Let b = 3 + i. Which is greater: -6 or b?
b
Let k = -37 - -38. Is k smaller than -2/5?
False
Suppose 4*h - 3 = 5. Let d be (-2)/6*(15 + 0). Let m = d + 8. Does h = m?
False
Let q be -1 + (1 - (-40)/44). Which is greater: q or 2?
2
Let p be (-8)/2 + 6 + -14. Is -12 at least p?
True
Let o(g) = -g**2 - 5*g + 9. Let d be o(-5). Suppose 0 = -4*z - 3*w + 32 + d, -2*w + 6 = 0. Is 6 less than or equal to z?
True
Suppose -2*q = -q - 4. Let l be ((-8)/10)/(q/(-10)). Suppose l*i = i + 1. Is i at most 3?
True
Let g = -0.16 + 12.16. Let t = -13 + g. Do t and 0.2 have different values?
True
Let x be 3/(1 + -1*2). Suppose 4*s = 5*i - s - 15, -i + 3*s + 11 = 0. Let j = i + -1. Do j and x have the same value?
False
Let c be ((-6)/(-15))/(4/30). Which is greater: 4 or c?
4
Let b = -7 - -14. Suppose 4*l = -g + 10, -2*l - l = g - b. Which is bigger: 1 or l?
l
Suppose 4*r + 0*r + n - 1 = 0, 2*r - 5*n = -5. Suppose r = 4*l + 12. Is -8/3 bigger than l?
True
Let z = 11 + -8. Suppose 20*g + 2 = 21*g. Which is bigger: g or z?
z
Let i be (2 - -5)*12/28. Suppose 0 = 3*h - 5*f - 17, i = h + 4*h - 2*f. Is -7/3 bigger than h?
False
Let f(b) = -b**3 + 4*b**2 - 5*b + 2. Let k be f(2). Which is smaller: k or 4/85?
k
Suppose -5*l + 10 = z, -5*z - 2 - 2 = -2*l. Let p = 3568/15 + -238. Is p >= z?
False
Let d = -2356714 - -841346228/357. Let l = -13/7 - d. Let p = l + 91/561. Which is smaller: p or -1?
-1
Let q(g) = g**2 + 8*g. Let y be q(-8). Let c = 294772/2051 + -1006/7. Let r = c - 620/4981. Is r < y?
True
Let i = 0.3 + 0.7. Let p = i + 2. Which is smaller: 0 or p?
0
Suppose -3*z - 2*g = 65, -3*z - 67 = -0*z + g. Is z >= -24?
True
Let z(q) = 12 - q**2 + 6 - 22. Let w be z(-3). Do w and -12 have the same value?
False
Let w(c) = c**2 - 10*c + 12. Let q be w(9). Suppose -5*y + 29 = -m, 0 = 3*y + 7*m - q*m - 22. Which is smaller: y or 5?
5
Let c(y) = y**2 - 7*y + 1. Let r be c(7). Let z = 4 + -3.9. Is r greater than z?
True
Let i = -10 + -3. Let a = 13.1 + i. Is 0.1 smaller than a?
False
Let o(n) = n**2 - 2*n + 3. Let s be o(2). Suppose 4*p - 6 = -2*l, p + s*p = 2*l + 10. Which is smaller: l or 1/3?
l
Suppose -20 = -4*s, -3*r + 7*r - 7 = -3*s. Le