. Let p be m(-12). Suppose -415 = -7*d + p. Does d = 69?
False
Suppose -4*m = 4*z - 44, -5*z - 6 + 31 = 0. Suppose -14*y + 17*y - 4*f = -m, 10 = -5*y + 2*f. Which is greater: y or -12?
y
Let i(y) be the first derivative of -y**4/4 - 8*y**3/3 + 8*y**2 - 11*y - 4. Let u be i(-10). Which is greater: u or 31?
31
Let o = -1176 + 1162. Is o at most as big as 8/9?
True
Let z be (1/2)/(15/36). Let u be (11 - 11)/(8 - 9). Is z smaller than u?
False
Let v be (10/(-25))/(13/(-29250)). Let u be ((-6)/(-5))/((-18)/v). Is -57 less than or equal to u?
False
Let p = -165.4 - -167.18. Which is smaller: -5 or p?
-5
Let l = 64.5 + -64.793. Let i = -0.707 + l. Which is greater: -5/18 or i?
-5/18
Suppose -16*s + 5*s = 770. Let w = s - -61. Let f = w - -8. Which is smaller: -9/8 or f?
-9/8
Let g = 1496 + -1496. Is g at least as big as 41.4?
False
Let i(a) = 3*a**3 - 145*a**2 + 52*a - 193. Let p be i(48). Which is greater: -158 or p?
p
Let d be (-35)/((-1)/((-12)/16*8/(-6))). Which is greater: 34 or d?
d
Let c = 635 - 1221. Let f = -309 - c. Is 276 bigger than f?
False
Let s = -18 - 32. Let k = 57.3 + s. Let u = -3.3 + k. Do -3 and u have the same value?
False
Let y(a) = 60 + 29*a + 11 - 11*a - 21*a - 14*a. Let l be y(4). Is l smaller than 60/17?
True
Let j(c) = c**2 - 8*c + 23. Let y be j(13). Let q be (-4)/10*(-1 - 6 - 8). Suppose q*t - 4*d + y = 2*t, d = 2*t + 41. Are -18 and t equal?
False
Let g = -7022/1945 - -4/389. Let r = g + 4. Is r greater than -88?
True
Suppose -63*h - 212 = -65*h. Suppose 9*c + h = 13*c + 2*q, 0 = -5*c - q + 125. Which is greater: 5 or c?
c
Let u = -3194 + 3198. Which is greater: 0.33 or u?
u
Suppose u - 5*n - 24 = 0, u + 9 = -4*n - 12. Let z be 44/45958*4182/(-4) + (-2 - 18)/(-20). Is u bigger than z?
False
Let x = -2621 + 18187/7. Do x and -23 have the same value?
False
Suppose -16*n + 22*n = 60. Let h be (-4)/n - 154/165. Is -22 greater than or equal to h?
False
Let r be -5*2/4*424/(-10). Suppose -r = -6*t - 16. Which is smaller: 17 or t?
t
Let g be ((0 - -4)/1)/(2/229). Let o = -16947/37 + g. Which is smaller: o or 0?
o
Let l be (-384)/15*((-108)/24 - 8). Which is smaller: l or 311?
311
Suppose -9*x = -12*x. Let y = 7890 + -7840. Which is smaller: y or x?
x
Let h be 105/84 + (-479)/(-4). Suppose -6*m - 189 + 921 = 0. Is m less than or equal to h?
False
Let x = -63292999153/423379258 + -72/352229. Let v = x + -3/601. Let c = v - -153. Which is bigger: 3 or c?
c
Let r be (-3)/((-356)/(-56)*21). Suppose -3*p + 10 = 2*i, 0 = -i + 2*i + p - 3. Which is smaller: r or i?
i
Let c = -825 - -25573/31. Let f(u) = -u - 2. Let t(v) = 4*v + 5. Let y be t(-2). Let x be f(y). Which is greater: x or c?
x
Let f be 69820/(-4350) + 1 + 15. Which is smaller: f or 1?
f
Let a be ((-12)/(-1) - 0)/(9/6). Suppose -5*p - h = 366, 5*p = -13*h + a*h - 370. Which is smaller: p or -287/4?
p
Suppose 8 + 31 = 13*l. Suppose 9*d - 14*d = -165. Which is smaller: l or d?
l
Let s be -2*1 - (569764/13910 + -43). Which is smaller: s or 1?
s
Let s be ((-2)/(-18) + (-589625)/477)/23. Is s equal to -54?
False
Let r(x) = -x**3 + 9*x**2 - 2*x - 15. Let o be r(8). Let a = o + 3. Let n = a + -32. Which is greater: 2 or n?
n
Let y be 33/22*(-12)/9*-3. Suppose 0 = y*k + 60 + 36. Is 0 equal to k?
False
Suppose -4*h = 5*b - 20, -35*b + 31*b + 16 = -3*h. Which is greater: 77.7 or h?
77.7
Let b = 0 + 0. Let h be ((-375)/300*2/590)/((-2)/8). Which is greater: h or b?
h
Let w = 7 + -6. Let u be (5 - 6090/763) + (-3)/(-1). Let x = u + -147/2071. Which is smaller: x or w?
x
Let y = 58.73 + -36.73. Do y and 47 have the same value?
False
Let p be (-3)/(-58)*(-1)/(-3). Let t = 225 - 226.65. Let x = -1.55 - t. Which is greater: x or p?
x
Let m = 19881 + -19882. Let j be (2 + 1162/(-582))/1. Which is smaller: m or j?
m
Let a = -0.06414 + -0.17586. Do a and 3/5 have different values?
True
Let n be (2/(-2))/((-3 + 1)/(-10)). Let q be n - 97/(-24) - 4 - -5. Which is greater: -1 or q?
q
Let a = -122 - -87. Let l be (7/a)/((-4)/(-10)). Is l smaller than 15?
True
Suppose 12*k + 10 = -14*k + 36*k. Which is smaller: -1/3267 or k?
-1/3267
Let c be 2 - 4 - (((-60)/(-3))/5 - -53). Is c >= -53?
False
Let d = -0.074 - 0.03. Let o = d - -0.004. Let f(m) = -2*m**3 - m**2. Let p be f(-1). Is o < p?
True
Let s = -1056 - -1056. Are 3/2699 and s equal?
False
Let g(a) = -30*a - 655. Let y be g(-6). Is -477 <= y?
True
Suppose 39*l + 8 = 5*v + 38*l, 5*v - 18 = -4*l. Is 2/587 <= v?
True
Let o = -1 - -1. Let h(p) be the first derivative of 2*p**2 + 23*p + 2809. Let b be h(o). Do 24 and b have different values?
True
Let t be (-11759)/5 + (-15)/75. Is t != -2351?
True
Let o = -5.9 + 12.1. Let w = o - 3. Let c = 12607 - 12608. Are w and c non-equal?
True
Let p = -11.3249 + 93.2459. Let i = 82 - p. Let y = 32.079 - i. Which is greater: -1 or y?
y
Let d be (1 + (-45)/18)/(21/14). Which is smaller: d or -18/37?
d
Suppose -126*h + 129*h = 5*p - 33, -4*p + 27 = -3*h. Which is greater: h or -2/505?
-2/505
Let h = 830/11 - 7712/99. Let l(g) = -4 - 5*g**3 + 2*g**2 + 6*g**3 + 3 + g**2. Let u be l(-3). Is h greater than or equal to u?
False
Let t = -4/1903 + -28417/60896. Let p = -25 - -24. Which is smaller: p or t?
p
Let p(z) = 12*z**3 - 85*z**2 + 14*z - 50. Let x be p(7). Suppose -3*c = -0 + 9. Which is greater: x or c?
x
Let y = -4098 - -12329/3. Which is smaller: y or 11?
11
Let u = -14 - 0. Let m be (-15)/(-5) - (-1 + -10). Let y be (3 - 4/m) + -3. Is u < y?
True
Suppose 164487*b - 5712 = 164515*b. Is -108 < b?
False
Suppose -9 = -5*x + 11. Let f be x/6 + (-66)/45. Let m = 13622 - 204328/15. Is f at least m?
False
Let l be (-3)/4 - 4/(96/3534). Let z = l - -151. Which is greater: 0.048 or z?
z
Let s = -26641/133 - -1397/7. Which is smaller: s or 0.1?
s
Let a(b) = 2*b + 2. Let p(u) = 15*u + 256. Let s(w) = -2*a(w) + p(w). Let d be s(-23). Is 21 at least as big as d?
True
Let x be (-6)/(-4) - (-279)/186. Which is smaller: x or -0.0006?
-0.0006
Let s = 0.1306 + -0.0598. Is s less than or equal to -1/5?
False
Suppose 3*u + 24 = 4*k, -13*k = 4*u - 10*k + 32. Which is smaller: u or -130/19?
u
Let f(v) = 83*v**2 + 16*v + 75*v**2 - 157*v**2 + v - 15. Let a be f(-19). Do a and 19 have different values?
True
Let o(u) = -u**2 - 3*u + 5. Let m be o(-4). Let r = 255671136076/9849 + -25959096. Let f = r + 2/67. Is m equal to f?
False
Suppose -4*l - 404 = -0*l. Let s = 585 - 1255. Let a = s - -569. Is a != l?
False
Let h = -323.1 - -323. Let d = 434 - 109. Which is smaller: h or d?
h
Suppose y + 2*w - 9 = 0, -5*w + 0*w = -y - 26. Let s be y/(-673 - 1)*(-164)/410. Which is greater: s or 1?
1
Let d = 215.9 + -71.3. Let w = 157 - d. Which is greater: 1 or w?
w
Let c = -75.2 + -6.8. Let t = -120 - c. Let z = t + 29. Is 2/3 bigger than z?
True
Suppose 0 = -f - 4*k - 27, 0 = -165*f + 170*f + 4*k + 23. Let q be (-1 - -2) + 1 + 48. Let l be (-2)/12*(-4)/q. Is f >= l?
True
Let t(i) be the first derivative of i**4/4 + 3*i**3 + 9*i**2/2 + 8*i + 16. Let j be t(-7). Let m = 43 - j. Are m and -3 equal?
False
Let s(v) = -2*v + 1. Let n(d) = d + 10. Let q be n(-3). Let k be s(q). Is -17 smaller than k?
True
Let f = 27307177/6112414 - -3/79382. Let j = 46/11 - f. Do -1/7 and j have different values?
True
Let f = 21 - 17. Let g be f/56 + 330/(-308). Which is smaller: g or -1/198?
g
Let h(z) = -3*z - 205. Let d be h(-60). Let x = 36 - 97. Let u = x + 36. Is u > d?
False
Let i = -3139 - -3140. Which is smaller: i or 607?
i
Let c = 132 - 114. Let f(h) = -6*h - 25. Let x be f(-4). Which is smaller: c or x?
x
Let w = -19.8 - -20. Let h = -16 + -2. Let j = h - -14. Are w and j nonequal?
True
Let p = -311196/5 + 61986. Is -254 less than or equal to p?
True
Suppose 2175*s = 2182*s + 280. Let d be (-2)/(-6) + (-4063)/102. Does s = d?
False
Let s = 2015.053 + -2015. Let b = -0.138 + -0.015. Let t = b + s. Which is smaller: -1.8 or t?
-1.8
Let g(p) = -7*p**2 + 13*p - 37. Let z be g(12). Let l be (-9)/15 - (z/140 + 6). Which is smaller: l or -125?
-125
Suppose -8*o + 196 = -o. Suppose -o*b + 29*b = 10. Let y be 4/b - ((-656)/(-140) + -4). Which is smaller: y or 14?
y
Let m = 7.3296 - 709.4596. Let x = m + 702. Which is greater: 28 or x?
28
Let y = 1769 - 1399. Is 371 > y?
True
Let n(i) = -i**2 - 6. Let j be n(0). Let h be 80/(-3)*(-1746)/(-7275). Does h = j?
False
