 - 5/217. Which is smaller: p or 1?
p
Suppose 6 = 4*u + 2. Let y be (-4)/((-4)/(-3)) - 0. Let b(r) = r**3 + 4*r**2 + 4*r + 3. Let f be b(y). Which is greater: f or u?
u
Let m(l) = 2*l**2 - 3*l + 16. Let n be m(3). Is n smaller than 27?
True
Suppose -59 = -a + 17. Let p be (-27)/a - 1/(-4). Let s = -15/38 + p. Which is smaller: s or 2/7?
s
Let a = 1629 - 118915/73. Which is smaller: 1 or a?
a
Let t(k) = k + 8. Let j be t(-6). Let z = j + -3. Are z and 2/5 nonequal?
True
Let v = -51 - -51. Let x = 5/186 - -2648/93. Let h = -28 + x. Is h less than v?
False
Let j = 12136/9 - 1350. Which is greater: j or 0?
0
Suppose -2*c - 5*x - 5 = 0, -c - 3*x = c + 15. Let h be (-1)/c - (-1)/3. Do h and 0 have the same value?
False
Let v be (0 + 18/12)/(2/(-12)). Which is smaller: -0.2 or v?
v
Let z(i) = -i**3 - 5*i**2 + 4. Let g be z(-5). Suppose l + 3*l = 8. Is g at least l?
True
Let b = -1/105 + 43/105. Which is smaller: b or 4/3?
b
Let y be 72/27*6/8. Suppose -2*x - 2 = -y*s, x - 2*x = -4*s + 13. Which is greater: 8/3 or s?
s
Let l = -0.16 + -0.27. Is 0.2 at most l?
False
Let a(y) = y**2 - 11*y + 7. Let i be a(10). Which is smaller: -8/5 or i?
i
Let f(l) = -2*l**2 - l. Let u be f(2). Is -10 greater than or equal to u?
True
Let b be (-1)/(0 + 4/(-2)). Let c(u) = 4*u - 3. Let x be c(1). Is x less than or equal to b?
False
Let d(g) = -4*g + 1. Let y be d(-1). Suppose -4*u + b - 3*b = -34, -y*u + 5 = -5*b. Let f be 2 - -1 - (-2 + 0). Is u greater than or equal to f?
True
Let j = -56 - -60. Is j equal to -1/2?
False
Suppose -3*p - 7*a + 30 = -3*a, p = 3*a + 10. Suppose 3*s + p = 22. Is s <= 5?
True
Let o = 0.91 + 0.09. Let g be 687/189 + (1 - 3). Let j = 13/7 - g. Which is smaller: o or j?
j
Let o = 25 - 16. Let k = 7 - o. Is 0.2 at least as big as k?
True
Let i(c) = -2*c + 5. Let q be i(-1). Do 7 and q have the same value?
True
Let q = -3 - -1. Let j = -57 + 53.9. Let p = j + 3. Which is bigger: p or q?
p
Let v = -71/150 + -2/75. Is v less than 1?
True
Suppose 6*p = 3*p + 21. Suppose p = 3*m - 2. Are m and 4 nonequal?
True
Let u = -27 + 27. Let f = -6 + 4. Which is greater: f or u?
u
Let t be 133155/2 - (-3)/6. Let k = 735018/11 - t. Let c = -242 + k. Which is greater: c or -1?
c
Suppose -2*k + 2*g = g + 5, g = 3. Suppose -242 = -2*b + 5*r, 48 = -3*b + 3*r + 429. Let x = 657/5 - b. Is k > x?
False
Let i be 72/69 - (-2)/(-2). Let p = 89 + -89. Which is smaller: i or p?
p
Let a be (1 - 12/9)/(12/9). Which is bigger: a or -0.18?
-0.18
Let f be (-3)/(17 + 1)*-2. Suppose -4*h + 4 = -2*h, -4*d - 14 = -h. Are d and f nonequal?
True
Suppose -4*s + y = -0*s, 2*y - 12 = -4*s. Which is smaller: -2 or s?
-2
Let z(v) = v**3 + 6*v**2 - 2. Let s be z(-6). Let a be (-15)/20 - s/24. Do -2 and a have the same value?
False
Let j = 18 + -10. Let p = j + -7. Which is greater: p or 1/13?
p
Suppose -4*i + 16 = -2*f, 5*i - 30 = 5*f - 0*f. Let u be 3 + 1 + 0/(-3). Suppose -3*r + 3*a = -3, u*a = r + 1 + 1. Is i equal to r?
True
Let c = 8 - 7. Let r = 0 - 1. Is c <= r?
False
Suppose 4*l + 4 = 0, 2*j + 3*l + 0 = -3. Let g = -1/59 + 361/413. Which is smaller: g or j?
j
Let f = -50 - -52. Which is smaller: -2 or f?
-2
Suppose -7*u + s - 10 = -3*u, -3*s = -4*u - 14. Which is smaller: u or 37?
u
Let b = -1/4 - 1/12. Which is bigger: 2/5 or b?
2/5
Let z = 7 - 7.05. Let j be 2*((-18)/(-10) - 2). Which is smaller: j or z?
j
Let z be ((-230)/75 + 4)*(-1 - 2). Which is greater: z or 2/5?
2/5
Let v = -4.9 - -5. Which is smaller: -0.7 or v?
-0.7
Let x = 67/10 - 36/5. Let z = -1 - -5. Suppose 3*a = -z*b + 20, -2*a + 3*a = -3*b + 10. Is x bigger than b?
False
Let u = -1 + 4. Let b = 27 + -51/2. Is b > u?
False
Suppose -2*f = 3*f. Let w be (12/(-36))/(10/6). Is f at least as big as w?
True
Suppose 0 = 3*o + 1 - 7. Suppose v = -v - o. Are -1 and v equal?
True
Suppose -l + 5*l = 0. Let j be (-2)/(4/(-1))*-12. Let c be 10/j*(-6)/(-15). Is l at most as big as c?
False
Let s = 2 + -1. Suppose 5 = 2*g + s. Let l be -3 + -3 + -2 + 9. Which is smaller: g or l?
l
Let j = -12 + 7. Let n be 3/j - 86/(-10). Is 7 smaller than n?
True
Suppose 2 - 12 = -2*a. Suppose 0 = -a*p - 2 + 7. Which is smaller: 2/29 or p?
2/29
Let f(u) = -12*u - 78. Let w be f(-12). Does w = 65?
False
Suppose -4*v + d - 14 = 0, -4*v + 4*d - 16 = 2*d. Which is greater: v or -1?
-1
Let p be 2*((-7)/5)/(10/25). Is p < -7?
False
Suppose -5*w = -2*c - 27, w + w = -2*c + 8. Let r be c/10*(-5)/(-5). Which is bigger: r or 0?
0
Let q be 2642/(-30) + (-4)/(-6). Let k = 87 + q. Let s = 0 - 1. Is s < k?
True
Let f be -1 - 5/((-5)/4). Which is smaller: f or 4?
f
Let m be 3 + 0/3 - -2. Suppose m*i - 18 = 3*i. Let r = -15 + i. Do -5 and r have different values?
True
Suppose -3*u - 3 = -2*u. Let k = 2 + u. Suppose -2*s = -2*t + 6, t + 0*s + 3*s + 13 = 0. Is k at least t?
True
Let j = -13.82 + 14. Let i = 0.02 + j. Which is smaller: i or -0.1?
-0.1
Let g = -1053700 - -7352622/7. Let j = -3316 - g. Let h = 9 - j. Is -1 > h?
False
Let s = -1.95 - 0.05. Suppose -14*p - 9 = -17*p. Suppose 2*g + n + 5 = 0, -p*n - 2*n - 25 = -5*g. Do s and g have the same value?
False
Suppose 2*u = t - 0*u - 2, 0 = 4*t + 2*u + 2. Let a be (3/2)/((-3)/(-16)). Let m be 3/9 + a/12. Is t equal to m?
False
Let b = -1 - -1. Let h = -3/89 - 246/623. Which is bigger: h or b?
b
Let l(s) = s**2 + 5*s + 3. Let h(d) = d**3 + 4*d**2 + d - 1. Let b be h(-4). Let v be l(b). Is v != 3?
False
Suppose 2*p + 5 - 13 = 0. Let w = p + -3. Let j = -19 + 131/7. Is w greater than j?
True
Let m = -3/31 + -41/217. Is m greater than or equal to -0.22?
False
Let b = 0.03 + -0.17. Let u = b + 0.14. Do u and 0 have different values?
False
Let p be 23/(-5) + (-9)/(-15). Let t be 1 + 0 + -1 + -5. Is t greater than or equal to p?
False
Let i = -3 - -2. Which is bigger: i or 1/3?
1/3
Let a = 27 + -39. Let z = -10.1 - a. Let b = -0.9 + z. Which is smaller: 1/4 or b?
1/4
Let h(k) = k**2 - 11*k + 17. Let c be h(9). Is c not equal to -2/33?
True
Let l be ((-4)/10)/(2/(-10)). Let q = -3/17 - -23/34. Is l greater than q?
True
Suppose -5*n = 5*r + 195, -77 = 4*r - 4*n + 39. Is -34 <= r?
True
Let g(v) = v**3 + 2*v**2 - 2*v + 1. Let f be g(1). Suppose -1 = -3*x + 8. Suppose x*a + n = 2, -1 = -f*a + n + 2. Which is smaller: a or 2/3?
2/3
Suppose -9*y + 126 = -2*y. Is y greater than 12?
True
Suppose -4*k = -9*k + 15. Suppose 0 = k*r - 1 - 5. Which is greater: 3 or r?
3
Let s(v) = v**3 - 19*v**2 + 32*v + 35. Let g be s(17). Is 4/15 greater than g?
False
Let m(j) = j**3 - j**2 - j + 2. Let l be m(0). Is 14/9 < l?
True
Let c(j) = 2 - 7 + 0 - 2*j. Let o(k) = k. Let w(y) = c(y) + 3*o(y). Let m be w(6). Which is smaller: m or -2/17?
-2/17
Let j = -1.12 - -0.12. Suppose -4*o - 3 = 1. Is o at least j?
True
Let n be 3/186*(-6 + 8/(-2)). Is -1 smaller than n?
True
Let n(z) = z**3 - 4*z**2 + z - 2. Let v be n(4). Suppose 6 = -v*u - 0*u. Let h be 2/3*u/(-5). Do 0 and h have different values?
True
Let q(k) be the second derivative of 1/20*k**5 - 2*k + 0 - 1/3*k**3 - 1/2*k**2 + 1/6*k**4. Let w be q(-3). Are w and -2 equal?
False
Let l be (-2)/(-10) - (-3)/60. Let g = 24 + -23.63. Let v = g - 0.07. Which is bigger: v or l?
v
Let s(d) = -16*d + 7. Let b be s(1). Does -9 = b?
True
Suppose 3*s = -3*v + 21, 2*s + 5*v = 19 + 4. Are 4 and s unequal?
False
Suppose -o = 2*o. Let u(l) = -l - 6. Let r be u(-7). Is o > r?
False
Let d = 15 - 21. Let w = d - -8. Is -2 >= w?
False
Let f = 7 - 8. Let d = 0 + 0.2. Let k = 0 + d. Which is smaller: k or f?
f
Suppose 3*k = 5*m + 12, -k = k - 2*m - 8. Is k <= 3?
False
Let s = -0.3 - 0.1. Let m = -1 - s. Let a = -0.4 - m. Is 0.1 less than or equal to a?
True
Suppose -10*u - 9 - 1 = 0. Let i = -3589/126 + -155/126. Let t = 30 + i. Which is greater: t or u?
t
Let y be (-93)/(-15)*10/12. Is y at least as big as 6?
False
Suppose -5*i = -6*t + 2*t + 17, 2*t - 3*i = 7. Which is greater: 4 or t?
t
Suppose 22 - 1 = -7*i. Let p be (i + (-36)/(-8))*-16. Is p smaller than -25?
False
Let z = -13.18 - -0.18. Let o = z - -12. Is 1/6 not equal to o?
True
Suppose -2*p - 13 = -5*g - 83, 3*p = -g - 14. Let o = 17 + g. Is o >= 3?
True
Let j(n) = -3*n**2 + 9*n + 2. Let g(o) = 5*o**2 - 17*o - 4. Let y(r) = 4*g(r) + 7*j(r). Let h be y(-2). Is h less than 1?
False
Let k be (3 - 4) + (-112)/(-3). Let t = k + -36. Is -1 <= t?
True
Le