.351 - -0.021. Let u = 0.3 + c. Let p = 5.97 - u. Do p and 0.1 have the same value?
False
Let k be (4 - -1)/(-15)*0. Which is smaller: k or 1?
k
Let s = 7 - 8. Let z(y) = -y**3 + 5*y**2 - y + 6. Let c be z(5). Let n be (18/(-15) - 0) + c. Is n at least as big as s?
True
Let c(z) = -4*z**2 + z. Let j be c(-1). Let s be 18/j + 4/(-10). Is s <= -3?
True
Let w(b) = -b**3 + 4*b**2 + 2*b + 3. Let y be w(4). Which is smaller: 10 or y?
10
Let w(i) = i**3 + 2*i**2 - 10*i - 4. Let j be w(-4). Suppose -6*s = -j*s. Let n = 3567/10 + -357. Is s less than or equal to n?
False
Let r be 3/(-44) - 1/(-4). Let m = -28 - -27. Is r less than m?
False
Let m(n) = n + 20. Let t be m(-6). Is 15 greater than or equal to t?
True
Let i = 10.8 - -3.2. Let b = -13 + i. Which is bigger: b or 12?
12
Let c = -136 - -123. Which is smaller: c or -1/2?
c
Suppose -5*d - 24 = 3*v, 4*v - 5*v - 16 = 3*d. Let u = -61 + 56. Does u = d?
False
Let l(r) = 2 + 4*r + 3*r**2 + 2*r**2 - r**3 - 2*r**2. Let y be l(4). Let a be 0 + (y + 0)/(-2). Which is smaller: 3 or a?
a
Suppose -6*p + 8 = -2*p. Suppose 10 = 3*x + p*x. Let i(h) = h + 6. Let o be i(-5). Which is bigger: x or o?
x
Suppose 3*l + 5*q = 5, -l - 2*l - q + 13 = 0. Which is bigger: l or 3?
l
Let c be (-4 - -1) + (-38)/(-10). Is 0 less than c?
True
Suppose -3*m + 2*m = 0. Suppose 4*p = -m - 12. Let h = p - -3. Which is bigger: h or -2?
h
Let t(y) be the second derivative of -y**3/6 + 3*y**2/2 - 6*y. Let f be t(10). Which is smaller: -6 or f?
f
Let m be (1 - (-10 + 3)) + -1. Suppose -m + 3 = -4*y. Which is greater: -0.1 or y?
y
Let m(l) = -l**2 - 3*l - 1. Let p be m(-2). Let i be (4 - 3 - p) + 3. Suppose -d - 2 = t, 2*d - 4*t = t + 24. Which is greater: d or i?
i
Let x = -1.1 + 2.7. Are x and 0 non-equal?
True
Let r = -11 + 11.1. Suppose 4*h - 5 = 3*h. Suppose 2*b - h = -1. Is b smaller than r?
False
Suppose -2*q - d = 2*d - 8, -2*q + 4 = d. Which is bigger: q or -5/21?
q
Let n = -30 + 21. Let p = n + 7. Which is smaller: -1 or p?
p
Let k = 14 - 20. Let i be 4*(k/4 - -2). Let h(q) = q**2 - 2*q. Let f be h(i). Which is smaller: -4/5 or f?
-4/5
Let n = 0.033 - -0.067. Which is smaller: n or 17?
n
Let z(w) = 2*w**2 - w + 1. Let o be z(-3). Is 23 at least o?
True
Let r = 0.36 + -3.36. Let g = 310/7 - 44. Is g less than or equal to r?
False
Let f be (-4)/((-24)/(-34)) - -3. Do -3 and f have different values?
True
Let d = -9 - -7. Let x = -51 + 201/4. Which is smaller: d or x?
d
Suppose 0 = y - s, -2*y - 3*y + 4*s = 0. Suppose -2*r = -3*j + 3*r + 4, -10 = 5*r. Which is greater: j or y?
y
Let b = -72/11 - -6. Which is bigger: -1 or b?
b
Suppose 20 + 25 = 3*q. Suppose -q = 2*g + 5*l, -g + 2*l = -5 - 1. Let s = 5 - 6. Are s and g unequal?
True
Let y = -2.8 + 2.7. Are -0.02 and y unequal?
True
Suppose -c + 277 + 92 = 0. Let q = 2577/7 - c. Do -1 and q have the same value?
False
Let j = 98.58 - -4.46. Let t = -105 + j. Let l = 0.04 - t. Which is smaller: 0.2 or l?
0.2
Suppose 4*o - v = 53, 3*o + v = o + 31. Is o equal to 14?
True
Let i = 16.35 - 0.35. Is i less than 2/7?
False
Let t = 282 + -3664/13. Suppose 3*o = -5*i + 25, -2*i + 2*o + 4 = -6. Let q be (i/15)/((-1)/3). Which is smaller: q or t?
q
Let v = 58 + -67. Does v = -57/7?
False
Let w be -9*3*(3 + -1). Let i be 3*(-4)/w*6. Let x = 9 + -8. Which is smaller: x or i?
x
Suppose 0 = 4*b - 11*b. Let i = -35 - -39.1. Let u = -4 + i. Do u and b have different values?
True
Let h(d) = 3*d**2 - 3*d + 2. Let j be h(2). Let z be 32/14 - j/4. Suppose 4*t = -2 - 6. Which is smaller: z or t?
t
Let o(g) = -5*g + 1. Let i be o(2). Let v = -13 - i. Suppose -4*n + 5*u - 42 + 6 = 0, 5*n = -5*u. Is v less than or equal to n?
True
Suppose 4*w - 5*w + 3 = 0. Suppose w*s = -2*s. Which is greater: -0.2 or s?
s
Let v = 19 - 5. Let j be (-69)/(-21) + (-4)/v. Is 3 greater than j?
False
Suppose 0 = -5*o - f - 38, 0 = -4*o - 4*f - 32 + 8. Suppose -18 + 8 = w. Which is bigger: w or o?
o
Let z(g) = g**2 - 10*g. Let p be z(10). Is 1/17 at least p?
True
Let v = -17/8 - -103/56. Is v at least as big as 0.2?
False
Suppose -4 = -4*b + 4. Let w = -23 + 25. Suppose 4*k - 4*o + 2 = -w*o, -4*k - b*o = 6. Which is smaller: 2/11 or k?
k
Let a be (4*1/10)/((-8)/(-10)). Are 1 and a nonequal?
True
Let c(l) = l**3 - 7*l**2 - 8*l + 1. Let o(u) = -u + 18. Let a be o(10). Let s be c(a). Is -2/11 greater than s?
False
Let s be -4 - (6/(-9))/((-6)/(-27)). Which is bigger: 1/17 or s?
1/17
Let r be (-112)/20 + (-2)/5. Let c(a) = -2*a**3 + a**2 + 2*a + 2. Let t be c(2). Is t >= r?
True
Let u = -5.2 - -0.2. Let n = -4 - -6. Let d = -2 + n. Are d and u equal?
False
Suppose 0*k = -4*k. Are k and 5/8 unequal?
True
Suppose -2*a + 138 = -2*z, 4*z - 3*z = 4. Let o be (820/15)/(6/(-8)). Let t = o + a. Which is smaller: -1 or t?
-1
Let a(q) = -q**2 + 4*q + 3. Let n be a(5). Which is smaller: n or -3?
-3
Let n be -1 - 2*(-1 + 0). Which is smaller: n or -0.3?
-0.3
Suppose 2*t - 2*r = -0*r - 28, t + 13 = 2*r. Let n be 8/5 + (-6)/t. Let y = -97/4 - -25. Which is greater: y or n?
n
Let o(n) = 2*n + 1. Let t be o(-1). Let z be (t + 1)/(2 - 4). Is z at most -1/4?
False
Let a be (1 - 4) + (-24)/(-3). Which is smaller: 14/3 or a?
14/3
Let a(h) = h**2 - 7*h + 11. Let n be a(5). Which is bigger: -11 or n?
n
Let r be 4/(-20) + (-2)/(-10). Let w = -3 - -1. Let l = 1 + w. Is l at least r?
False
Let n be (-300)/(-18)*6/4. Is 25 at least as big as n?
True
Let r(q) = q**3 - 16*q**2 + 16*q - 24. Let i be r(15). Let n be 5*(-1)/3*6. Which is greater: i or n?
i
Suppose 4 = 4*r - 4. Let j(s) = -2*s**3 - s**2 + 5. Let z be j(0). Which is smaller: z or r?
r
Suppose -4 = b - 4*k, 4 = -2*k + 6*k. Let t = -5 + 2. Let w be (3/2)/(t - 0). Which is greater: w or b?
b
Suppose -4*l - 8 = 5*n, -4*l + 4*n + 14 + 14 = 0. Is l less than 3/2?
False
Let v be (-14)/(-8) - 4/(-16). Let l = 1585 - 17423/11. Which is smaller: l or v?
l
Let s be ((-6)/(-15))/((-44)/(-5)). Which is smaller: 1 or s?
s
Suppose 3 = 3*r + 6. Is r <= -2/11?
True
Suppose -7 = -t - 2. Suppose -t*a - 5 = -0*a. Which is bigger: a or 1?
1
Suppose 9*n = n - 8. Is n > -3/175?
False
Let n = 37 - 25. Suppose -4*a + 0*a + n = -2*u, 2*a - 5*u - 14 = 0. Are 2 and a nonequal?
False
Let o = 3 - 1. Let x(y) = -y - 21. Let l(t) = 5. Let w(j) = -9*l(j) - 2*x(j). Let i be w(o). Which is bigger: i or -2/7?
i
Let i be 18/8 + (-2)/8. Let x(y) = y**3 + 4*y**2 + 2*y - 2. Let s be x(-3). Let b = s - i. Are -0.2 and b non-equal?
True
Let z = -3 + 12. Let p be (-105)/27 - (-2)/z. Let w = p - -10/3. Do -1 and w have different values?
True
Let g be (-5 - -2)*(-70)/(-21). Which is bigger: -11 or g?
g
Suppose 4*s = 2*s. Let o be 2/24*1*-3. Is o at least as big as s?
False
Let d be ((-1)/6)/(4/(-6)). Let w(r) = r + 7. Let h be w(-8). Which is greater: h or d?
d
Suppose 2*p + p - 147 = 0. Is p > 49?
False
Suppose l + 7 = -5. Let p be (-9)/(-32)*l/(-9). Is 1 greater than or equal to p?
True
Let f(x) = -3*x**2 + 4*x - 3. Let z be f(2). Let w be 7/z + 5/7. Is w bigger than 0?
False
Let k = 0.48 - -0.52. Is k <= 15?
True
Let f be 2/(-9) - 149718/351. Let p = f - -427. Which is greater: 1 or p?
1
Let f(q) = -2*q - 3. Let y be f(-4). Let k = -2 + 4. Let c be (-1)/2*(-16)/k. Do c and y have the same value?
False
Let x(y) = y**3 + 19*y**2 + 18*y - 6. Let o be x(-18). Let m be ((-96)/9)/(1*2). Which is smaller: o or m?
o
Suppose -3*p + 11 = x - 2, 2*x - 6 = -2*p. Is 1 at most as big as p?
True
Let p = 1330241/23420 - -3/4684. Let a = -57 + p. Is a less than 0?
True
Let z be (0 + 3)/(-15 + 12). Do z and 3/35 have the same value?
False
Let q(m) = -4*m**2 + 5*m. Let l(h) = -11*h**2 + 14*h. Let z(s) = 6*l(s) - 17*q(s). Let b be z(1). Is 1/3 smaller than b?
True
Let q(w) = -w**3 - 4*w**2 - 1 - 5*w + 0*w**3 + 0*w**3. Let m be q(4). Let r = 1045/7 + m. Do r and 0.2 have the same value?
False
Let f be (18 - 1)*29/(-9). Let a = f + 55. Let r be 0*(9/6)/3. Which is greater: a or r?
a
Suppose 2*w + 67 = -5*l, 3*l - w + 34 = l. Let x be (24/l)/2*5. Is -4 at most x?
True
Suppose 2*b = -3*b - 10. Let h = -1808 - -5365/3. Let n = h + 19. Is b greater than n?
False
Let z = -233 - -121. Let n be (-1)/(-4)*z/(-4). Which is smaller: 6 or n?
6
Suppose -2*i + 14 = -4*q, -4*i + 1 = 2*q + 3. Let k = 68/3 - 338/15. Is k >= i?
False
Let d = 697/2580 - 19/60. Which is bigger