r: 1/3 or b?
1/3
Let s = 3302/15 + -220. Let q = 0 - 1. Is q not equal to s?
True
Let p = -0.13 - 0.05. Let c = -8.82 + p. Let z = c - -8.97. Is z less than or equal to -1?
False
Let o = -7 + 27. Let d = -102/5 + o. Which is bigger: -19 or d?
d
Let r(k) = -2*k + 7. Let s be r(5). Let w = -1 - s. Let b = 3/2 - w. Is b less than -2?
False
Let s = 1 - 1. Suppose -3*u + 10 = 2*u. Suppose s*c = -c + u. Is 5/2 at least c?
True
Suppose -2*h + 4*f - 29 = -3*h, 2*f = 4*h - 152. Let c be h/7 - (-4)/(-14). Suppose 0 = i + 4*x + 20, -25 = -3*i + 4*i + c*x. Which is bigger: 1 or i?
1
Suppose w - 5*r + 8 = 0, -2*w + r = -3*r + 10. Are w and -1 nonequal?
True
Suppose 2 = -4*h + 3*v - 2, 5*v - 2 = 2*h. Let t = 6 + h. Let q = t - 4. Is q < 1?
False
Let x be -2 - 3/(5*-3). Are x and -3 non-equal?
True
Let y(a) = -a**2 + 6*a + 2. Let m be y(6). Let x be (-2 + 4)*m/4. Are 1 and x equal?
True
Let p = 6 + 2. Let a = p + -8. Is a >= 1/3?
False
Suppose -3*i + 26 = 4*m, 0 = m + m + 3*i - 16. Let o = 0 - -4. Which is greater: m or o?
m
Let x(q) = q**3 - 13*q**2 + 18*q - 21. Let f be x(12). Does 52 = f?
False
Let o(g) = -g**3 - 4*g**2 - 3*g - 1. Let j be o(-3). Let s be (-1*(-2)/(-4))/j. Which is smaller: 1/3 or s?
1/3
Let b = 596/14331 - 2/843. Is 0 smaller than b?
True
Let a be 0 + (2 - 398/200). Let z = 149/100 + a. Suppose -2 = -j - 1. Does z = j?
False
Suppose 3*l = -0 - 3. Let t(z) = 4*z**2 + z + 1. Let d be t(l). Suppose -q = -4*i - 2 - 0, -3*i - 8 = -d*q. Is i not equal to 0?
False
Let i(y) = 2*y + 5. Let r be i(-4). Let o(j) = j**2 + 2*j - 1. Let u be o(r). Suppose 3*z + u = -1. Which is bigger: z or 0?
0
Let t = 118/3 + -40. Suppose -d = -4*d. Is d > t?
True
Let t = -43 - -37. Which is smaller: 0.3 or t?
t
Let n be (-14 - 2)*(-96)/(-30). Let k = n + 51. Is k at most 0?
True
Let n be (-2 - 35/(-10))*-1. Let m be 1 + 0 - (1 + 0). Suppose 0*v + 3*v - 5*z + 21 = m, -z = -3. Is n at most as big as v?
False
Let j be 32/(-14) - 6/(-21). Let q = 4 + j. Let i(y) = y - 4. Let m be i(q). Is -3 greater than or equal to m?
False
Let p = -253/5 + 51. Let m = -0.5 - -1.5. Let f = m - 0.2. Is p greater than f?
False
Let p be 3/(-14) + 2/4. Let z(s) = s + 1. Let l be z(3). Let c(k) = -k**2 + 3*k + 3. Let h be c(l). Which is smaller: h or p?
h
Let g be (-46)/(-14) - 14/49. Let c be -3 - -1 - g - -2. Which is greater: 2/3 or c?
2/3
Let l(y) = 5*y**2 + 36*y. Let z be l(-7). Is -12 smaller than z?
True
Let m = -57 + 65. Is 11 equal to m?
False
Let k = -2 - -11. Are 9 and k equal?
True
Let i = -1.47 + 1.87. Let t = -3 + 5. Which is greater: t or i?
t
Suppose 6 = -4*u + n, -3*u + n = 3 + 1. Let d be 2 + -7 + 2 + -1. Let g be (d - -1) + 2/2. Is g at most u?
True
Suppose -5*f = 4*u + 16, 3*f + 7*u = 2*u - 20. Which is greater: f or 3/49?
3/49
Let a(c) = -4*c + 3. Let l be a(3). Let k be (-6)/(-21) - l/(-7). Is -1 less than k?
False
Let y be ((-1)/(-2))/(14/4 + -4). Let p be 0 + 0 + (-6)/11. Which is bigger: y or p?
p
Suppose -3*q = -8*q - 85. Which is smaller: -16 or q?
q
Let l be 6/(7/(-2) + 2). Let o(u) = -u - 6. Let q be o(l). Suppose 0 = -2*i - 11 + 7. Do q and i have different values?
False
Suppose -5*t + 0 = 5*c - 5, 2*c + 6 = 2*t. Suppose -t*l - h + 9 = -4*h, l + h = 7. Is l greater than 7?
False
Let h be ((-28)/6)/((-12)/18). Let u(c) = -c**2 + c + 9. Let k be u(0). Is k greater than h?
True
Let h be 4/(-22) - 24/(-11). Suppose -2*v + 2*o = -h, -v - o + 5 = -0. Let x = 9 - 7. Which is greater: v or x?
v
Let z be (9 + -3)*(2 - -2). Suppose z = 3*c + 6. Let j(u) = u**3 - 5*u**2 - 8*u + 9. Let s be j(c). Which is bigger: 0.3 or s?
0.3
Suppose 0 = 2*n + 2 + 4. Which is smaller: n or -1?
n
Let x = 0 + 0. Let s be 6126/(-4)*3/45. Let o = -102 - s. Do x and o have the same value?
False
Let d be (30/21)/5 - 3/(-63). Which is smaller: d or -5?
-5
Let s(l) = -l**2 - 10*l - 2. Let d be s(-10). Let t be 1/2 + 5/(-2). Are d and t non-equal?
False
Let c = 72 - 69. Which is bigger: c or 1?
c
Let a = 9.8 - -0.2. Let z = 8 - a. Is 0 at least as big as z?
True
Let p = -2.3 + -16.7. Let i = p + 18.1. Let x = 1 + i. Is 4 greater than x?
True
Suppose -5*m + 11 = -4*j - 1, -5*j - 15 = 5*m. Let n(s) = 4*s + 137. Let h be n(-35). Is h >= j?
True
Let w be 105/(-14)*2/3. Let r be (-1)/w + 8/(-20). Suppose a - 2*a = 0. Is a greater than r?
True
Suppose 3*g - 2*p - p = -12, 0 = 3*g - 4*p + 12. Which is smaller: g or -5/2?
g
Suppose 0*l - 4*l + 20 = 0. Suppose 10*h + l = 5*h. Is -1/4 at most as big as h?
False
Let h(v) = 2 - v - 1 - 2 + 3. Let q be h(2). Which is smaller: q or 3?
q
Let g = -15 + 15.6. Do -1/3 and g have the same value?
False
Suppose -3*d = -2 + 5. Let h = -16 - -15. Is h > d?
False
Let d = -6 + 9. Suppose 0 = -d*m + 10 - 13. Which is bigger: -16/7 or m?
m
Let r = -0.2 - 0.1. Let u = r + -0.2. Let d = 0.5 - u. Which is smaller: d or 0.2?
0.2
Suppose -2*x - 3*x = 15, -2*x = 4*q - 58. Which is smaller: q or 15?
15
Let d = 1/2840 + 8042867/36920. Let l = 218 - d. Are 1 and l nonequal?
True
Suppose -f + 230 = -6*f. Is -46 at most as big as f?
True
Suppose -3*p + 2*p - 1 = 0. Let c = p - -1/2. Which is smaller: c or 0?
c
Let q(t) be the third derivative of -t**4/24 - 4*t**3/3 + 3*t**2. Let w be q(-9). Let b = 4 + -3. Is w at least b?
True
Let j be 6/(-4) + 14/10. Which is smaller: j or 0?
j
Let f = -2 + -7. Let i be (-6)/f*(-3)/5. Suppose b + 3*u = 0, 2*b = -b + 5*u. Which is smaller: i or b?
i
Let i = 9 - 13. Let x = -4 - i. Which is bigger: x or -0.6?
x
Let c(w) = -w**2 - 10*w - 1. Let h be c(-8). Let l be 1/(-2)*(-3)/h. Let s(x) = -x**2 - 2*x + 2. Let n be s(-3). Are n and l equal?
False
Let b be (1 - -1)*5/5. Suppose -5*v - b*m + 17 = 0, 0 = 2*v + v - 2*m - 23. Suppose 2*f - 5*o = -31, v = 3*o - 2*o. Is f less than or equal to -3?
True
Let i = 17 - 15. Suppose 2*f + x = 2*x + 10, -i*f + 22 = 5*x. Does 6 = f?
True
Let x = 31/2 - 15. Is -1/11 bigger than x?
False
Let r(c) = c**2 - c - 3. Let n be r(4). Let x be 4/6*(-3 + n). Which is smaller: x or 5?
x
Let t = 6/11 + -41/55. Let h be 1 + 1 + (-144)/90. Which is smaller: h or t?
t
Let i = -31.1 - -31. Is -4 less than i?
True
Let w = 9 - 9. Is w bigger than 1/34?
False
Let d = -54.7 - -52. Let i = d - 0.3. Let h = 2 + i. Which is bigger: h or 1?
1
Let x = 471/406 - 44/29. Let w = x + -13/42. Is w at most -2?
False
Let p be (21/11 + -2)*3*-4. Let o be 1*(2 + 1) - 2. Is p > o?
True
Let p = -214.9 - -197. Let r = p + 17. Let d = 1 + r. Do -3 and d have different values?
True
Suppose 5 = 4*r + r. Suppose -1 = 4*j - 5*m, 0 = 3*j + j - 3*m - r. Which is bigger: 1/3 or j?
j
Let t(a) = -7*a**3 + a**2 + a + 1. Let g be t(-1). Let d be 8/(-10) + g/12. Suppose 2*w + 2*v - 4 = 0, 2*v + 1 - 3 = 0. Do w and d have the same value?
False
Let z be (-3)/2*24/(-9). Let b = 3 - z. Is b greater than or equal to -1/22?
False
Let a(z) = -5*z + 2. Let d(b) = 14*b - 7. Let k(s) = -11*a(s) - 4*d(s). Let c be k(3). Let o = -3 + c. Are -3 and o nonequal?
True
Let c = 9/2 + -21/4. Let q = c - -1/2. Let w = -21/2 - -10. Is w at most q?
True
Suppose 2*s - 2 = -4*q + 22, 3*q + 4*s - 8 = 0. Which is smaller: 10 or q?
q
Let f(m) = -m**3 + 5*m**2 + m. Let p be (2/1)/(4/10). Let d be f(p). Suppose -d*x + 13 = -22. Which is greater: 8 or x?
8
Let m(o) = o - 11 + 6*o + 15 - 4*o. Let h be m(-3). Does h = -4?
False
Let o be -9 + (-1)/(1/(-3)). Is -6 >= o?
True
Let v = -0.08 + -0.02. Let s be (2 + 1)*(0 - 1). Which is greater: s or v?
v
Suppose 12 - 4 = 4*c. Are 4 and c equal?
False
Suppose 4*h - h + 9 = 0. Let q be ((-2)/3)/((-2)/(-12)). Is h at least q?
True
Let z = -0.01 - 0.12. Let h = -0.03 - z. Is 0.1 at most as big as h?
True
Suppose 2*s + 2 = -82. Is -0.2 greater than s?
True
Let c = -601/4 + 15019/100. Which is bigger: 1 or c?
1
Let b = 29 - 16. Which is bigger: b or 12?
b
Let r(n) = 2*n + 22. Let m be r(-18). Is -16 less than m?
True
Let p(l) = 3*l - 1. Let q be p(2). Let r = q - 5. Is r < 1?
True
Let h = -3031 + 9178/3. Let z = 29 - h. Is 2 equal to z?
False
Let n = 13 - 14. Is -1 greater than n?
False
Let i(u) be the second derivative of -u**3/6 - 2*u**2 + 2*u. Let s be i(-6). Suppose -v - s*w - 1 = 0, v + 3 = -2*v - 3*w. Do v and 1/7 have the same value?
False
Let x(c) = -9*c - 27. Let o be x(-3). Let y be (27/23 - 1)/2. Which is greater: o or y?
y
Let j = 2.9 + -3. 