e -5*p = -5*c + 75, 5*p - 5 = -3*c - 0. Let f = c + -23/2. Suppose 0 = -4*g + 9*g + 15. Which is bigger: g or f?
f
Suppose 8*i = -k + 4*i - 1, 10 = 5*k + 5*i. Let d be ((-1)/(-2))/(2/8). Suppose 3*j - 5*t = d + 13, k = 5*j - t. Is j != 1/8?
True
Let d(a) = -a**3 + a**2 - a - 4. Let h be d(0). Let n be 0 + h*(-2)/(-4). Is -1 not equal to n?
True
Let g = 0.04 - 1.24. Let p = g - -0.2. Let l = -3.06 + 0.06. Which is smaller: l or p?
l
Let r = 0.13 + 4.87. Let n = -4.96 + r. Let v = n - -0.06. Which is smaller: 0 or v?
0
Let z(o) = 4*o + 19. Let s be z(-5). Let p = -25/2 + 37/3. Which is bigger: p or s?
p
Suppose 2*i - 9 = -i. Let a = i + -1. Suppose 0 = 7*v - a*v - 5. Are v and 0 non-equal?
True
Suppose 0 = -0*y - 5*y + 25. Suppose -v = -0*g + y*g - 3, 0 = 2*v - 4*g + 8. Do -1 and v have the same value?
False
Let y(b) = 8*b + 24. Let v be y(-7). Is v > -33?
True
Let l = -4730/3 + 1547. Let b = l - -29. Does b = 2/3?
False
Let v = 0.9 - 0.8. Which is bigger: v or 65?
65
Let u = -0.8 + -0.2. Let t = 0.1 + -2.1. Do t and u have different values?
True
Let t = 179/3 - 59. Suppose -j = 5*q + 15, 3*q + 10 - 1 = 2*j. Let l be ((-6)/8)/(q/(-1)). Is t < l?
False
Let r = -5 - -3. Let s be 10/(-15)*27/6. Which is bigger: s or r?
r
Let o be (-6)/4 + (-2)/4. Suppose -2*f - 1 = 4*x - 7, -3*f - 2*x = -1. Is f > o?
True
Let k = -9.5 - 0.5. Let p = -9.7 - k. Which is smaller: p or 1/4?
1/4
Let o = -0.02 - 0.15. Let v = -4.63 + o. Let h = 5 + v. Is h bigger than 1?
False
Suppose 3*k = 6*k - 9. Let u be ((-8)/3)/((-2)/k). Suppose 0 = -u*w + w. Is -1/16 at least as big as w?
False
Let k = -0.08 + 0.08. Is 2/27 < k?
False
Let u(a) = -3*a - 6. Let l(q) = 8*q + 17. Let j(w) = -4*l(w) - 11*u(w). Let i be j(3). Do 1 and i have different values?
False
Let v = -1.6 + -1.4. Which is smaller: v or -1/3?
v
Let v = 25 - 15. Is 8 at most v?
True
Let q be 387/(-2)*62/93. Is -129 at most as big as q?
True
Let d = -1.2 + 1.08. Let g = -0.12 - d. Which is greater: g or -0.02?
g
Let h(a) = -a**2 + 10*a - 7. Let q be h(9). Let v be q + 7 - (0 - -2). Let f be (-2)/(v/(-2) - -1). Which is smaller: f or 0?
0
Let z(u) = -2*u**3 + 2*u**2 + 2*u - 3. Suppose -8 = -4*p - g + 1, 0 = p + 4*g - 6. Let l be z(p). Is -7 equal to l?
True
Let b = -0.147 - 0.053. Do -0.07 and b have the same value?
False
Let i = 0.23 + 2.17. Let a = i - 3. Is a > 0?
False
Let u(m) = -11*m + 35. Let i be u(5). Is -19 < i?
False
Let v = -20 - -19.3. Let h be 1 + (-8)/2 + 2. Which is smaller: h or v?
h
Suppose 3*h = 2*c + 4, 2*h - 3*h + 2*c = -4. Is 4/33 equal to h?
False
Let p = 4 + -7. Let y be 0 + (3 + p)/3. Suppose 4*b - 4 = -y*b. Is 1 less than b?
False
Let a = 1/210653990 - -570766984919/207704834140. Let g = a + 1/493. Which is smaller: 2 or g?
2
Let g be (-48)/(-20) - 2/5. Let d(t) = 2*t + 2. Let v be d(0). Is v != g?
False
Let h = -1.1 - -1.1. Which is greater: h or 8?
8
Let h be ((-20)/(-850))/((-1)/(-5)). Let o(c) = -c + 4. Let a be o(3). Is a >= h?
True
Suppose -2*b = 4*t + 3*b + 10, -4*t - 8 = 4*b. Let p be 4/(-2) - (-2 + t). Is p >= -2/11?
True
Suppose -4*d = -2*b + 4*b - 16, 2*d = -5*b + 8. Which is smaller: d or 3?
3
Let j be (-1 - -5 - 2) + -1. Let q be (-4)/10 + 4/10. Suppose 5*m + 0*r - r = 0, q = -r. Is m greater than or equal to j?
False
Suppose 3*n = 3*c + 12, -5*c + c - 15 = -3*n. Which is greater: n or 6/17?
n
Let d = -15 - -12. Suppose w - o + 1 = -2*o, 3*w = 4*o + 18. Suppose 0 = -0*j - 2*j + w. Is j at most as big as d?
False
Suppose 5*d - d + 10 = -2*v, 4*v - 45 = 5*d. Let l be (-1 + -2 + 2)*v. Does -5 = l?
True
Let u = 17.2 - 17. Do u and 1/4 have the same value?
False
Let i = -1.06 - -1.36. Is -7/5 less than or equal to i?
True
Let g be -60*-6*4/6. Let x be (-186)/g - (-4)/10. Which is greater: x or -2/7?
-2/7
Suppose 2*z = 3*z + 20. Let s be (-10)/14*(-8)/z. Which is smaller: s or 0?
s
Suppose 1 + 15 = -2*w + 2*f, -2*f + 7 = w. Which is bigger: 4 or w?
4
Let m be (-2)/(-5) + (-87)/(-45). Let g = -60 - -63. Is m less than or equal to g?
True
Let h = 9 - 8. Let c = -5 + 6. Is c < h?
False
Suppose -2*n - n = -6. Suppose 0*d = n*d. Is d < 0?
False
Suppose -4*c = 4*q + 36, -5*q - 7 = c + 22. Is -4 less than c?
False
Let d = -22666/5 - -4511. Let z be (-4437)/(-195) + 4/(-26). Let g = d + z. Is 0.2 at most g?
True
Suppose 2*d + 6 = -b, -d = 6 - 1. Suppose -b*j = -5*g - 1, g + 2*j + 2 = -1. Let s be 1 - (1 + 2/(-30)). Is g less than s?
True
Let x = 3 + -2. Suppose -8*c + 7*c = -1. Are x and c non-equal?
False
Suppose 5*x = -5*v + 10, 2*v - 3*x = -v + 12. Is v less than or equal to 2?
False
Suppose -5*d = -0*d + 10. Suppose 3*j + 3 = 2*j. Which is smaller: j or d?
j
Suppose 1 = 3*s + 4. Let i be -4*4*s/2. Which is greater: i or 9?
9
Let x = 51 - 50. Let s = 3 + -3. Does x = s?
False
Suppose 0 = 5*u - 13 - 37. Let v = u + -10. Is v bigger than 2?
False
Let o = -1 - -1. Let k = 0.01 + o. Does 0 = k?
False
Let m be 6/68*(-4)/(-3). Suppose 4*k = 7*k + k. Which is smaller: m or k?
k
Suppose 2*k = -k. Let t = -0.3 + 1.3. Let g = t - 0.9. Which is smaller: k or g?
k
Suppose 2*d - 4 = 3*u, -7*u + 4*d - 14 = -4*u. Let v(p) = p**3 - 3*p**2 + 3*p - 3. Let s be v(u). Let t = -171/652 + 2/163. Which is bigger: s or t?
t
Let r = -9.02 + 0.02. Let d = 22 - 14. Let b = d + r. Which is bigger: b or 1?
1
Let i be ((-2)/10)/((-18)/(-45)). Let m = -1.97 - 0.03. Which is smaller: m or i?
m
Let o(t) = -t**3 + 7*t**2 + t - 6. Let w be o(7). Let l = -30 - -30. Which is smaller: w or l?
l
Let s = 0.02 + 0.02. Is s smaller than 0?
False
Let t = -2.1 - -0.1. Let b = 1.9 + t. Let g = 27/62 - -2/31. Which is smaller: b or g?
b
Let a be (36/(-30))/1*20/(-126). Is 3 >= a?
True
Suppose -5*q - 167 - 18 = 0. Is q < -36?
True
Let s(n) = 2*n - 3. Let z(p) = -3*p + 7. Let w(b) = 7*s(b) + 4*z(b). Let g be w(-4). Which is smaller: -2/29 or g?
g
Suppose -4*q - 127 - 173 = 0. Let f = q - -379/5. Is 0 bigger than f?
False
Let r = 25.7 - -6.3. Does r = -1?
False
Suppose b = 2*b - 4. Is b less than 0?
False
Let j(l) be the second derivative of -l**5/20 + l**4/3 + l**3/2 - l**2 + 3*l. Let u be j(4). Let t = -10 + u. Is t less than or equal to -1/8?
False
Let q = -1 - 2. Let i = q + -2. Let f = i - -3. Is f smaller than -1?
True
Suppose -2*r + 30 = -0*r. Is r < 15?
False
Let h = 65/23 + -3963/92. Let v = 40 + h. Let x(a) = a + 9. Let j be x(-10). Is j > v?
False
Let u = 0 - -1. Let f = 1 - u. Which is smaller: -1 or f?
-1
Let h(n) = n**3 - 9*n**2 + 8*n + 6. Let j be h(8). Suppose 5*q = 2*y + j, -y = -3*y - 6. Which is smaller: 2/9 or q?
q
Let n(o) = o + 2. Let x be n(2). Let w be ((-13)/(-65))/(7/5 + -2). Which is bigger: w or x?
x
Let y = 1 - -1. Let x be (-1)/(y + (-1)/(-1)). Which is smaller: 2/7 or x?
x
Suppose -120*z = -123*z + 189. Which is smaller: z or 62?
62
Let r = -8 + 13. Suppose 0 = -2*c - 2*c + 5*m + 5, r*c - 37 = -4*m. Let h = c - 8. Does -3 = h?
True
Let g be (6 - 0)*24/(-18). Let m be (g - (-2)/1)/(-10). Is m at least as big as 1?
False
Let t(u) = -4*u**3 + 1. Let g be t(1). Let b = 7 + -5. Let w be -4 + b + 0 - g. Are w and 0 unequal?
True
Let w be (-84)/(-3220) - (-2)/(-10). Is -1 greater than or equal to w?
False
Let c be (-51)/(-9)*-3 + -1. Is -18 at most as big as c?
True
Let f = -2 + 7. Suppose 0 = -f*v + 42 - 12. Suppose -r + q + v = 0, 0 = -2*r + 5*r + 2*q + 7. Which is smaller: r or -3/7?
-3/7
Suppose 5*q = 3*m + 8, -q = 2*q - 2*m - 4. Which is greater: q or 5?
5
Let t(c) = c**3 - 2*c**2 - 3*c + 3. Let l be t(3). Let s = l + -3. Do 1 and s have the same value?
False
Let w be (-5)/((-105)/(-6)) - 82/(-238). Which is smaller: 1 or w?
w
Let h = 0.2 + 0.8. Let u = -1.5 - -0.5. Let z = u + 3. Are h and z equal?
False
Let i be (-1)/1 - -2 - 4. Let v(z) = z**3 + 3*z**2 - z + 2. Let s be v(i). Suppose s*g = 3 - 23. Which is smaller: -5 or g?
-5
Let r = -3.9 - -4.1. Do 0.2 and r have the same value?
True
Suppose 10*i = 14*i - 264. Which is greater: i or 65?
i
Let q(j) = 2*j + 9. Let k be q(8). Let n = k - 24. Which is smaller: -2/5 or n?
-2/5
Let y = 5 - 1. Is y at least 1?
True
Let v = -0.03 - 1.97. Which is smaller: 18/17 or v?
v
Let s be 20/(-11) + (-4)/22. Let a(j) = -j**3 - 2*j**2 - 3*j - 3. Let d be a(s). Is 4 at most as big as d?
False
Let d(h) = h. Let g be d(2). Let a = g - 3. Let t be -2 + (5 - (-1 - a)). Which