= 2/19 + s. Which is bigger: -1 or v?
v
Let c = 2.07 - 0.07. Let d = c - 1.5. Is d less than or equal to 0.2?
False
Suppose 5*m + 14 = 29, 3*i = 4*m + 75. Suppose -5*w = 21 + i. Let f = w + 6. Which is smaller: -3 or f?
f
Let b = 81.275 + 1.025. Let x = -79 + b. Let w = x + -3. Is 0 not equal to w?
True
Let p = -5/12 + 1/6. Which is smaller: p or 0?
p
Let w = -4 + 5. Let n be (6/(-27)*6)/w. Which is smaller: 0 or n?
n
Let m be (0 - 3) + 6 + -3. Let h = 1 + m. Which is smaller: 2 or h?
h
Suppose 7 + 9 = -4*p. Let q be (-41)/p + (-5)/20. Suppose q = -s + 6*s. Are 1 and s equal?
False
Suppose -p = -2*q + 18, 5*q - 2*p = 8*q - 13. Is q greater than 6?
True
Let w = 1 + -1. Which is smaller: 2/19 or w?
w
Suppose -3*b - a = 43, 4*b + 0*a - a = -48. Let h = b - -12. Is h bigger than 1/3?
False
Suppose 4*v - 24 = -4. Let i = -2 + v. Which is greater: i or 5/3?
i
Let z(k) = -k**2 - 9*k - 9. Let n be z(-5). Is 12 at least as big as n?
True
Suppose m = -5*t + 4 - 10, -5*m + 14 = 3*t. Let k = -3 - t. Let r be (-12)/(-15)*2/4. Is r not equal to k?
True
Let q = -0.555 + -0.015. Let n = q + 0.07. Let k = n + 3.5. Which is smaller: k or 1?
1
Let q(f) = -f**3 + 9*f**2 - 9*f + 11. Let c be q(8). Suppose -26 = -3*i + 13. Suppose -c*b = 2 + i. Is b at least as big as -5?
True
Let b = 70659/11 - 6429. Is b less than or equal to -4?
True
Let h = -44/5939 - -67022363/100963. Let j = 664 - h. Which is greater: j or 0?
j
Let f = -2934857993/1416 - -16582305/8. Let o = f - 445/3. Are o and -1 equal?
False
Suppose 3*o + 1 = -5. Let j be 2/(-6) - o/(-6). Let p = 0.02 - 0.12. Is p less than j?
False
Let o(d) = d - 3. Let p be o(13). Suppose -3 = -u - y, 2*u + 3*y + 1 = p. Is u smaller than -1/2?
False
Let r(f) = f**3 - 18*f**2 - 18*f - 40. Let z be r(19). Are -21 and z unequal?
False
Let j = 0 - -0.1. Let c = 17 + -16. Which is smaller: c or j?
j
Let z = -97 + 95. Which is smaller: -14 or z?
-14
Suppose 3*j + 1 - 4 = 0. Does -11/4 = j?
False
Let l = -25 + 25. Which is smaller: -3/11 or l?
-3/11
Let y = -1121/9 - -125. Is y at most as big as -0.2?
False
Suppose 3*u - 5*j + 22 = 0, 4*u + 4*j + 0*j - 24 = 0. Is u less than -1/60?
False
Suppose -2*q = -n - 3*n - 10, 2*n + 5*q = 25. Which is greater: 4/7 or n?
4/7
Let o = -164.3 + 164. Does o = 0.3?
False
Suppose 5*i = 3*a - 4*a + 3, -4*i + 3*a = 9. Let g be (-12)/7 - 1/(-1). Which is greater: g or i?
i
Let l = 29/3 + -197/21. Which is greater: 1 or l?
1
Let c be (0 + -1)/(108/84). Which is greater: 0 or c?
0
Suppose 0 = x + 5 - 7. Suppose -1 = x*p - p. Which is smaller: p or 3/7?
p
Let y be 9/(-6)*(-68)/(-357). Let c = 5 - 20. Which is smaller: c or y?
c
Let o = 0.8 - 1. Let k = 199/130 - 2/65. Which is smaller: k or o?
o
Let i be 4/5*(-1)/4. Suppose 0*f + 2*f = 6. Let y be 1 + 3/(f + -6). Is y at most i?
False
Let m = 0 + -1. Let a = -5.5 + 30.5. Let d = 30 - a. Which is greater: d or m?
d
Let i be ((36/(-16))/3)/(2/(-32)). Is i smaller than 11?
False
Let n = -0.02 - -2.02. Let f = 1.01 + -0.01. Let s = f - n. Is s at most as big as 1/4?
True
Let d = -1 - 0. Let a be 2/11 + 570/(-715). Let t = a - -6/13. Which is bigger: d or t?
t
Suppose 39*b + 1 = 40*b. Does b = -12?
False
Let r(i) = -i**2 + 4*i + 4. Let k be r(5). Let n(o) = 14*o**2. Let c be n(k). Let u be 0 + (-32)/c + 2. Which is bigger: u or 0?
0
Let s be (-104)/56 - (-3)/(-21). Which is smaller: s or -6/5?
s
Let o be 12 - (-3 + 8)/(-5). Does 12 = o?
False
Let a = 1/24 - -11/24. Let o be (-56)/(-32) + 1/4. Which is smaller: o or a?
a
Let k be (14/(-3))/(2/(-9)). Suppose -k = -3*g - 6. Suppose -4*x + 19 = 5*p + g, -1 = -3*x + p. Which is smaller: x or 1/4?
1/4
Let u be 80/14 - 2/(-7). Suppose u*m - m - 40 = 0. Suppose c - 4 = -5*l - 0*c, -3*l - m = -2*c. Which is greater: l or 3/4?
3/4
Suppose 4*z - 12 = -0*z. Let w be -1 + (1 - (-2 + 1)). Is z not equal to w?
True
Suppose -7*v = -4*v - 6. Let b be 58/8 + 21/28. Let q be 20/b - (-3)/6. Do v and q have the same value?
False
Let y be 20/(-60)*48/(-2). Is y not equal to 11?
True
Let d = -21.1 + 17.06. Let r = d + 0.04. Let n = -7 - r. Is n greater than 0?
False
Let t be (-10)/5 + (-11)/(-5). Which is smaller: t or -1?
-1
Let v = 5 - 6. Let x be (0 - v)/(2/(-4)). Let m = -10 + 7. Which is smaller: x or m?
m
Let k = 3.077 + -0.077. Let p = -2.965 + 0.065. Let v = p + k. Is 1 >= v?
True
Suppose 2 - 5 = -3*i. Which is smaller: i or 0.4?
0.4
Let s = 15 - 9. Let b = 6 - s. Suppose b*l + 4 = 4*l. Which is smaller: l or -2/7?
-2/7
Let c = 43 + -23. Is 20 greater than c?
False
Suppose 3*c = 2*l - 1, -2*c - 2*c - 27 = l. Let s = -4 - l. Let a = s - 3. Is 0 >= a?
True
Suppose -2*y = -4*v + 4, -5*v + 0*v + 3 = -3*y. Let z(c) = c**2 + 6*c - 16. Let f be z(-7). Let r be (v/f)/(1 - -1). Are r and -2 unequal?
True
Let s(h) = -h**2 + h + 24. Let g be s(0). Suppose 4*r = -0*r - g. Which is smaller: r or -8?
-8
Let x(z) = z**3 + 6*z**2 - 7*z + 7. Let y be x(-7). Let u = -29/4 + y. Which is bigger: 2 or u?
2
Let n(z) = z**2 - 5*z + 3. Let a be n(3). Suppose 2*m - 2*u + 14 = 0, 16 = -3*m + 5*u - 11. Let b be -1*2*(m - a). Which is greater: b or 0?
b
Let u = 1/356 - 727/5340. Is 1 greater than u?
True
Suppose 3*o - 9 + 1 = -2*r, -o - 2 = 3*r. Let k(h) = -3*h + 2*h - 2*h + o*h + 4. Let j be k(-6). Which is greater: j or -4/7?
-4/7
Suppose 0 = -k + 4*p - 3, -3*p + 6 = 4*k - 1. Let m be (-10)/(-18)*1*(-18)/60. Which is greater: m or k?
k
Suppose -5*b - 14 = -3*b. Let u = b - -10. Is u greater than or equal to 3?
True
Suppose 19 + 26 = -3*n. Let s(u) = 2*u - 7. Let g be s(-4). Is n != g?
False
Let d(h) = h**2 + 9*h + 8. Let z be d(-6). Let u be 2 - (-1 + (-36)/z). Do -1 and u have different values?
True
Suppose -g = 2*s - 7*s, -3*s = 0. Let z be (-6 - g)/((-22)/11). Is 3 less than z?
False
Let x = -44 - -44. Let z(n) = n**3 - n**2 - 3*n + 2. Let p be z(2). Suppose p = 5*r - r. Is x < r?
False
Suppose -5*n - 3 = -3. Which is smaller: n or 2/45?
n
Let m(d) = -d**2 + 2*d + 3. Let b be m(-2). Let t = b + 5. Which is bigger: 0.2 or t?
0.2
Let m(x) = 3*x**2. Let j be m(-1). Suppose -12 = y - j*y. Is y less than or equal to 7?
True
Let n = 2 - -3. Suppose -n = -2*b - 3*b. Let p be b/(-4) - 3/(-36). Is p less than or equal to -1?
False
Suppose -2*a - 6 = 2*w + 8, -5*a - w = 15. Suppose 2*m = m. Is m bigger than a?
True
Let m = 5 - 3. Suppose 1 = m*l + 3*b, 10*l + 55 = 5*l + 4*b. Let u = l - -6. Which is smaller: u or -2?
-2
Let z be 36/10*50/15. Let t be (-3)/z - (-2)/8. Is t smaller than -2/35?
False
Let t(m) = -3*m + 12. Let u(w) = -3*w + 13. Let g(x) = -6*t(x) + 5*u(x). Let b be g(8). Suppose -2 = -3*a - b. Are -7 and a nonequal?
True
Suppose -8 = 2*u + 2. Let h = 10 - u. Let l = -11 + h. Which is smaller: l or 3?
3
Suppose 3*w = -2*w. Let a(c) = c**3 - c**2 + c + 8. Let g be a(w). Suppose -g = -0*t - 4*t. Is t at most as big as 2?
True
Let x be (3/278)/(9/(-12)). Is -1 < x?
True
Let v = -7 - -7.03. Let h = 2.03 - v. Let m = 0 - -0.2. Which is smaller: m or h?
m
Let r = 65 - 64.96. Let q = 334/5 + -326/5. Let k = -2 + q. Which is smaller: r or k?
k
Let f(a) = a + a**2 - 1 + 0*a**2 + 0*a**2 + 0. Let n be f(-2). Which is greater: n or -2/9?
n
Suppose 0 = 4*k + 2*p + 12, p + 4*p = -k - 3. Let c(s) = -s**2 + 4*s + 2. Let a be c(5). Is a smaller than k?
False
Let a = 28 - 28.9. Which is smaller: a or -1?
-1
Suppose -3*t = -4*a - a + 18, -2*t - 14 = -4*a. Let q be 4/5*(-5)/3. Which is smaller: q or t?
q
Let c be (-2)/8 - 23/4. Let p = c + 7. Which is greater: -2 or p?
p
Let p be -5 - -12 - 1/(-1). Let t be p/(-20) + 4/10. Let n be (-2)/(-8) + 0/1. Do t and n have different values?
True
Suppose 4*o = o + 6. Suppose o*q - 9 = 1. Suppose -q*i - 6 = 9. Which is greater: -4 or i?
i
Suppose 4*u = -u. Suppose -g + 4*s - 4 + 10 = u, -4*g + 3*s + 11 = 0. Let z = -9 + 8. Is g bigger than z?
True
Let a = 3 + -6. Let m = a - -8. Suppose -2 = -2*u, 0 = -m*j - 4*u + 9. Which is bigger: 0 or j?
j
Let q(f) = f**3 - 7*f**2 - f + 9. Let w be 2/11 + 825/121. Let c be q(w). Which is bigger: c or 4?
4
Let d(l) = l - 2 + 1 + 0*l. Let o be d(3). Let n = -176 + 176. Is o != n?
True
Suppose -4*k = -8*k + 16. Suppose 4*s = -3*a + k, 0 = -s - 2*s + 3*a + 3. Is 3/2 greater than s?
True
Suppose s = -4*z - 36, -3*z + 5*z = 4*s. Let f be z/(-70)*(-5)/(-2). Is f smaller than 0?
False
L