- z + 10, 3*z = -t + 3 - 6. Suppose t*p = -4*f + 5, -2*p = -0*p + 3*f - 3. Is 2 <= p?
True
Suppose 0 = 2*r - 0*r. Is 0 greater than or equal to r?
True
Let u(n) = n**2 + 4*n + 2. Let i be u(-3). Let f be (4/(-6))/((-32)/(-18)). Is f equal to i?
False
Suppose 5*r - 1 = 3*z, -5*z = -3*r - 2*z - 3. Let m be (((-81)/(-2))/3)/1. Let g = -13 + m. Is g at least r?
False
Let y(z) = 14*z - 3. Let w be y(2). Suppose -4 = -h + w. Let b = -86/3 + h. Which is greater: -1 or b?
b
Let a(n) = -n + 1. Let s be a(4). Let g = 1 + 4. Let c be 0 + -1 - (g - 3). Is c <= s?
True
Let s = 9 - 8. Which is smaller: -15 or s?
-15
Let f be -5*(279/95 + -3). Let k = 20/57 + f. Let l = 2 - 0. Is l >= k?
True
Let d = -28 + 31. Suppose -3*c = -15, -5*k + d*c + 0*c = 95. Is -16 < k?
False
Suppose -m + 3*m - 4 = 0. Suppose 0 = 2*p + m*p. Suppose 0*t + t = p. Is t bigger than -1?
True
Let s = 2.2 - 2.3. Let p = -1 - -1. Let q = p + -0.2. Is q > s?
False
Let g(d) = -d**2 - 27*d + 93. Let a be g(-31). Is -30 at most a?
False
Let a(t) = -2*t**2 + t - 2. Let x be a(-2). Let d be 3/x - 18/(-8). Which is smaller: 1 or d?
1
Let c be -1*5*(-3 - -2). Suppose -2*b + 5*u = -22, u + c + 3 = 4*b. Let r be -4*1*b/9. Which is smaller: r or 1?
r
Let v be (-1)/(-2)*(15 - 13). Which is bigger: 1/18 or v?
v
Suppose -7 - 11 = -3*u. Let k be ((-6)/15)/(u/(-5)). Which is smaller: k or 0?
0
Let i = 2/1413 + 57929/2826. Which is bigger: i or 22?
22
Suppose -6*a + 5 = -a. Suppose 4*r = -r + 50. Let d = r + -9. Is a at most d?
True
Let o be 0 - (2/1)/(-2). Let m be (1/20)/((-4)/17816). Let f = m - -223. Is f smaller than o?
True
Suppose 0*g - 3*g - 12 = -3*h, -16 = 3*g - 5*h. Let i(k) = k**3 - 11*k**2 - k + 9. Let c be i(11). Is g smaller than c?
False
Let l = -0.81 + 0.51. Let m = -1.6 + 2. Let x = m + l. Is x >= 0.7?
False
Let v = -15 - -17. Suppose 5*c - 11 = -q - 3*q, 0 = 4*c - v*q + 12. Which is smaller: 1/21 or c?
c
Let r be (-6)/(-8)*(-3)/(-9)*4. Let s = -6 + 9. Which is greater: r or s?
s
Let b be (-54)/666*(-2)/(-6). Which is smaller: b or 1?
b
Let a(h) = -14*h + 115. Let s be a(9). Let y(q) = -q**3 + 5*q**2 + 5*q - 5. Let g be y(6). Do s and g have the same value?
True
Suppose -10 = -n + 9. Let y = n - 19. Is 3 at least as big as y?
True
Let k = -11775/8 - -1470. Which is greater: -2 or k?
k
Let q be -1 + 2 - (-1 + -2). Suppose 4 + 4 = q*l. Suppose 0 = -l*w - 3*w + 5. Which is smaller: 2/21 or w?
2/21
Let u be 44/(-117) - 4/(-26). Which is greater: 12 or u?
12
Let p = -181 + 2529/14. Which is bigger: p or -1?
p
Let j be 1 - (-9)/(-6) - 5/5. Suppose 3*k - 4*d + 19 = 0, -k + 3*d - 14 = k. Is j > k?
False
Suppose 0 = -3*c - 2*c + 45. Let p be (-6)/c*6/(-4). Is p not equal to -2/5?
True
Suppose -3*x + 18 + 27 = 0. Suppose -2*q + 5*q = -x. Is -8 at most q?
True
Let y = -2293/598 + -7/598. Let i = y + 98/39. Which is smaller: -1 or i?
i
Let p = 3 - 9. Which is smaller: -2 or p?
p
Let d be 4/14 - (-6775377204)/(-4095). Let v = d + 1654556. Let h = v + -96/13. Which is bigger: -1 or h?
h
Let l = 2/97 + -208/679. Let s = 0.14 + -0.06. Which is smaller: l or s?
l
Let k = 26 - 26.1. Let s = -0.1 - 0. Is k != s?
False
Let a = -4 + 1. Let w be (a - -1) + 1 + 1. Suppose x + d + 7 = -x, 3*d + 15 = w. Does 3 = x?
False
Suppose -1 = -2*l - 3. Suppose 3*a = -2*a - 5. Let q(u) = -u**3 + u**2 - 1. Let i be q(a). Is i > l?
True
Suppose z - 6*z = 65. Which is smaller: -15 or z?
-15
Let u = -33 - -22. Let k = u - -13. Let f be (3/(-4))/(18/4). Is k less than f?
False
Let z be (6/(-52))/(18/24). Which is smaller: -2 or z?
-2
Let p = -2 - 6. Does p = -8?
True
Let z = -1406/11 + 128. Suppose -5*r + 28 = 3. Suppose 0*p - p = r*h - 26, 3*h - 19 = -4*p. Is p smaller than z?
False
Let m be (27/15)/(1/5). Suppose m = 5*v - 2*v. Do v and 4 have the same value?
False
Let z(b) = -5*b**3 - 1. Let k be (-1)/(0 + (-1)/(-1)). Let r be z(k). Suppose -5*g - r = -g. Is -1/2 greater than g?
True
Let s = -4807/28 + 1088/7. Let w = -3 - -19. Let h = w + s. Is h smaller than 2/7?
True
Let k be 5*(1 - 2) - -3. Let w be -1 + (k - 0) + 5. Let m be 2/(2/w*-1). Is m at least -2?
True
Let o = 21 - 15. Let p = o + -7. Are 4 and p unequal?
True
Suppose 3*r - 3*b - 24 = -6, 5*r + 4*b + 15 = 0. Suppose 2*h - c - 1 = 4*h, 0 = 5*h + c - 5. Let u = h + -3. Is u < r?
True
Suppose 7*j = 4*j - 5*s + 9, 2*s + 3 = j. Let i be j + -3 + 1/1. Let k be 1*(-1)/(-2)*0. Which is bigger: i or k?
i
Let r(u) = u**2 + 11*u + 18. Let n be r(-10). Is n at least as big as 1/5?
True
Let m = 43.6 - 44.6. Let a = 0 + 0.1. Which is greater: m or a?
a
Let i be 14/3 + 1/3. Suppose i*s - 19 - 17 = 2*c, -3*c = 4*s + 54. Let n be 5/c - 2/(-4). Do n and 0 have the same value?
False
Let f = -239/26 - 4/13. Which is greater: -10 or f?
f
Suppose -2*r + 5 - 21 = 0. Let t be (-1)/3 - r/6. Is 1/6 equal to t?
False
Suppose -4*b + 2 = 3*x + 3, 0 = 2*x + 4*b + 6. Suppose 4*d - 2*f - 3*f + 7 = 0, -x = 3*d - 4*f. Which is smaller: d or -2?
d
Let y = -4 - 0. Let n be (-1)/3*(1 + y). Let h(w) = -w**3 + 2*w**2 + w. Let s be h(-1). Are n and s nonequal?
True
Let d = 100 - 94. Which is smaller: -3 or d?
-3
Let w = -5 + 8. Suppose 0 = -w*i + 2 + 10. Let n be 6/i + 1/(-2). Which is smaller: 1/2 or n?
1/2
Let j be ((-12)/198)/((-4)/(-6)). Which is bigger: j or 1?
1
Suppose -144 = 2*k - 5*s, 3*k = -0*s + 2*s - 216. Which is bigger: k or -1?
-1
Let f be ((1/(-3))/(-1)*0)/(-2). Let z = 32 - 21. Let y be (-1*1/z)/(-1). Is y less than f?
False
Let t(m) = -2*m**3 + m - 1. Let w be t(1). Suppose -3*y - s = -y + 8, 5*y - 4*s = -20. Let q be ((-4)/w)/(4/y). Is -4 less than q?
True
Suppose 0 = 4*n - 3*f + 1, -6*f + 2*f = -12. Suppose 0 = m - n - 1. Suppose -3*w = 12, 0 = -3*p + 2*p + m*w + 15. Which is smaller: p or 4?
p
Let p = -133.9 - -134. Is p > 0.16?
False
Suppose 4*p + 2 = -34. Which is bigger: -7 or p?
-7
Let l(b) = -b**3 + 3*b - 1. Let y be l(-3). Suppose -5*z + y = -3. Is 3 <= z?
True
Let z = -62 - -62.02. Are z and -0.7 unequal?
True
Suppose -3*x + x = 0. Let q be (4/56)/((-2)/1952). Let k = q - -70. Which is smaller: x or k?
x
Suppose -3*a = 3*k + 2337, 1217 = -a - 5*k + 430. Let i = -7009/9 - a. Let y = i + 13/9. Are -2/7 and y equal?
False
Let b = -2/123 - -272/1599. Is -0.03 not equal to b?
True
Let a = -19 - -18. Which is smaller: -2/5 or a?
a
Let z = 0.43 + 4.57. Is 0.1 at most z?
True
Let o be 35/14*16/10. Let z = 2 + o. Is z at least as big as 7?
False
Let k(x) = x**2 - 7*x. Let v be k(7). Is v at most 1?
True
Let c(h) be the first derivative of -1/2*h**2 + 3 - h + 1/3*h**3. Let u be c(1). Which is smaller: u or 1/4?
u
Suppose -5*h + 2*r = -3*r + 35, -5*h = r + 17. Let d be 0*-2*h/(-8). Is d greater than -2?
True
Let i be (18/(-2))/((-6)/8). Suppose 0*v + 4*v = j + i, 3*v = -5*j - 14. Suppose 5*k + 14 = 4*l - l, -4*k - 12 = -v*l. Are -3 and l unequal?
True
Suppose 0 = 4*p + 12, k + 2*p + 3*p + 12 = 0. Let u = -5 + k. Which is smaller: u or 0.5?
u
Let h be (21/(-14))/(2/12). Let i = h - -20. Suppose -2*o - 2*b = -o + i, 5*o + 27 = -3*b. Is -3 smaller than o?
False
Let t(x) = -2*x**2 + 16*x - 6. Let o be t(7). Suppose o*n - 60 = 3*n. Is n < 12?
False
Let x = 24 + -24. Let o be (17/7 + -2)/1. Which is bigger: x or o?
o
Let f(c) = 28*c**2 - 1. Let o be f(1). Is o greater than 26?
True
Let h = -269/6 + 83/2. Which is smaller: h or 1/2?
h
Let m = 108/25 - -1/75. Is 5 less than m?
False
Let n = -18 - -21. Is n equal to 3?
True
Let k(m) = m**3 - 6 + 9*m + m - 10*m**2 - 2. Let u be k(9). Let a = -4 + 3. Is a != u?
True
Let k = 15 - 5. Let p = 15 - k. Let o = p + -5. Which is greater: o or -0.2?
o
Let i = 1 - 0.98. Let s = -4.02 + i. Let x = s - -4.2. Do -1/4 and x have the same value?
False
Let f be 2/((-3)/513*2). Let i be (-3 + f/(-60))*-5. Suppose 0*a + 4*a = 0. Which is smaller: i or a?
a
Let p = 18 - -3. Let h be -51*(-2 - (-19)/p). Let r = -56 + h. Is r at most as big as 1?
True
Let f = 0.51 + -0.51. Which is bigger: f or 5?
5
Let u be 0 + (2 + 0 - 4). Let k be u/6 + 1/12. Which is greater: -3/4 or k?
k
Let w(d) = -d**2 + 4*d - 2. Let q be w(3). Let h = 37 + -1589/43. Let v = h - 61/387. Which is smaller: q or v?
v
Let f = 495494/363 + -1365. Let n = -645/121 + f. Is -6 >= n?
False
Suppose -5*o + 8 = -3*o, 2*o + 24 = 4*n. Suppose 4*q - n - 4 = 0. Which is bigger: 6 or q?
6
Suppose -10 = 