*x = -4*i - 0*i. Does n = i?
False
Let m be (-22)/(-16) - (-15)/(-40). Is 3 >= m?
True
Let q be 69 - 1/(1/(-4)). Let k = -947/13 + q. Which is smaller: 0 or k?
0
Let u = -0.4 + 2.4. Let q = 2.48 + -2.48. Are q and u unequal?
True
Let b = 19 - 15. Which is smaller: b or 3?
3
Suppose -3*k - k = -5*a, 0 = -3*a - 2*k. Let b be ((-8)/5)/(-2)*5. Suppose 2*n = -2*n - b. Is n less than a?
True
Let r = 223/100 + -12/25. Let z = r + -2. Let u = 9.1 - 9. Which is greater: z or u?
u
Let n(o) = -4*o - 32. Let p be n(-8). Is p < 4/47?
True
Let g = 49 - 195/4. Is g at most as big as -0.1?
False
Let l = 0.2 - -0.05. Let v = l + 2.85. Let s = 3 - v. Is -0.1 greater than s?
False
Let q = 0.8 + -0.5. Let o = 0.9 - -0.1. Is o <= q?
False
Let i(n) = n**3 + 4*n**2 + n - 2. Let s = -9 - -6. Let v be i(s). Suppose -y - p = 2*p - v, 8 = 3*y + 5*p. Is y < -1?
False
Suppose -16*s - 35 = -21*s. Do -1/2 and s have the same value?
False
Let c = 2/3 - 1/3. Is 2.4 < c?
False
Let d = -118 - -116. Are 3 and d equal?
False
Let j = -5 + 6.9. Let c = j + -2. Let n be (6/(-9))/((-1)/(-3)). Which is bigger: c or n?
c
Suppose 3*c - 12 = c. Is 8 > c?
True
Let w = -278 + 10288/37. Is 1 less than w?
False
Let r(p) = p**3 - 5 + p - 3*p**3 + p**3. Let n be r(0). Let i = n - -7. Which is smaller: i or 1?
1
Let v(q) = 2*q. Let y be v(1). Suppose -3 = -w - y. Which is smaller: w or 0?
0
Let p(x) = -x**2 - 8*x + 11. Let d be p(-8). Suppose y = -3*v + d, 3*y + 9 = 2*v + 2*y. Let s = -3 + v. Which is greater: 5/3 or s?
5/3
Suppose b + 4 = 2*b. Suppose 3 + 1 = b*p. Which is greater: p or -2/15?
p
Let s(m) = m**3 + 4. Let p = 6 + -6. Let q be s(p). Is q at least 3?
True
Suppose -6*k - 62 = 46. Is k less than -19?
False
Suppose -4*w + 4*y - 16 = -2*w, -20 = 4*w - 5*y. Suppose w = -s + 6*s + 70. Let p be 10/s + 8/(-28). Is -2/9 <= p?
False
Let r = 85 + -55. Is r equal to 31?
False
Let w = 18 + -17.93. Let t = w - -6.93. Do t and 0 have different values?
True
Let l be (4/54)/(1/(-3)). Let p = -3 + 4. Which is smaller: l or p?
l
Let z = -18 + 48. Suppose 0 = -5*l + z - 5. Suppose -4*b + 12 = 0, -4*b + 4 = -l*m - 8. Which is bigger: m or -2/29?
m
Let f = 123 - -12. Let y = f + -678/5. Is y equal to 0?
False
Let s = 113 - 112. Suppose 0 = 5*m - 5 - 0. Is s <= m?
True
Let v(b) = b**3 - 2*b**2 - b - 1. Let x be v(3). Suppose -5*a + x*d + 35 = 0, -a + 3*a - 10 = d. Is a > 2?
True
Suppose -o + p = -2*p, -o = p. Let b(x) = 2*x - 5. Let a be b(6). Let i be (-4)/(-6) + a/(-15). Which is bigger: i or o?
i
Let t = 1 - 4. Let z be ((-1)/(-2))/(t/24). Which is greater: -3 or z?
-3
Let v(t) = -t**2 + 7*t - 1. Let k be v(4). Suppose -3*g - 4*b = k - 29, g = 2*b + 16. Is g smaller than 11?
True
Let r = 2.6 - 0.6. Let y = -3 + r. Let b(i) = -i - 6. Let c be b(-6). Which is greater: y or c?
c
Let k(l) = 14*l**3 + l**2 - l - 2. Let i be k(-1). Which is bigger: -16 or i?
i
Let v = -149 + 154. Let g = -303/5 + 61. Is v at most g?
False
Let s be (2 - 4)*-7 - -1. Suppose o = 6*o + s. Are o and -2 non-equal?
True
Let a be (-8)/54*21/(-2). Let o be (7/((-14)/(-4)))/(-4 - -6). Is a at most as big as o?
False
Let i = 18 + -42. Let x be (-6)/(-10) - i/(-30). Is -1 <= x?
True
Let o be (67/36 - 2) + (-2)/(-9). Is 0 at least o?
False
Let t = 8 + -12. Let x(r) = -2*r - 7. Let g be x(t). Which is smaller: 6/7 or g?
6/7
Let t = 6 + -5. Let n be (2 - 3)*(t + 0). Is -3/2 > n?
False
Let u = 66 - 49. Is 15 greater than u?
False
Let c(d) = -d - 6. Let k be c(-7). Let j = 37/51 + -1/17. Is k not equal to j?
True
Let k = 2.6 - 0.3. Let w = 2.3 - k. Which is greater: w or -0.2?
w
Let n be (1/5)/(540/(-1525)). Let d = n + -5/27. Does 0 = d?
False
Let n = -0.05 + 0.15. Let x = 0.4 - 0.4. Let a = x + n. Is a bigger than 1?
False
Let f be (2 + -5 - -2)*-2. Suppose f*v + 2*v + 256 = 0. Let p be (-2)/9 - v/(-36). Is p greater than -3?
True
Let q = 78 + -230/3. Let u(r) = 2*r - 8. Let k be u(4). Suppose 2*h = -k*h. Which is greater: h or q?
q
Let q = -10 - -31/3. Let k be (-2)/5 - 2/(-4). Is k >= q?
False
Let c be (-56)/(-20) - 2 - 12/15. Let j be (-3)/(-6) - 2/8. Is c not equal to j?
True
Suppose 2*x = 4*y - 18, -7*y + 5*x + 35 = -2*y. Let b be (2/3)/(3 - y). Is b less than or equal to 0?
False
Let c(b) = b - 1. Suppose 3*v = -g - 8, 2*g - 5*v - 14 = 3*g. Let f be c(g). Suppose q - 2*q = f. Is -1 at least q?
False
Let c = -20/37 + -1181/74. Let p = -18 - c. Is -3 > p?
False
Let s = -72/205 - 2/41. Let k = -1.91 - -2. Let z = 3.91 + k. Which is greater: s or z?
z
Suppose 21 = 5*z + 6. Let v be (-51)/(-6) - z/6. Is v at most as big as 8?
True
Suppose 0 = 2*o + 4*z - 22, 20 + 0 = o + 5*z. Suppose -3*m - f = 3*f - o, 3*m - 9 = -3*f. Suppose -4*h + 4*b - 4 = 0, h + b = 4*b - m. Is 3 < h?
False
Let m = -15 + 15. Let n be m/2 - 10/(-210). Is n less than or equal to -1?
False
Suppose 2*z - 1 = -2*b - 11, 2*b = 0. Let v = z - 13. Is v smaller than -19?
False
Let b be ((-126)/(-154))/(-1*1). Which is bigger: 0 or b?
0
Let t = 23 + -2. Let u be 3/(-6*t/(-12)). Which is smaller: 0 or u?
0
Let n be ((-10)/6)/(10/(-6)). Are 20 and n non-equal?
True
Let q(j) = j**3 + 11*j**2 + 3*j + 26. Let d be q(-11). Is -14 bigger than d?
False
Let b be 1912/12 + 2/3. Let h be b/55 - 3/1. Let x be 8/12 - (-5)/(-3). Is h equal to x?
False
Let l = 23838821/663 + -35956. Let o = l + 5/39. Which is smaller: o or -1?
-1
Suppose -4*k + 38 = -2*u, 5*k = -5*u + 2*u - 90. Let b = 26 + u. Which is smaller: -26 or b?
-26
Suppose 2*s = -3*s + 185. Suppose 5*v = 3*j - 5, 5*v + 5*j + s = 2*v. Let f be v/6 - (-20)/(-6). Is f > -4?
False
Let n be (-6)/(-9) - 3/(-9). Let q = n - -3. Is 5 at most as big as q?
False
Suppose -3*g + 0 = -3. Let y(t) = -t**3 + t. Let o be y(-1). Which is smaller: g or o?
o
Let w = -13 + 23. Let s = w + -11. Let m = 0 + 0.2. Which is smaller: s or m?
s
Let f = -45 - -42. Is f at least 7/4?
False
Let j be (-3)/2*12/6. Let b = j - -4. Is b equal to 0?
False
Let w = -9 + 6. Let k be 3 + w - 2*-1. Is k > 3?
False
Let j = 6 - 7. Is 7 > j?
True
Let g = 2.1 - 1.7. Let x = -1.6 - g. Is x not equal to -2?
False
Let d(o) = -10*o - 2. Let r be d(-3). Let f be ((-18)/r)/((-6)/7). Is f > 2?
False
Let f = -47 - -48. Is f less than or equal to 6/7?
False
Suppose 0 = -3*x - 5*y - 28, 2*y + 6 + 1 = 3*x. Let j(l) = l**3 - 4*l**2 + 4*l. Let p be j(3). Let t be (1 - -1) + (-1 - p). Which is bigger: x or t?
x
Let d = 3.9 - 31.9. Which is smaller: -1 or d?
d
Let b be 2/8 + (-1)/(-2). Suppose 0 = -3*t - 3*g - 45, 5*t - 3*g + 65 = 2*g. Let p be -2 + (-3)/24*t. Which is bigger: b or p?
b
Suppose t - 2 = -0*t - 5*n, 4*t - 5*n - 8 = 0. Let b(d) = -2*d - 5. Let s be b(-5). Suppose t = -3*a + s. Is a != 0?
True
Let n be (-34)/28 + 2/(-7). Which is bigger: -1 or n?
-1
Let a(o) = o**2 - 3*o. Let j be a(3). Suppose j = 2*c + 3 + 13. Let q be (-10)/(-24) + (-2)/c. Is -0.1 != q?
True
Suppose 7*i + 5 = 2*i. Let j = i - -1. Let o(s) = 2*s. Let g be o(-1). Is j greater than g?
True
Let l be (60/(-9))/2 - -3. Let u(g) = 5*g - 1. Let j be u(3). Suppose 0*z + 2*z - 11 = 3*v, 2*v + 4*z = j. Is l at most v?
False
Let j = 1 + -2. Let p be 92/(-78) + 4/(-26). Which is bigger: p or j?
j
Suppose -2*h + 6 = -0*h. Which is bigger: 33/8 or h?
33/8
Suppose c + c + 10 = 0. Suppose -2*m - g - 1 = 0, -5*m - 4*g + 2*g = 5. Let z = c - m. Is z at least as big as -2?
True
Let j = 63390 - 444471/7. Let p = -106 - j. Which is bigger: -1 or p?
p
Let l = 23654/25 + -946. Is l less than or equal to 0?
False
Suppose -5*v = 4*c - 18, -14 = -5*c + 3*v - 5*v. Is 2 bigger than c?
False
Let z be (-6)/4 - 77/(-46). Which is greater: -1 or z?
z
Let v(c) = -2*c + 19. Let z be v(8). Suppose -d = -z*d. Is d >= 0?
True
Suppose 0 = 4*c + 5*p - 1, -1 + 0 = -p. Is -9/4 greater than c?
False
Let i = 14 + -11. Which is smaller: i or 7/4?
7/4
Let z be (-8)/12 + 64/42. Which is bigger: 2 or z?
2
Let y be ((-2)/3 - 0)*12. Let h be ((-4)/(-10))/(y/(-10)). Suppose -2*x = -4*j, -3*x + 7*x + 10 = -2*j. Are j and h equal?
False
Suppose -3*q - 7 = 11. Let s = q - -5. Which is bigger: 4 or s?
4
Let i = 13 - 13. Which is smaller: -20 or i?
-20
Let k(c) = -c**3 - 10*c**2 - c - 6. Let l be k(-10). Suppose 4*u - l = -h - h, 3*h = -u + 1. Let n = -36 - -217/6. Is n != h?
True
Let x = -4 - -3. Let u = 7/4 - 1/4. Let q = x + u. Is q > 2?
False
Let f = 