11 have different values?
True
Suppose 2*h = -0*h + 2. Suppose 0 = -5*v + 3*f - 2, -2*v - f + 7 + h = 0. Suppose 2*m + 8 = 4*k, -3*m + 6*k - 6 = 2*k. Are m and v unequal?
False
Let l = 91 + -89. Which is bigger: l or 6?
6
Let l = 44 + -42. Which is bigger: 6/11 or l?
l
Suppose 3*l = l - 22. Is -16 less than l?
True
Let f = -1.2 + 0.5. Is f equal to -1/4?
False
Suppose -3*d = 2*c - 3, 4*d = -0*d - c - 1. Let k be 2/((-8)/1 + -2). Is k at most as big as d?
False
Let z = -1.9 + 2. Let u be 1/(-4)*(1 + -3). Let h = u - 1/4. Is z less than h?
True
Let i = 38 + -12. Let z be i/(-6) - 6/(-3). Is z less than -3?
False
Let o(z) = z**3 + 11*z**2 + 13*z + 14. Let p be o(-10). Is p less than or equal to -63/4?
True
Let n(h) = -h**3 + 9*h**2 + 9*h + 2. Let x be n(10). Let v = 8 + x. Which is greater: 1 or v?
1
Let d = -1.3 + 2. Let h = d - 0.2. Which is bigger: h or 2?
2
Let x = 57 - 36. Let q = x + -20. Which is bigger: 15 or q?
15
Let o = 26/5 + -181/30. Is -1 < o?
True
Let r(q) = 11 + 0*q - q + 3. Let n be r(14). Is n at most as big as 8?
True
Let f be 1/((-18)/(-195)*(-15)/(-6)). Which is smaller: 3 or f?
3
Let w = -4.25 + -0.05. Which is smaller: -0.1 or w?
w
Let x be -2*(-3)/(-6) + 2. Let u = 1 - x. Let n be (-2)/(5*4/6). Is n less than or equal to u?
True
Suppose -5*y + 35 = -5*c, 1 = -2*y - 4*c + c. Suppose 7 = 4*a - 5. Which is greater: a or y?
y
Suppose 6*s - 2*s = -68. Let q(c) = -c**2 - 13*c - 17. Let m be q(-13). Is m at most as big as s?
True
Let o(k) = -k**3 + 5*k**2 + 5*k + 8. Let x be o(6). Suppose 4*h = -4*s + 16, x*s + 0*s = -4*h + 14. Is s at least 1?
True
Let k = -465 - -13017/28. Which is greater: 1 or k?
1
Let m(n) = -n + 2. Let v(l) = -6*l**3 + 7*l**3 - 3 + 10 - 10*l**2 + 8*l. Let t be v(9). Let a be m(t). Is 5 at least as big as a?
True
Let z = -129/407 + 5/37. Suppose 2*i - 4*a = -18, -4*i + 0 - 1 = -a. Which is bigger: i or z?
i
Let l = 0.76 + 0.24. Let z(y) = y**2 - y. Let o be z(2). Which is bigger: l or o?
o
Let k be 15/45 + 29/(-51). Is k at least as big as -1?
True
Let z be ((-18)/(-21))/(3/14). Suppose k = -2*v + 11, -5*k + 19 = -0*v + v. Is z <= k?
False
Let k = -4 - -3. Let b = -2.7 + 2.8. Is b > k?
True
Let i be ((-21)/(-27))/1 - 1. Let g = i + 8/9. Let p = -5.8 + 6. Which is smaller: p or g?
p
Suppose -4*g - 32 = 4*y, 2*g + 27 = -4*y - g. Which is smaller: 5 or y?
y
Let o(z) = -z**2 - 10*z - 11. Let t be o(-8). Which is bigger: 3 or t?
t
Let h be -1*(5/(-3) + 2). Let w = -21 + 39. Let l = 16 - w. Which is greater: l or h?
h
Let k = 7 - 9. Let u be (-1)/k*(-3 - -1). Is 1/2 > u?
True
Let j = 1 - 0. Is j greater than or equal to 0.1?
True
Suppose 7 - 123 = 4*q. Is -29 != q?
False
Let d be 4 + (-560)/68 - -4. Which is smaller: 0 or d?
d
Let g = 17 + -26. Let x = 3 + g. Let f = x - -10. Is f at least 4?
True
Let i be (15 - 14)/((-29)/2). Which is bigger: 0 or i?
0
Let l be (-6)/9*(-36)/(-58). Let c = 229/203 + l. Which is smaller: c or 1?
c
Let r be 4*(3/(-4))/(-1). Let x be -7*(3 + -6)/3. Let m be (20/(-70))/((-1)/x). Which is greater: m or r?
r
Let v = 1532/209 - 160/19. Which is greater: v or -2?
v
Let d(k) = k - 5. Let q be d(8). Suppose q*h = -12, 4*p + 4 = 2*h + 3*h. Let m be (-2)/(-12) + (-2)/p. Is m at least 0?
True
Suppose -t - q - 1 = -6, -2*t + 14 = 4*q. Suppose 1 = -2*f - 3*a - 0, t*f + 3*a = -6. Let x = f - 0. Is -4 at most as big as x?
False
Let q be ((-3)/(-12))/(1/4). Let o = 901/2360 - 2/295. Which is greater: o or q?
q
Let h = 0.3 - 0.2. Is h >= 0.13?
False
Let c = 5 - 2. Let a = -1 + c. Suppose a*t = -3*t. Is 0 equal to t?
True
Let t = 8/35 - -1/5. Is 1/4 less than or equal to t?
True
Let w be ((-4)/(-24))/((-8)/(-12)). Is 1 at most w?
False
Let o = 11 + -7. Is o at least -1?
True
Let h = 5 - 3. Let w(m) = -2*m - 4. Let x be w(-5). Let v be 1/2*8/x. Which is smaller: v or h?
v
Let s = 9 + -7. Suppose 0 = -s*j - 3 - 1. Which is smaller: j or -6/5?
j
Let b(p) = -p**2 + 3. Let l be b(2). Let i(y) = -y**3 - 5*y**2 + 9*y - 3. Let w be i(-7). Let k = 159/5 - w. Is k smaller than l?
False
Let a be (-11)/(-4) + (-9)/12. Suppose -4*n = -4*j - 8, 9*n = -a*j + 4*n - 32. Let l be 116/(-36) + j/(-2). Which is greater: l or 0?
0
Suppose -2*q = -2*f - 18, -2*q + 5*f - 2*f = -17. Suppose 5*w = q, 3*w - 58 + 17 = 5*k. Are k and -6 unequal?
True
Let x = -13 + 24. Which is greater: 2/5 or x?
x
Let d = -18 - -10. Let a be 7/22 - d/(-16). Which is bigger: a or 0?
0
Let k be 6/(-8) - (-3 - -2). Let q = -0.17 + 0.43. Let j = q + -0.06. Are k and j non-equal?
True
Let o be 55*(3 + 98/(-32)). Let i = -1/16 + o. Which is bigger: i or -5?
i
Let y = 1835/2394 + 3/266. Is 0 greater than y?
False
Let v(b) = 3 + 3 - 2 - b - 1. Let i be v(5). Which is bigger: -1 or i?
-1
Suppose 0 = -3*n - 0*n - 3. Let z be ((-18)/8)/(12/48). Let i be n + (-4)/(44/z). Is -1 > i?
False
Let n be 4/6 - (-5)/(-3). Suppose m = -1 - 1. Which is greater: m or n?
n
Let p = 4671/217 - 150/7. Which is greater: 1 or p?
1
Let j(s) = -s**2 - 5*s + 9. Let z be j(-7). Let p = 2 + z. Is -3 <= p?
True
Let r(i) = -2*i**2 - 8*i + 6. Let t be r(-4). Which is greater: t or 0?
t
Let g be (-18)/99 + (-4)/22. Are g and 1 non-equal?
True
Let n = -4 - -4. Suppose 8*g - 3*g = n. Which is greater: g or -2/7?
g
Let f = 0.09 + -3.09. Which is smaller: 1 or f?
f
Let i = -197 - -127. Let k = i - -348/5. Let q be ((-6)/(-45))/(2/6). Which is greater: q or k?
q
Let k(z) = -z + 8. Let n be k(7). Let h be n/(-3 + (1 - -1)). Let b be 2*2/20*-3. Is h <= b?
True
Let x = 93 - 66. Let c = x + -29. Is c != -1?
True
Let i(q) = -q**2 - 4*q + 4. Let w be i(-5). Let v be 0 + w + (-2 - -9). Suppose 0 = -v*f + f + 10. Which is bigger: 5 or f?
5
Let b(i) = -2*i**2 - 2*i. Let j be b(-2). Let g be 3/(-6) + (-14)/j. Suppose 5*p = g*v - 8, 5*v = -p - 0*p + 4. Is -2/9 less than v?
True
Let c = 525/4 + -131. Is -0.2 greater than or equal to c?
False
Let j = -67/3 - -22. Does j = 7/3?
False
Let a = 1 - -4. Suppose a*d = y + 38, -24 = d - 4*d + y. Let p = -7 + d. Which is smaller: p or -2/11?
-2/11
Let c = 31 - 31.4. Is c smaller than -1?
False
Suppose -6*j + 2*j - 8 = 0. Let y be (6/(-8))/(3/j). Is y at least 2?
False
Suppose 6*u - 237 = -33. Let s be u/51 + 14/(-30). Let i(k) = -k - 6. Let a be i(-6). Is s != a?
True
Let c = 1 + -1.2. Let r = -0.2 - c. Let b = 47/124 - 4/31. Does b = r?
False
Let w(h) = -h**2 - 4*h - 1. Let o be w(-3). Let v(z) = -o*z - 4*z**2 - 3 + 3*z**2 - 2*z. Let u be v(-2). Which is greater: -1/6 or u?
u
Suppose l + 4*q = 2, -q - 3*q = 5*l + 22. Is l bigger than -48/7?
True
Let p be (-3)/(-4 + 10)*-2. Is p at least -1/6?
True
Let j(u) = u - 5. Let c be j(6). Let y be -1 + c + (-1)/(-2). Is 2 at least y?
True
Let y be (-24)/18 + 6/9. Which is bigger: y or -8?
y
Suppose 5*w = 5*h + 30, -w + 21 - 3 = -5*h. Let t be 2 + -2 + -4 + 0. Let n be -1 + 4/t - 2. Does h = n?
False
Suppose -5*u = 2*y + 7, 2*y + u - 4*u - 33 = 0. Let c be 1/(-3) + 3/y. Suppose c = -s - 5*f - 11 - 4, s + f = -3. Is -1 != s?
True
Suppose 9*u = 14*u. Which is bigger: u or -3?
u
Let y = -0.09 + 0.19. Let o = 9.71 + 0.29. Is o not equal to y?
True
Suppose 0 = -3*z + 9*z - 24. Let x(s) = 4*s + 1. Let f be x(1). Is f less than or equal to z?
False
Let b be 0 + -3 + (-1 - -1). Let l(r) = -r**2 - r + 1. Let j(s) = -7*s**2 - 7*s + 7. Let v(n) = j(n) - 5*l(n). Let q be v(-2). Which is greater: b or q?
q
Let l be (1/3)/(4/48). Let u(f) = -f + 5. Let h be u(l). Let j be (-10)/(-14) - 4/(-14). Are j and h nonequal?
False
Let q = -6 - -8. Let k be -2 + q - (-8)/(-12). Is k >= -2/3?
True
Let y = -16 - -13. Is y <= 1?
True
Let o be (148/3)/((-4)/(-6)). Suppose 29 - o = 5*d. Is d not equal to 1?
True
Let y(i) = -i**2 + 5*i - 4. Let m be y(4). Suppose 2*s - s + 2 = m. Let b be 54/(-56) - 4/14. Is b at most s?
False
Let h(i) = -10*i**2 - i - 1. Let q be h(-1). Does q = -13?
False
Let t = -3 - -2.6. Is 0.04 bigger than t?
True
Let c = -3 - -12. Let g = c + -8. Is g < -2?
False
Let w be 38/12 + 2/(-4). Let k(o) = -2*o**3 + o**2 - 2*o + 4. Let j be k(0). Which is bigger: j or w?
j
Let n = 18 + -19. Let a = 0 - 0. Which is bigger: n or a?
a
Let t be 1 + ((-20)/(-14) - 2). Is 0.1 greater than t?
False
Let c = -20.3 + 20. Is 0.2 >= c?
True
Let m(j) = 14*j**2 + 0*j**3 - 20*j**2 - 6 + j**3 + 6*j. Let u be m(5). Is u greater than -2/21?
Fal