(-1). Do j and w have different values?
True
Let q be (-207)/540 - (-1)/4. Are 3/7 and q equal?
False
Let h be (-156)/(-8)*(-7)/(-6). Let m = -66 + 43. Let c = m + h. Which is smaller: -1 or c?
-1
Let c be (-18)/45 + 7/5. Let j = -39/2 + 21. Which is bigger: j or c?
j
Let j = 6 - 6. Let x(d) = -d**3 + d**2 + 2*d. Let a be x(2). Suppose -y + t - 4 = a, -2*y - 2 = 3*y + t. Which is smaller: y or j?
y
Suppose 0 = 3*h - 8*h - 1430. Let s be (-8)/h - 6/33. Which is smaller: s or -1?
-1
Let p = 152 + -237. Let o = p - -259/3. Are o and 2 non-equal?
True
Let j = -0.08 + 0.38. Let d = j + -0.5. Let u = 0.07 + -3.07. Which is greater: u or d?
d
Let d be 2 + (-21)/9 - 66. Let g = 67 + d. Suppose -5*w = -r + 16 + 6, 6 = -5*r - 4*w. Which is greater: r or g?
r
Let c(t) = t - 23. Let o be c(-12). Is 1 bigger than o?
True
Let f = -6 - -8. Suppose -2*o + 4*o = -f. Let d = -5 + 5.3. Which is smaller: d or o?
o
Let w = -0.02 - -4.02. Let o = w + -3.9. Let g = -5 - -4.98. Which is greater: o or g?
o
Suppose 5*a + 12 - 31 = -2*d, -2*d + 7 = a. Is 3 <= d?
False
Let q = -4 + 12. Suppose 6*j = 2*j - q. Let d(y) = -4*y - 2. Let c be d(j). Is c > 6?
False
Let i = -2.99 - -3. Let v = 1.01 - i. Is 0.05 < v?
True
Suppose 5*w - 5*p = 15, 10*w - 3*p = 5*w + 7. Let a be 3 + (-208)/35 - -3. Which is bigger: a or w?
a
Suppose -2*m + 3*v = -22, -13 = m + 3*v - 6. Suppose 0*f = -f + m. Is f != 5?
False
Suppose 0 = 16*m - 15*m + 3. Which is smaller: m or -3/2?
m
Let r = 2.43 + -2.3. Let i = -2.53 + r. Let t = i - -0.4. Which is bigger: -1/2 or t?
-1/2
Suppose 0 = -2*z + 4, -3*o - z = o - 18. Let t be (9 - 3)*o/3. Which is smaller: t or 7?
7
Let i(p) = 52*p. Let r be i(1). Let g be 1/(-4) - (-5)/r. Suppose 3*j - 13 = -4*d, -d + 6*j + 13 = 10*j. Which is smaller: d or g?
g
Let i = 5 - 4. Let v = i + 1. Which is greater: v or -1?
v
Let y = 352/7 + -50. Let q = 1 - 0. Let t be q*(-2)/(1 + -3). Which is smaller: y or t?
y
Let p = -65.4 + 58. Let b = 23 + -16. Let t = b + p. Is t less than -1?
False
Let h be (-79918)/12 + (-4)/(-6). Let n = h - -6679. Let d = 55/3 - n. Is -3 at least as big as d?
False
Let k = -2 - -2. Let d = -6 - -5.9. Which is smaller: k or d?
d
Let n be -4*(6/8 - 1). Let p(o) = -o - 4. Let b(i) = -3*i + 2. Let c be b(2). Let l be p(c). Which is smaller: n or l?
l
Let l = -268/1595 + -2/145. Let r(i) = -i - 5. Let n be r(-5). Which is smaller: n or l?
l
Suppose -5*t + 7*t + 74 = 0. Which is smaller: -36 or t?
t
Suppose 9 = -d - 0*a + 4*a, 2*d + 5*a = -83. Is -29 at least as big as d?
True
Let m = -3.6 - -2. Which is greater: 0.1 or m?
0.1
Let s be (2 - ((-726)/(-117) + -4))*3. Which is smaller: s or -2?
-2
Suppose 0 = 4*d + d + h + 19, 4*h + 13 = d. Let w be ((-18)/8)/(d/12). Which is smaller: 8 or w?
8
Suppose -3*y = -2*f, -4*y + 9*y + 7 = f. Let z = 11 - 7. Let j = z + y. Is -1 < j?
True
Let n be ((-12)/(-8))/(9/(-4)). Are 2/15 and n unequal?
True
Let b = -18847/13 - -1449. Which is smaller: b or 0?
b
Let k = -3 - -35/11. Let n be (2/6)/((-3)/9). Is n >= k?
False
Let m = -82 + 245/3. Is -2/5 at least m?
False
Let a = -0.2 + -13.8. Let w = 12 + a. Let r = 2/233 - -460/699. Which is greater: w or r?
r
Let f(i) = -i**2 + 29*i - 19. Let t be f(28). Is t at most 11?
True
Let u = 0.4 + -0.6. Let p = 4 - 4.2. Let d = 0.2 + p. Which is greater: d or u?
d
Let p(w) = -w + 2. Let i be p(0). Let m be (-9 + 1)*i/12. Let f = 25/21 + m. Are f and -1 unequal?
True
Let c = -2.63 - -0.23. Let a = -0.4 - c. Suppose -2*b = 6, 2*o + 4*b + 2 = -12. Is a > o?
True
Suppose 9*x - 4*x = -2225. Let h = 12013/27 + x. Is 0 >= h?
True
Let c be (266/4)/((-1278)/(-4)). Let q = -1/71 - c. Let u(b) = b**3 + 4*b**2 + b + 3. Let p be u(-4). Which is smaller: q or p?
p
Let w(s) = -s**3 + s**2 + 3*s + 2. Let d be w(-2). Suppose 0 = -2*f + 3*f + 2*a - 6, -5*a = -5*f. Suppose -f*c + d = -4*n, 2*n + n + 7 = c. Is c equal to -1/2?
False
Let b be (-34)/153 - (-25)/(-9). Which is bigger: -5 or b?
b
Let w(h) = -h**3 + 5*h**2 - 5*h. Let p be w(4). Let j be (-11)/12 - p/(-16). Is j greater than -2?
True
Suppose -2*q - 7*q = 1224. Is q at least as big as -136?
True
Let n(p) = 2*p**2 + 6*p + 1. Let c be n(-3). Is 6/7 greater than c?
False
Let j = 8 + -15. Let f = 11 + j. Let h = 4.4 - f. Are h and 0 equal?
False
Let f = -5 + 7. Let y = 3 + f. Is 0.1 at least y?
False
Let t = 48 - 46. Which is smaller: t or 16/5?
t
Let v be (-4)/(-6)*(-36)/(-8). Suppose v*y = -2*y + 3*l + 25, 0 = 4*y + 4*l + 12. Suppose 5*n - 4*n = -y. Are n and -2 nonequal?
False
Let y = -29 - -18. Let q = y - -61/6. Suppose -2*g = g. Is q < g?
True
Suppose -5*u = 5*x - 2*u + 72, 8 = x - 5*u. Let f = x - -11. Is f at least as big as -13?
True
Let q be 1/(-7) + 296/(-84). Which is smaller: q or -4?
-4
Let b = 0 + 0. Let k be (6/116)/(3/4). Let a = 33/58 - k. Which is smaller: a or b?
b
Let s = 58 + -53. Is s >= 7?
False
Let a be ((-33)/(-2))/((-3)/(-8)). Suppose 3*y - 28 = a. Suppose 6*i - 3*i = -3*l - 36, -4*i + y = -5*l. Which is greater: l or -9?
l
Let d(q) = -q + 3. Let l be d(1). Suppose 3*a - l*j + 14 = 0, 2*j + 18 = -5*a - 0*a. Is a not equal to -5?
True
Let w = 90 - 86.94. Let l = -0.06 + w. Is -3 at most l?
True
Suppose 4*h - 3*c - 19 = -4, 0 = -4*h + c + 5. Suppose 5*y = -h*y + 10. Do 1 and y have different values?
True
Let d be (-100)/(-164) + 1 + -2. Let s = d + 326/205. Which is smaller: s or 1?
1
Let u = 8.3 + -9.3. Which is bigger: u or 84?
84
Suppose -3*s = 3*l - 15, 0 = 3*s - 3*l - 46 + 13. Suppose s*g = 3*g. Let t = g + -1. Is t > -1?
False
Let d = -154178 + 27289267/177. Let l be ((-2)/(-118))/(((-6)/6)/1). Let m = l - d. Which is smaller: m or -0.2?
-0.2
Let s be (-6)/(-4)*(-2 + 4). Let l(o) = -o + 5. Let a be l(3). Is a smaller than s?
True
Let a = -1/14 - 23/70. Which is smaller: -1 or a?
-1
Let w = 42040 - 4288033/102. Let n = w - 22/17. Which is bigger: -2 or n?
n
Let l(p) = -p - 6 + 6*p - 4*p. Let o be l(8). Suppose -o*d + 3 + 1 = -3*z, 0 = -2*z + 4*d - 8. Do z and 2/5 have the same value?
False
Let o(f) = f**3 - 14*f**2 - f + 6. Let q be o(14). Does q = 4?
False
Let n = 0.035 + 20.965. Which is greater: n or 4?
n
Let y = 19 - 8. Let v = y - 10.9. Which is bigger: v or -2/21?
v
Suppose -4*r - r = 4*a - 16, -2*r + 12 = 3*a. Which is greater: r or 4?
4
Let d be (-16)/(-24) - (-1)/3. Let z be d/3 - (-35)/(-60). Do z and -1 have the same value?
False
Let m = -289/2 - -10111/70. Is 0 < m?
False
Let l = 6 - 12. Let r = l + 6.04. Let j = -0.06 - r. Are 3/5 and j equal?
False
Let x be (6/10)/((-1)/(-5)). Let r be ((-1)/2)/(9/x). Let z(n) = -n - 2. Let o be z(-3). Is o > r?
True
Let u = 3 - 5. Let d = u - -34. Let b = d - 350/11. Is 1 at least b?
True
Let u(o) = -4*o + 32. Let v be u(8). Is v < -2/323?
False
Suppose -2*d + 4*n + 12 = 0, 2*n = 5*d + 4*n + 18. Which is smaller: -9 or d?
-9
Let a = 9.12 - 0.12. Let c = a + -4. Let w be ((0/(-2))/(-3))/1. Which is bigger: w or c?
c
Let z = -4.4 + 2.4. Let d = 0.7 + 0.3. Let q = d + z. Is 4/3 greater than or equal to q?
True
Let u(k) = k**3 - 6*k**2 + 5*k + 1. Suppose 8 = 2*d + o, 5*d - o = o + 29. Let x be u(d). Which is bigger: x or -1?
x
Let b be (-2)/6 + 1445/(-30). Let x = -20 + 67. Let u = b + x. Which is bigger: u or -1?
-1
Let c = -100.19 - -100. Which is smaller: -2 or c?
-2
Let q(a) = 2*a**3 - a**2 + 2. Let x be q(2). Is 15 >= x?
True
Suppose 5*y + 3 = -12. Let x be (-84)/(-136) + y/6. Which is smaller: x or -1?
-1
Let w = -1 - -2. Suppose t - 4 = -w. Suppose -t*s - 2*s = 20. Are -5 and s unequal?
True
Suppose 4*b + 2*a = 6, b + 5*a + 3 = -9. Suppose 9 = -2*f + 5*c, 5*f + 5*c + 8 = b*c. Suppose s + 3*s + 12 = 0. Which is smaller: s or f?
s
Let p = -0.89 + -1.11. Which is bigger: p or -0.6?
-0.6
Let p(y) = y**3 - 6*y**2 + y + 2. Let u be p(6). Suppose -4*x = 56 + u. Is x equal to -15?
False
Let n(q) be the second derivative of q**3/3 - 8*q**2 - 4*q. Let t be n(11). Let j be (3/(-4))/(t/14). Which is bigger: -1 or j?
-1
Let b = 3.8 + -19.8. Which is bigger: b or -0.1?
-0.1
Let b = 1 - -12. Let u = 11 - b. Are -6/11 and u nonequal?
True
Let c = 6 - 2. Is c smaller than 13/4?
False
Let n = 0.2 - -0.1. Suppose 3 = 2*k + 1. Suppose 5*w = k + 4. Which is smaller: n or w?
n
Let m = 35 + -31. Let l = -19.7 - -20. Which is smaller: l or m?
l
Suppose w + 3 - 5 = 0. Let j(o) = -5*