 big as -0.2?
True
Let q be (-16)/32 - (-4 - -1). Is 4 equal to q?
False
Suppose w = -2*w. Let d(h) = 5*h**3 - h**2 + h + 1. Let i be d(-3). Let u = 727/5 + i. Which is bigger: u or w?
w
Let b = -8 + 8. Let z = 0.7 + -0.5. Which is smaller: z or b?
b
Let u be -10*1/5*-2. Let r = -26 - -27. Is u greater than or equal to r?
True
Suppose 0 = 2*u - 4*q - 16, 2*q - 9 = 4*u - 65. Suppose -4*i + 24 = -z + 3*z, 0 = 5*i - z - u. Let k be (-14)/21*6/(-16). Is i bigger than k?
True
Let b be 26/(-65) - (-54)/10. Suppose n - 13 = b*p - 0, -3*p + 9 = 5*n. Suppose 0 = -2*d - 3*d + 15. Are d and n nonequal?
False
Let b = 0 + -0.16. Let l = b + 6.16. Is l <= 2/5?
False
Let c = -0.5 + -0.5. Let r = c - 1. Is r <= 1?
True
Let b(w) = -w**3 - 6*w**2 - 7*w - 6. Let m be b(-5). Suppose -m*c - 4*j = -8, 0 = -2*j - j + 9. Suppose -u = 4*u. Is c != u?
True
Let c = 18 + -19. Are c and 3/98 unequal?
True
Let w = 3/98 + -211/490. Let m = -10 - -10. Suppose -x = -m*x. Are w and x unequal?
True
Suppose -7*r + 3*r + 4 = 0. Let w = 1 - r. Is w not equal to -4/9?
True
Let j be (-2)/1 + (-11)/2. Let p = j - -9. Let c(y) = y**2 + 5*y + 1. Let o be c(-5). Which is smaller: p or o?
o
Suppose 2*q = 5*l + 22, -5*q + 3 + 10 = -2*l. Let d be 3*(1 - l/(-3)). Let t = -44 - -398/9. Which is smaller: t or d?
d
Let b(u) = u + 15. Let k be b(-13). Which is greater: 7 or k?
7
Let v = -0.5 + -5.5. Let j = 9 + v. Let y = -0.6 + 0.7. Which is bigger: y or j?
j
Suppose -3*y = -9*y - 30. Which is greater: y or 2/5?
2/5
Let p = -5015/2 - -2452. Let i = p - -54. Is -2 <= i?
True
Suppose 34 = -5*u - 2*l, -l + 3*l - 22 = 2*u. Is -6 bigger than u?
True
Let l = -138 - -137. Which is smaller: -1/6 or l?
l
Let j(o) = -o**2 - o + 1. Let g(q) = q**3 - 6*q**2 + 4*q - 10. Let x(n) = -g(n) - 2*j(n). Let d be x(8). Let c = 5 + d. Which is greater: c or -2?
-2
Let x(h) = -h**2 - 5*h. Let g be -1*(9 - 0) + -1. Let z be 1/2*g/1. Let s be x(z). Which is bigger: s or 4/7?
4/7
Suppose -5*f = p - 6*p - 35, -11 = 5*p + f. Is p greater than -1?
False
Let r = -61 - -43. Which is bigger: r or -15?
-15
Let z be 1/(4/12*1). Which is greater: z or 1?
z
Suppose 3*x - 4*r + 0*r = 1, 1 = -3*x + 5*r. Let k be (-1)/(-12) + x/(-9). Does 0.2 = k?
False
Let l = 1 - 0. Let v be -2 - (-20 + 2 - -1). Suppose -3*b + v = -2*t, 5*t - 4*b + 3*b + 5 = 0. Is t equal to l?
False
Let s be (-5 + 5)/((-2)/(-2)). Let k(p) = -p + 20. Let t be k(s). Suppose 70 = -4*w - 4*i + 22, 0 = 4*i + t. Do -8 and w have the same value?
False
Let h be (-12)/(-6) - (-8)/(-3). Let f = 10.05 - 10. Which is smaller: f or h?
h
Let i = 81 - 165/2. Let w be (-45)/18*(-4)/(-5). Is i greater than or equal to w?
True
Let l = 2.7 + -0.7. Which is smaller: l or -1/14?
-1/14
Let p = 6 + -12. Let g = 0.08 + -0.18. Which is smaller: p or g?
p
Let g(q) = q**3 - 12*q**2 + q - 5. Let v be g(12). Suppose v*r - 3*r = 0. Is 2 smaller than r?
False
Let s = 50/3 + -11. Let q(b) = 6*b. Let m be q(1). Let g = m - s. Are g and 0 non-equal?
True
Let x be ((-8)/10)/(2/(-5)). Let s be x/2 + 38/3. Let i = s + -13. Which is smaller: -4 or i?
-4
Let w = 1.14 + -1.1. Let i = w - -5.96. Which is smaller: i or 0?
0
Let q(d) = -d**2 + 4*d - 2. Let y be q(4). Suppose 0 = 4*l - 1 - 11. Let u(v) = -v**2 + 3*v. Let w be u(l). Are w and y unequal?
True
Suppose 0 = -a - 0*a - 4*h - 19, 5*a + 3*h = -10. Is 5/3 less than or equal to a?
False
Let w = -0.11 + 1.01. Which is smaller: w or 2?
w
Let q be (-1 + 12/9)*0. Suppose q = 4*c - 3*c + 5. Is -3 not equal to c?
True
Suppose -t = 2 - 3. Let a = 4 - t. Let m be (1 + -1)/(a/3). Which is bigger: 1 or m?
1
Suppose 0 = 4*d + 7*d - 6*d. Which is smaller: d or 4?
d
Let h be (-1)/(-2) + ((-3)/(-2))/3. Is h at most -1?
False
Suppose -4*v = -m - 0*m + 16, 0 = 4*m + 4*v - 4. Let j be m/(-10) + 6/15. Let p be (-14)/(-8) + -2 + j. Are -2/7 and p nonequal?
True
Let h = 0.02 + -0.22. Let g = h - 0.3. Let s = -0.52 - g. Are -1 and s unequal?
True
Let o = -16 - -12.2. Let x = 0.8 + o. Are 2/7 and x equal?
False
Suppose -4*r = r - 20. Suppose -s = -4*s - 4*p + 8, -4*s + 18 = -2*p. Is s less than or equal to r?
True
Suppose 0 = s + 2*s - 12. Let k be s/6 + 21/(-18). Suppose -y = 3*f - 4 + 11, -2*f + 3*y + 10 = 0. Which is greater: f or k?
k
Let a = 1 + -1.2. Are -7 and a nonequal?
True
Let k be (-39)/26 - 4/(-6). Let a be 6/(-4)*4/3. Which is smaller: k or a?
a
Suppose 22 = -4*i + 2. Let z be i/(-2)*(1 + 1). Is z bigger than 6?
False
Let w(l) = -l + 8. Let g be w(0). Suppose g*i - 25 = 3*i. Suppose 0 = -3*o + i*o. Is 0 less than o?
False
Let f = 201 - 189.1. Let v = -12 + f. Let w = -0.06 - -0.01. Which is greater: w or v?
w
Let v(n) = -n - 1. Let u be v(4). Let p = -5 - u. Is p greater than -1/6?
True
Let f be 42/56*(-64)/(-78). Is f <= 0?
False
Let n = -7.4 - 29.6. Which is bigger: n or -0.2?
-0.2
Let i = -39 + 118/3. Suppose -3*v = -6*v + 42. Let s be (-4)/v + 36/28. Which is greater: i or s?
s
Let i be (3/27)/(5/(-6)). Let u = -4 - -4. Suppose u = -2*q - 0*q. Which is greater: q or i?
q
Let q = -16 + 17. Let t = -4/25 + -6/25. Is q >= t?
True
Let m be 12/(-1)*12/(-18). Is 34/5 at most as big as m?
True
Let z(n) = -n**3 + 6*n**2 + 6*n + 7. Let s be z(7). Which is smaller: 2 or s?
s
Let g = -26 - -26.2. Do -26 and g have the same value?
False
Let y(b) = -b - 4. Let o be y(-3). Is o at least as big as 3/10?
False
Let d = -340.97 - -338. Let f = -0.03 + d. Let y = 1.1 - 0.1. Is f greater than y?
False
Suppose 0 = 16*z - 8*z + 16. Which is smaller: 1.7 or z?
z
Let k(q) = -q**2 - 5*q - 2. Let j be k(-4). Suppose -2*p - 3*s = 1, -3*p + 3*s + s = -24. Suppose -z = p*a + 7, -5*z + a = 2*a - 3. Which is bigger: j or z?
j
Let y = -10 + -26. Let j be 2 + y/15 - 0. Let f = -0.3 + -0.7. Is f greater than j?
False
Let d(i) = i**2 - 10*i + 2. Let t be d(10). Let b be 1/(-2)*t/(-1). Is -4/11 at most b?
True
Let b = -2 - -3. Let v(f) = -7*f - 6. Let j(h) = -6*h - 5. Let s(w) = -6*j(w) + 5*v(w). Let i be s(3). Is i != b?
True
Let a be ((-68)/(-6))/((-231)/(-63)). Is a at least as big as 2?
True
Let c(p) = 3*p - 17. Let y be c(11). Let m = y - 13. Is -4/7 at most m?
True
Let b = -71 + 28. Let n = 31 + b. Which is smaller: 0 or n?
n
Let j be -5 - (5 + 6 + -121). Is 105 less than j?
False
Let l = 0.2 - 0.1. Let w = l + 0. Let u = -100 + 99.95. Which is smaller: w or u?
u
Let q = 117 - 821/7. Let t = 11 + -9. Is t > q?
True
Let b(i) = -i**3 + 11*i**2 + i - 10. Let k be b(11). Is k not equal to 5?
True
Let o be 2/6 - (6 + -1). Is -2 <= o?
False
Let z be ((-6)/(-22))/((-9)/(-15)). Which is smaller: z or -1?
-1
Suppose 0 = -0*j - j - 4. Let n(v) = -4*v - 34. Let h be n(-8). Are h and j non-equal?
True
Let n = -0.2 - -0.6. Suppose 3 = 4*j + 7. Is n < j?
False
Let l = 5 + -1. Let h be 0 - -2 - 2/l. Which is greater: h or 3?
3
Let y be ((0 + 0)/2)/(-2). Suppose 0 = -4*b + 5*b - 2. Suppose -l + 4 - 9 = n, -n - b*l = 10. Do y and n have the same value?
True
Let d be 1/(-2) - 2/4. Let f be -14*(1/2)/d. Let x = f + -2. Is x less than 5?
False
Let m = -72 + 72. Which is greater: m or -58?
m
Suppose 3*g - d + 1 = 0, 4 = 5*g - 5*d - 1. Let l be 2 - -2 - (-1952)/(-494). Let h = -2/19 - l. Which is smaller: h or g?
g
Let g(l) = -l + 8. Let x be g(13). Let f = 6 + x. Is f at least 2/7?
True
Let x(u) = -u**2 + 3*u - 3. Let g be x(1). Which is greater: -6/41 or g?
-6/41
Let t be (2*4/16)/(-1). Suppose 0 = -4*f + 3*f. Do t and f have different values?
True
Let t(l) = -2*l + 1. Let k be t(5). Let r be k/6*2*5. Let s be r/(-9) - 2 - -1. Is s not equal to 1?
True
Let j be -2 + 1 + 1/1. Which is smaller: 2 or j?
j
Let t = -1.98 - 0.02. Let x = 0.3 + -3.3. Let k = x - t. Which is bigger: k or -0.1?
-0.1
Let v = -2.8 + 11.8. Let d = -10 + v. Is d at least -3?
True
Let a = -4 + 26/7. Is -0.03 bigger than a?
True
Let n(u) = u**2 + 4*u - 4. Let o be n(-4). Let l = 11 + o. Let p be 2/l - 74/112. Which is bigger: -1 or p?
p
Let q = -737806 + 8121920/11. Let m = q + -550. Is 0 < m?
True
Let o = 0.06 + -8.06. Let f = 0 - 7. Let g = f - o. Which is greater: g or 3?
3
Let j be (10/(6 + -1))/(-2). Which is smaller: -3 or j?
-3
Suppose 0 = -2*o + 5*j - 28, 3*o - 4*j = -2*o - 87. Let c = -10 - o. Let r be (-1)/(-2)*(-4)/c. Which is bigger: r or 2?
2
Suppose 0 = 5*k, c + 6*k - 4*k = 1. Let p = -195 + 1753/9. Which is small