e 7 + 7 = -7*y. Is r > y?
False
Let x = -2 + 1. Let q = x + 1. Is q equal to 0?
True
Let h(y) = -y**2 - 5*y - 4. Let z(j) = -j**2 - 3*j + 6. Let r be z(-5). Let o be h(r). Does 1 = o?
False
Let r be 3/6*(-1 - -5). Let j be (-2 - -4) + 55 + r. Let t = 235/4 - j. Which is bigger: 1 or t?
1
Let y be (-15)/84*(-8)/(-2). Is y smaller than -2?
False
Let t = 2 - 1. Let s be ((-30)/(-440))/(1/(-4)). Which is bigger: s or t?
t
Suppose 5*z + 6*s = 3*s - 16, -z + 3*s - 14 = 0. Let h(l) = -l**3 - 4*l**2 + 6*l - 1. Let q be h(-5). Which is smaller: z or q?
q
Suppose 20 = -k - 5*j, -5*j - 22 + 2 = 0. Suppose k = -3*n - 6, 2*n - 8 = 3*p - 0*p. Let d be (-84)/18 + 4/6. Is p at most d?
True
Let p = 57 - 56.9. Is -2 at most p?
True
Suppose -3*x = 5*g + 126, g + 4*x = -2*g - 80. Let z = g - -70/3. Is -5 at least as big as z?
False
Let o(y) = -y**2 + 2*y - 2. Let d be o(3). Let a be -3*(-16)/12*-1. Is d less than a?
True
Let k be 14/72 - 5/(-20). Suppose -4*c + 4 = -0*c. Which is bigger: c or k?
c
Suppose -5 = -3*q - 2. Are 1/4 and q non-equal?
True
Let c(p) = 107*p**3 + 4*p**2 + 4*p + 1. Let i be c(-1). Is -106 at least as big as i?
True
Let g be (-34)/(-18) + 1/9. Is 4/3 at most g?
True
Suppose 4 = -f + 2. Let g be -3 - f*(-22)/(-4). Let x be 2/(2 + g)*-2. Which is smaller: x or -0.1?
x
Let h(d) be the third derivative of d**4/24 + 3*d**3/2 + 3*d**2. Let k be h(-8). Is k at most as big as 2/27?
False
Let d be ((-175)/10 - 0)*(-36)/(-15). Do d and -42 have the same value?
True
Let t = 17 - 17.09. Let c = 3.91 - t. Is c smaller than 1/5?
False
Let u = -19 + 18. Which is smaller: u or -1/8?
u
Suppose -4*q + 0*q = -160. Suppose -3*p - q = -5*b + 2*p, p - 17 = -4*b. Let u = b + -5. Which is smaller: -7 or u?
-7
Let u(h) = -h**2 + 9*h - 10. Let r be u(7). Let g be -3 + 1/(1/r). Which is smaller: -2/5 or g?
-2/5
Let j(z) be the third derivative of z**6/40 - z**4/24 - z**2. Let s be j(-1). Let p be (-6)/12*(-8)/(-2). Do p and s have different values?
False
Let t = -145.029 - -145. Which is bigger: t or 1?
1
Let n = 284 - 1985/7. Is -1 equal to n?
False
Suppose -z - z = -4, 0 = -2*x - 5*z + 14. Suppose 0 = -0*d - x*d. Let t = 1/49 + -54/245. Which is smaller: t or d?
t
Let q be 2/8 - 22193/68. Let h = 326 + q. Which is bigger: 1 or h?
1
Let k = -14 + 7. Is -9 greater than k?
False
Suppose 4 = 4*i - 4. Suppose 5*p + 21 + 4 = 0. Which is greater: i or p?
i
Let r be ((-2)/2)/(2 + -3). Suppose -4*u - 145 - 23 = 0. Let l be 4/(-14) - 26/u. Which is smaller: l or r?
l
Let c be (0 + 6)*(-2)/(-4). Let g = -8 + c. Let b = g - -4. Which is smaller: 0 or b?
b
Let o(c) be the first derivative of -c**2/2 - 4*c - 3. Let k be o(-3). Are k and -1 equal?
True
Let b = 4.91 - -0.09. Let s = 5.2 - b. Suppose 0 = -2*f - 0*f. Which is bigger: f or s?
s
Let g be 13/(-11) - (72/(-66))/6. Are 3/14 and g unequal?
True
Suppose 0 = 8*s - 15*s + 63. Is s smaller than 68/9?
False
Let y be (2 + 1)/((-9)/(-6)). Let b = -26 + 82/3. Is y smaller than b?
False
Suppose 2*v + 24 = 5*q, 3*q - 7*q + 2*v = -18. Let h be 14/q + (-1)/3. Is 1 at most as big as h?
True
Let y = -9 - -9.6. Let f = y - 0.7. Let o be 4/14*(-3)/(-2). Do f and o have the same value?
False
Let p be ((-2)/4)/((-1)/(-4)). Let h = 15 + -15.7. Let f = -0.3 + h. Is f <= p?
False
Let j = -1 + 0. Let n(x) = -x**3 - 2*x**2 - x + 2. Let w be n(-2). Let k = -4 + w. Is j at most k?
True
Let u be 362/(-6) + 1/3. Let k be 6/u*15/2. Is k greater than -2?
True
Suppose -5*d = -10 - 0. Let i be (6/4)/(d/4). Suppose u - 19 = -3*u + 3*x, 3*u - i*x = 18. Which is greater: u or -1/4?
u
Suppose 3*o = u - 5, -3*o - 3*u + 7 = 16. Let x = o - 3. Let q be (-1)/3*(-8 - -5). Which is smaller: x or q?
x
Let b be (-18)/(-10)*(-5)/2. Which is bigger: -4 or b?
-4
Let p = -183 + 918/5. Which is bigger: 0 or p?
p
Let c = 1 - 1. Let g = -0.1 - c. Let y = 1/10 + -13/30. Which is bigger: g or y?
g
Let y be 3/2*-2 + (-16 - -22). Which is smaller: y or 5?
y
Let i be 13 + (2 - (7 + -2)). Let j be 2/i - (-2)/10. Which is greater: 1 or j?
1
Let s be 2/9 + (-34)/(-90). Suppose 2*t + 2*g = 2 + 4, -23 = -5*t - g. Let r = t - 5. Is s greater than r?
True
Let a(o) = 20*o + 21. Let m(n) = 7*n + 7. Let g(w) = 6*a(w) - 17*m(w). Let f be g(-7). Do f and 0 have different values?
False
Suppose -115 = -5*z - 350. Is -46 at least as big as z?
True
Suppose -49 = 5*k + z + 108, 4*k + 3*z = -130. Is -30 less than k?
False
Let j = 7 + -8. Let k = 0 - 0.2. Which is greater: j or k?
k
Suppose -4 = -o - 3. Suppose 0 = -3*l - 35 - 55. Let z = l + 572/19. Which is smaller: o or z?
z
Let y be (-3)/(-6) - (-5)/2. Let l be -2 + y - (-15)/3. Is 7 <= l?
False
Suppose -3*d + 34 = -3*x + 1, 5*d - 19 = -x. Let p be (-1)/3 - 14/x. Suppose 0 = -4*a + 2 + p. Does -1 = a?
False
Let u be (-2)/(-3)*(-6)/(-4). Let n = 7/66 - 79/330. Which is smaller: n or u?
n
Suppose 2*s = 30 + 22. Is s greater than or equal to 26?
True
Let f(g) = -g**3 + 4*g**2 - 2*g - 1. Let m be f(2). Is 3 > m?
False
Let z(p) = -p**2 + p - 1. Let t be z(1). Let v(m) = 2*m**3 + m**2. Let x be v(t). Which is smaller: 1/4 or x?
x
Let i(z) = -z**3 + z**2 - z + 5. Let f be i(0). Let o be 2/6 + (-15)/(-9). Let c(b) = b**3 - b**2. Let h be c(o). Is f equal to h?
False
Let l be 39/15 - (-6)/15. Let p be l/(-18) - 1/(-3). Is 0 less than p?
True
Let i(n) = n**2 - 3*n + 1. Suppose 4*t - 3 = t. Let m be (5 - 2 - 0)*t. Let z be i(m). Which is bigger: z or 2/13?
z
Let b(n) = -n**2 + n + 1. Let w be b(0). Let a be (6/15)/((-4)/(-10)). Let q(c) = c. Let v be q(a). Does v = w?
True
Suppose 4*n = 5*n. Is 2/7 >= n?
True
Let l be (6/4)/((-177)/42 + 4). Which is smaller: 0 or l?
l
Let x = 536 + -543.03. Let h = x + 7. Let i = h - -0.13. Which is greater: -2/5 or i?
i
Let z(y) = -y - 3. Let l be z(0). Is -3 smaller than l?
False
Let j(k) = -k**2 - 9*k - 7. Let x be j(-8). Suppose -2 = 3*t - 3*q - q, -q + 2 = 0. Suppose -b = -t*b + x. Is 1 at most b?
True
Suppose -4*u - 25 = -h + 2*h, -9 = u + 3*h. Let o(y) = -y**2 - 5*y + 6. Let p be o(u). Which is greater: 2/3 or p?
2/3
Let w = -372/5 + 74. Does w = -1/15?
False
Let s(c) be the first derivative of -c**3/3 + 5*c**2/2 - 6. Let x be s(5). Is x at least as big as 2/13?
False
Suppose -u + 0 = -4*x + 42, 0 = -4*x - 5*u + 30. Suppose 0 = 4*k + 2 - x. Let j be (1 - -1) + 7/(-5). Which is smaller: j or k?
j
Let g be (-104)/(-40) + (-4)/2. Let l = g - 2/3. Is l at least 1/2?
False
Let m = 25 + -45. Is m at most -21?
False
Let w be (0 + (-2)/(-7))*-1. Let k be 1*-22*(-50)/(-252). Let x = 29/7 + k. Is x bigger than w?
True
Let l be 10/(-2)*(-8)/60. Which is greater: l or -8/3?
l
Let p = -98 + 100. Is p equal to -2?
False
Let y = -3 + 2. Let w = 132 + -132.07. Which is greater: y or w?
w
Let v(b) = -b**3 + 7*b**2 - 6*b - 1. Let l be v(6). Let c be 6*(-1)/3*l. Let a be 1/(c*(-3)/6). Which is bigger: -1/7 or a?
-1/7
Let f(h) = 5*h**2 + h. Let q be (3/6)/((-1)/(-2)). Let n be f(q). Let o = -4 + n. Which is bigger: o or -2/3?
o
Suppose 2 = -7*h - 5. Is -1/8 bigger than h?
True
Let s be 708/178 - 12/3. Is s < 0?
True
Let q = -5 + -7. Do -11 and q have the same value?
False
Let o = -11123/20 - -3012/5. Suppose 0 = -k + 2, 0 = 4*t - k + 88 + 98. Let j = t + o. Which is greater: 0 or j?
j
Let k(s) = 2*s - 2. Suppose -5 = -4*b - 1. Let v be k(b). Let m be 1/3 + 4/(-3). Which is smaller: m or v?
m
Let f = 129358/77 - 1680. Which is bigger: 1 or f?
1
Let b(z) = z**2 - 10*z + 20. Let j be b(12). Is -1 at least as big as j?
False
Let c be (-8)/24 - (-11)/69. Which is smaller: -1 or c?
-1
Let o(v) = 3*v - 6. Let k(y) = -y + 2. Let r(g) = -17*k(g) - 6*o(g). Let i be r(5). Do -7/2 and i have the same value?
False
Suppose 5*u - 5 = 5. Suppose 0 = u*b + 6, -4*f + 0*f = 5*b + 7. Let c = 1 + 0. Is c <= f?
True
Let g be (-28)/21*3/(-94). Are -1 and g unequal?
True
Let i = 11.94 + 0.06. Let k = i - 9. Let d = k - 5. Do d and -1 have different values?
True
Let v be 0/1 + (-96)/12. Are v and -6 unequal?
True
Let z = 0.42 + 1.48. Let f = z + -2.1. Which is smaller: f or -0.3?
-0.3
Suppose 5*m = 3*v + 28, -2*m + 0*v - 4*v + 6 = 0. Suppose 0 = -m*l + 4 + 6. Let y = -1 - -1. Which is bigger: y or l?
l
Let c = 4820567/420 + -45909/4. Let u = 4/21 - c. Suppose -2*o - 4 = -6. Is u greater than or equal to o?
False
Let p = 8 + -5. Suppose 2*a = -0*a - 8