n = 3*n + d. Are n and 1 nonequal?
True
Let q be (-8)/(-5)*(-1)/4. Suppose 3*u + 2 + 1 = 0. Which is bigger: q or u?
q
Suppose -5*b + l = -3*l + 55, -l + 33 = -3*b. Which is smaller: -10 or b?
b
Suppose 0*f - f - 5 = 0. Let d be (-166)/10 - (-2)/f. Let l be (d/7 - -2)/(-1). Which is smaller: l or 0?
0
Let x be (3/(-9))/((-2)/(-11)). Are -2 and x unequal?
True
Suppose 0 = 98*u - 88*u - 90. Let a(m) = -m**3 + 8*m**2 - 5*m - 5. Let h be a(7). Is u > h?
False
Let p(t) = 1 + 0*t**2 - t**2 - 5 + 7*t. Let d(b) = b**3 + 9*b**2 - b - 3. Let r be d(-9). Let z be p(r). Is 2 smaller than z?
False
Let h be -6*((-3)/12)/1. Which is greater: h or -6?
h
Let q = 14 - 0. Suppose 48 = -i - 4*l, 0 = -2*i - 5*l - 98 + q. Let d be 6/(-21) + i/(-63). Which is smaller: d or -1?
-1
Let b = 12 + -6. Let a = 0 - b. Let n be (-2 - -2)*(-3)/a. Which is smaller: n or 1/10?
n
Let d be (6/9*-3)/(-1). Let n(k) = -k**3 - k**2 + 2*k + 1. Let r be n(-2). Which is smaller: r or d?
r
Let s = -0.1 + -2.9. Let d = 4 + s. Are d and -3/4 unequal?
True
Let a = -0.2 + 0.3. Let o = 4.2 + -5. Let m = -1.3 - o. Which is greater: a or m?
a
Let t = 33 - 22. Let k = 8 - t. Let u = 3 + k. Which is greater: 1/6 or u?
1/6
Let z(d) = d**2 - 4. Let s be z(-3). Suppose 0 = -b + 5*m - 14, -s*m - 1 + 14 = -2*b. Is b < -2/9?
False
Suppose -3*r - 3 = 9. Let i be 12/r - 22/(-6). Let y = 0 + 1. Is y >= i?
True
Let j(a) = a**2 + 6*a - 5. Let f be j(-7). Let x(p) = -p**3 + p**2 + 2. Let t be x(0). Suppose -t*g - 7 = h, 2*g + 16 = -0*h + 2*h. Are f and h unequal?
True
Suppose -c - 19 = -3*g, 2*c + 5 = -g + 2. Let n be (c/8)/((-4)/2). Is 0 at most n?
True
Let r = -521 - -522. Let b(y) = -2*y**2 + 9*y + 1. Let d(u) = -u**2 + 8*u + 1. Let c(m) = -2*b(m) + 3*d(m). Let x be c(-6). Is x < r?
False
Let c = 182 - 192.1. Let v = c - -10. Is v bigger than -2?
True
Suppose -24 = 4*a - 0*a. Suppose 0 = -i - 3*j - j + 23, 30 = 2*i + 4*j. Let n = i + a. Is 2/5 >= n?
False
Let y(p) = p**2 - 4*p - 4. Let s be y(4). Let l be (76/s)/((-150)/1). Let t = l - -1/25. Which is greater: t or 0?
t
Let k(m) = m**3 + 5*m**2 + 5. Let d be k(-5). Which is greater: d or 4?
d
Let h = 6 + 11. Is 17 less than or equal to h?
True
Let m(t) = t**3 + 4*t**2 + 5. Let j be m(-4). Suppose 5*a = -u + j, -a - 3*a + 3*u - 15 = 0. Is 1 at most as big as a?
False
Let p be (2 - 1)*4/38. Is p > -1?
True
Let z(t) = 2*t + 12. Let c be z(-10). Suppose -j - 20 = 3*j. Let g = c - j. Which is smaller: g or -2?
g
Suppose -2*m - 3*y = -11, 2 = -4*m - 0*m + 2*y. Let p be 2*1 + (-3 - m). Let b(a) = 2*a + 10. Let l be b(-5). Which is bigger: l or p?
l
Let y = -0.02 - 0.38. Let s = 13 + -13.6. Let q = s - y. Does -2/7 = q?
False
Let t = 3 + -3. Suppose 3*a = 7*a + 4. Which is bigger: t or a?
t
Let u be 1/6 + (-1084)/456. Let o = u + 248/95. Suppose 0*l - l - 1 = 0. Which is bigger: o or l?
o
Let q(b) = -3*b + 13. Let w be q(-7). Do 34 and w have the same value?
True
Suppose 5*v - v = 4. Which is greater: v or -6?
v
Let w = -0.06 - -0.16. Let f = 29.8 - 35. Let r = 5 + f. Which is smaller: w or r?
r
Let f = -3 + 3. Let w = 0.3 + -2.3. Let v = f - w. Is -1 less than or equal to v?
True
Let t = -0.9 - -1.1. Let z = t - 5.2. Is z < 1?
True
Let r = 0.04 + -0.34. Let t = r + -4.6. Let u = 5 + t. Which is smaller: 1/4 or u?
u
Let n(q) = -q**2 + 4*q + 4. Let y be n(5). Let w = 2191 - 4491/2. Let s = 53 + w. Is y < s?
False
Suppose -l = h, -2*l - 30 = -4*h - 0*h. Suppose a = 2*u - h, -u + 3*a + 5 = 3*u. Which is smaller: u or 4?
4
Let b = 48 - 52.1. Which is smaller: b or -1?
b
Let v be ((30/(-28))/(-5))/((-6)/80). Do v and -4 have the same value?
False
Let l = -1.5 - -13.5. Let b = -11 + l. Let a = 19 - 13. Do b and a have the same value?
False
Let a = -17.4 - -19. Let x = 0.6 - a. Are -6 and x nonequal?
True
Let g be (5 + -13)/4 - -1. Which is smaller: g or 4/17?
g
Let x be -1*(-4 + (-15)/(-3)). Does x = -1/24?
False
Suppose 0*o - 2 = 4*o + 2*u, u - 9 = 3*o. Let f be ((-10)/(-6))/(o/(-6)). Is 4 at most as big as f?
True
Let p(v) = -v**2 - v + 40. Let a be p(0). Let j be a/(-12) + 2/6. Which is bigger: j or -2?
-2
Let b = 9/112 + -145/4592. Which is smaller: b or -1?
-1
Let x be ((-3)/18*4)/2. Let t = 2 + -1.7. Let o = t + -0.1. Which is smaller: x or o?
x
Suppose 0 = -0*g - 2*g + 10. Let s be (-2)/(-4) - g/(-40). Which is smaller: -1 or s?
-1
Suppose -f + 1 + 2 = 0. Suppose -l = 4*t, -f*t - 2*t = 0. Is l >= -10/9?
True
Let g be (1 - -3) + 210/(-55). Is g equal to 3?
False
Let y be ((-18)/15)/((-104)/20). Which is smaller: -1 or y?
-1
Suppose 0 = 5*z - h - 34, 2*z - 22 = z + 4*h. Suppose z*q + 24 = 2*q. Are -6 and q equal?
True
Suppose 4*w + 20 = -4*d, 0*d = 5*w + 2*d + 19. Is -15/8 at most as big as w?
False
Let r be 48/9 + -4 - (-2 - -3). Which is smaller: 1.9 or r?
r
Let f = 5 - 3. Suppose -5*n + 81 = -l + 5*l, f*n + 30 = l. Let o be 11/4 + 6/l. Does o = 3?
True
Let h = 24 - 14. Suppose -12*l + 4 = -h*l. Which is smaller: l or -2?
-2
Let n be -2 - (-4)/((-48)/(-4209)). Let l = -347 + n. Does l = 0.1?
False
Let u be ((2/(-5))/2)/1. Let t = 109.9 - 115. Let w = t + 5. Is u greater than or equal to w?
False
Let v = -15 + 13.6. Let g = 1 + v. Let t = -0.449 - -0.449. Is g != t?
True
Let o be -1*0/((-8)/2)*-1. Which is bigger: -3/28 or o?
o
Let o = -910 - -17295/19. Is o at most 0?
False
Let u be -3 + 3 - (-1 + 2). Suppose -2*k + 3*s - 5*s = -104, -5*k - s + 276 = 0. Let q be 18/k + (-5)/20. Are u and q unequal?
True
Suppose -4*y = -4*t - 3*y + 27, -5*y - 23 = -4*t. Let x = t - 3. Suppose 0 = -x*f - r - 14, -2*f + 6*r - 2*r + 2 = 0. Is f > -2?
False
Let y = -23 + 22. Is y bigger than -6/17?
False
Let n(s) = 4*s**2 - s - 3. Let o be n(3). Suppose 4*b + o - 6 = -2*m, -b - 6 = -5*m. Is -7 less than or equal to b?
True
Let w be (-8)/(-5) + 6/15. Suppose w*b - 4 = -0*b. Which is bigger: b or 1?
b
Suppose 23 = -4*y - 17. Let s be ((-4)/y)/((-3)/15). Let m = 3 + s. Is m less than or equal to 0?
False
Let z = 34 + -48. Which is greater: -9 or z?
-9
Let x = 2.6 - 0.6. Let b = x - 3. Let p = -5 - -5.04. Which is smaller: b or p?
b
Let h be 14/(-4) - -1 - -2. Let a = 2 - 4. Let s = a + 3. Is h at least s?
False
Let v = 0.53 + -0.03. Let b = 4.5 + -7. Let u = v + b. Which is smaller: u or 1?
u
Let l = 544/445 + -2/89. Suppose -5*r = -0*r - 5. Which is smaller: l or r?
r
Let i(r) = 13*r - 4. Let s be i(1). Which is smaller: s or 15/2?
15/2
Let l = 25/71 + 6311/426. Let k = -35/3 + l. Is k smaller than 3?
False
Let r = -17510/21 + 834. Which is greater: -1 or r?
r
Let o = 3 - 4. Let z = -717/5 + 143. Which is greater: z or o?
z
Let c = -12 + 35/3. Let h(n) = -n**3 - 7*n**2 - 6*n + 4. Let u be h(-6). Let q = -4 + u. Which is smaller: q or c?
c
Let f be 18/81 + 274/(-18). Let a = -5 - f. Is a != 11?
True
Let o(y) = -y**3 - 4*y**2 - 4*y - 2. Let c be o(-4). Let x be (c/3)/(2/6). Let s be 4/(-14) - (-18)/x. Is s less than or equal to 2?
True
Let u = -78 - -79. Is 20 greater than u?
True
Let y(g) = -2*g - 3. Let d be y(-4). Suppose d*j - 13 = 3*p, -p - 4*j = -3*p - 8. Let t be 25/12 - p/(-8). Which is bigger: 2 or t?
2
Let s be ((-12)/(-15))/((-4)/(-10)). Suppose 5*p - 2*r = -10, 0*r = -s*p - 5*r + 25. Let c be (0/8)/(0 - 1). Is p equal to c?
True
Suppose -3*y - 3*d = 3, -1 = -2*y + 2*d + 13. Is 3 less than y?
False
Let k = -23 - -23.1. Let l = 86 - 169/2. Which is bigger: l or k?
l
Let w = 45 + -20. Are 25 and w nonequal?
False
Suppose -4*k = 2*j + 54, 5*j - 4*k = -89 - 4. Is -22 <= j?
True
Let v(b) = 18*b**3 + b**2 - 1. Let h be v(-1). Let c be 22/h - 8/(-36). Let r be (3 + 1)*c/(-18). Which is smaller: 0 or r?
0
Let x = 25 - 53. Is 1 at least x?
True
Let f = -18 - -20. Which is smaller: -0.7 or f?
-0.7
Let b(r) = 3*r - 5. Let n be b(9). Suppose -2*f = f - 3, -2*f - n = 4*m. Is -6 equal to m?
True
Suppose 6*h - 2*h + y + 100 = 0, 88 = -3*h - 4*y. Let o = -73/3 - h. Suppose c + 0*c = 0. Which is bigger: c or o?
c
Let o = -56 - -57. Let p = 311/112 + -19/7. Do p and o have the same value?
False
Let v = 3.3 + -3. Let k = -0.83 + 0.83. Which is greater: k or v?
v
Let r = 17 - 31. Let z be (-8)/(-28) + (-10)/r. Which is smaller: z or 2?
z
Let j = 239/341 - 7/11. Suppose 0 = -4*b + 2*d, -2*d + 12 = 4*b + 2*d. Which is smaller: b or j?
j
Let y = 5.989 + 0.011. Which is greater: 2/17 or y?
y
Le