ose 0*r = -5*r - 5. Which is greater: -1/40 or r?
-1/40
Let w = -13 + 7. Let r(m) = 4*m - 2. Suppose 5*u = u - 4. Let h be r(u). Is h bigger than w?
False
Let b be 11/(-2)*((0 - -4) + -6). Which is smaller: 10 or b?
10
Suppose 0*s - 3 = 3*s. Let n = -1 - s. Let l = 0.05 + -0.35. Which is smaller: l or n?
l
Suppose 1 = q - p, -5*q + 10*q - 2*p = -4. Let f be 6/8 + 2/8. Suppose -h + 11 = -5*s - 0*s, -h = -f. Is q at least as big as s?
True
Let p(f) = f**2 - 8*f + 11. Let s be p(7). Let y be ((-6)/12)/(18/s). Is 0 < y?
False
Let g(l) = l - 13. Let w be g(9). Let u = -3 + 0. Does w = u?
False
Let b = -0.16 - 1.04. Let v = -0.1 - b. Let c = v + -0.1. Is c less than or equal to -0.3?
False
Let r = 1/113 + -243/1921. Do r and 3 have different values?
True
Let w = 0 - -3. Let q(f) = f**3 - 3*f**2 + 1. Let x be q(2). Is x equal to w?
False
Let b be 4/(-24) + (-148)/(-24). Let w(j) = j**3 - 9*j**2 + 7*j + 8. Let i be w(8). Which is smaller: i or b?
i
Suppose -49 = -2*b + 3*b - 4*k, 59 = -2*b - 5*k. Is -36 >= b?
True
Let u be 0 - (-3 + 0) - 13. Let t = -9 - u. Suppose 5*j - x = -4, j = -2*j - x - 4. Is t bigger than j?
True
Let u = -7 - -4. Let z = 24 - 22. Which is smaller: z or u?
u
Let p be 4/7 + (-1)/((-7)/(-116)). Is -0.2 < p?
False
Let t(k) = 10*k - 23. Let v be t(2). Does -7/3 = v?
False
Let x = 21 + -10. Let i = x - 10. Do i and 8 have different values?
True
Suppose 4*i - 43 - 85 = 0. Is 33 smaller than i?
False
Let f = 4 - 4.1. Let i be 11/2 - 1/2. Let c be i/2*(-16)/(-140). Which is bigger: c or f?
c
Let f(t) = -t**3 - 4*t**2 + 5*t + 3. Let c be f(-5). Let w = -2 + c. Let h be (1/9)/((-5)/(-30)). Is h != w?
True
Let u be (18/(-27))/((-2)/12). Suppose -3*j = 2*g - 6*j + 28, -41 = 3*g - u*j. Which is bigger: g or -12?
g
Let w = -3/105338 - -56663/1064914511. Let z = 1293947/2790222 + w. Let r = -3/23 + z. Which is smaller: r or 0?
0
Let p = -0.2 - 0.3. Let c = -67.1 - -71. Let v = c - 4. Is v > p?
True
Let d(a) = 3*a**2 - 7*a + 10. Let t be d(2). Is t greater than or equal to 9?
False
Let o = -5 + 5.1. Let g(w) = -6*w**2 + 4*w - 2. Let p be g(3). Let k = p - -222/5. Is k at least o?
True
Let k(b) = 19*b - 2. Let h be k(-2). Let r = h - -115/3. Let n be (0 - 2)/((-2)/(-2)). Which is bigger: n or r?
r
Let g(y) = -y**2 + 9*y - 14. Let z be g(7). Let a be 1/(13/6*-1). Which is greater: a or z?
z
Let t = 35/71 + -11217/142. Let g = 941/12 + t. Suppose -5*d + 25 = -5*s, -4*s - 20 = -d - 0*s. Which is bigger: d or g?
d
Let o be 4*(-5)/(-50) - 398/(-30). Which is greater: 13 or o?
o
Let c = -92 - -55. Is c != -37?
False
Let b(u) = -2*u + 10. Let s be b(10). Let w(y) = -y**3 - 10*y**2 + 4. Let c be w(s). Let n(r) = -r**2 + 7*r + 5. Let t be n(7). Is c bigger than t?
False
Let p be 30/50*(0 - -10). Let v be (-8)/6 + (-4)/p. Are v and -2 unequal?
False
Let k = 21.97 + -22. Which is bigger: -1/2 or k?
k
Let g be (-36)/(-44) + -1 - 2/1. Is g less than or equal to -2?
True
Let u(m) = 3*m**2 + 4*m + 2 - 8*m + 5*m**3 - 4*m**3. Let n be u(-4). Let r be (2/(-4))/(-1)*2. Is r at most n?
True
Let b be (-344)/3 - (-2)/3. Let w be (-2)/(-6) - (-50)/b. Suppose 2*g - 12 = 14*g. Which is greater: g or w?
w
Let h be (14/(-6624))/((-4)/272). Let i = -3/92 + h. Which is bigger: 0 or i?
i
Let v = 6 - 7. Let h be 3 - 2*v/1. Is 5 >= h?
True
Let s be (-12)/4*(-2)/32. Which is smaller: s or -1?
-1
Let l be -1 - 1 - -2 - 0. Which is smaller: l or -4/7?
-4/7
Suppose 31 = -4*q - 17. Let j be ((-6)/(-3))/(q/(-2)). Let h = 1 + -1. Is j at most h?
False
Let n(v) = -2*v - 25. Let t be n(-13). Do 65/6 and t have the same value?
False
Let o = -36 + 289/8. Let s be (0 + 0)/(1 + -3). Which is smaller: s or o?
s
Let c be (1/(-1))/(-5 - -12). Which is smaller: c or 1?
c
Let r = 8.98 + 0.02. Let l = 9.4 - r. Is 2 less than or equal to l?
False
Let m be -2 + 0 - (-2 - -2). Let k(q) = -10*q + 1. Let b be k(m). Let j be (-2 - (-48)/b)*1. Is j smaller than 0?
False
Let c be (1*2)/(8/12). Suppose c*o + 27 = u - 0*u, 3*u = -5*o + 95. Let i = 91/3 - u. Which is smaller: -0.3 or i?
-0.3
Let h be 0 + 0*1/3. Suppose h*q = -q. Is q < -2/11?
False
Let q = -2.93 + -0.07. Let r = -4.5 + 4. Let d = -0.5 - r. Is d > q?
True
Let w = 1 + -3. Suppose 7 = -s + 2. Let k = s + 11/2. Is w greater than k?
False
Let r = 5 - 3. Let f = r - 1. Let b = -2 + f. Is -1 greater than or equal to b?
True
Suppose -5 + 0 = -f. Let c be (12/(-14))/((-2)/14). Suppose j - f = c*j. Does 3/7 = j?
False
Suppose j - 7 = -0*j. Suppose 12 = 3*o - j*o. Is -3 less than or equal to o?
True
Let h(q) = 16*q**2 - 31*q + 15. Let m(o) = -3*o**2 + 6*o - 3. Let d(r) = 2*h(r) + 11*m(r). Let b be d(4). Suppose -4*k = 10 - 2. Which is greater: b or k?
k
Let h be 1275/3*30/(-22). Let y = h - -579. Which is bigger: y or -2?
y
Let m(t) = 5*t**2 + 56*t + 6. Let r(p) = p**2 + 11*p + 1. Let d(u) = 2*m(u) - 11*r(u). Let z be d(-9). Let w = z + -2. Is 1/4 >= w?
True
Let q = 5 + -3. Let x = 3 - q. Let d = 1 + 1. Is x smaller than d?
True
Suppose -2*d + 10 = -6*d + 3*m, 0 = -3*d - 3*m + 3. Let j = 1 - d. Is 3 bigger than j?
True
Let a = 27.7 - -3.6. Let s = -30 + a. Let b = -0.3 + s. Is b less than or equal to -4?
False
Let m(x) = -x + 2. Let i be m(5). Let r = -3 - i. Let t = -0.6 + 0.9. Is r bigger than t?
False
Let f = 3425 + -256871/75. Let q = -41/300 + f. Which is greater: q or 1?
1
Let k = -7 + 9. Suppose -o - k*o + 12 = 0. Suppose -p = 4*t - 0*p - 33, -t - 13 = -o*p. Are t and 7 non-equal?
False
Let j(z) = -z**3 - 5*z**2 - 6*z - 11. Let g be j(-5). Let l = g + -9. Which is bigger: 9 or l?
l
Let x be 1 - (-2)/(-10)*1. Let b = 3.5 - 5. Let f = 1.4 + b. Which is smaller: f or x?
f
Suppose 2*l = -0*l - 10. Is -5 != l?
False
Let m be 2/(-3) - (-16)/132. Which is smaller: m or -0.2?
m
Let s(n) be the third derivative of n**5/60 + n**4/8 + 6*n**2. Let t be s(-3). Are t and -6/11 equal?
False
Let j = 64 - 322/5. Suppose 4*g = 36 + 4. Suppose 0 = 5*d + 5 - g. Which is smaller: j or d?
j
Let b be 40 - ((6 - 5) + 2). Is b bigger than 39?
False
Let u(v) = 2*v + 18. Let g be u(27). Do g and 73 have different values?
True
Let x = -5 + 5. Suppose -5*f + 3*p = -41, -p - 23 = -3*f - x*p. Let s = -6 + f. Which is smaller: s or 1/2?
1/2
Let x(j) = -4 + j + 2*j - 4*j. Let s be x(-7). Let f = s + -2. Are f and 1 non-equal?
False
Suppose 3*t + 0*t = -3*j - 18, 0 = -3*t + 2*j + 7. Which is smaller: -8 or t?
-8
Let g = 85.5 + -85. Is g <= 1?
True
Let w = 0.14 + -0.24. Is 14 not equal to w?
True
Let f = 0.45 + -0.4. Let c = 3 - 10/3. Is c not equal to f?
True
Suppose 3*y - 2*m = -0*m + 26, 4*m = 5*y - 46. Let x be 3/y + (-2)/(-4). Let r be x*(2*-1)/2. Is -1 >= r?
True
Let d = -89.7 + 83. Let b = d - -7. Is -2/9 <= b?
True
Suppose 5*l = -p - 0*p + 29, -p + 3*l - 11 = 0. Suppose -p*i + 0*b - 4*b = -120, -2*i + 5*b = -60. Let q be 99/i + 3/(-1). Which is smaller: -1 or q?
-1
Let d = -44 + 221/5. Let h(v) = -v**2 + 6*v + 2. Let l be h(6). Suppose n = -n + l. Is n > d?
True
Let q(f) = -f**3 - 4*f**2 - f - 2. Let u be q(-5). Suppose 4*d + 14 = a - d, d = -4*a - u. Let b = -8 - a. Which is bigger: 2 or b?
2
Let z(t) = t - 4. Let u be z(5). Suppose 0 = -2*g + 3*g + u. Which is smaller: g or -2?
-2
Suppose 0 = -x - l, x + 3*l - 3 + 11 = 0. Suppose -2*s = -2 - 6. Suppose -s = b - 2*f, b - 11 = -4*f + f. Which is smaller: b or x?
b
Let l be ((-3)/(-2))/(1380/80). Is l at least -1?
True
Let w = 4 + -12. Let q = -18 + 11. Let r = 6 + q. Is r greater than w?
True
Let l = -40 - -24.7. Let f = -16 - l. Which is greater: f or 1?
1
Let f be (24/36)/(2/3). Suppose -4 = 5*v + f. Is -12/7 equal to v?
False
Suppose -10*l + 8*l + 16 = 0. Suppose 0 = -0*q - 3*q - 6, 2*z - 3*q - l = 0. Which is smaller: z or -2/11?
-2/11
Let l = 6 + -1. Let o = l + -5. Is 0.2 smaller than o?
False
Let q = -0.2 + 2.2. Let t = 0.5 - 0.7. Let k = t + 0.3. Which is smaller: q or k?
k
Let l be (2339/(-28))/((-7)/14). Let t = 167 - l. Which is bigger: 1 or t?
1
Let u(f) = 3*f**2 - f - 1. Let p be u(-1). Suppose 0 = -2*c + 4*i - 12, 16 = -5*c + 5*i + 6. Suppose 0 = t - p*a - 16, -c*t + a - 16 = -7*t. Is -1/4 >= t?
False
Let h be 2/(-7) + 4/14. Suppose y + r - 5*r - 20 = 0, 0 = y - 5*r - 23. Let k be (-65)/(-100) - 2/y. Are h and k unequal?
True
Let j = 0.1 - 4.1. Let x = j - -3.3. Let l = 0.6 + x. Which is smaller: l o