j = z?
True
Suppose -4*i + 7 = 3. Let b be i + 0 - 2/2. Let n be 0 - ((-1)/(-1))/(-3). Which is bigger: b or n?
n
Let o be -2 - 1 - 0/1. Let d be (-1)/(2/o + 1). Let t be 12/(-7) - (-2)/(-7). Is d at most t?
True
Let r = 57 - 37. Is 19 at least as big as r?
False
Let y(v) = -v - 3. Let h be y(-3). Let t = 163/1078 + 3/98. Which is greater: t or h?
t
Suppose -9*f + 8 + 73 = 0. Is f != 8?
True
Let d = 39 - 38. Which is greater: d or 0?
d
Let c = -36.19 - -0.19. Let n = 25 + c. Which is smaller: n or -1?
n
Suppose 26 = z - 2*f, 4*f = z - 24 + 2. Let n = z + -30. Let j = 12/671 + 10/61. Which is smaller: n or j?
n
Suppose -12 - 30 = 4*f + 2*k, -29 = 3*f + 4*k. Let z = 7 + f. Is -4 at most as big as z?
True
Let b = -0.2 + 0.09. Which is smaller: b or 2/9?
b
Suppose 4*c = -4*m + 36, -c + 3 = -2*m + 6. Suppose -14 = -3*t + c*a, -3*t - 6*a = -a - 34. Are t and 8 equal?
True
Let f = -0.11 - -4.11. Let z = f + -3. Is 0 at most as big as z?
True
Suppose -6 = -5*s - a, s + 2*a = -3*s. Let z be (s/15)/(4/(-12)). Let w be 0*(1 + 3/(-2)). Do w and z have different values?
True
Let z(h) = -h**2 + 1. Let l be z(-1). Let y be (3 + (-91)/30)*4. Is l greater than or equal to y?
True
Let a(m) = -m - 2. Let k be a(-2). Let l = 23/5 - 197/45. Is k at least as big as l?
False
Suppose 5*x = -4 - 1. Is x equal to -2/39?
False
Let q(u) = u - 5. Let w be q(6). Let p be -3 - -2 - (w + -2). Which is smaller: 2/17 or p?
p
Let i = 100 - 144. Is -43 != i?
True
Let r = 1 + -0.9. Let s = -0.31 - -0.01. Which is bigger: r or s?
r
Let g(l) = -9*l**2 + 7*l + 4. Let w(s) = 8*s**2 - 6*s - 3. Let a(u) = -4*g(u) - 5*w(u). Let f be (1 - 2)*-3 + -2. Let i be a(f). Is i less than -3?
False
Let v be 1/(2 + (-22)/12). Let r be (-6)/8*(-12)/27. Is v at least as big as r?
True
Let j = 75/7 + -279/28. Let b = -38 - -40. Which is smaller: j or b?
j
Let f = 15 - 8. Let v = f + 0. Which is bigger: v or 6?
v
Let x = -145/7 + 21. Is x at most 0.09?
False
Let v = -588/869 - 4/79. Which is smaller: v or 0?
v
Let k be 86/110 + (-3)/5. Is -1 at least as big as k?
False
Let t(y) = -y**2 + 3*y + 6. Let j be t(4). Let h = 7 - 13. Let b = -2 - h. Is b less than j?
False
Let t = 3.2 - 0.2. Let r = t - 2.92. Let i = r - 0.08. Which is smaller: i or 2?
i
Suppose 4*p = -0*p - 320. Which is bigger: -0.1 or p?
-0.1
Suppose 0 = 3*h - 4*h + 3*n + 15, 5*n = h - 25. Is -11 less than or equal to h?
True
Let j = 12/7 - 53/35. Suppose -4*s + 50 = s. Let v be 6/s + 2/5. Is v at most j?
False
Let w = 17/2 - 89/10. Are w and 0 unequal?
True
Suppose 0 = -7*n + 4*n + 93. Suppose 0 = -5*l + n - 6. Is 3 less than or equal to l?
True
Let b(h) = -h**2 - 2*h + 7. Let g be b(-5). Let p = 4 + g. Is p greater than -3?
False
Let p be (0 - (-1 - 0))*1. Suppose -5*b - 3*r + 8 = 0, b = -3*b - r + 5. Is p at most b?
True
Suppose 0 = -0*v - 2*v. Let q = -5 + 8. Suppose -q*s = -6 + 9. Is v < s?
False
Suppose -3*b = 3*d, -5*b + 6 = -3*d - 2. Let t be (3 + -3 + d)*-4. Let h = 4 - t. Which is bigger: 3/5 or h?
3/5
Let p(s) = -7*s + 1. Let r be p(1). Let d be ((-2)/r)/((-1)/(-3)). Let g = d + -1. Is g less than 1/7?
True
Suppose 0 = 2*z - 4*z. Suppose -3*a + 17 = 5*g, -2*g + z*g = -a - 9. Is a at least as big as -0.1?
False
Suppose 0 = -3*d + 9 - 3. Which is greater: -12 or d?
d
Let r be ((-21)/(-195))/(4/(-5)). Let j = 3/26 - r. Is j at least 3?
False
Let z(f) = -3 + 3 + 8*f. Let h be z(1). Suppose 0 = h*l - 3*l. Which is greater: -1/4 or l?
l
Suppose -5*g - 2*r = 2 - 7, -3*r = 0. Let b = 2 - 1. Is g at most as big as b?
True
Let b = 3 + 2. Suppose t - 16 = b*t. Let x = -5 - t. Is -1 not equal to x?
False
Let q = -16 - -17. Suppose w + 1 = 3*x + 14, -4*w = x. Let u be (22/12 + -2)*w. Which is bigger: u or q?
q
Suppose 3 = -l - w + 16, -3*l + 46 = -4*w. Let x = l + -2. Suppose -3*i - 3*o = x, 5*o = 2*i + 2*o + 8. Is -6 at least i?
False
Let z(w) = -w**3 - 7*w**2 - 7*w - 9. Let h be z(-6). Let x be 5/4 + h/3. Suppose -3*v + 0*n - 12 = 3*n, -22 = -2*v + 4*n. Is v not equal to x?
True
Suppose j + 2*a - 9 = a, -4*j + 3*a + 1 = 0. Suppose 0 = -j*d + 4*u + 20, 10 = -d - 4*u + 2*u. Let g be (2/(-1 + 5))/(-1). Are g and d non-equal?
True
Let a = 39/22 + 8/11. Let y be 40/(-2)*3/6. Let i = 14 + y. Is i smaller than a?
False
Let z be (-3)/6 + (-134)/(-284). Let p = z - 120/781. Is p at least -1?
True
Let u be 1/4 - (-35)/20. Suppose 4*p - 2*p = -u. Which is smaller: p or -3?
-3
Suppose 6 + 30 = -4*j. Is j less than -11?
False
Let n = -35/816 - 1/51. Is n at least 1?
False
Let u = 3 - 29. Which is greater: u or -25?
-25
Let q(d) = d**3 - d. Let c be q(3). Suppose 4*x = -8 + c. Let f = -4 + x. Is f bigger than -6/5?
True
Let n = 0.9 + -1.3. Let a = n - -0.2. Is a greater than or equal to 2/29?
False
Let t = -2.85 - 0.15. Does t = 7?
False
Suppose -12 = -3*c + 2*l, l - 9 = -3*c + 3. Suppose 30 = 6*z - z - 3*t, -2*z = 2*t + c. Let k be (4/(-6))/(7/z). Which is smaller: 1 or k?
k
Suppose 0 = 2*t + 21 + 1. Let m = t + -1. Let h be 6/9*m/(-14). Which is smaller: 1 or h?
h
Let t = 2507/588 - 2/147. Is t less than 5?
True
Suppose 3*z = 8*z + 5. Let i = z - 2. Is i greater than -4?
True
Let j = -49.1 - -49. Is 5.7 < j?
False
Let u = 37 + -37. Is u greater than 3/61?
False
Suppose 3*d - 35 = x, -4*d - 2*x + 18 = -2*d. Do d and 13 have the same value?
False
Let p = -4008 + 16131/4. Which is greater: 26 or p?
26
Let d be 4/(-6) + (-2)/(-4). Let g = 3 - 2. Is d != g?
True
Let s = -2 + 3. Let x be 1/(-3)*(0 - s). Suppose 6 = -5*t + 1. Are t and x nonequal?
True
Let o be (-2)/3*318/4. Let m = 899/17 + o. Is 1 <= m?
False
Let k = 2.031 - 0.031. Which is greater: k or 0.5?
k
Let b be ((-2)/(-4))/((-1)/(-4)). Let y be 2/b - (-2 + 2). Let i = 104/1507 - -3/137. Which is smaller: i or y?
i
Let d be 10 - 9 - (-62)/(-60). Which is greater: -1 or d?
d
Let m be (-39)/12 - (-3 - -3). Which is smaller: m or -4?
-4
Let n(l) = l + 2. Let s be n(3). Suppose s*b + 3*i = 21 + 2, -5*b + 4*i + 16 = 0. Suppose -1 = -f - b. Which is greater: f or -4?
f
Let o be ((-22)/275)/((-2)/(-10)). Is 25 greater than or equal to o?
True
Suppose -7*g + 177 + 418 = 0. Is 85 at least as big as g?
True
Let h be 0/2 + -1 + 2. Suppose 0 = -2*y - 9*y. Which is greater: h or y?
h
Suppose 0 = k + 11 - 10. Is k greater than or equal to 4/17?
False
Let h(v) = -v**3 - 2*v**2 - v - 2. Let k be h(-2). Let b be 2 + (-3 - 0) + k. Suppose -5*t + 3 = -2. Is t at least as big as b?
True
Let t = -10 - -31/3. Is 1 at most t?
False
Let b(o) = 4*o - 3*o - 2*o. Let i be b(5). Let s = -5 + 2. Does i = s?
False
Suppose q + 0 = 3*u + 1, 0 = -2*u - 2*q + 2. Let i = 2 - 1. Is i greater than u?
True
Let r(c) = -c**2 + 3*c - 1. Let p be r(2). Let h be p + 1/(21/(-24)). Suppose 2 = -i + 3. Is h smaller than i?
True
Let c = 0.064 + 0.136. Is c at least as big as 1/20?
True
Let t = 0.01 + 0.05. Let c = -0.04 - t. Is -1/2 bigger than c?
False
Let l be 0 - (-3 + 246/78). Let a = 50 - 148/3. Which is smaller: a or l?
l
Let g = 0.3 + -3.3. Let n = -3.2 - g. Let k = 16/165 + 10/33. Which is smaller: k or n?
n
Let l = 26.12 + -1.12. Which is smaller: 1/4 or l?
1/4
Let u = 0 - -0.1. Let l = u + 0.9. Let o = -1 - -3. Which is bigger: l or o?
o
Let b = 14/15 + -128/105. Let u be 2/7 - (-9)/(-7). Let m be -3 - u/(1/3). Which is smaller: b or m?
b
Let g = -20 - -19.84. Let s = -0.21 - g. Is s equal to -2?
False
Let n = 2 + -2. Suppose 7*i = 4*i - 12, n = s + i + 10. Is -7 at most s?
True
Let f = 28.96 + -27. Let k = 0.1 - 0.06. Let d = f + k. Which is greater: -2 or d?
d
Let t(u) = u**2 + 10*u + 12. Let h be t(-8). Let f be h/(-6)*(6 - -9). Let i be ((-6)/3)/f - 0. Is i smaller than -1?
False
Let l = -12.9 + 6.2. Let q = 1.4 - -5.6. Let h = l + q. Is -0.1 greater than or equal to h?
False
Suppose -w + 1 = 5. Let t be (2/w)/(7/14). Is t smaller than -2/13?
True
Let s be 1/3*(2 + -2). Suppose 2*q = 10 - s. Which is smaller: 1 or q?
1
Let n = 0 - 0. Suppose n = l - 4*o - 44, o = -3 - 0. Suppose -5*i = 2*s - l, -5*s + 2*s + 5*i = 2. Are 6 and s non-equal?
False
Suppose 0 = 5*w + 2*q + 6, -3*q = 10 - 1. Let t = -108/7 - -2498/161. Which is smaller: w or t?
w
Let r(v) = -7*v - 7. Let s be r(2). Is -22 smaller than s?
True
Let z = 0.18 - -10.82. Let t = z + -11.1. Let w = -6 - -8. Is t at least as big as w?
False
Suppose h = -44 - 1. Let j be (