
Let z(y) = 1. Let i(d) = -2*d - 4. Let u(n) = i(n) + 3*z(n). Let x be u(-2). Is x <= 3?
True
Let w(o) be the third derivative of o**5/60 - o**4/2 - 2*o**3 - 2*o**2. Let x be w(13). Do 1/9 and x have the same value?
False
Suppose -g + 3 = 5*u - 0*u, u + 5 = -3*g. Is g != 8?
True
Suppose -25 = -4*i + d, i - 23 = 4*d + 2. Suppose -i = 3*r + 7. Is r greater than or equal to -3?
False
Let n = -5 - -6. Let p = 11 - -3. Let m = p - 10. Is n greater than m?
False
Suppose 3*x - 4 = -x. Let v be (-5)/x*(-6)/(-15). Let p be 4/(-2) + 3/3. Is p > v?
True
Let u = -2.7 + -1.3. Let n = 28 + -111/4. Is u greater than or equal to n?
False
Let u be (-118 + 0)*(-4 + (-21)/(-6)). Which is smaller: u or 58?
58
Let c be (-9)/(7/2 + -2). Let r be (c/(-8))/((-81)/24). Is r less than 1?
True
Let m be -6*1 - (-16 - -10). Which is smaller: m or -1/65?
-1/65
Let h = -0.33 + -0.67. Is -2/15 bigger than h?
True
Let u be ((-69)/18 - -4)/((-14)/(-18)). Is 1 smaller than u?
False
Let c = -1.1 + 1.2. Let d = c - 0. Is d equal to 13?
False
Let o(p) = -2*p + 9. Let h be o(4). Which is smaller: h or 3/8?
3/8
Suppose -8*b + 30 = -3*b. Let j = b + -2. Which is greater: j or 5?
5
Suppose 6 = 3*f - 0*f. Suppose 3*l - 4*t - 1 - f = 0, -5*t = l - 1. Let c be (0*(-2 + 3))/(-2). Which is bigger: l or c?
l
Let i be (-5 - -1)*27/12. Suppose -27*x + 40 = -32*x. Which is bigger: x or i?
x
Let i = -4 + 6. Let r be (0/(-2))/(5 - 6). Suppose -4*z - 1 - 3 = r. Which is greater: i or z?
i
Suppose 0*c + 5*c + 2*d = 30, -25 = -5*d. Let h = -7 + c. Let o be 2/(-12)*h*-6. Which is greater: -4 or o?
o
Suppose 0*z = -4*z + 72. Let b = -237 + 254. Which is smaller: b or z?
b
Let a = 1 - 1. Let s = 0.1 + -0.3. Let n = -0.3 - s. Which is greater: a or n?
a
Let g = -21 + 26. Does g = 11/2?
False
Let k be (245/(-25) - -9)*1/4. Which is smaller: -23 or k?
-23
Let k be (-51)/9 + 2/3. Let t = k + 8. Which is smaller: 4 or t?
t
Let j = -6 - -10. Suppose n = -j*k - 52, 2*n = -n + 3*k - 141. Let g = n - -99/2. Which is bigger: g or 1?
g
Suppose 0 = -25*c + 28*c. Which is smaller: c or -2/23?
-2/23
Suppose -3*i - 2*i = -100. Let k be (i/150)/((-2)/(-12)). Suppose 3*o = -5*d + 19, -5 = 5*d - 3*d - 3*o. Are d and k equal?
False
Let m = 200 + -201. Let o be 2/7 + 1/(-2). Is m > o?
False
Let k be ((-94)/25 + 4)/(-2). Which is smaller: -1 or k?
-1
Let w = -2/13 - -23/65. Which is bigger: 1 or w?
1
Let h = 1 - -1. Suppose 0 = h*y - y - 1. Which is smaller: 2 or y?
y
Let q = -8/199 - -3511/3184. Let s = 317/48 + q. Let o = s + -179/21. Which is greater: -1 or o?
o
Let j = 583/7 + -83. Which is smaller: -5/9 or j?
-5/9
Suppose 7*g - 12 = 4*g. Suppose -4*x = 2*b - g, -3*x = -2*b - b + 6. Suppose -6 = -i + 2*j, -j = b*i + 2*i + 3. Which is bigger: i or -2/3?
i
Let t = -4/51 + 10/561. Let h = t + 13/33. Suppose 2*k = -3*w + 1, -2*w = w + k + 1. Which is greater: h or w?
h
Let y = 0.007 + 0.193. Let j = 1.8 - 2. Which is bigger: j or y?
y
Let l(w) = -2*w**3 - 3*w**2 - w - 2. Let i be l(-2). Suppose -i*r = -2*h - 5 + 3, 5 = h + r. Does 4 = h?
False
Let z = 1.3 - 1. Let t = -1.6 - -2.9. Let d = t - z. Are -2/5 and d equal?
False
Let x be 40/(-15)*6/4. Does -2 = x?
False
Let n be 144/(-585) + (-4)/(-10). Let i(r) = -r + 5. Let k be i(5). Suppose k*l = -l. Is n greater than l?
True
Suppose 7 - 16 = 9*b. Are -6 and b nonequal?
True
Let m = 21 + -16. Let w = 6.13 - 0.13. Let f = m - w. Is f at most 0.1?
True
Let a be 4*(1 - (3 + -3)). Suppose -2*v - 46 = -6*v + 5*z, -z - 54 = -a*v. Let l be (-4)/v + 4/14. Is l bigger than 0?
False
Let d = -363/5 + 73. Let b be 102/188*1/2. Let o = 1/47 - b. Are o and d equal?
False
Let x be 34/52 - 1/2. Let m = -3 + 5. Suppose 4*n = -5*s - m + 3, 4 = s - 3*n. Which is bigger: x or s?
s
Let j be -8 - -11 - (213/36 + -2). Is j at most as big as 0?
True
Let h = 13.04 + -14. Let d = h - 0.04. Let r = 8 - 8.1. Are d and r unequal?
True
Suppose -4*n + 4 = -8*n. Let i(q) = q**2 - 4. Let k be i(-3). Suppose 15 = 3*f + k*j, 3*j - j - 6 = -4*f. Which is smaller: n or f?
n
Let o = 1 - 2. Let f = o - -2. Let b = f + -0.92. Is -1 less than b?
True
Let h(o) = 2*o + 7. Let m be h(-6). Let a be 1/(-1) - (m - -1). Is a > 2?
True
Let v be ((-2)/5)/(21/(-15)). Let u = v + -11/63. Let d be (-18)/(-14) - (-2)/(-7). Are u and d nonequal?
True
Suppose 0*a - 5*a = -5. Which is bigger: 16 or a?
16
Let h = 0.33 - 0.43. Which is smaller: h or -43?
-43
Let f be 0/(-11)*(0/(-2) + 1). Which is smaller: f or -2?
-2
Suppose 1 + 3 = y. Suppose y*t = t. Is -8/7 greater than t?
False
Let j be (1/3)/((-1)/9). Let z be 7/8 + 0/j. Let k = 65/56 - z. Which is smaller: 1 or k?
k
Let r = 8 + -8.6. Let i = -0.027 - -2.127. Let b = 2.1 - i. Which is greater: r or b?
b
Let u = 10 + -6. Let p be (2 - -3) + -2 + u. Suppose 4*m + 6*w - 3*w = 18, -5*m + 4*w = -p. Is 3 at most m?
True
Let p = 112 - 451/4. Let t = -5/12 - p. Let f = -466/15 - -92/3. Which is bigger: t or f?
t
Let s = 0.1 - 0.12. Let z = -1.88 + -0.14. Let d = z - s. Is 2/5 at most d?
False
Let o(v) = v**2 - 3*v + 3. Let i be o(3). Suppose 3*n + i*h - 33 = 0, 4*n - 31 = -5*h + 12. Let w be ((-6)/10)/(n/(-8)). Is -2 > w?
False
Suppose 12*g - 17*g = 10. Is g bigger than -3?
True
Let d = 88 + -106.8. Let b = -20 - d. Which is bigger: b or 1/2?
1/2
Let p = -107/30 + -1/30. Which is smaller: p or -2/7?
p
Let v be (-27)/(-3) + -2 + (-1 - -1). Is v at least 27/4?
True
Suppose 2*w + 8 = 4*w. Suppose w*g - 6*g = 26. Does -13 = g?
True
Let v = 21946040/147 - 149292. Let p be (8/588)/((-2)/18). Let k = v + p. Is 1 at least as big as k?
True
Let d = 157 - 156. Does d = 1?
True
Let h(o) = 3*o - 6. Let x be h(3). Let s(j) = -2*j + 4. Let u be s(x). Is -2 less than or equal to u?
True
Let x be 3 - (-23 - (-4)/2). Suppose -2*j - j + x = 0. Suppose -5*g + 0*p + 16 = -p, 5*g - j = 3*p. Which is greater: g or 2?
g
Suppose -3*v - 30 = 5*w - 10, -4*v - 5*w - 20 = 0. Suppose -4*b = -v*b + 4. Which is bigger: b or -1/11?
-1/11
Let t(r) = r**3 - 6*r**2 + 5*r - 2. Let p be t(5). Let j = 4 + p. Let d = 8 - 7. Are d and j non-equal?
True
Let k = 3.1 - -3.9. Does 0.1 = k?
False
Suppose 2*m = -0*m - 2. Is -1 greater than or equal to m?
True
Suppose -6 = 4*n + 3*h, -11*n + 8 = -7*n - 4*h. Which is smaller: 1/107 or n?
n
Suppose 24 = 2*q + b - 4*b, 2*b = 5*q - 38. Let a = q - 8. Which is smaller: 1 or a?
a
Let s = -2.7 - -3. Let u = -0.4 + s. Let n = 1.1 + u. Is n less than or equal to 1?
True
Let g = 2 + -2.2. Let t = -19 - -30. Let d = t - 11.2. Is d equal to g?
True
Let i = -67 - -69. Which is smaller: i or 0.03?
0.03
Let v(g) = g**2 + 3*g + 16. Let c be v(0). Is c < 15?
False
Let k = -14 + 5. Let q = -50 + 59. Let u = k + q. Is u smaller than 0.1?
True
Let l be (-2 - 132/(-54))/((-2)/(-3)). Which is bigger: -12 or l?
l
Let p(o) = -2*o**3 - 3 - o - 3 - 2 + o**3. Let c be p(0). Which is smaller: c or -2?
c
Let p = -18 + 0. Let a be (1/(-6))/(3/p). Is a at least -0.3?
True
Let m(h) = h**3 - 7*h**2 - h + 8. Let n be m(7). Which is greater: -1/8 or n?
n
Let r = -0.65 + 0.5. Let c = r - -0.35. Which is smaller: 0 or c?
0
Let q be 58/8 + (-1)/4. Suppose 2*p - 5 = q*p. Let n = -5 - -5. Is n > p?
True
Let s = 1.31 + -0.31. Are -5/4 and s nonequal?
True
Let m = -7 - -8. Let y = 13.1 + -12. Let h = y - m. Which is greater: 1/2 or h?
1/2
Suppose 0 = -0*n + n - 4*f - 46, -4*n + 3*f + 132 = 0. Let a be (-10)/(-4)*(-8)/n. Which is greater: a or -0.5?
-0.5
Let k(n) = n**3 + 10*n**2 - 10*n + 12. Let u be k(-11). Let w = u + 3. Which is smaller: 0 or w?
0
Let d be 3 + -1 - 13812/(-15). Let f = -918 + d. Let t = 163/35 - f. Which is greater: t or 1?
1
Suppose -5*t + 8 + 1 = x, -4*t = 3*x - 5. Is 3 != x?
True
Let l = 3.5 - 3.9. Which is smaller: l or 1/2?
l
Let w(g) = 12*g**2 - 2*g - 2. Let t be w(-1). Is 10 < t?
True
Let z = 42 + -27. Suppose -z = -3*k + 4*b + b, 2*k - 3 = b. Let t be 1/(-6 + k/(-2)). Does t = -1?
False
Suppose 0 = -3*y - 22 + 16. Suppose 0 = 5*a + 2 + 3. Is a < y?
False
Let o be 1 + (2 - 21/3). Let p be 12/(-30) - o/10. Which is smaller: p or 1/4?
p
Suppose 0 = 2*f - 5*f + 6. Let p = f - -2. Let d be p/(-14) + 12/91. Which is greater: 1 or d?
1
Let u be (-2)/7 - 11/(-14). Suppose -4*s + 8 = 0, x = 3*x - 2*s. Are u and x equal?
False
Let i(w) = -w**3 - 9*w**2 - w + 3. Let l be i(-9). Let f be 7/l + (-1)/4