. Let c be p(2). Is 12 at most as big as c?
True
Let d = 178 + -1604/9. Suppose 4*u = -3*g - 0 + 9, -4 = 4*g. Let z = 3 - u. Which is bigger: z or d?
z
Let d = -5 - -5.5. Let a = 0.5 - 0. Let v = a - d. Which is smaller: 1/2 or v?
v
Suppose -5*k = -2*v - 55, -k - 32 + 7 = 2*v. Let b be (-6)/v + (-11)/15. Let w(h) = -h**2 - 15*h - 13. Let d be w(-14). Which is smaller: d or b?
b
Let c = -25 - -25.2. Let h = 0.6 - 0.4. Is c at least as big as h?
True
Let v = -82 - -57. Is -24 at most as big as v?
False
Let m = -3.6 - -3.79. Which is greater: m or 0.1?
m
Let o(w) = -w + 9. Let k be o(4). Let f = 2 - k. Which is bigger: f or 0?
0
Let r(t) = -t**3 - 2*t. Let z be r(2). Is z >= -13?
True
Let x = -3 + 4. Let q be ((-1)/(-1))/((-49)/(-2814)). Let v = 57 - q. Is x <= v?
False
Let l = 12 - 17. Let y = 3 + l. Let m = 74 + -75. Which is smaller: m or y?
y
Let r = -0.2 + 1.2. Let b = 4.93 - -0.07. Let v = b - r. Is -1 smaller than v?
True
Let s(x) = x**3 + 4*x**2 + 2*x - 1. Let n be s(-2). Let q be (-1 + (4 - n))/1. Which is smaller: q or -2/45?
-2/45
Let a(f) = 3*f - 1. Let k be a(1). Is 2 at least k?
True
Let g = 9 + -7. Let o be 5 - ((-8)/g - -3). Suppose o = 5*y + 1. Which is smaller: y or 3?
y
Suppose -2*d = -3*g + 7, 3*d + 3*g = -0*d - 3. Suppose -2*u = 5*z, 2*z - z = -3*u. Let k = u - d. Is k greater than 1?
True
Suppose 5*x + 0*x - 4*g - 41 = 0, -x + 2*g + 13 = 0. Let p = 140 + -406/3. Is p bigger than x?
False
Let g be (2/(-28))/(10/200). Is -2 <= g?
True
Let m = 28 + -27. Which is smaller: m or 0?
0
Let p = 0.1 + -1.1. Let u = 14 + -4. Let x = -11 + u. Are x and p equal?
True
Let u(b) = 3 - 7 + b + 3. Let m be u(5). Let q be (-16)/10*(-2)/m. Which is bigger: -0.1 or q?
q
Let p(k) = -k**2 + 3*k - 1. Let d be p(4). Which is bigger: d or -4?
-4
Let v(w) = -w + 10. Let j be v(9). Suppose -4*i - 4*m = -51 + 15, -4*i = 2*m - 34. Let q = i - 6. Is q smaller than j?
False
Let o be (10/25)/(2/20) - 5. Which is smaller: -5/13 or o?
o
Suppose 0*g = g + 57. Which is bigger: -58 or g?
g
Let l be (1 - 2) + 13/11. Let k = 2 - 2. Let m = k - 1. Which is greater: m or l?
l
Suppose 3 = -3*h + 3*q, 3*q - 7*q = -12. Suppose -3*g = h*g. Let y be (-10)/75*3/2. Is g <= y?
False
Let n(y) = y**3 + 6*y**2 - y - 6. Let x be n(-6). Let s be ((-3)/(-12)*x)/(-1). Let v = 44/115 + -18/23. Is v at least s?
False
Let k(y) = y - 10. Let d(f) = f - 11. Let j(o) = -6*d(o) + 7*k(o). Let a be j(3). Let g be (-4)/4*(-3)/a. Which is bigger: -4 or g?
g
Let g(h) be the first derivative of -h**3/3 - h - 2. Let f be g(0). Do -1 and f have different values?
False
Let v = 1.6 + -1.8. Which is greater: v or -9?
v
Let z be (-7*(-4 + 2))/((-12)/(-6)). Is 4 <= z?
True
Let s be (-3 - -2 - 1) + 14/4. Is -5 equal to s?
False
Let y be (-66)/14 + 2 - -3. Is y at most as big as -1?
False
Let n = 3642/13 + -280. Let k = 7/39 + n. Is k bigger than -1?
True
Let z = -4 - -4. Let h = 70 + -143/2. Are z and h equal?
False
Let j = 0.9 + 0.1. Let x be (-7)/2*15/70. Is x < j?
True
Suppose 40 = 3*o + o. Let a(k) = -k**2 - k + 1. Let d(i) = -5*i**2 - 15*i - 4. Let g(b) = -6*a(b) + d(b). Let v be g(o). Is v at least as big as 2?
False
Let j = 19 + 66. Let l = 1106/13 - j. Do 0 and l have the same value?
False
Let t = 8.2 + -2.2. Let a = t - 6.3. Which is smaller: 1/3 or a?
a
Let f be ((-2)/(-8))/(11/(-44)). Is 2/35 > f?
True
Let m(w) = w**2 - 3*w - 2. Let y be m(4). Suppose -y*p - 3*p + 20 = 0. Is 4 >= p?
True
Suppose 3*l + 3*q - 15 = 0, 4*l + 3*q - 8 = 10. Suppose 7 = 4*t + l. Is 1/2 not equal to t?
True
Let y be 2/(-4) - 252/(-472). Is y at least as big as 0?
True
Let u(v) = -v + 18. Let c be u(11). Suppose c*w - 4*w + 12 = 0. Does w = -3?
False
Let j be 3/(-9) + (-10)/15. Which is smaller: -2/97 or j?
j
Let h = 24302006/2129 - 40942987063/4649736. Let j = -20873/8 + h. Let y = j - -4/39. Which is greater: y or -0.1?
y
Let a be (-1 - 0)/((-14)/(-70)). Which is bigger: 0 or a?
0
Let l = -1.6 + 8.6. Let b = l - 7.3. Let j = -0.22 + 0.02. Is j smaller than b?
False
Let r = -144 - -146. Let b = 5 - 7. Which is greater: r or b?
r
Let o be 3/3*2/6. Let k = o + 1/3. Let c = 61/4 - 15. Which is smaller: k or c?
c
Let r be 3 - (-25 + 1 + -3). Let f be 5/(-2)*24/r. Which is smaller: f or -1?
f
Suppose 7*u = 2*u. Let p(d) = d - 5. Let c be (-48)/(-9) - (-1)/(-3). Let g be p(c). Is u at least as big as g?
True
Let f = 1 - -1. Let y(m) = 2*m + 2. Let j be y(f). Are j and 6 unequal?
False
Let i be (-8)/14 - 40/(-364). Is 1 at least as big as i?
True
Let m = -592 - -597. Let v be 3/(-4) - 0/1. Is m less than or equal to v?
False
Let k = 110 + -103.9. Let q = 0.11 + 5.89. Let n = q - k. Which is smaller: n or 1?
n
Suppose 0*s + 2*s = -2. Suppose 0 = -2*k + k + 5. Suppose -k*p = -3*l - 32, l = 5*l + 2*p + 8. Which is greater: l or s?
s
Let c(l) = l**3 - 3*l**2 - 5*l + 4. Let d be c(4). Which is bigger: d or 9?
9
Let s be 11/(-10) + (-6)/(-10). Suppose 4*c = -4*o + o - 15, 2*o + 10 = 5*c. Let g be c + -1 + 0/(-1). Is g at least s?
False
Suppose -4*z + 6 = -u - 2, 8 = 4*z - 4*u. Is 8/11 equal to z?
False
Let b be (-2)/(-3)*15/(-20). Which is bigger: 1.2 or b?
1.2
Suppose 0 = 3*u - 3*j - 3, u + 15 = -0*j + 5*j. Which is smaller: -1/4 or u?
-1/4
Let y(x) = x**3 + x - 5. Let z be y(0). Let n = -48 - -46. Which is smaller: n or z?
z
Let k = -184/5 - -37. Let d = 7 - 7. Suppose -4*r - 2*w - 10 = d, 2*r - w = 3*r + 4. Are r and k unequal?
True
Let v be ((-1)/(-2))/((-5)/30). Let j(o) = o**2 + o - 1. Let t be j(v). Which is smaller: -0.1 or t?
-0.1
Suppose -j - 8 = -47. Let s = -197/5 + j. Is s > 0?
False
Let v = -2 - -7. Suppose -v = 7*x - 2*x. Is x at least -1/3?
False
Suppose -8 + 2 = 3*t. Let i be (-2)/(-36)*3*t. Let o = 3 - 2. Which is smaller: o or i?
i
Let n be 2 - ((-368)/(-182))/1. Let c be (-54)/36 + (-5)/(-2). Which is smaller: n or c?
n
Let q be (4/(-2))/(2/1). Let b be 0/((1 - 0)/q). Which is smaller: b or -1?
-1
Let n(m) = -m**2 + 4*m + 21. Let o be n(7). Is o at least as big as -1?
True
Let k be (-1)/(-5) - 36/380. Which is greater: -1 or k?
k
Suppose 0 = 4*d + s - 4*s + 54, 0 = 5*d - 5*s + 70. Let o be (d/30)/(4/18). Which is smaller: -1 or o?
o
Let j be (-104)/(-18) + 6/27. Is j greater than 6?
False
Let m = -13/4 - -3. Is -3/5 at most m?
True
Let b(v) = 3 + 9 - 3 - v + 1. Let j be b(14). Which is greater: -6 or j?
j
Let m be (-6)/(-2) + (-3 - -3). Suppose -m*w - 12 = -w. Are -5 and w non-equal?
True
Let z be (-1)/2*1 + 86/(-4). Is z at least as big as -22?
True
Suppose 4*g - n = n - 2, -3*n = -3*g + 6. Let s = 5 - 10. Is s equal to g?
False
Let u(o) = o**2 - 5*o + 3. Let r be u(4). Let n be 4/8 + (-1)/4. Is n less than r?
False
Suppose -o - 14 = -4*t, -8*o + 11*o - 4*t + 10 = 0. Let y = -0.3 + 0.1. Let l = y + 1.2. Are l and o equal?
False
Let d = 1 + 1. Suppose -5*a = -3*a, -c = d*a - 4. Is 4 bigger than c?
False
Let u be 2/(-7) - 16/42. Suppose 0 = -3*r - g - 5 + 27, 0 = g + 5. Let v be 2/3 + 12/r. Is u >= v?
False
Suppose -2*n + 8 = -0*n. Suppose -5*r + n + 46 = 0. Let o = 6 - r. Is o < -1/3?
True
Let f(s) = s**3 - 5*s**2 + 5*s - 1. Let n be f(4). Let q be (n - 2)*(-8)/2. Let i = -11 - q. Which is smaller: 0.1 or i?
i
Let i be 577/5 + (-4)/10. Let t be 31002/270 + 2/(-9). Let u = t - i. Is -1 bigger than u?
False
Let q = 71 - 65. Do q and 0.3 have the same value?
False
Suppose 3*u - 52 = -5*g + 23, g = u + 15. Let b be (g/(-9))/(2/(-6)). Suppose h - 4*z = -2*h - 7, b = 5*z. Is h less than or equal to -2/5?
True
Suppose -3 = d - 1. Let z(r) = -r**3 + 3*r**2 - 3. Suppose 5*q - 4 = 11. Let w be z(q). Which is greater: d or w?
d
Suppose 2*q = j - 0*q - 6, 4*q + 18 = 5*j. Suppose -j = -3*i + 4*i. Suppose w - 2*w = 5, 0 = -h + w + 4. Which is smaller: i or h?
i
Let f = 0.1 + -12.1. Let h = 12.7 + f. Let t = -1.3 - h. Is 2/5 at most as big as t?
False
Let z = 6 + -9. Which is smaller: z or -0.1?
z
Let n = 0.06 + -0.16. Is n at least -0.08?
False
Suppose -3*o + 10 = -o. Let b = -8 + o. Which is greater: -1 or b?
-1
Let a = 6 + 0. Suppose 0 = b - 5*r + 13, 0 = 2*b + 2*b + 3*r - 40. Let p be (-2)/3 + b/a. Which is smaller: p or 0.2?
0.2
Suppose -2*h + 20 = 4*z, -4*z - h - 2 = -18. Suppose f - 9 = -z*x, 2*f + 5 = 7*f - 5*x. Which is bigger: f or 4?
4
Let s be 161/(-98) + 3/2. Let q = 19/35 + s. Let y be (2 - 2) + (-1)/(-3