Is p smaller than r?
False
Let r be (-5)/8 - (-3)/(-8). Are r and -4 unequal?
True
Let g be 22*(10/8)/(-5). Is g less than -5?
True
Let v = 18412/52071 - 2/3063. Do v and 1 have different values?
True
Let p = 0.55 + -1.45. Is 1/7 less than p?
False
Let v be 3 - (2 + (-4 - -5)). Let f = 762/11 + -3207/22. Let o = 2911/38 + f. Is o at most as big as v?
False
Let p = 1/28 - 2/7. Let k = -0.161 - 0.039. Are k and p equal?
False
Let r = 4673 + -13841/3. Let m = r + -60. Which is smaller: m or -0.14?
m
Let x(q) = -q. Suppose 3*f + 0 + 3 = 0. Let l be x(f). Let h be (-1 + -6)*(-2)/133. Is h at most l?
True
Let c = 569 - 1085/2. Does c = 27?
False
Let w(x) = -x**3 + 9*x**2 + 10*x. Let a be w(10). Does a = -1/7?
False
Suppose -4*g - g = 4*r - 24, -2*r = -2*g + 6. Let d be (-5)/(-56) - 4/(-14). Which is smaller: r or d?
d
Let n be (1/2)/((-2)/20). Suppose 9 = x - 0*x. Let i = x + n. Which is smaller: 5 or i?
i
Let f = -44 + 23. Let j = -1/598 + 38873/1794. Let k = f + j. Which is bigger: 1 or k?
1
Let z = 19 + -18.9. Which is smaller: -6 or z?
-6
Let k = 0.6 - 0.6. Let r = 0.24 + -0.3. Is r < k?
True
Suppose -38 = -m + 4*s, 0*m = -m + 5*s + 42. Is m less than or equal to 23?
True
Let v = -15 + 15.1. Which is greater: v or 0.06?
v
Let s be ((-4)/(-2))/(4/6). Let b be (3/s - 2)/(-1). Is b at least as big as -2/7?
True
Suppose -5*m + 8 - 3 = 0. Is 1/69 smaller than m?
True
Suppose -2*g + 19 = r + g, 0 = 5*r + 2*g - 43. Suppose -3*k + 2*t + 1 = 0, -3*k + r*k - 8 = -4*t. Is -6 > k?
False
Suppose n - 1 = 2*n + h, n = 3*h + 15. Let a be -2 + (74/14 - n). Is -3 greater than or equal to a?
False
Suppose -2*r + 12 = -5*r - 3*c, r + 7 = -2*c. Is -1/113 less than r?
False
Suppose 2*l = -2*l. Suppose l = -2*b + m + 23 + 2, -61 = -5*b + 2*m. Is b greater than or equal to 0?
True
Suppose 2*a = -0*d - d + 12, 0 = 5*a - 5*d - 15. Suppose 5*y - a*p = 30, -p + 0 = -4*y + 9. Suppose 5*f - 19 = 2*u, 4*u = -f - y - 4. Which is greater: 2 or u?
2
Let q be 12*(1 + (-2)/4). Suppose -q - 2 = -4*o. Suppose 0 = o*l + l - 3. Which is smaller: 3 or l?
l
Let z(b) be the third derivative of -b**6/120 - b**5/10 - b**3/6 + 3*b**2. Let d be z(-6). Do d and -1/6 have the same value?
False
Let j be ((-8)/(-2))/(2 + -3). Which is greater: j or -3?
-3
Let r = -116 - -117. Which is bigger: r or 1/99?
r
Let m be 0 + -3 + 1 + 49. Is 48 bigger than m?
True
Let c(j) = j**3 - j**2 - j - 2. Let q be c(2). Suppose i + 10 = h, 5*i + q*i - 3*h + 44 = 0. Which is greater: i or -6?
-6
Let p = 0.015 - -0.085. Which is greater: 34 or p?
34
Let k be (-2 + 3)/(1/4). Let z = -4 + k. Which is bigger: -1/4 or z?
z
Let x = 1 + -6. Let z = 4 + x. Which is bigger: 2/5 or z?
2/5
Let m = -49/276 - -1/92. Suppose -5*o = -25 + 20. Which is smaller: o or m?
m
Let b = -2.4 - -2. Let m = -0.1 - b. Let j = m - 0.4. Is j > -2?
True
Let a(m) = m**2 - m - 4. Let s be (3 - 1)/((-2)/3). Let z be a(s). Suppose 0 = -0*r + 4*r + z. Do -1/2 and r have the same value?
False
Let s = 8 + -10. Is s at most as big as -3/5?
True
Let p(n) = n**3 + 15*n**2 + 31*n + 36. Let g be p(-13). Is g at most -27?
True
Let c = -29 + 34. Let j = -4.3 + c. Which is smaller: j or -0.2?
-0.2
Let o(t) = t + 5. Let z be o(-5). Which is smaller: 1/5 or z?
z
Let g be (1 - 0)/((-2)/(-12)). Let x = -5 + g. Which is greater: 0 or x?
x
Let d = 19/64 - 53/1472. Let n be -2*1*(-1)/(-184). Let p = d + n. Is 1 smaller than p?
False
Let b = 8 - 0. Let u = 44 - 44. Is b at least u?
True
Let s = 643 - 27651/43. Let b be (1 + -2)/9*-3. Is b at least as big as s?
True
Let z = -5 - -6. Let b = z + -2. Which is bigger: 2 or b?
2
Let w = 1/112 + -115/336. Let k = -49/39 + 12/13. Is w < k?
False
Let l be (8/24)/(2/6). Is l greater than -3/13?
True
Let r = -5 - -7. Suppose r*u - 13 + 7 = 0. Suppose k + u = 4. Which is smaller: k or 3?
k
Let u(x) = -4*x**2 + 13*x + 5*x**2 - 14*x. Let l be u(0). Let n(b) = b**2 + b + 1. Let k be n(l). Do k and 0 have different values?
True
Suppose n + 31 = -4*c, -c + 4*n - 7 = 5*n. Let p = 3 + c. Is -6 smaller than p?
True
Suppose -3*p - 12 = 0, -f - 4*f - 32 = 3*p. Let a = f - -7. Let i be (1 - 1)/(3/a). Is 0 at least as big as i?
True
Suppose -21 = -2*v - 1. Let q be 5 + 0 + -1 + v. Is q < 15?
True
Let z(x) = -x**3 - 2*x**2 + 4*x + 3. Let g be z(-3). Let l = 3 - g. Suppose 1 + 2 = -d - 2*u, 0 = l*d - 3*u - 18. Which is smaller: 2 or d?
2
Suppose 0 = -h + 10 - 10. Which is smaller: -1/13 or h?
-1/13
Let s = 7 + -7.03. Does 2/3 = s?
False
Let o(s) = s**3 + 12*s**2 + s + 18. Let k be o(-13). Let g = k - -496/3. Let x be -1 - -1*(4 - 1). Which is greater: x or g?
x
Let b = 3962782756/16809 + -3064782/13. Let q = b - 1/862. Is 2 greater than or equal to q?
True
Suppose 0 = -3*t + 5*t. Which is smaller: t or 3/4?
t
Let p be 6 + (3 + -4 - 1). Is 1 at most p?
True
Let m = 2 + -1. Let x(s) = -2*s**3 - 7*s**2 + 9*s + 14. Let p be x(-4). Which is greater: p or m?
m
Suppose 39 = 4*o - h, -2*o - 2*h + 52 = 3*o. Are o and 9 equal?
False
Let i = 9/28 - 313/1148. Which is smaller: 0 or i?
0
Let x(y) = -2*y + 2. Let n be x(-14). Suppose 0 = 2*k + k - n. Is k at least as big as 10?
True
Let n(g) = -g - 4. Let b be n(5). Let y = -6 - b. Suppose -y*u - 12 + 3 = 0. Is -2 less than or equal to u?
False
Let s = 99 + -79. Which is bigger: s or 19?
s
Let h be 2/(-9) + 2/9. Suppose -4*j - 1 = -3*y, 2*y + h*y = 4*j - 2. Let f be 2 + -1 + 0 + 0. Which is bigger: j or f?
j
Suppose -2*h + 64 = -5*o, 0*h + 64 = 2*h - 2*o. Which is smaller: 33 or h?
h
Let s be (0 - -3*1)/2. Suppose 3*u - 24 = -4*c, 3*c = -2*u + 8 + 10. Suppose -o + 9 = 4*p - c*o, 3*p - 1 = -2*o. Is s <= p?
False
Let w = 516 - 506.99. Let j = w + -9. Which is greater: j or -2/3?
j
Suppose 2 = -4*m + 10. Let f be (2 - 2) + m/11. Which is smaller: 0 or f?
0
Let z be (-3)/12 + 19/(-4). Let t = -4 - z. Let l = -7/40 - 3/40. Is l <= t?
True
Let c(q) = 22*q - 18. Let j be c(8). Is 159 greater than or equal to j?
True
Let a be (11/(-4))/((-3)/(24/(-10))). Which is bigger: a or -1?
-1
Suppose 12*s = 44 + 76. Let v = -6 + 14. Suppose 3*l - v = s. Is 5 equal to l?
False
Let r = 11 - 10.9. Let l = -2.9 + 3. Is l not equal to r?
False
Suppose -9*u + 22*u = -936. Is u >= -71?
False
Suppose -3*c = 3*y - 4*c - 6, -y + 3*c - 6 = 0. Suppose 2*p - y*p = 0. Is p at least as big as 3/8?
False
Suppose -3*v - a + 2 = 0, -5 = 5*v - a - 19. Which is bigger: v or 10/3?
10/3
Let a = 5 - 25. Is -19 equal to a?
False
Let d = 1 - -2. Let p = d + -3. Suppose -t + 3*t = y - 7, 11 = y - 4*t. Is p at least as big as y?
False
Suppose 10 = -h - 4*h. Suppose 5*q + 1 = 3*g - 4, -4*q + 18 = 2*g. Suppose q = 5*u + 5*l - 13, -3*u = l + 1. Is u equal to h?
True
Let t = -9 - -12. Which is greater: t or 2?
t
Let p = -1171/5 - -467/2. Is p less than 0?
True
Suppose 3*w = 8*w + 4*z, w - 4*z - 24 = 0. Suppose 2*c - 7 = -1. Is w <= c?
False
Let d be 6/9 - 2/12. Which is smaller: d or 4?
d
Let h = -0.1 - -0.1. Let c = 0 + -0.3. Is c > h?
False
Let r be (3 + 4/(-2))*-2. Let k = 0 - r. Suppose -g = 4*g + k*w + 15, 6 = -2*g + 2*w. Is g >= -3?
True
Let s = 1 - 1.3. Let o = 1.4 - 2.1. Let d = o + s. Which is greater: 1 or d?
1
Let g(y) = 2*y**2 + 5*y**2 - 4 + 0 + y - y**3. Let j be g(7). Suppose 0 = -j*d - 2*h + h - 6, 0 = -h. Does d = -2?
True
Let k(o) = 4*o**2 - 11*o. Let w(i) = i**2 - i. Let n(q) = -k(q) + 5*w(q). Let s be n(-4). Let g = s - -7. Which is bigger: -4/7 or g?
-4/7
Let t = -0.1 + 3.1. Let r = -1 - t. Is r bigger than -1?
False
Let q = 260 + -551/2. Suppose 2*b = -2*b - 64. Let z = b - q. Which is bigger: z or 0.1?
0.1
Let p = 68 - 101. Let c be ((-1)/(-1))/(11/p). Which is smaller: c or -2?
c
Suppose -4 = o + 3*o, -y = 3*o - 6. Let n be y/15 - (-57)/(-45). Which is smaller: n or 0?
n
Let g be 5 + -2 + -22 - -3. Is g < -15?
True
Let w = -10 + 11. Is -2 at least as big as w?
False
Let b = -1 + 1. Let c = b - -3. Suppose -4*y + 8 = -c*f, 5*f + 6 = 3*y - 0. Which is bigger: -2/9 or f?
f
Let i be 3/(-4)*32/(-22). Let q(d) = -d**2 + 6*d + 29. Let r be q(9). Is r bigger than i?
True
Let t = 6.4 + 1.6. Which is bigger: 1/4 or t?
t
Let z = -23/2 + 11. Are z and 7/5 non-equal?
True
Let n(q) = q**3 - q**2 + q. Let v be n(2). Let c be 5*v/15 - -4. Which is smaller: 7 or c?
c
Let w = 8602437236 - 329628190029379/38318. Let z = w - 4/391. Let v = z - 