-27/2 + 13. Let f = 8 - 19. Is y > f?
True
Suppose -z + 1 = -2*s, 5 = 3*z - 4*s + 4. Let p be ((-1)/1 - z) + 0. Let y = 2/13 + 23/104. Which is smaller: p or y?
p
Let j be (-1326)/650 + 1*2. Are j and -1 unequal?
True
Let o = 60 - 45. Which is greater: 16 or o?
16
Let k = -13 - -19. Let l = -5 + k. Is 2/13 bigger than l?
False
Let t = -83/5 + 18. Is t > 1?
True
Let q = 21 + -21. Which is smaller: 1/4 or q?
q
Let o = 247/990 + -3/110. Let f be (-10)/(-8) + 2/(-8). Is f greater than o?
True
Let z = -25 + 8. Is -16 greater than or equal to z?
True
Let u be ((-20)/6)/((-1)/3). Suppose -2*r - 6 + u = 0. Is 1/2 bigger than r?
False
Let g = -7.5 - -1.5. Let n = 1 - g. Which is smaller: -0.1 or n?
-0.1
Let h be 1 + 1 - -5*(-6)/30. Which is smaller: -103 or h?
-103
Let t = -0.74 + 0.64. Let g = -0.1 + -0.9. Which is smaller: g or t?
g
Let z = 6.9 - -3. Let p = -11 + z. Let x = p + 6.1. Is x > 0.1?
True
Let z be (-82)/6 + (-1)/3. Let k be 3 + -2 + 8/z. Is -0.1 bigger than k?
False
Let m be (15/(-20))/(21/8). Does 1.4 = m?
False
Let g be (1/(-1) + 1)/(2 + 1). Is 3/17 at least as big as g?
True
Let w(c) = c**2 - 8*c + 1. Let r be w(8). Is -1/10 not equal to r?
True
Let o = -2 + 2. Let x(r) = r. Let n be x(o). Let s = 0.34 + -0.28. Is s at most as big as n?
False
Let z = -0.12 + 2.12. Let u(a) be the third derivative of -a**4/24 - a**3/2 - 2*a**2. Let l be u(-2). Is z != l?
True
Suppose 0 = -x + 3*x. Suppose 5*y - 4*d - 33 = 0, x = -y - 0*y - 5*d - 5. Which is greater: y or 6?
6
Let i be 2/(-3) + 61/(-3). Which is smaller: i or -20?
i
Let r = 6.06 - 6. Let z = r + -1.06. Let g = z - -2. Which is greater: -0.4 or g?
g
Suppose 6 = -4*g + 2*y, 2*y + y = 15. Let h(k) = k + 3. Let s be h(-3). Suppose s = -5*f - 2*t + 20, f - 2*t + 8 = -0. Is g <= f?
True
Let t = -93/95 + 11/19. Is t > 3?
False
Let b be ((-12)/(-18))/(136/(-18)). Let s = b - 7/17. Let v = 0.1 - 0. Is v at most s?
False
Let l = 663/4 - 165. Which is smaller: l or -2?
-2
Suppose 0 = v - 1 - 4, -9 = 4*o - v. Let r be o/1 - 13/(-15). Which is smaller: 0 or r?
r
Suppose -6*f + 5*s + 13 = -3*f, -3*s - 11 = -5*f. Suppose i = 5*r + 18, 4*i + 2*r = 3*i - 3. Suppose i*u + f = -8. Is u > -3?
False
Let j = -592/585 - -8/65. Let c(k) = -k**3 + 7*k**2 + 13*k - 42. Let m be c(8). Which is greater: j or m?
j
Let u = 125/1368 + 1/72. Is u not equal to 1?
True
Let b = 0.25 + -0.45. Which is smaller: b or 0.05?
b
Let j be (-4)/(-10) + 7/(-5). Let r(x) = -x**2 + 1. Let b be r(0). Suppose 3*u = -2*p - b, 3*u + 4*p - 2 = -1. Is j not equal to u?
False
Let f = 9 + -16. Let x = -8 - f. Let h be 1/(2*2/8). Is x bigger than h?
False
Let v = -0.01 + 0.51. Let g = 5.5 - v. Which is greater: 1/2 or g?
g
Let n be (-2)/(-4 + 15 + -4). Does 0.2 = n?
False
Let j be 2/(-2 - 34/(-16)). Suppose -5*d - 3*v + 18 = -2*v, 2*d - 4*v = j. Is 2 equal to d?
False
Let p = 1.7 - 0.7. Let d = 0.2 + -0.9. Let n = p + d. Is -0.2 at least n?
False
Let i = -3213 - -3197.97. Let n = i - -15. Let m = -4/35 + -2/7. Is n > m?
True
Let d(k) = 13 + 4*k - 6 + 0*k - 3*k. Let g be d(-6). Does 1 = g?
True
Suppose -7*h - 40 = -12*h. Which is smaller: h or 10?
h
Let p = -121/3 + 40. Suppose -4 = -2*n - 4. Are n and p nonequal?
True
Let s(u) be the second derivative of u**4/12 + 3*u**3/2 + 11*u**2/2 + u. Let j be s(-8). Let c = j + -3. Which is greater: 4/3 or c?
4/3
Let u = -13 + 21. Let d = 9.8 - 9.9. Which is greater: d or u?
u
Let q = 32 - 19. Let d be 4/q*3/6. Is -1 smaller than d?
True
Let s(k) = 3*k. Let l be s(1). Suppose z = 3*a - 1, 0 = a + l*a - 4. Which is bigger: z or 4?
4
Let i be 4/(-6)*5/(-30). Are 1 and i nonequal?
True
Suppose -12 = 27*o - 23*o. Do o and -14/9 have the same value?
False
Suppose 2*z - 20 = 6*s - s, 2*z = -4*s - 16. Which is smaller: -3/17 or z?
-3/17
Let n be (4/(-10))/((-1)/(-15)). Let k be (-28)/n + 12/(-18). Let g = k + -1. Is 3 smaller than g?
False
Let r be (12/(-18))/((-4)/18). Suppose -2*n + r = n. Let f = n - -1. Which is smaller: f or 3/4?
3/4
Let d = -9 - -12. Suppose -5 = -g + 3*t, 3*t - 3 + 0 = -d*g. Is g smaller than 2/13?
False
Suppose 0 - 6 = -3*u. Let g be (-1)/62*(u - -2). Is -1/2 at least g?
False
Let g = -10 + 14. Suppose -g*r + 45 = r. Let n be r*((-10)/(-6) - 2). Is n smaller than -1?
True
Suppose 6*m - 54 + 60 = 0. Is m at most as big as 1/3?
True
Let h = -15 - -46/3. Which is greater: h or 1?
1
Suppose 0 = 2*h + 6, 12*t + h = 11*t - 16. Which is greater: -1 or t?
-1
Let q be -4 + (-3)/3 + -2. Let x = 7 + q. Is x <= -2/7?
False
Suppose o = -0*o. Let i be (2 + 8/(-2))/(-10). Is o bigger than i?
False
Let q be (-1)/(-3)*0/(-1). Let p be 1*q/2*1. Suppose -3*m - 2 = 2*n + 3*n, 0 = 3*n - m + 4. Which is bigger: n or p?
p
Let f = 3.84 + 0.16. Is -1/3 greater than or equal to f?
False
Let v be (-5)/((-34)/(-8) - 4). Which is greater: v or -19?
-19
Let i = -11/3 - -25/6. Which is greater: 2 or i?
2
Suppose -5*m - 5*f = -10, -5*m = -f - 4 - 6. Is m at least as big as 4/7?
True
Let x = -14111/4488 + 149/88. Let u = -2/17 - x. Is 0 less than or equal to u?
True
Let u = 0.03 - -0.47. Let d = 0.72 - u. Let t = -0.02 + d. Is t less than or equal to -1/2?
False
Let q = 2 + -2. Suppose -d + 3*d = q. Is d smaller than 3/4?
True
Let c = -153193793036/2905 + 52734525. Let g = 2/415 - c. Are 0 and g equal?
False
Let j(r) = -28*r - 6. Let t be j(2). Is -61 at least t?
True
Let p(y) = y**2 - 6*y - 5. Let w be p(7). Suppose -w*i = i + 6. Let x = -1 + i. Is x at most as big as -1?
True
Let t = 16 - 17. Let j = -2/155 + 316/465. Is t at most as big as j?
True
Let y = 0.09 + -0.1. Let f = 1.01 + y. Do f and 0.2 have the same value?
False
Suppose -5*p - 4*l + 0 = 29, 10 = -p - 5*l. Which is greater: p or -7/2?
-7/2
Suppose 0*f - 3 = -3*f. Let x = -0.6 + 0.6. Do x and f have different values?
True
Let t be ((-1)/(-38))/(4/24). Which is smaller: t or 0?
0
Let v = 23 + -16. Which is greater: 4 or v?
v
Suppose 12*o = 14 + 22. Which is smaller: -7 or o?
-7
Let d(z) = -z**2 + 2*z + 2. Let t be d(2). Let k = -0.15 + -0.85. Which is smaller: t or k?
k
Let d = 0 + 0. Let q = d - -1. Let j = 82 - 82. Is q >= j?
True
Let s(a) = -2*a - 9 + 4*a - 4*a + 3*a. Suppose -16 = -3*w + w. Let i be s(w). Which is greater: i or 2/7?
2/7
Let l = -1428/2641 + 2/139. Which is bigger: l or -1?
l
Let i = 781 + -294. Let x = 489.03 - i. Let t = 0.03 - x. Which is smaller: 2 or t?
t
Let g = 22 + -20. Is g greater than or equal to 2/19?
True
Let c = 3 + -4. Let d be (c - -2)/((-3)/(-3)). Is 1/2 >= d?
False
Suppose 0 = -524*k + 522*k + 6. Suppose 3*c = -4*s + 35, 0 = -c + 2*s + s - 10. Which is smaller: c or k?
k
Let t be 2/(-5)*-15*(-1)/1. Is -6 at most as big as t?
True
Let l(f) = f**2 - 8*f + 15. Let u be l(5). Is u at least 1?
False
Let v be (-4)/(-14) - (-9)/(-7). Let a = -6 + 6.4. Let b = 0.3 - a. Which is bigger: b or v?
b
Let c be (12/(-195))/(4/(-10)). Is c <= -3?
False
Suppose 6 = -r + 5*j, -2*j = j. Let p = 5 + r. Which is greater: p or -1/4?
-1/4
Let q = -0.66 - -0.6. Let g = -2.94 + q. Let r = g + 3.2. Is -2 at most r?
True
Let x = 48 + -62. Is -13 < x?
False
Let k = -0.4 - 2.6. Which is greater: -4 or k?
k
Let w be (4 - 0)*6/(-8). Let b = w + 5. Let n be (-2 - 1)*b/(-3). Which is greater: n or 3?
3
Let t(a) = -72*a**3 + a**2 - 1. Let n be t(-1). Suppose -3*y - n = -7*y. Suppose 0 = 3*x + 3*r + y, -4*x - 2*r + 4 = -5*r. Are 0 and x nonequal?
True
Let w be 29/(-6) + (-6)/36. Suppose -2*g - 2*y - y - 14 = 0, 0 = 2*g + 2*y + 12. Do w and g have different values?
True
Let c = -2 + 2. Let r = c - 0. Is r != -0.1?
True
Let s = -13 + 18. Suppose s*q - 6 = 2*q. Which is smaller: q or 3?
q
Let n = -443/5 - -89. Is -2/13 at most n?
True
Suppose -y = -5*d, 3*d - 5*y + 3*y = 0. Suppose 3*l + 5*f + 1 = 0, 4*l - l + 5 = -f. Which is smaller: d or l?
l
Let z be (-4)/(-3)*3/(-7). Let l(r) = r**2 - 5*r. Suppose 3*i - 12 = -3*a, -2*i = a + 3*i. Let s be l(a). Which is smaller: s or z?
z
Let m be (-2 + 1)*(-1)/(-5). Let o be 4 - 5 - (-12)/2. Suppose 4*r = o*v, r = -0*r - 4*v. Which is greater: m or r?
r
Let t(n) = -n**3 - 5*n**2 + 2*n. Let p be t(-3). Let g = 42 + p. Is g at least 18?
True
Let i(b) = -b**2 - 2*b + 7. Let r be i(-5). Let k = -6 - r. Let u = 1 + k. Is 2 > u?
False
Let k = 10.14 + -10. Let p = 0.04 - k. Is 1/4 at least as big as p?
True
Let q(t) = 