 n or f?
f
Let k = -0.7 - 0.3. Suppose -21 = -8*u + 19. Do u and k have the same value?
False
Let y be ((-3)/4)/(7/28). Suppose 0 = t + 3*m, -3*t - t = -2*m. Suppose -5*o = -t*o + 15. Is y at least as big as o?
True
Let c be (-8)/4*391/(-10). Let j = -78 + c. Do j and 1 have the same value?
False
Suppose 1 = k, 5*k + 110 + 20 = 3*t. Are 46 and t non-equal?
True
Let y = 5 - 3. Suppose -4*m = -10 + y. Suppose -5*q + 7 = -3. Is q less than m?
False
Let i = -19/6 + 8/3. Let w be ((-4)/(-110))/(3/(-63)). Let p = -4/11 - w. Is i at least p?
False
Let a(t) = -t + 2. Let n be a(2). Let z be (-11)/3 - 2/6. Let f be (-5)/(-2)*z/(-5). Which is smaller: n or f?
n
Suppose 0 = 5*v - 54 + 59. Which is smaller: -13/7 or v?
-13/7
Suppose 6*x - 4*a + 453 = x, 2*a + 6 = 0. Let c = x - -3071/33. Which is smaller: 1 or c?
c
Let v(m) be the first derivative of -m**3/3 - m**2 + 3*m + 1. Let i be v(-3). Let z = -38 - -37.9. Which is smaller: z or i?
z
Suppose -2*j = j. Which is smaller: -4/7 or j?
-4/7
Let j = -0.3 - -0.9. Let g = -1.1 + j. Is g greater than or equal to 1?
False
Let n = 0.96 + 0.14. Let f = -2 + n. Let m = f + 0.9. Is -1/5 less than m?
True
Let c be 2 - 2 - 303/(-107). Let l = 1/642 + c. Let x = l + -5/2. Which is smaller: 1 or x?
x
Suppose -2*w + w = 0. Suppose 0 = 2*k + 2*k - 820. Let v = 1847/9 - k. Which is bigger: w or v?
v
Let s(n) = -n**2 + 4*n - 3. Let c be s(2). Let l = -46/5 - -9. Is c less than l?
False
Suppose -3*p - p = h - 12, 0 = p - 3*h + 10. Is 2 < p?
False
Suppose 0 = -m + 2*m. Suppose -3*h + 0*h = m. Does 1/4 = h?
False
Let a = 0.85 - -4.25. Let p = 5 - a. Let t = -105 - -523/5. Which is smaller: t or p?
t
Let y(c) = c**3 - c + 1. Let k be y(-2). Which is smaller: k or -4?
k
Let j = 1.9 - 2.1. Is j less than -1/5?
False
Let p be (-4)/74*(-5)/(-2). Let n = 49/185 - p. Which is smaller: n or -1?
-1
Let k = -9 + 8. Let t = 4 - k. Let i = t - 4.7. Which is greater: i or -2?
i
Let x(r) = r**3 - 7*r**2 + 7*r - 15. Let m be x(6). Let b = 7 - 16. Is m at least as big as b?
True
Let z = 50 + -22. Let f = z + -28. Which is bigger: f or 8/7?
8/7
Suppose 2*r + 2 = 3*n, 5*r = -0*r - 4*n + 18. Let i be 30/4 - r/(-4). Let p be ((-12)/i)/((-1)/(-2)). Is p less than or equal to -3?
True
Let q(i) = -i**2 - 1. Let d be q(0). Does -1 = d?
True
Let f = 256/5 + -51. Let r(a) = a**2 - 6*a + 1. Let v be r(6). Is v smaller than f?
False
Let y be ((-5)/(-15))/(1/6). Suppose 3*d - 5 = -u - 4, -2*u + 2 = y*d. Let b be (2/(-3))/((-4)/(-12)). Is b bigger than u?
False
Let s be 2/(-4)*4/(-1). Let u = 1.01 + -1. Let f = u - 0.11. Which is bigger: s or f?
s
Suppose 3*o = 5*d + 28, 3*d - 5*d - 8 = 2*o. Are o and 1/48 equal?
False
Suppose -4*d + 4 = -0. Let b = d + -1. Which is bigger: b or 2?
2
Let n be (-148)/(-16) - 3/(-4). Let h = n + -10. Which is greater: h or 1?
1
Let j = 9 - 16. Let p = j + 8. Let s = 7 - p. Which is smaller: 7 or s?
s
Let n be 72/(-4)*6/(-9). Let b be ((-9)/(n/4))/2. Which is bigger: 1 or b?
1
Let u(x) = -x**3 + 7*x**2 - 5*x - 4. Let m be u(6). Suppose 0*q - 4*w + 34 = -q, -m*q = 2*w + 58. Let p be 4/10 - (-32)/q. Is 0 > p?
True
Let b(d) = 2 + 2*d**3 - 3 + 0 + d**2 + d**2. Let r be b(1). Is 4 greater than or equal to r?
True
Let u be (196/(-40) - -5)/(2/4). Is u less than or equal to 4/7?
True
Let k(m) = m**3 - 2*m**2 - 2*m. Let g be k(3). Suppose 0*n + 3 = g*n. Which is greater: 1/29 or n?
n
Let k = 0 - -3. Suppose -5*s + k*s - 18 = -4*u, 0 = s - u + 7. Let y be (-2)/25*(0 - s). Is -1 less than y?
True
Let c = 10/33 - -1/33. Which is smaller: 2/7 or c?
2/7
Let y be 4/(-22) + (-448)/77. Let m be 52/(-20) - y/2. Is m bigger than 4?
False
Let n(l) = -l**2 + 9*l + 2. Let c = 2 + 6. Let y be n(c). Is 9 at most as big as y?
True
Suppose -2*t = -b - 5, -3*b + 2*t + 1 = 4*t. Let n = 1 - b. Suppose 4*c - 4 = -3*d + 7*d, -2 = n*c - d. Is c > -1?
False
Let u = 28 - 28. Which is smaller: 2 or u?
u
Let a = 18646/37 - 504. Suppose 3*x + 2 + 2 = 2*u, -4*x - 8 = 0. Are a and u equal?
False
Suppose 0 = 3*m + m - 4. Let i be m + (-3 - -5) - 6. Are -1/3 and i unequal?
True
Let t be (-102)/4 - (0/(-3) - 2). Which is smaller: t or -25?
-25
Let r be (3 + -7)/(70/(-25)). Suppose 6*g = g. Is r > g?
True
Let d = 0.41 + -0.01. Let y = d + -0.3. Is 0.03 >= y?
False
Let g = 10 - -8. Let o = g + -17. Which is smaller: -4 or o?
-4
Let f(m) = -m - 4. Let b be f(-3). Suppose 3*k - 15 = 2*z + 3, 16 = -4*z + k. Let i be ((-1)/z)/((-3)/9). Are i and b non-equal?
False
Let y = -1.02 + 0.02. Let d = 1.1 + y. Let o = -3 + 2. Which is greater: d or o?
d
Let s be 3/(-9) + ((-214)/24)/1. Do s and -8 have the same value?
False
Let y = 54 + -45. Let i = 20 + -12. Which is bigger: i or y?
y
Let d(o) = o**3 + 11*o**2 + 4*o + 12. Let g be d(-11). Let u be (2 - -1) + g/10. Which is bigger: 0 or u?
0
Let x(a) = 5*a**3 + 2*a**2 + 2*a + 1. Let v be x(-1). Let j = v - -5. Which is smaller: j or -1/8?
-1/8
Let b = -2.19 + -0.21. Let n = b + 2. Which is smaller: n or -0.1?
n
Let c = 1.1 - 1. Suppose 0 = -4*q + 20, 0 = d - 2*q - 2*q + 15. Let a be (-9)/(-6) + d/(-3). Is c less than or equal to a?
False
Let a be (-2)/175*2/(10/25). Is a <= 1?
True
Let q = 13 - 15. Are -30 and q equal?
False
Let n = -13 - -19. Let l be 4/n*(-15)/10. Let w = 29/11 + -283/99. Are l and w nonequal?
True
Let f = 22 - 23. Are f and -1 equal?
True
Suppose 5*y - 2*o - 10 = -o, 0 = 2*y - 4*o + 14. Which is greater: y or 4?
4
Let z be ((-1)/50)/(((-1)/4)/1). Which is greater: -1 or z?
z
Suppose -3 = 4*v + 61. Let r = v + 16. Is 0 bigger than r?
False
Let z = 128/3 - 43. Suppose 2*d - 4*d = -8. Suppose 0 = -2*y + d*y. Which is smaller: z or y?
z
Let u = 18 - 17. Is 1 less than u?
False
Suppose -13 = -6*p + p + 3*v, -3*v = -12. Let m = -11 + 12. Let z = m - -4. Are z and p unequal?
False
Suppose -5 - 1 = -2*g, 0 = 4*d - 5*g + 3. Suppose -4*l - d*h = -20, h - 12 = 4*h. Let a be 2/l + (-10)/8. Which is smaller: -7 or a?
-7
Suppose -y = t - 14, -4*y + 64 + 2 = 5*t. Let r be 6/t - (-8)/20. Which is smaller: -5 or r?
-5
Suppose -5*g - 7 = 2*a, a + 4 = -2*g + 1. Let z = -9 + 8.9. Is a less than or equal to z?
True
Suppose -j = -2*f + 53, -2*f + 59 = 5*j - 4*j. Which is smaller: 27 or f?
27
Suppose -3*f - 12 = 15. Let k = 4 + f. Let y(g) = -g**3 - 4*g**2 + 6*g + 4. Let d be y(k). Which is greater: d or 4/11?
4/11
Let f(r) = -r - 9 + 11 + 5 + 2. Let m be f(10). Are -3 and m equal?
False
Let h(y) be the third derivative of y**4/24 + 2*y**3/3 - 4*y**2. Let f be h(-6). Let u be (-2)/(-2) + f + 2. Is u > -1/9?
True
Let d(a) = a - 2. Suppose -5*n - 2 = 2*m, 2*m = 4*n - n + 14. Suppose -c - c = -m. Let f be d(c). Is -1 at least as big as f?
False
Let d be 4 + (1 - (-36)/(-2 + 1)). Which is bigger: -33 or d?
d
Let h = -6940/27 + 257. Do 0 and h have different values?
True
Let t(y) = -y - 3. Let d be t(-6). Suppose d*w + 5 + 10 = 0. Which is smaller: w or -3?
w
Let u(l) = l + 1. Let s be u(-3). Let o be (4 + s)/(2/(-12)). Let q be (-13)/(-20) + 3/o. Which is smaller: q or 0?
0
Let l = 5 + -5. Suppose -1 = m - l. Let s = m - -1. Are 2 and s equal?
False
Let y(u) = -u**2 + 3*u - 5. Let m be y(2). Is m not equal to -4?
True
Let w = 2.59 - -0.21. Let t = 3 - w. Let q = t - 0.3. Is q bigger than -1?
True
Let y = 28 + -22. Is -3/5 != y?
True
Let r = -26.07 - -26. Which is bigger: r or 1?
1
Let o(b) = b**2 + 12*b + 11. Let k be o(-11). Let v = 1 - 0. Do k and v have the same value?
False
Let w = -290/209 + 16/19. Suppose c = 2*g + 2*c + 1, 5*g + 15 = -5*c. Let j = g - 3. Which is smaller: w or j?
j
Let r = 10.11 - -1.79. Let x = r - 12. Let z be 2 - 3/(9/6). Which is greater: x or z?
z
Suppose 6 = 2*g - 0. Suppose -x = -g*x - 18. Let l = x - -10. Is 1/4 less than or equal to l?
True
Let b be 2/(-6) - 1/(-3). Suppose b*p + p - 16 = 0. Let x be 1 + 1 - p/7. Which is smaller: x or 2/3?
x
Let f = -8 + 9. Which is greater: 1/95 or f?
f
Let a(u) = -2 - 1 - 3*u + 7. Let n be a(2). Which is bigger: n or -1/2?
-1/2
Let k = -8 + 18. Suppose r - 2*r = 3*l + 8, -k = 5*r. Suppose 5*z - 4*z + 2 = 0. Does z = l?
True
Let u be -1 - 2 - (-176)/48. Which is smaller: -22/7 or u?
-22/7
Suppose 5*d - p + 56 = 0, d + 6 = 3*p - 8. Let t = -7 - d. Let f = 3 - t. Are f and -1 non-equal?
False
Let h be (-5)/(30/(-16)) + 3/9. Let s = 2 - 2. Suppose s = -h*z - 0*z. W