s greater than -87/25?
False
Let z(q) = -22*q**2 + q + 1. Let a be z(-1). Let f be 2/3 + a/(-12). Suppose 2*l + 10 = 7*l. Is f at least l?
True
Let n be (2/(-6))/((-13)/((-208)/792)). Which is bigger: n or -1?
n
Let x(h) = -h**3 - h**2 - h + 9. Let i be x(0). Which is smaller: i or 8?
8
Let s = -6 - -7.2. Let g = -0.8 - s. Let u be (2/38)/((-3)/(-6)). Is g greater than u?
False
Let o(x) = 4*x + 16. Let s(r) = 4*r + 15. Let v(i) = -5*o(i) + 6*s(i). Let z be v(-11). Let k = 24 + z. Do k and -11 have different values?
True
Let o = -0.95 - -1. Suppose 0 = -58*a - 21*a + 316. Is o smaller than a?
True
Suppose -j = -d + 32, -4*d - 2*j = -65 - 51. Which is smaller: 37 or d?
d
Let s(a) = -a**2 + 4*a - 4. Suppose 7*t - 5*t - 8 = 0. Let j be s(t). Do -1 and j have different values?
True
Let b be (-4)/(-16) + 162/24. Suppose -u - b = -2*d - 1, 4*d = 3*u + 10. Which is greater: u or -0.4?
u
Let l be 2 + (-32)/14 + (-132)/(-21). Let w be -1*(l + -4)*2/(-4). Which is smaller: w or 1/5?
1/5
Let g(z) = -z**2 - 2*z - 1. Let w be 0 - 4*3/4. Let d be g(w). Let v be (3 - 3)/(12/d). Which is greater: -1 or v?
v
Suppose -8*h - 36 = -11*h. Suppose 0 = 4*l + 2*a - h, -2*l + 2*a + 12 = 2*l. Let p be -7*(l + 30/(-14)). Is -6 not equal to p?
False
Let t = -402 - -25324/63. Let m(y) = -y + 10. Let u be m(8). Suppose 3*g - u = g. Which is greater: g or t?
g
Suppose -6 = -2*z + 2. Let b be (-45)/(-6) - 17/(-34). Which is smaller: b or z?
z
Let h be (30/(-9)*6/4)/(-203). Which is bigger: -2 or h?
h
Let m(f) = -4*f**2 + 3*f**3 + 0*f**2 + 3*f**2. Let c be m(1). Suppose s - 12 = c*w, 5*s + 3 + 14 = -w. Is -7 less than w?
False
Let g = 36 + -29.2. Let a = -2.2 - g. Is 0.2 at least as big as a?
True
Let d(b) = 2*b**2 - 27*b - 50. Let i be d(16). Is 27 > i?
False
Suppose 20 = 12*b - 8*b. Let g = 3 - 0. Suppose g*j - 25 = -4. Which is smaller: j or b?
b
Suppose 8*w - 10*w + 176 = 4*g, 3*g = 2*w - 183. Is w greater than 87?
True
Let z be (270/(-36))/(3/4). Let u = -5 - z. Suppose u*r - g = r - 5, -5*r - 9 = -4*g. Is r bigger than -2/33?
False
Suppose -3*o - 2*a = -38, 3*a - 3 = -18. Let g be (1/(-3))/((-238)/231 - -1). Suppose -g*u + 18*u - 98 = 0. Which is smaller: u or o?
u
Let o(j) = -j**2 - 6*j - 12. Let m be o(-6). Let c be 339/444 - m/(-16). Which is smaller: c or 1?
c
Let c = -4844 + 2351. Let x = -580868/233 - c. Is x less than 1?
True
Let f = 259705625526/58483139 - 3/4498703. Let o = -4443 + f. Is o > -3?
True
Let g(i) = -i**3 + 5*i**2 + 6*i - 1. Let q be g(5). Let c = q - 25. Suppose c*u = -u. Which is greater: -1 or u?
u
Let w = 0.26 - 1.96. Let r = w - -1.64. Let t = r - -0.16. Is t not equal to 0.01?
True
Let c(h) = h**2 - 39*h - 14. Let y be c(8). Is y bigger than 0?
False
Let b = 0.007 + -0.062. Let q = b - -0.355. Are 2 and q nonequal?
True
Let n(l) = l**2 - 5. Suppose 5*k = 2*k + 2*m - 15, -3*k = -3*m + 15. Let w be n(k). Let d(i) = i**2 + 11*i + 51. Let y be d(-6). Which is smaller: y or w?
w
Let h = 659 - 659.8. Suppose 2*n = 5*i + 2 - 15, -2*n - 5*i + 17 = 0. Which is smaller: n or h?
h
Suppose 48*f - 49*f = 1. Which is smaller: 2/131 or f?
f
Let p be 1591/(-7) + (-12)/(-42). Is -228 at most as big as p?
True
Let d = 16890/253 - 720/11. Is 2 greater than d?
True
Let t be 2/(-3)*(-30)/4 + -2. Which is smaller: 11/4 or t?
11/4
Let t be ((-2)/(-4))/((-1)/2). Let h be (2/70)/(15/((-225)/(-3))). Is t less than h?
True
Suppose -8*g + 11*g = -234. Let f = g + 80. Is 3 at most as big as f?
False
Let m(r) = -4*r + 2. Let d be -1 - -5 - (5 - 2). Let a be m(d). Let j be (-1 - 1)/(1/a). Is j not equal to 2?
True
Let a(h) = -54*h + 151. Let u be a(-9). Is u > 637?
False
Let y = 46 + -511/11. Let h = y + 461/22. Is 21 not equal to h?
True
Let i(o) = -5*o - 2. Let n be i(-2). Suppose 42 = 3*r + 5*x, -5*r + 3 = 3*x - 51. Is n at least as big as r?
False
Let i be 5 + ((4 - 2) + -1 - -2). Let n = 8 - i. Is -32 equal to n?
False
Let c(t) = -5*t - 17 + 3*t - 18 + t. Let z be c(13). Which is smaller: z or -47?
z
Let z = 205 + -212. Is 10 bigger than z?
True
Let g = -3040/3 + 1301123/1284. Do 0 and g have the same value?
False
Let b = -22 - -46. Let k = -17 + b. Which is smaller: k or 0?
0
Let j = 0.0197 - 2.0197. Is 2/73 equal to j?
False
Suppose -15*n - 574 - 401 = 0. Is -66 bigger than n?
False
Let t = -1343 + 1290. Which is smaller: t or -52?
t
Suppose b - 4*s + 1 = 0, -3 + 2 = -2*b + 5*s. Suppose 3 = b*w - 0. Let x be (-17)/(-4) + 3/(-12). Which is smaller: x or w?
w
Suppose c + 6 = -i, -20 = 3*i + i. Let b = -12467/29 + 430. Which is smaller: c or b?
c
Let m(l) be the third derivative of -l**6/120 + 2*l**5/15 - l**4/3 + l**3 + 5*l**2. Let c be m(7). Which is bigger: -2/7 or c?
-2/7
Let l = 8.6 + 1.4. Let x = -15 - 2. Let g = l + x. Is g less than or equal to 1?
True
Let c = -1258 + 1261. Is 23/6 equal to c?
False
Suppose -3*l - 2*u + 206 = 0, 9*u + 340 = 5*l + 14*u. Which is smaller: 63 or l?
63
Let h be (-4)/(-14) + (-206)/(-14). Suppose 0 = -7*w + 4*w + h. Which is bigger: w or 3?
w
Let p = 83 + -140. Let y be 291/(-8) + p/(-152). Is y greater than or equal to -37?
True
Let u be -16 + 3 - (-2)/1. Let o = u - -13. Suppose -3*c = -p + 2, o*p = 2*c - 2*p - 2. Is c equal to 1/5?
False
Suppose 5*c + 49 = -11. Let f = 8 + c. Let i be (-2)/f + 11/22. Which is smaller: i or -2/5?
-2/5
Let f be 591/402 + (-6)/4. Let l(s) = -s**2 + 7*s + 10. Let r be l(8). Suppose r*v = 2*a - 6, -a - 1 = 3*v + 4. Which is smaller: a or f?
f
Let m = -0.267 + 131.267. Let b = 137.1 - m. Let j = b + 1.9. Which is greater: -1/2 or j?
j
Let u be -2 + 3 - (-2)/1*2. Let v = 28 + -20. Is v >= u?
True
Let p be 103 - ((-4)/(-16) + 21/12). Let y = 1013/10 - p. Are y and -1 equal?
False
Let i = -1/45 + 1/180. Suppose 4*n + 3 = n. Does i = n?
False
Let w = 41 + -6. Let m(o) = o**2 + 2*o + 1. Let g be m(2). Suppose -g*i + 2*i = w. Is i at most -5?
True
Let d = -277062787267/786 + 352497254. Let s = 415/6 - d. Which is smaller: 1 or s?
s
Let y(g) = 2*g - 25. Let j be y(11). Let f be -3 - -6 - (-15)/j. Which is bigger: f or -20/9?
f
Let x = 17.6 + -17.2. Is -20/7 <= x?
True
Let d = 2.151 - 2.151. Is d smaller than -2/813?
False
Let h be 72/20 + (-14 - -10). Let q = -46.921 + -0.079. Is h at least q?
True
Let x be (6 - 0)*1/2. Suppose -z = -5*a + 19, 2 = 5*a - 23. Suppose 0 = z*n - x*n. Which is smaller: n or 1/6?
n
Let d = -1/9 - -17/234. Which is bigger: d or -1?
d
Suppose -2*x = -x - 1. Which is greater: -1/90 or x?
x
Suppose -j - 3*j = -8. Suppose -x - j*x = 0. Let h be (102/(-255))/(18/5). Which is greater: h or x?
x
Let t be (9/(-6))/1 + (-34)/4. Which is smaller: t or -9?
t
Let m = 2.6 + -2. Let g = -0.5 - m. Let i = 1.2 + g. Are i and 1/4 nonequal?
True
Let p be 74873/26*20/(-390). Let f = -443/3 - p. Which is smaller: -1 or f?
-1
Let d be (-586848)/5974*(-1953)/1082354. Let t = -7/118001 - d. Let n = t + 2/103. Which is smaller: n or 0?
n
Let r = 5.7 + 1.3. Let u = 205.5 - 204.5. Is r at most as big as u?
False
Let w be 1 + 0 + (-8869)/(-10542). Let j = -2/251 + w. Is 2 greater than or equal to j?
True
Let d(k) = -k**2 - 14*k + 4. Let p be d(-15). Let f(m) = -m**2 - 12*m - 7. Let x be f(p). Is x equal to 3?
False
Suppose 0 = -18*q + 16*q - 4. Suppose -9 = -2*z - x - 5, 3*x = -z + 12. Which is smaller: z or q?
q
Let f = 309 - 194.2. Let h = 115 - f. Is h > 25?
False
Let z = 5 + -3. Suppose 3*r = z*r. Let n be (45/30)/(195/(-10)). Which is smaller: r or n?
n
Let s be 3 + -10 + 2 + (137 - -2). Are s and 132 nonequal?
True
Let h = -8 - -4. Let a be 6/(-4) + (-98)/h. Let v = -910 + 933. Is v less than or equal to a?
True
Let q be 3/(-1) - (-58)/6. Let a be ((1 - -3)*-2)/(-1). Which is smaller: a or q?
q
Let n = -452 - -453.45. Which is bigger: -0.1 or n?
n
Let h(x) = -2*x + 16. Let i be h(9). Let m be ((1 - -3) + -5)*i. Which is smaller: m or 1/2?
1/2
Let g = -10 - -19. Suppose 0*q + 9 = q. Is g at most as big as q?
True
Let s(z) = 124*z - 15. Let g be s(-2). Is -263 equal to g?
True
Let l(f) = f**3 + 8*f**2 + 4*f - 5. Let y be l(-7). Let i(u) = -u**3 + 6*u**2 - 4*u - 1. Let n be i(6). Let w = 41 + n. Is y less than w?
False
Let v(z) = -z**3 + 9*z**2 + 9*z - 1. Let r be v(9). Let d = -77 + r. Which is greater: -4/3 or d?
d
Let v = -533 - -521. Is -7 less than v?
False
Let u be (-4*2)/(15 + -13). Which is smal