 Is c equal to f?
False
Suppose -n - 3*j - 14 = 0, n + 4*j + 20 - 1 = 0. Which is greater: n or 5/6?
n
Let c = 11/8 + -7/8. Which is bigger: 3/5 or c?
3/5
Suppose -5*z = -4*t + 7, t - 3 + 1 = z. Let k be 16/t*27/(-12). Which is bigger: k or -13?
k
Let h = -20 + 11. Is -8 equal to h?
False
Let f = -6 + 10. Suppose -2*o = 0, d + 7 = -0*d - f*o. Which is bigger: -6 or d?
-6
Suppose -4*p = -7 + 3. Let f be (-2)/(-4) + p/4. Which is smaller: f or 2?
f
Let q be (-22)/(-33) - (-19)/3. Is 10 less than q?
False
Let y be ((-11)/(-22))/(1/(-2)). Which is bigger: 2/11 or y?
2/11
Let k(p) = p**2 - 5*p + 2. Let m be k(5). Suppose 5*o - m*o = 0. Suppose -9 = -j - 2*u, 4*u - 25 = 5*j - 0*u. Which is smaller: j or o?
j
Suppose 0 = 2*r, a - 4*r - 2 = -a. Let l(m) be the first derivative of -m**4/4 + m**3/3 - m**2/2 + m - 22. Let y be l(a). Which is smaller: y or -4/9?
-4/9
Let z be (-1 - -1)*(-3)/(-6). Suppose -d + 3*d - 2*v = 54, z = 3*v - 12. Let g = d + -63/2. Is 0 <= g?
False
Suppose -4*y - 63 = 3*y. Is y < -6?
True
Suppose 5*c - c = 4*s - 8, 0 = 2*s - 6. Suppose m + 0*m + c = 0, 4*m + 6 = -2*i. Let u(z) = -5*z**2 - 2*z - 1. Let d be u(i). Which is greater: d or -3?
-3
Let u(f) be the third derivative of 7*f**4/24 + 7*f**3/6 + f**2. Let k be u(-5). Let a be 4/(-10) - k/95. Is -1 at most a?
True
Let b(h) = -h**3 - 12*h**2 + h + 6. Let v be b(-12). Let i = v - -5. Let w(g) = -g**2 + g + 2. Let n be w(2). Which is smaller: i or n?
i
Suppose 0*z + 2*o = z - 9, 2*z + 2*o + 6 = 0. Suppose 0*c = -c + 5. Suppose 2*i + 3 = c*i - 5*u, 0 = i + 2*u - 1. Is i at most z?
True
Let t be (-1 - -2)*(-66)/3. Let c be (-200)/(-495) + 4/t. Which is smaller: c or -1?
-1
Let h be 72/140 + 12/(-21). Is h >= 0?
False
Let k(i) = i**3 - 3*i**2 + 2*i + 1. Let p be k(2). Let v be -2*(0 - 10) + 0. Let m = 61/3 - v. Is p less than m?
False
Let w = 345067/322476 - 398/349. Let j = -1/77 + w. Are -1 and j non-equal?
True
Suppose 5*a - o = o + 17, 4*o = -5*a + 11. Suppose a*r + 2*t = 7, -5*r - 4*t - t = -20. Suppose -s - 1 + 3 = 0. Which is smaller: s or r?
r
Suppose -5*k = 0, 0*k = -4*y + 3*k + 32. Suppose 5*j = -3*q + y, 0 - 1 = 4*j - 5*q. Is j > -2?
True
Let k be -32 - (6/(-6) - -3). Which is smaller: k or -32?
k
Let m be -20*1*4/8. Which is smaller: m or -9?
m
Let d = 2 + -4. Let v be d/(-7) + (-2)/56. Let s = -5.1 - -0.1. Which is smaller: v or s?
s
Let p be 3*(-1 + 2)/(-1). Which is smaller: p or -4?
-4
Let b(i) = i. Let g be b(1). Suppose 0 = -0*f - 3*f. Which is bigger: f or g?
g
Let d(g) = -2*g - g - g - g**2 - 3*g. Let y be d(-7). Which is smaller: 1/17 or y?
y
Suppose 2*n = -n. Let o = 199/3 + -67. Do o and n have different values?
True
Let j = -1.79 + 1.8. Let c = -0.19 - j. Is c smaller than -2/19?
True
Let b be (10/2 - 3) + 1. Let m be (6 - 9)*4/b. Let w = 2 + m. Which is bigger: 1 or w?
1
Let c be 2/10 + (-26)/30. Is -0.5 smaller than c?
False
Suppose -2*k - 2*k - 18 = 2*m, k - 6 = -4*m. Is -6 less than or equal to k?
True
Let t be (-16)/1*(-70)/40. Does 27 = t?
False
Let p(d) = -d**3 - 3*d**2 - 2*d. Let r be p(-3). Suppose -r = -5*w + 4. Let k be w/5 + (-4)/10. Which is smaller: 1 or k?
k
Let p = -15 + 12. Is 2 less than or equal to p?
False
Let v be -2*2/48 - 23/92. Which is greater: v or -2/87?
-2/87
Let u(q) = q - 4. Let s be u(4). Let p be (5/(-130))/(2/8). Is s <= p?
False
Let f be 76/1938*2/(20/(-6)). Is f < 1?
True
Suppose 3 + 1 = 2*v. Let b = -5 + 8. Suppose a = -b*a + 4. Which is smaller: v or a?
a
Let g be 12/18 - 21/18. Which is smaller: 0.3 or g?
g
Suppose 2*l = 3*t + 34, 0*l + 1 = -l. Let s = -8 - t. Suppose s = 3*c + 13. Is -2 less than c?
False
Let w(z) = 7*z - 2. Let h(x) = 13*x - 3. Let u(c) = 4*h(c) - 7*w(c). Let n be u(-3). Let a = 7 + n. Which is smaller: 3/4 or a?
a
Let z = 0 - 1. Suppose -2*f = 1 + 3. Which is greater: f or z?
z
Let h = -0.37 + 0.07. Let q = h + 0.4. Let a be 2 - -1*3/(-6). Which is bigger: q or a?
a
Let t = -3.2 - -19.2. Let l = 19 - t. Which is bigger: l or -0.2?
l
Suppose -2*r + 78 = -8*r. Which is smaller: r or -14?
-14
Let b = 30/19 - 248/133. Which is greater: 0.04 or b?
0.04
Suppose 0 = 2*l - 5*l. Is l equal to -1/19?
False
Let c = 16 - 14. Do c and 2 have the same value?
True
Let r = -146 - -133. Which is smaller: 0.1 or r?
r
Let d(c) = -c + 1. Let s be d(-3). Suppose -i + s*t = -3, -i - 3*i + 4*t = -12. Is i at least 5/2?
True
Let t be (-2)/5*(232/13 + -9). Is t >= -5?
True
Let l = -11 + 30. Let i = -16.7 + l. Let h = i - 2. Which is smaller: 0 or h?
0
Let z(l) = -l**3 - 2*l + 2. Let w be z(2). Which is smaller: -11 or w?
-11
Let b(p) = -p**3 + 7*p**2 + 6*p + 8. Let o be b(8). Let c be 2/o - 5/(-12). Which is bigger: c or 1?
1
Suppose 5*m - 64 = -9. Is m at most 11?
True
Let y = 5081/22 - 231. Which is smaller: 1 or y?
y
Let i be 2 + 41 + 0 + -1. Let p be (-40)/i - (-2)/3. Is p equal to 0.1?
False
Let w = -6 + 6. Let t be (-19)/2 + 2/4. Let o be 3/8*(-6)/t. Which is smaller: o or w?
w
Let v = -0.57 + 0.21. Let d = v - -0.16. Is d not equal to 2/19?
True
Suppose -2*d + 2 = -0*d. Let l = 7/3 + -2/3. Which is greater: l or d?
l
Suppose -d - 2*d = -3. Let r(v) = -v**3 + 9*v**2 - 9*v + 10. Let q be r(8). Do q and d have the same value?
False
Let u = -0.861 - 0.139. Which is smaller: u or 5/8?
u
Let m(w) = -w - 41*w**2 - 45*w**2 - 38*w**2 + 125*w**2 - 1. Suppose 5*h - 2 = -p + 3, -2*p - 4 = 3*h. Let c be m(h). Is -1/15 <= c?
True
Let j(b) = -b**2 - 12*b + 3. Let q be j(-12). Suppose 3*i = 9 - q. Is i not equal to 2?
False
Suppose r - 11 = -8. Which is greater: 2 or r?
r
Let r = 16829/45 + -374. Is r < 0?
True
Let g = -1.2 - -1. Let p = -1726/9 + 192. Which is smaller: p or g?
g
Let t = -2191/9 + 243. Is 0 at least t?
True
Suppose f - 7 + 2 = -u, 5*u + 2*f = 40. Suppose 15*v - 10 = u*v. Suppose l + 0 - 1 = 0. Which is greater: l or v?
v
Let o(b) = 2*b**2 - 8*b - 1. Let h be o(5). Are h and 8 unequal?
True
Suppose 5*c = a - 4, 5*a = -4*c - 23 - 15. Let t(q) = q**3 + 5*q**2 - 6*q + 2. Let d be t(a). Which is greater: 3 or d?
3
Suppose 1590 = 2*q - 7*q. Let m = -29891/94 - q. Let y = m - -181/658. Is y at least 1?
False
Let l = -18.87 - -19. Let f = l + -5.13. Are -2/5 and f nonequal?
True
Let a be -1 - (2 - 7) - 4. Which is greater: a or -3/4?
a
Suppose -d - d - 2 = 0. Are d and 2/47 equal?
False
Let u = -125 - -120. Let z = -11 - -5. Let y be ((-4)/z)/((-1)/9). Is y at least as big as u?
False
Let p be (-5)/(-20)*(-7)/(28/(-208)). Which is bigger: p or 10?
p
Let r = -0.07 + -0.03. Which is smaller: r or -3/17?
-3/17
Let z be (81/6)/(-9)*34. Which is smaller: z or -50?
z
Let r = -630 - -4398/7. Are r and -3 equal?
False
Suppose 3*y - 5*s + 19 = -y, 5*y = 5*s - 20. Let n be (0 - (-3)/(-1))*y. Is -1 less than or equal to n?
True
Suppose -2*u + 3*y - 2*y = 0, 3*y = 3*u. Suppose -5*b + 0*b - 40 = u. Is -8 greater than or equal to b?
True
Let a = 39 - 24. Let z be 302/20 - (-2)/(-4). Let t = z - a. Which is greater: 1 or t?
1
Suppose 36 = 5*b - 4. Let s be (b/(-90))/((-2)/(-3)). Are -1 and s nonequal?
True
Suppose 15 = -5*q - 15. Which is smaller: q or -7?
-7
Let v be -3 - (2 - 1) - -3. Let f(z) = -z - 7. Let m be f(-6). Let i be (3 - 2) + 1 + m. Is i smaller than v?
False
Let k be (-32)/20*(-5)/14. Which is greater: k or 1?
1
Suppose -x = -5*m - 27, -2*x = m + m + 6. Is 2/3 bigger than x?
False
Let l = -27.1 + 5.1. Let j = l - -12. Is j not equal to -1?
True
Let j = -39/2 + 19. Let d = -1 - 5. Let f(x) = -x**2 - 5*x + 6. Let h be f(d). Does h = j?
False
Let o be (3/1)/(9/24). Suppose o*g - 9*g = 1. Which is bigger: g or 2?
2
Suppose -172 = -7*p + 9*p. Do p and -87 have the same value?
False
Let w(k) = -k - 18. Let y be w(-19). Is y greater than -1/9?
True
Let h = 11 - 11.1. Let f = 0.7 + -8.7. Is f <= h?
True
Let k(u) = u - 1. Let l be k(-5). Let d be ((-18)/(-21) - 1)*l. Which is greater: 0 or d?
d
Let o = -28.2 - -28. Is o > 3/14?
False
Suppose 2*w + 14 - 4 = 0. Suppose -7 = 2*j - j - 3*d, 3*d + 13 = -4*j. Do j and w have the same value?
False
Let m = -7/22 + -2/11. Let j be 2/(-2 + (-2)/(-2)). Which is smaller: m or j?
j
Let a = 51 - 129. Is a less than -78?
False
Let m(u) = -u**3 - 2*u**2 + u + 1. Let p be m(-1). Which is bigger: -2/21 or p?
-2/21
Let z(s) = 2*s**2 + 5*s - 2. Suppose -5*f - 16 = -f. Let i be z(f). Suppose -4*w - 2 