. Let z be d(-1). Let m = z - 9. Does m = 3?
True
Suppose 2*m = 3*z - 14, 2*m + z + 3 = -3. Let b be 8/(40/(-291))*5. Let u be (b/33 - -4) + 4/(-22). Is u != m?
True
Let q be 1/((-2)/(-4)*-1). Suppose 0*f - 30 = -3*f. Suppose -5*n + 0*h + 5*h - f = 0, -2*n = 3*h + 4. Is n not equal to q?
False
Let c = -16.64 + -0.36. Let j = -1327 - -1345. Let m = j + c. Is m bigger than -0.01?
True
Let j = -0.2 + 0.1. Suppose -3*o - 171 = 3*g, -6*g + 10 = -11*g. Which is smaller: j or o?
o
Let h = -18 + 31. Let q = h - 13.2. Which is smaller: q or -2?
-2
Suppose 9*d - 4*d - j - 5 = 0, 20 = 5*d - 4*j. Suppose -4*s + 4*c = -12, s - 2*c - 1 = 1. Suppose 0 = -s*p - p + f - 9, -3*f = -12. Is p < d?
True
Let u = -1608 + 1609. Which is smaller: u or -21/58?
-21/58
Let n be (-2 - 1)/(-21) - 3376/420. Let h = 39/5 + n. Which is greater: h or 1?
1
Let x = -544 - -10879/20. Which is smaller: -2 or x?
-2
Let o = 209 + -209. Which is greater: o or 12/25?
12/25
Let i be -4 + 1812/(-42)*2/(-22). Is 1 at most as big as i?
False
Let m be 4698/1173 + (8 + -6)*-2. Let a be ((-264)/(-18))/(2346/(-143)). Let y = m + a. Which is bigger: y or -2?
y
Let d = 5 - 9. Let f = d + 4. Let m = -168 + 1174/7. Which is bigger: f or m?
f
Let l(h) = -4*h + 39. Let b be l(15). Is b != -98/5?
True
Let v(r) = -r**2 - 2*r + 2. Let u be v(1). Let d = -212/345 - -8/23. Are d and u non-equal?
True
Let m = 840 - 82317/98. Is m < 1?
True
Let n = 7727/21 + -1085/3. Is n greater than or equal to 1/3?
True
Let d be 3*(-2)/6 - -16. Is 15 < d?
False
Let t = -712 - -712. Do t and -24/41 have the same value?
False
Let m be -1 + (-2)/6*0. Let t = -14919/236 + 253/4. Is m >= t?
False
Suppose -s = 6 - 7. Do -332 and s have different values?
True
Let q(w) = 5*w**2 + 2*w + 3. Let u be q(-2). Let v = 23 - u. Which is bigger: v or 5?
5
Let u = 0.7 + -0.7. Let k = u - -5. Let s = -7 - -6. Which is smaller: s or k?
s
Let q = -196/13 - -665/26. Suppose -7*t + 3*t + 48 = 0. Which is bigger: q or t?
t
Suppose 30 = 11*y - 5*y. Suppose -2*w + 3*k - 2 = -3*w, -y*w + 3*k = -64. Are 11 and w non-equal?
False
Let k(y) = 3*y - 184. Let s be k(37). Is s bigger than -67?
False
Let k(a) = -a - 3. Let j be 3*(1 - (3 - 1)). Let w be k(j). Let s = -2/147 - 425/1176. Is s at least as big as w?
False
Let w = 0.9 - -12.7. Let u = 1.4 + w. Let k = u + -19. Which is smaller: k or -1?
k
Let o = -774 - -708. Which is smaller: o or -472/7?
-472/7
Suppose -s - 125 = -3*g, 4*g - 26 = -s - 158. Is -128 at least as big as s?
True
Let q = 0.0196 - -0.6104. Which is smaller: -7 or q?
-7
Let q be 21/(-2)*8/30. Let m be (-42)/75*(-72)/(-14). Let a = m - q. Is a < -1?
False
Let h(t) = t**2 + 13*t - 6. Let v be h(-14). Suppose -2*c - 3*i = 9, -2*i + v = c - 3*i. Is 7 less than or equal to c?
False
Let v = 240 - 190.4. Let w = 50 - v. Is w greater than 22?
False
Let b be (12/6)/(3*(-2)/(-15)). Suppose -b*l - 31 - 76 = 4*f, 2*l - f = -35. Let z be (-19*2/2)/1. Do z and l have the same value?
True
Let d = 0.3 - 0.1. Let x = 0.032 + 3.768. Let w = x + d. Is w < 0?
False
Let v = -0.041 + -34.959. Let y = v + 47. Which is greater: y or 0.2?
y
Let d = -1.6 + 4.16. Let q = d + -0.56. Is 0.2 < q?
True
Let t be (69 - -9)/(48/9 + -2). Is t <= 23?
False
Let w be (-7 - -9)/(2/14). Suppose 0 = 5*l + 9 - w. Which is greater: l or -2/11?
l
Let u(c) = -c**2 + 4*c - 12. Let f = 34 - 29. Let y be u(f). Which is smaller: -16 or y?
y
Let k(n) = -4*n**3 - n**2 - n - 5. Let b be k(2). Is -44 at most b?
True
Let i = -131 + 57. Let d = -78 - i. Which is smaller: 6 or d?
d
Let g = 8059/7 + -1154. Is g equal to -2?
False
Let c be (2058/637)/(3 - 1). Which is smaller: 3 or c?
c
Let x = 384547/33 + -11655. Which is smaller: -2 or x?
x
Let l = -26 + 25.69. Let k = l + -0.39. Are -4 and k equal?
False
Let m = 5 - 5. Let z = 1 + m. Let x = -5.574 - -1.574. Are z and x equal?
False
Let l = 2345 + -2335. Let p = 6/47 + 40/423. Which is greater: p or l?
l
Suppose 631 = 5*s - 114. Which is greater: 2 or s?
s
Suppose -3*p = -4*g + 671, -5*g + 203 = -p - 17. Which is smaller: -226 or p?
-226
Let y = -5/2691 + -869173/10764. Which is greater: y or -80?
-80
Suppose 3*y + 15 = -3*i, 3*y = -5*i - 27 + 2. Suppose -u = 4*c - c, -2*u - 2*c = y. Suppose -r + 5 = -2*l, u = 2*l - 7*l + r - 5. Is 4/3 greater than l?
True
Let v = -0.0347 - 0.0253. Which is smaller: v or -18?
-18
Let q be -3*((-17)/(-15) - 1). Let r = -14.14 + 14. Let b = r + 1.14. Do q and b have different values?
True
Let y = 7 - 5. Let v(b) = -b + 11. Let n be v(9). Suppose n*c - 4*c = 4. Which is greater: c or y?
y
Let n = -7 + 2. Let v = n - -12. Is v greater than -1/5?
True
Suppose -7*v + 1230 = 1279. Which is greater: 5 or v?
5
Let a = 164 - 163. Do 55 and a have the same value?
False
Suppose -384 - 80 = -4*y. Let l = y - 816/7. Which is smaller: 0 or l?
l
Let g be 123/(-574)*(7/3 - 3). Let m = -1.5 + -0.5. Let n = m - -7. Is g greater than n?
False
Let w be ((-2)/(-6))/(1 - 0). Let b = 41.23 + -41. Let u = 4.23 - b. Is w at most as big as u?
True
Suppose -36 = 3*n - 24. Let x be (-4)/(-2) + (144/15)/n. Which is bigger: x or 1/8?
1/8
Suppose -34 = 15*c - 13*c. Suppose m + 1 = -0, 4*q + 2*m + 66 = 0. Which is greater: q or c?
q
Suppose 6*w = -5*k + 7*w - 143, -5*k = -5*w + 135. Is -29 at most as big as k?
True
Let m = -2 + -4. Suppose 9*f - 4 = -4. Suppose l + 1 = -f. Which is greater: m or l?
l
Let v(p) = 3*p + 1. Let b be v(3). Suppose -r - 4*g = 2*r + 22, -2*g + b = -2*r. Suppose 3 = -o + 1, 0 = 5*d + 4*o + 18. Is d > r?
True
Let a = -35 + 80. Let d = a - 32. Are d and 13 nonequal?
False
Let h = -3/593 + -4723/4151. Let v = 90 - 63. Let n be ((-8)/3)/(-2)*v/(-18). Is h not equal to n?
True
Let j = -19 + 31. Suppose 5*i = -4*m + 40 - 16, -2*m + 24 = 4*i. Let l = j - i. Which is smaller: 0 or l?
0
Let a = -173/481 - -19/37. Which is greater: 1/2 or a?
1/2
Let p be 4/66 - (-76)/(-3135). Let h = 2 + -2. Suppose -o + 4*o = h. Which is smaller: o or p?
o
Let u = 39 + -37. Suppose u*z + 12 = 6*z. Suppose 9*h - 8*h = 3. Is h smaller than z?
False
Let z(c) be the third derivative of c**6/120 - c**5/30 - c**4/6 + 8*c**2. Let t be z(3). Is t at most -3?
True
Suppose -5*o = -0*o + 5. Let m(f) = f**3 - 6*f**2 - 6*f - 10. Let u(w) = w**3 + 5*w**2 + 2*w - 1. Let z be u(-4). Let p be m(z). Are p and o equal?
False
Let k = -15 + 20. Suppose 0 = -k*z - 2 + 7. Is z at least as big as 3/2?
False
Let k = -6814/5 - -1367. Suppose 7*a + 2*g = 3*a + 18, 3*g = 4*a - 13. Which is smaller: k or a?
a
Let g = -135 - -59. Let x be g/399 - (-4)/(-6). Is -3 smaller than x?
True
Let l = -2/59 - 55/118. Let u = 0.26 + -0.22. Is l > u?
False
Let u = 2710717/794 + -3414. Which is bigger: u or -1?
u
Let f(x) = 3*x - 75. Let a be f(-25). Is -452/3 smaller than a?
True
Suppose -844*j = -848*j + 56. Suppose 5*a + k = 56, -4*a + 4*k + 56 = 2*k. Is j < a?
False
Suppose -p - 12 = 3*p. Let k = -2/903 + -1675/903. Which is greater: k or p?
k
Suppose -2*l - 2*h - h - 7 = 0, -3*l - 5*h = 13. Suppose 5*s - l*s - 2 = 0, 3*s + 130 = 4*o. Let q be o*2/(-18) + 4. Which is smaller: -1 or q?
-1
Let y = 262 + -262. Is y smaller than -5/21?
False
Let k be (-1 + 7)/(159/(-106)) - -3. Let r = -32269/7 - -4641. Let x = 6308/203 - r. Which is smaller: x or k?
k
Let q(i) = -i**3 - 2*i**2 + 5*i + 2. Let r be q(-3). Let d = r - -25. Suppose 3*p = 4*p - d. Is p less than 22?
True
Suppose -48*f - 45 = -39*f. Is -5 at least f?
True
Let i(n) = -n**2 + 3*n + 4. Let l be i(-2). Let r be 0 - (15/l + 2)*6. Is r bigger than -8?
True
Let d be 57/(-162)*5/5. Let v = d + 1/54. Suppose 2*l + 3 = 5*s + 2, -4*s + 3*l - 2 = 0. Is v at most s?
True
Let y(k) = -k**3 + 11*k**2 + 26*k + 2. Let g be y(13). Is g at most 4/7?
False
Let n(f) = -12*f**2 + 3*f - 2. Let s be n(1). Let p be ((-1)/s)/(1/4). Is p at most 0?
False
Let h = 213 - 213. Which is bigger: -4/21 or h?
h
Let p(a) = 8 + 2*a + 4*a - 4*a. Let s be p(-5). Let k be (-1 - (-3 - s))/1. Which is smaller: -3/10 or k?
-3/10
Suppose 5*u - l - 3 = 0, 2*u = 3*l + 7 + 2. Which is bigger: u or -11/34?
u
Let o = -10.4 - -6. Let t = 4.5 + o. Is 0.03 >= t?
False
Suppose 0 = 5*a + 2*u - 1, a - 2 = -3*a - u. Let o = -56/5 - -219/20. Is a not equal to o?
True
Let b(c) = -215*c + 258. Let v be b(2). Which is greater: v or -857/5?
-857/5
Let q = -0.8 - 0.2. Le