t least a?
True
Let c be ((-6)/20)/(3/28). Let g = 113 + -117. Is g bigger than c?
False
Let o = -21 + 22.3. Let u = o + -1.4. Which is smaller: u or 7?
u
Let y be (-1)/2*(0 - -1). Let v = 14 - -9. Let o = 21 - v. Do y and o have different values?
True
Let w(b) = -3*b + 5*b - 3*b + 2*b + b**3 + 2 + 2*b**2. Let x be w(-2). Which is bigger: -3/14 or x?
x
Suppose 3*t - 4*t - 2 = 0. Let b be 4/(-10) + 28/20. Let h = b + t. Is h less than or equal to -2?
False
Let f be (-4 - -6)/(1*8). Is f less than or equal to 0?
False
Let r = -0.03 + -0.01. Let z = 0.44 + r. Is 2/7 greater than z?
False
Suppose 6*p = p + 5. Let s be (-5)/2*p/(-10). Which is bigger: -1 or s?
s
Let w = -7/22 - 2/11. Is w != 0?
True
Suppose 3*o - 3*d + 7 = -d, 3*d = 4*o + 9. Suppose j = -2*j - 15. Is j greater than or equal to o?
False
Let g = 24 - 19. Let i be g/(-1 - 20/8). Which is greater: i or 0?
0
Suppose 3*b = 8*b - 115. Are 67/3 and b nonequal?
True
Suppose 0 = 5*g - l + 14 + 12, 4*g = 2*l - 22. Which is smaller: g or -6?
-6
Let s(l) = -l + 4. Let d be s(2). Suppose 0 = -7*h + 9*h - d. Which is smaller: -1/5 or h?
-1/5
Suppose p + p + l = -4, 5*l + 20 = 5*p. Let n be (1 + p)*(-4)/8. Which is bigger: 2 or n?
2
Let a(z) = -z**3 - 4*z**2 - 2*z + 3. Let i be a(-4). Let q = -6 + i. Is q != 6?
True
Let j = -18 - -16. Which is smaller: j or -6/7?
j
Let z = -0.02 + 4.02. Let p = z + -3.6. Are 1/3 and p unequal?
True
Let g = 26 + -27. Which is greater: g or -2/47?
-2/47
Let r = 0.23 + -0.23. Is r bigger than -12?
True
Suppose -4*v + 2*v = -2*a + 78, 49 = a + v. Is a smaller than 44?
False
Let o = 3 - 2.6. Let g = o - 0.3. Which is smaller: g or 2?
g
Let h be 3/84*(0 - 6). Which is greater: h or 1?
1
Let s = -3.04 - -0.04. Suppose 2*m + r = -0*r - 8, 50 = -5*m + 5*r. Let i = m + 4. Which is smaller: s or i?
s
Let g = 44 + -65. Is g greater than 2?
False
Suppose -g + 3*z = -2*z - 25, 4*g = -5*z - 25. Which is smaller: g or -4/9?
-4/9
Let s = -149 + 148.8. Which is bigger: s or 30?
30
Let l = 4.06 - 0.06. Let i = 3 + -2.9. Let q = 0 + i. Which is greater: l or q?
l
Let b = 0.3 + 0.7. Which is greater: b or -0.39?
b
Suppose -2*f = -13 - 19. Is 10 > f?
False
Let z = 4 + -1. Let j be (3 - 34/12)*2. Which is smaller: z or j?
j
Let i = 9 - 6. Suppose p + i = 4. Is p bigger than 1?
False
Let t be (7/(-70))/((-2)/(-12)). Which is smaller: -2 or t?
-2
Suppose -6*w + 149 + 79 = 0. Let k = w + -189/5. Do -1 and k have the same value?
False
Let s be 0 + 2/(-2) - (-315)/(-9). Which is bigger: s or 1?
1
Let i = 11 + -18. Let h = i + 7.1. Let g = 3 + -4. Do g and h have the same value?
False
Let o = 6 + -3. Suppose -5*i + 7 = -o. Let c be 3/(-2)*i/6. Which is bigger: 0 or c?
0
Suppose 4*u - 16 - 4 = 0. Suppose -4 = 3*d - u*d. Suppose d = 3*b - 5*b. Is -1 > b?
False
Suppose 2*l - 2*o + 6 = 2, 4*o = 8. Suppose -x + 3*x = l. Let b = -304/5 - -61. Which is greater: b or x?
b
Let d(i) = i**2 - 2*i - 4. Let u be d(4). Let b be (-1)/((-2)/1)*2. Let r = b - -3. Is u at most as big as r?
True
Suppose -5*l - 12 = -2*r + 4*r, -l - 7 = 5*r. Let i be (-9)/(-18)*(r - -1). Is i not equal to -1/2?
True
Let a be (((-2)/(-4))/1)/((-13)/650). Are a and -27 unequal?
True
Let s(a) = a**2 - 3*a - 3. Let k be s(5). Let q be (-8)/28 - 19/k. Is -5 less than or equal to q?
True
Let u be 1*((-2)/28*-10 - 1). Suppose -2*n = -n. Suppose -j + n = -5*a - 1, 2*a + j - 1 = 0. Are u and a equal?
False
Let m be 63/2 + (-8)/(-16). Suppose -3*j - 47 = 2*j - o, -4*j - 2*o - m = 0. Which is smaller: -8 or j?
j
Let c = -71/3 - -787/33. Let j be (1 - 3) + 4/((-440)/(-222)). Let y = j + c. Is y smaller than 1?
True
Let u be ((-34)/(-16) - 2) + (-33)/(-120). Which is bigger: u or -0.04?
u
Let c = 10.962 - 11. Is 0.1 bigger than c?
True
Let o = -83/5 - -16. Suppose -3*b - 3 = -0. Which is bigger: b or o?
o
Suppose p - 3*p + 2 = 0. Suppose -5*j + 6 = 5*s + p, -j + s = -3. Let z be j*(1 - 12/9). Is 0.2 > z?
True
Suppose 7 = 2*l + 17. Let c(d) = -d**3 - 4*d**2 + 4*d. Let r be c(l). Suppose u = 2*a - 5, 0*a + 11 = -a + 5*u. Which is bigger: a or r?
r
Let d = 21 - 12. Let x = d - 9. Is -5 <= x?
True
Suppose -2*h - 5*z - 10 = 0, 3*h + 5 = -3*z - 1. Let l = -93 + 94. Which is bigger: l or h?
l
Let y = 11 - 10. Let r = -237 - -5923/25. Are y and r equal?
False
Let r = -7 - -6.4. Let d = r - -1.6. Let h = -1.2 + 0.2. Is h at least as big as d?
False
Suppose -15 = -0*l - 3*l. Let z = -2 + l. Suppose z*c - 3 = 3. Is 1 >= c?
False
Let c(j) = 2*j - 4. Let y(p) = -5*p + 13. Let s(n) = 8*c(n) + 3*y(n). Let x be s(-6). Are -2/5 and x unequal?
True
Suppose 7*n = 3*n - 44. Let p = -10 - -2. Let d = n - p. Does -2 = d?
False
Let a(u) = 2*u - 3. Let c be a(-3). Let n be 3 - (-2 + (-51)/c). Let h = -2.1 - -2. Is n less than or equal to h?
True
Let j = 0 + 0. Let c = j - -0.1. Which is smaller: c or 2/3?
c
Let i = -6 + 9. Let g = 0.6 + -0.4. Is g less than i?
True
Suppose -5*z + 1 = 3*g, -g - 7 = z - 6. Let h = 3.8 - 3. Let w = 0.2 + h. Is z < w?
False
Suppose 0 = 2*d - q + 2, -4*d + 2*q - q = 0. Let c(k) = k**2 - 2. Let z be c(-2). Let s be (-424)/936 - z/(-9). Which is bigger: d or s?
d
Let z(f) = -f - 6*f**2 - 3*f + 0 + 7 - 4*f + f**3. Let d be z(7). Suppose 5*c + 2 + 3 = d. Which is bigger: c or -4/7?
-4/7
Let p be (5/(-4) - -1)/(1/1). Is -2.3 greater than p?
False
Let z be ((-21)/(-35))/((-2)/5). Is z >= -3?
True
Let z be 3/(-40)*53/3. Let j = z + 6/5. Which is greater: -1 or j?
j
Let i = 2/731 + 1440/8041. Which is bigger: i or 1?
1
Suppose -5*z + 0*r - 2*r = -45, 18 = 2*z - 4*r. Let f be 5 - z - (2 + -2). Which is smaller: f or -6?
-6
Suppose h = 4*n + 27 - 5, -n = 2*h - 17. Suppose 9*w + 9 = h*w. Suppose -11*u + w*u - 2 = 0. Is u > -1?
False
Suppose -9 + 1 = 2*p. Let c be 9/(-6) - 3 - (-3)/(-6). Is c at most as big as p?
True
Let l(k) = 666*k + 5. Let v be l(5). Let b be v/(-868)*4/40. Let a = b - -2/217. Is 1 less than a?
False
Let b = -33 + 164/5. Let t = 21 - 22. Which is greater: b or t?
b
Suppose u = 3*w + 6, 4*u + 4*w + 36 = 12. Which is smaller: u or -2?
u
Let x = -4/43 - 66/215. Is x at most as big as 0.31?
True
Suppose -5*y + 20 = -g + 2*g, -2*g = 0. Let i be -4*(-2)/y + -4. Is i less than -2?
False
Let r = -114/5 - -23. Let u = 22 + -12. Let d be 8/20 + (-4)/u. Which is smaller: d or r?
d
Let x be (84/10)/3 - 3. Let j = -0.21 + 9.21. Let u = -9 + j. Is x equal to u?
False
Let r be 4/3*(-9)/(-6). Suppose 1 + 1 = -r*h. Which is smaller: -1/2 or h?
h
Suppose 0 = 5*r + 3*n - 0*n + 3, 3 = -2*r - 3*n. Let a(p) = 0*p + p + p**2 - 21 + 18. Let y be a(r). Is y != -4?
True
Suppose 0*v + 5*b = -4*v + 17, 4*b = v + 1. Let x be v*(-2)/2 + 1. Is x bigger than 0?
False
Let n = -10 + 10. Is n < -3/10?
False
Let a(t) = t**3 + 8*t**2 + 7*t + 3. Let i be a(-7). Suppose -4*x + 4*q = 0, 5*q - i = 4*x - 2*x. Let k be 9/(-6) - 0/x. Which is greater: k or -2?
k
Let f be 4/(-10) - 4/(-10). Is 0 < f?
False
Suppose -15 = 2*r + 3*l - 2, -5*r + 5*l - 20 = 0. Let o = r + 5. Let q = o - 0. Is q <= 2?
True
Suppose 0 = t - 4*v - 5, -2*t + 4*v + 2 = -8. Suppose 2*u - 3*u + 6 = t*r, -4*u - 14 = r. Is 2 at least r?
True
Let d(n) = -n**3 - 11*n**2 - n + 2. Let t be d(-9). Is -150 at least t?
True
Let u be (12/4 - -2) + 1. Is 6 smaller than u?
False
Suppose 0*z + 2*s = z + 8, 2*s = -3*z - 8. Which is smaller: z or 13?
z
Let l(h) = h**2 - 15*h - 27. Let r be l(19). Is r at least as big as 49?
True
Let q(a) = -a + 5. Let m be q(4). Let z = 0 + 0.05. Let v = -1.95 - z. Is v smaller than m?
True
Suppose -4*p = -0*p + 64. Let k be p/10*10/(-4). Is 5 >= k?
True
Let x = -7.8 + 5. Which is greater: x or 2/3?
2/3
Let i = -1 - -2. Let c = 1 + i. Suppose -3*a = -c - 4. Is a bigger than 2?
False
Let c(p) = p**3 - p**2 - p - 7. Let t be c(0). Let m = t + 3. Let i be (-3)/(-8)*m/6. Which is greater: i or -2?
i
Let i = -4.8 + 5. Which is greater: 60 or i?
60
Suppose 4 = 2*h + c + 3*c, c = -h + 3. Let t(v) = v**2 + 3*v + 4. Let l be t(-3). Is l greater than h?
False
Let i = -1.9 + -6. Let v = i - -8. Which is smaller: -2.4 or v?
-2.4
Let o be (0 + 2/22)/(-1). Let j(c) = -7*c - 6. Let p be j(-1). Which is bigger: p or o?
p
Let g(s) = s**2 - 4*s - 4. Suppose 5*w + 2*v - 25 = 0, 0*v + 5*v = -3*w + 15. Let a be g(w). Which is greater: 0.1 or a?
a
Let q be ((-19)/(-3))/((-7)/35). Is q less than -31?