4
Let u = -69 - -69.4. Which is smaller: 1 or u?
u
Suppose 3 - 21 = -2*d. Is d < 10?
True
Let p(m) = m**2 + 2*m - 13. Let s be p(6). Is s <= 34?
False
Suppose 7*z + 387 = -453. Is z smaller than -121?
False
Let s = -97 - -119. Is s >= 21?
True
Let i(n) = n**3 - 4*n**2 + 5*n - 2. Let t be i(3). Suppose 0 = -3*y - 3*q + 9, t*q - q - 12 = 0. Let w be (12/(-9)*y)/6. Is w greater than or equal to -1?
True
Let s = 28 + -26. Let i = -3 - -2. Let t = i + s. Are t and 0 nonequal?
True
Let w be 2/(-3)*(-117)/(-663). Let r(j) = -j**3 + 5*j**2 + 6*j + 3. Let c be r(6). Suppose 4*u = u + c. Which is smaller: w or u?
w
Let m = -46 + 139/3. Let r be (-9)/(-18)*(-3)/((-15)/2). Which is smaller: r or m?
r
Let p(q) = 2*q**2 - 27*q + 16. Let n be p(13). Do n and 18/7 have the same value?
False
Let o = 128 - 91. Which is bigger: o or 36?
o
Let u(w) = w. Let a be u(8). Let k = a - 4. Is k smaller than 2?
False
Suppose 5*c + 0*c - 150 = 0. Suppose w + 9 - c = 4*a, -2*w - a + 6 = 0. Suppose -4*v - 4*t = -0*t + 16, -w*v + 5*t = -20. Is 1 equal to v?
False
Let a = 22825/29 - 787. Which is bigger: -1 or a?
a
Let c = 2/169 + -5414/507. Let f = c + 11. Which is smaller: f or 1?
f
Let j = 9 - 5. Suppose -w - j*w = -125. Let d be w/(-10)*(-2)/(-10). Are 0 and d unequal?
True
Let q = 4175 - 87655/21. Let f = q - 337/420. Which is greater: 0 or f?
f
Suppose 150 = -2*k - 2*n, n - 4*n - 148 = 2*k. Let w = 53 + k. Which is smaller: -23 or w?
w
Let d = -2 + 2. Let f = -7 - -7. Let o be 8/6 - 2 - f. Which is bigger: d or o?
d
Let z be (-16)/6*(-6)/4. Let p be 9*z/6 - -3. Let c be p + -12 + (-46)/(-14). Which is smaller: c or 1?
c
Let f = 4 - 2. Suppose -g + f = -2*o + g, 2*o + 3*g + 2 = 0. Is -1 at most o?
True
Let g = 211 - 3586/17. Is -1 < g?
True
Let a(g) = g**3 + 2*g**2 + g + 2. Let s be a(-2). Suppose -2*c = 5*p - c - 14, s = p + 3*c. Let q be (p/(-9))/(4/(-12)). Which is greater: q or 0.1?
q
Let o = 3457/1038 + 1/346. Let h be (6/(-8))/((-18)/48). Is o bigger than h?
True
Let y = -119 - -344/3. Let m = y + 14/3. Is m greater than 0?
True
Let y be (100/(-6))/5*-3. Is 1/2 >= y?
False
Let r be 766/(-4)*(-28)/428. Let l = 3/107 - r. Let w = 229/18 + l. Is w > 0?
True
Suppose c - 21 = -0. Let j be (2/6)/(c/18). Which is greater: j or -0.1?
j
Suppose 0 = -2*w - 2*w + 4, -3*w = -2*g - 1. Are -2/33 and g equal?
False
Suppose -4*m + 3*y = m - 12, -3*m + 4*y + 5 = 0. Let c be (-3 - 0) + (3 - 2). Let w = m + c. Do w and 2/19 have the same value?
False
Let w(m) = 19*m**3 + 1. Let h be w(1). Which is smaller: 19 or h?
19
Suppose 6*j - 8*j + 44 = 0. Is 22 at least as big as j?
True
Let m(n) be the third derivative of -n**6/120 - n**5/30 + n**4/12 + n**3/2 - 8*n**2. Let z be m(-2). Is z bigger than -2/3?
False
Let v = -2 + 4. Let p be (-1 + 0)*2 + v. Which is smaller: -2/13 or p?
-2/13
Let d(r) = r**2 + 1. Let n be 12/7 + 16/56. Let k(a) = a**3 + a**2 - 3*a + 5. Let h(g) = n*d(g) - k(g). Let b be h(2). Which is smaller: 0.3 or b?
b
Suppose 4 + 0 = -2*m - 2*v, 0 = 2*m - v + 19. Let j be 1 + -1 + 5*-1. Is m less than or equal to j?
True
Let d = -3 + 3. Let b = 7/4 + -27/20. Is d not equal to b?
True
Let n = -1 - 0. Let x = 174 - 182. Which is greater: x or n?
n
Suppose 3*z = 5*c + 17, 0*z + 2*z - c - 2 = 0. Let l be (-1)/(-4) + (-57)/(-12). Suppose 14 = -l*s + d, s + 0*s = 5*d - 22. Which is smaller: s or z?
s
Let b = 118/155 + -5/31. Let d(o) be the third derivative of o**5/60 - o**4/8 - o**3/3 + 5*o**2. Let m be d(4). Is b greater than m?
False
Let y be ((-12)/28)/(6/(-4)). Suppose 4*c - c + 48 = 0. Let m be (-8)/c - (-1 - -1). Which is smaller: y or m?
y
Let p = -45 + 25. Let i be 6/(-12) - 2/p. Let f be (-7)/(-12) + 4/6. Is i less than f?
True
Let s be 3/6 - (-38)/4. Let z be (-38)/(-10) + 2/s. Suppose -4*i = -8, -z*m + 0*i + 3*i - 10 = 0. Which is smaller: m or -1/5?
m
Let u = -9 - -8.8. Which is smaller: 0.07 or u?
u
Suppose m - 5*p - 93 = 0, 5*m - 59 = -4*p + 464. Do 104 and m have different values?
True
Let n = -30 + 59/2. Let m = -0.62 - -0.32. Is n at least m?
False
Let u(l) = -l**2 - 6*l + 20. Let w be u(-9). Is -4 less than or equal to w?
False
Let v = 13 - 7. Let z = v + -7. Let p = z + 2. Are p and -1/3 unequal?
True
Suppose 3*z = 3*a + 3, -2*a + 3*z = 2*a + 3. Let n = -220 + 31. Let h = n - -2081/11. Which is smaller: a or h?
a
Suppose -r - 3*v = 5 + 3, -44 = 3*r + 5*v. Which is smaller: -22 or r?
r
Let s = -245042 + 15928462/65. Let h = 54/5 - s. Which is greater: 0 or h?
0
Let v(u) = 4*u**2 + 3*u + 1. Let n be v(-2). Is n less than or equal to 1?
False
Suppose 6*p = -0*p + 12. Are -8 and p non-equal?
True
Let y be 1 + (-4)/(-8) + 0. Let i = -0.4 - -0.4. Which is smaller: y or i?
i
Let u = -3536/7 + 506. Is u greater than 0?
True
Let u = 31 + -67/2. Which is smaller: -3 or u?
-3
Suppose -o - 1 = 5*r - 4, 4*o = 3*r + 12. Which is smaller: -4/11 or r?
-4/11
Suppose 2*d = 7 - 1. Let t be ((-3)/9)/(1/(-6)). Suppose -15 = -3*q, t*g + 9 = d*g + 2*q. Is -3/5 at least as big as g?
True
Let c be -2*-2*1/8. Suppose 3*r = 2*r - 3*r. Are c and r nonequal?
True
Let u = -30 + 32. Is 5/8 at least as big as u?
False
Let t = -6509/627 + 114/11. Is 1 less than t?
False
Suppose 3*m - m + 8 = 0. Let a = -2 - m. Which is bigger: a or 3?
3
Let u = 0.18 + -0.2. Let z = u - -0.06. Which is bigger: -1 or z?
z
Suppose 7*n - 4*n = 0. Let x = -1.4 + 1. Let p = 0 + x. Is n bigger than p?
True
Suppose -8 = -2*q + c + c, -16 = 4*c. Is q greater than or equal to -1/13?
True
Let r be (-7)/(-3)*4/14. Let c be (-1)/25*3/(-1). Let m = c - -16/75. Do r and m have the same value?
False
Let s be ((-51406039695)/6588)/5 + 0. Let r = s - -1560596. Let v = r + 1/244. Which is bigger: v or 0?
0
Suppose 0 = -4*n - 0*l - l + 20, n = l + 5. Let u(i) = i - 3. Let m be u(n). Suppose 7*g = m*g - 10. Which is bigger: -1 or g?
-1
Let t = 6 + -3. Let b be 0/t - (-2)/(-1). Suppose 0 = 4*l, 0 = -w - 5*l - 3 + 1. Is w greater than b?
False
Suppose -3*i - 2*i - 75 = 0. Let h be (-5)/i + (-2)/8. Which is smaller: h or -1?
-1
Let o = 8 - 3. Let t(z) = z**2 - 6*z + 7. Let p be t(o). Suppose -4*w = -2*h + p, -3*w + h = -2*h + 6. Which is smaller: 0 or w?
0
Let x = -60 + 57. Which is smaller: 1 or x?
x
Let h = 4 - 7. Let c = h - -3. Which is greater: -1 or c?
c
Let r(d) = -2*d**2 + 3*d + 1. Let z be r(-2). Let u = 12 + z. Which is smaller: -2/17 or u?
u
Let u = -0.02 - -5.02. Let c = 5.1 - u. Which is smaller: -0.3 or c?
-0.3
Let j = -1031874/7 + 147721. Let h = 311 - j. Which is bigger: h or 0?
h
Suppose -9*q + 4*q + 45 = 0. Let w be (-6)/9 + (-30)/q. Which is bigger: -3 or w?
-3
Let h = 20 + -8. Let d = h + -17. Let j = -5 - d. Which is greater: j or -1/2?
j
Let o = 15796/13 - 1214. Is o equal to 0?
False
Suppose 2*k + 8 = -4*a - 2, -2*k + 2 = a. Let v(s) = -6 + s**2 + k + 7 + 8*s. Let n be v(-8). Is n less than -1?
False
Let v = -1.7 - -1.8. Suppose -6 = -3*z + 3. Which is smaller: z or v?
v
Let s be (-26)/(-4) + (-24)/16. Suppose -7*j - 2 = -s*j. Is j smaller than 0.1?
True
Let h = 853/9 + -95. Let b = -3 + 3. Is b > h?
True
Suppose -5*c = -9*c + 4. Is c at most 19/10?
True
Let w be ((-4)/(-30))/(40/175). Let q = w - 5/4. Which is smaller: 3/17 or q?
q
Let r = -0.2 + -0.1. Let p = r + -0.7. Is p greater than 2/17?
False
Let d = 0 + -4. Is -4 less than or equal to d?
True
Let z = 0.17 - 0.87. Let b = -0.8 - z. Are b and 7 nonequal?
True
Let p = -2 + -26. Let l be (2/(-7))/((-12)/p). Let j(m) = -m**2 + 5*m - 1. Let v be j(5). Which is greater: l or v?
l
Let j(g) = 36524*g + 2. Let a be j(6). Let r = a - 9861166/45. Let k = -70/9 + r. Which is greater: 0 or k?
k
Let n be ((-9)/21)/(10/(-35)). Is -0.2 != n?
True
Suppose 2*v + 6 = f, 2*f + 13 + 5 = -2*v. Let r be (-6 - 2)*2/f. Are 5 and r equal?
False
Let a(y) = -y**3 - 3*y**2 + 2*y - 3. Let g be a(-4). Suppose -2*p + 3*p + 4*q - 2 = 0, -g*p - 2*q - 8 = 0. Is p less than -3?
False
Let c = 97 - 97. Let o(s) = s**3 - s + 1. Let z be o(1). Which is smaller: z or c?
c
Let p be -1 - (56/(-22) - -1). Let n = -139 - -140. Which is smaller: n or p?
p
Let z = 1 - 10. Which is greater: z or -8?
-8
Suppose -5*o = 248 + 192. Let s = -1145/13 - o. Which is smaller: 0 or s?
s
Let o = -1.5 - 5.5. Let p = 88 + -95.1. Let a = p - o. Which is bigger: -6 or a?
a
Suppose -18 + 2 = -4*k. Suppose 5*m -