.3 - f. Let r = p - -2.21. Is 1 greater than r?
True
Let w = -5 + 4. Suppose -4*r + 25 = -5*q, -q - 4*r + 15 = 4*q. Let n be (12/(-162))/(q/(-6)). Which is smaller: w or n?
w
Let w = -57 - -56. Which is smaller: -0.05 or w?
w
Let c = -4/13 - -10/117. Let o(j) = 2*j - 3. Let g(k) = k**2 + 5*k - 4. Let p be g(-6). Let s be o(p). Is s <= c?
False
Let c be (-65)/22 - (-2 - 0 - 1). Suppose 3*z = 6*z. Is z greater than c?
False
Let m(x) = -6*x - 7. Let f be m(-3). Suppose -f = h - 10. Let n = 3 + -2. Which is smaller: n or h?
h
Let m(y) = y**3 - 22*y**2 + 21*y + 41. Let x be m(21). Which is greater: 1 or x?
x
Suppose -6*g + g - 20 = 0. Let n be (-2 - 0)/(g/(-2)). Is 1/18 < n?
False
Let t = 2371 + -40322/17. Is t smaller than -1?
False
Let u be (2/20)/((-4)/5). Is 0 < u?
False
Suppose 0*z + u = -4*z + 23, -z - 4*u - 13 = 0. Is 6 less than or equal to z?
True
Let b be (-144)/20 - 2/10*-1. Suppose 4*d + 5*m - 24 = 0, 2*d + 6*m = 2*m + 18. Is d <= b?
False
Let n = 3/13 + -71/26. Is -2/3 < n?
False
Suppose -l - 1 = 5. Let q be (-14)/8 - (l + 4). Is 1 at most q?
False
Let f be 5*(-3 + (-52)/(-20)). Is -3/2 less than f?
False
Let r = -43 - -37.8. Let b = -5 - r. Suppose 4*c - 6*c = 0. Is c <= b?
True
Let v = 8 + -21. Which is bigger: v or 0.1?
0.1
Let m be 12/(-21) + 800/28. Is m greater than or equal to 28?
True
Suppose 0 = -3*r + 2 + 7. Suppose 0 = -r*h + 2 + 1. Which is smaller: h or 1/10?
1/10
Let q(l) = 2*l**2 + 8*l + 6. Let t be q(-5). Is t at most as big as 0?
False
Let n(a) = -a + 10. Let o be n(8). Suppose -o*u - 1 = -u. Is u at most -5?
False
Suppose 0*o + 4 = -4*o. Let b = 344623/354 - 5833/6. Let l = 2/177 - b. Is l not equal to o?
True
Let x be 184/(-44) - (-2)/(-33)*-3. Is x > -42/11?
False
Suppose -16*z + 4 = -15*z. Let m = 19 - 7. Suppose 5*w - 2*t + 4*t = 6, z*t - m = 0. Are -2 and w equal?
False
Let a = 88 - 614/7. Let t be 1/(-2) - 5/(-10). Is t at most a?
True
Let n be 6/(-5)*(-100)/(-30). Suppose -2*w = 3*w - 5. Let p be (0 - 1) + (-1 - w). Which is smaller: p or n?
n
Suppose 4*i - 3*j + 3 = -4*j, 0 = -3*i + 5*j - 31. Let t be 465/65 - (-2)/(-13). Let v be 2 - (t + (-1)/1). Which is smaller: v or i?
v
Suppose 4*y + y + 5 = 0. Is y >= -2?
True
Suppose -2*c + 0*c = 2. Let w = -34 + c. Let z = -246/7 - w. Which is smaller: 1 or z?
z
Let q = -61 - -1161/19. Suppose l + 3*k = 2*k, -2*k - 6 = -4*l. Which is smaller: l or q?
q
Suppose -2*l + 4*p = 18, 4*p = 3*l + 8*p - 23. Which is greater: l or 2/135?
l
Suppose 2 = -3*k - 0*k + l, 6 = -3*k - 3*l. Is k smaller than 1/9?
True
Let f = 9/4 - 73/36. Which is smaller: f or -0.03?
-0.03
Let u = 1 + 1. Suppose u + 1 = p. Suppose 0*r - r + 3 = 0. Is p at most as big as r?
True
Let l = 10 + -6. Let h be 6/l*(-2)/3. Let o be 5/(-7) - (-2)/7. Which is bigger: o or h?
o
Let k = -25 - -28. Are k and 5 unequal?
True
Let s = -35 - -50. Suppose 3*x = -2*x + s. Are 2 and x unequal?
True
Let l = 518045/268 - 1933. Which is smaller: l or 1?
l
Let y be (-14)/36 + 7/14. Suppose -4*c + 2*n - 12 = 0, -16 = -4*c + 2*n - 7*n. Which is smaller: y or c?
c
Suppose -5*b - 5*u + 35 = 0, 3*b - 2*u + 0*u - 6 = 0. Suppose 0 = -b*l - 9 + 21. Which is bigger: l or 1?
l
Let n be (-207 - 0)*-2*8/48. Is n greater than 68?
True
Suppose -t + 1 = 2*o + 4*t, 2*t - 10 = -4*o. Suppose -u = m - 3, -o*u + 7 - 28 = -3*m. Let l be u + 2/(1 + 1). Are l and -1/2 equal?
False
Let x = 10 + -5. Suppose -14 = -5*w - 2*d, x*d = -w + 2*d + 8. Let z be (-4)/w*(-1)/(-2). Are 0 and z equal?
False
Let w be 5/20 + 13/(-4). Let n(m) = -m**3 - m**2 + 5*m + 4. Let i be n(w). Suppose 3 = 5*o - i. Is 2 greater than o?
False
Let t(r) = -2*r**3 - 14*r**2 + r + 10. Let j be t(-7). Let w(p) = p + 5. Let s be w(-3). Suppose -3*h + 4 + s = 0. Which is bigger: h or j?
j
Let q(u) = u + 10. Let i(y) = y**2 - 10*y + 3. Let b be i(9). Let l be q(b). Is 4 <= l?
True
Let q = -0.05 - -2.05. Let h(g) = g + 8. Let k be h(-9). Which is bigger: k or q?
q
Let s(f) = -f**3 - 6*f**2 + 6*f. Let h be s(-7). Let q be 2/4 - 11/(-2). Is h at most q?
False
Let o(n) = -4*n - 7. Let f(c) = 3*c + 6. Let x(t) = 5*f(t) + 4*o(t). Suppose -4*i + i - 21 = 0. Let j be x(i). Which is greater: j or 1?
j
Suppose -2*z + 15 = 45. Is -16 at most as big as z?
True
Let g = 355 + -358. Let d = -3.1 - -3. Is g at most d?
True
Let h(c) = c**3 - 10*c**2 + 18*c - 12. Let b be h(8). Which is smaller: b or 5?
b
Let k = -923/90 + 95/9. Let m = -1/5 - k. Which is bigger: 2/5 or m?
2/5
Let i = 2068/67 - 105998/469. Let f = i - -196. Let o = -27 - -28. Is o bigger than f?
True
Suppose -2*d = 5 + 1. Let z be (3/36)/(d/4). Is z at least as big as -1?
True
Let k = -15 + 14.97. Which is greater: -0.1 or k?
k
Let x = -34 + 33. Which is bigger: x or -4/35?
-4/35
Suppose -2*g - 7 - 37 = 0. Let h be 3/15 + g/10. Suppose 0 = -3*a + 2*x - 10, -2*a - 3*x + 0*x + 2 = 0. Is a <= h?
True
Suppose 0 = -7*t + 4*t + 12. Suppose -t*l + 50 = 5*a + l, 0 = -a - 5*l + 30. Suppose 0 = -a*q - 5 - 10. Is q not equal to -2?
True
Let f = -28 + 28. Let v = 2 + -2. Let l = 0.1 - v. Is l bigger than f?
True
Suppose s + 158 = -3*p + 5*s, -4*s + 58 = -p. Does p = -50?
True
Let d = -19/61 - -13527/44408. Let m = d + 9/56. Do m and -1 have different values?
True
Let r = -53/33 + -2/33. Which is bigger: r or -1?
-1
Let i = 91.9 + -92. Let b = 10/3 - 5/6. Which is bigger: b or i?
b
Let y be -1*(1 + (0 - 2)). Let c be (5/(-20))/(y/(-4)). Which is smaller: c or -2?
-2
Let t(w) = -w**2 + 5*w - 5. Let r be t(5). Let d = r - 0. Let f = -111 + 107. Which is bigger: d or f?
f
Suppose -10 = -4*p - 2. Let a = 1 - -4. Suppose -a*b + 5 = 5*v - b, -2*b = p*v - 4. Which is greater: v or -1?
-1
Let s be 4/6 - (-2281)/21. Let i = -109 + s. Is -1 != i?
True
Suppose 54 = 3*n + 45. Is -1 bigger than n?
False
Let b = -28 + 27. Which is bigger: b or 1/4?
1/4
Suppose -1 + 10 = -9*l. Is 11 < l?
False
Let b = 0 - 0. Let w = -0.3 - b. Let n = w - -0.3. Is n > 0.2?
False
Let d = 23 + -22.7. Do -1/4 and d have different values?
True
Let d be 4*((-12)/(-8))/(-3). Let p be -4*2/4 - d. Is p != 2?
True
Suppose 4*n + 0*n - 14 = -2*g, 2*g - 18 = -5*n. Let p be -2 + g/((-22)/40). Is p smaller than 0.1?
True
Let j be -2 + (-2 - -2*3). Suppose -2*a + j = -0*a. Let v be (a/5)/(4/(-5)). Is -1 greater than v?
False
Let p = 144 + -327/2. Which is smaller: p or -19?
p
Suppose 3*n - 5*n = 0. Let o = 2 + n. Let a(p) = p**2 + 4*p + 3. Let y be a(-4). Is y at most o?
False
Let n = -20.8 - -18. Let y = n - 1.2. Is y bigger than -1?
False
Let f = -6 - -9. Let a(i) = -i - 3. Let u be a(-4). Let k be 2 - u - -1 - -1. Is k less than or equal to f?
True
Let z(f) = -f - 1. Let y be z(-3). Let o be (-33)/(-9) + (-6)/9. Suppose -o*x + 4*t + 25 = 0, 0 = -t - y*t - 12. Which is bigger: 1 or x?
x
Suppose -135*f = -136*f - 30. Which is greater: -31 or f?
f
Let l = -12.2 + 12. Suppose -2*k + k = -1. Let m be 2 + (1 - 2) + k. Which is smaller: l or m?
l
Let v(x) = 14*x**2 + 2*x + 35. Let z(u) = -5*u**2 - u - 12. Let d(i) = 6*v(i) + 17*z(i). Let r be d(-7). Are r and -8 non-equal?
False
Suppose 5*r - 3*w + 5*w - 234 = 0, r = -w + 48. Is r >= 46?
True
Let f = -0.035 + 0.135. Which is smaller: -73 or f?
-73
Let r = 11.2 + 4.8. Is 1 < r?
True
Let n be ((-9)/(-15))/(1/(-186)). Let o = n + 112. Suppose 0 = -m + 2*m + 3*d - 7, 0 = -d + 2. Which is bigger: m or o?
m
Let t(j) = 2*j**2 + j - 1. Let d be t(-2). Suppose -d*k = 20 + 15. Suppose 3*o + 15 = 2*y - 5, -3*o + 3*y - 18 = 0. Is k > o?
True
Let p(w) = -397*w - 1. Let n be p(-3). Let o be 5*(-5)/(n/8). Let a = -2/17 + o. Which is bigger: 0 or a?
0
Suppose 0 = -5*m + 3*m + 8. Suppose 4*n - n = 9. Is m equal to n?
False
Suppose 3 = -5*b - 2. Let s = -593/3 + 196. Is b at least as big as s?
True
Let b = 0.07 - 5.07. Let v = 0 + 2. Do v and b have different values?
True
Let t = -12 - -15. Which is greater: 12/7 or t?
t
Suppose -5*s = -12 + 2. Which is smaller: 1/2 or s?
1/2
Suppose -6 = -5*t - 3*p, 4*t - 2*p + 0*p = -4. Suppose t = 5*l + 2*h - 0 + 8, -3*h = l + 12. Let f(x) = -x**2 + x + 1. Let q be f(2). Which is smaller: q or l?
q
Suppose 4*w + 20 = -4*n, 6*n - 8*n - 1 = w. Are -0.1 and w equal?
False
Let b(h) = -h**2 - 14*h + 1. Let d be b(-14). Is -1/37 at least as big as d?
False
Let j = 1 + -1. Let x = j + -2. Let p = 6 - 10. Does p = x?
False
Let f = 8