*r**2 - 2*r - 3. Let s be l(-2). Let f = s - x. Is f bigger than 1/5?
False
Let y = 1 + 1. Let c = 18 + -14. Suppose -13 = -3*t - c*i - 0*i, 1 = -t + 4*i. Is y not equal to t?
True
Let c = -0.78 + 1.1. Let d = -0.12 + c. Which is smaller: -0.2 or d?
-0.2
Let t = -0.237 - -0.137. Which is greater: 30 or t?
30
Suppose 0*f - 4*f = -12. Suppose -2*d = -v - 8, 11 = v - f*v + 3*d. Let k = v - -3. Is 4 at most as big as k?
True
Let m(d) = d**2. Let h be m(0). Suppose -5*w = -5*p - 25, -w - 1 = 1. Let s = p + 6. Is s bigger than h?
False
Let c = 5 + -10. Is c greater than -2?
False
Let p = 4 - 0. Suppose -3*b + p*b = 2. Is b less than 2?
False
Let m be 0 - (3 + -4)*(-160)/25. Which is greater: -5 or m?
-5
Suppose 4*m - 2*m = -2*g, 4*g = m + 15. Suppose 5*d - 30 = -5*z, -d - 2*z - 6 + 17 = 0. Suppose -d = -2*w - 5. Is m bigger than w?
False
Let m be (-17476)/140 - (-2)/5. Let k = 125 + m. Is 2 greater than k?
True
Let t = -2287 - -221841/97. Let h = t + -216/1067. Is -1 greater than or equal to h?
False
Suppose 6 = q - 4*q. Let i be 0*(-2)/(-4)*1. Are i and q unequal?
True
Let o = -0.1 - -4.1. Let m = -3 + o. Let u = 0.9 - m. Which is bigger: 1/3 or u?
1/3
Let y = -5 - -9. Suppose 0 = 5*l - 10, -2*p + y*l = 3*p - 142. Let q be -1 + 1 - (-5)/p. Which is smaller: -0.1 or q?
-0.1
Let o = 20471 - 121193. Let c = o - -904358/9. Let m = c + 238. Is m at least 0?
True
Let f(g) = 3*g - 15. Let h be f(4). Are -20/7 and h nonequal?
True
Let i = -28 - -59/2. Let l(t) = -5*t + 2*t**2 + 0*t**2 + t - 8 + t**3 + 6. Let p be l(-3). Which is greater: p or i?
i
Let q(l) = l**2 - 15*l + 15. Let p be q(14). Is p < 2/97?
False
Let l = 6.1 + -1.1. Let h = l + -4. Let r = -1.1 + h. Is r equal to -1?
False
Let m be -2 + (-5 - (-622)/88). Is -1 greater than or equal to m?
False
Let y(s) = -s**3 - 15*s**2 - 9*s - 12. Let r be y(-14). Which is greater: r or -81?
-81
Let f be (-2)/6*10/(-3). Is 2 at least f?
True
Suppose -2*r - 4 = 2*r. Suppose -18*s = -22*s. Let c be -4 + 1*(s + 3). Is r less than c?
False
Let a(x) = x**2 - 16*x + 16. Suppose 0 = -2*n + 2*b + 57 - 17, 5*b + 10 = -n. Let t be a(n). Let v be (-1 - 8/(-10))/(-1). Which is smaller: v or t?
v
Let t = -9.85 + 10. Let n = t - -2.85. Is 1 at least as big as n?
False
Let a(r) = -r + 2. Let x(i) = -i - 7. Let d be x(-9). Let s be a(d). Which is smaller: s or 2/13?
s
Let r(o) = o**2 - 4*o - 5. Let y be r(5). Suppose 0 = -2*z - y*z. Which is smaller: -3/7 or z?
-3/7
Let k be (-4)/(-3)*36/24. Let z(j) = j**2 + 8*j. Let i(w) = -w. Let x(v) = 3*i(v) + z(v). Let h be x(-5). Is k bigger than h?
True
Let r = -0.6 - 0.4. Let x = -0.9 - r. Let j = 0 + -2. Which is greater: x or j?
x
Let b(d) = -d**2 - 9*d - 7. Let q be b(-8). Let t be 2/(-22)*21 - -2. Is q at most t?
False
Let a = 0.04 + -0.04. Which is bigger: -0.1 or a?
a
Let k = 1.1 + -0.9. Is 0.2 < k?
False
Let i = 42 + -35. Does i = 0?
False
Let o = 0.08 + 0.12. Let k(l) be the third derivative of l**4/24 - 5*l**3/6 + 2*l**2. Let r be k(6). Is r at least as big as o?
True
Suppose -3*g + 13 = -5. Let a be 1/(-2)*(g - 6). Is a less than -1?
False
Let g = 14 - 9. Suppose 0 = -g*r - 3 - 7. Let j be ((-1)/(-1))/(r/(-4)). Which is smaller: 6/5 or j?
6/5
Let j = -0.4 - -0.5. Let h = 0.24 - -0.06. Let k = h + 0.2. Which is greater: k or j?
k
Let k = 21.7 - 23. Let i = k - 0.7. Is i greater than -0.2?
False
Let f = -20 + 22. Is 1 greater than or equal to f?
False
Let p(o) = -o**2 - 8*o + 8. Let z be p(-9). Is z greater than 1?
False
Suppose 0 = -3*b + 20 - 2. Suppose -3*x - 15 - b = -4*r, 5*x + 3*r = -6. Is 0 at least x?
True
Let n be 1 + (-9)/5 + 1. Let t = -21 + 21. Which is bigger: n or t?
n
Let g(t) = -t - 15. Let s be g(0). Let a be 6/(-10) + 6/s. Let o be a/3 - 4/6. Is o at most -2/7?
True
Let f = 5.186 - 0.186. Is f greater than -10?
True
Suppose 0 = -d - 7 - 2. Let i be (15/d)/(1/(-3)). Are 4 and i equal?
False
Let i = -3 - -6. Suppose 2*u = 6*u + 8. Let j be u/4 + 3 + -2. Is j not equal to i?
True
Let x(c) = 8*c**2. Let f be x(1). Let n be 3/(-12) - (-2)/f. Does 2 = n?
False
Let d = -1.2 - 3.8. Let w = 4 + d. Let x = -1 - w. Which is smaller: x or 2/7?
x
Suppose -2*j - 19 = -7. Which is smaller: -8 or j?
-8
Let k(g) = -3*g**2 + 3*g - 1. Let c be k(2). Let l = -56 - -50. Is l greater than c?
True
Let c = 15703/25 + -628. Which is greater: c or 1?
1
Let f(r) = -r**2 + 2*r + 3. Let p be f(2). Suppose m = -p*m. Is m equal to 4/7?
False
Let p(x) = -4 + 5*x - 4*x**2 + 3*x**2 - 4*x. Let f be p(0). Suppose 0 = 3*y - d + 12, -2*y - 4*d + 13 = 35. Which is bigger: y or f?
f
Let g = -0.38 + 0.36. Is g less than 1?
True
Let l = 5 + -7. Let a = 13 + -9. Let r be a/10 + 21/(-15). Is r > l?
True
Let y be (1/(-5))/(2/22). Is -1 != y?
True
Suppose 0 = -5*f + 34 + 6. Let h = 47 - 37. Which is smaller: h or f?
f
Suppose m - h = 3*h - 90, -192 = 2*m - 2*h. Is m <= -97?
True
Suppose j + 13 = 3*l, -3*l + 3 = 4*j - 5. Suppose p = l*p. Do 0 and p have different values?
False
Let d be 6/10 + (-4)/(-10). Let c be 5888/992 - 1*6. Is d at least c?
True
Let o(i) = i - 3. Let l be o(3). Let j be (2 - 0) + 118/(-1). Let n = -1278/11 - j. Is l at least n?
True
Let a(x) = x**3 - 23*x**2 - 13. Let k be a(23). Which is greater: -55/4 or k?
k
Let g = -4 - 1. Let u = -3 - g. Suppose -5*z = -2*z + r - 4, 4*r = 4*z. Do z and u have the same value?
False
Let g = -0.2 + 0.2. Let w = g - 0. Which is smaller: 5 or w?
w
Suppose l = -4*p - 100, -16 = 2*l + 2*l. Let r be (-10)/p + 2/(-12). Is 1 at least as big as r?
True
Suppose -2 = 4*b + 26. Let y be (1/2)/(b/4). Let u = 0.01 - 0.11. Is u at most y?
False
Let y(p) = -p**3 + 6*p**2 - p - 3. Let i be y(5). Let u be i/(-52) + 2/8. Which is smaller: u or 1?
u
Let a(g) = g**2 - 9*g + 11. Let l be a(8). Let y be 4 + (l - 1 - 5). Let d = 1511/17 - 89. Is d greater than or equal to y?
False
Let i = -4.6 - -5.6. Is i > 2.5?
False
Let p be 32*((-9)/3 - -2). Is p equal to -34?
False
Let z(q) be the third derivative of q**5/60 - q**4/4 - 4*q**3/3 - 4*q**2. Let j be z(7). Is 1/9 at least as big as j?
True
Let b be 12/30 + (-4)/10. Let h be 2 - ((b - 2) + 1). Suppose 5*u = 2*d + 18, -5*d = 4*u - 5*u - 1. Which is greater: h or d?
h
Let g(s) = -4*s**2 - s - 1. Let y be g(-1). Let z = y - -4. Is z >= 2?
False
Let q = -445 + 438.13. Let d = q - -6.4. Let t = d + -0.03. Is t != 0?
True
Let q = -12 - -22. Let u be (-15)/q*4/15. Is u at least 1?
False
Let p be 1 + (26504/26)/(-4). Let y = 254 + p. Which is bigger: -1 or y?
y
Let o = -9 + 10. Suppose o = f + 2. Let k be 0/4 + (f - -1). Are k and -1 unequal?
True
Suppose -t + 8 = -5*r + 29, 27 = -4*t + r. Let q(f) be the second derivative of f**4/12 + 5*f**3/6 - 3*f**2 + f. Let m be q(t). Which is greater: m or -1?
m
Let n(t) = 3*t + 1. Let v be n(2). Is 6 at most v?
True
Let d be (-42)/9 - (-2 + 3 - 3). Do -4 and d have the same value?
False
Let s = 5.2 - 5. Which is bigger: 32 or s?
32
Let p = -28.056 + 0.056. Is -1/3 less than or equal to p?
False
Let c = -3308/9 + 368. Is c less than 1?
True
Let h(p) = p - 17. Let m be h(9). Is m at least as big as -8?
True
Let x(h) = -h**2 - 6*h - 9. Let v be x(-6). Let w be (-2)/9*v/(-15). Is w at least as big as -1?
True
Let z = -3 + 1. Let a(f) = -f + 7. Let x be a(7). Let y be (-12)/8 + x + 1. Are y and z nonequal?
True
Let z = 0.074 - 7.074. Is z > 0.05?
False
Let p = 54 + -164/3. Is p at most as big as -0.1?
True
Let s = -7 - -7. Let g(r) = -r - 5. Let i be g(0). Let f be ((-2)/(-5))/(3/i). Which is bigger: s or f?
s
Let a = -6 + 3. Is a at most 0.3?
True
Let c(b) = 3*b**2 - 2. Suppose 2*r = n, 7 = n - 3*n - 3*r. Let y be c(n). Does y = 10?
True
Let q = -108/11 + 478/33. Is q less than 4?
False
Let o be (-1)/9 + 20/(-90). Is -19 at most as big as o?
True
Let g(r) = -2*r**2 - 13*r - 12. Let j be g(-8). Suppose 50 + 54 = -4*c. Let i be (-8)/j + c/(-126). Is i bigger than 1?
False
Let v(p) = -p**2 - 7*p - 9. Let k be v(-5). Which is greater: -1/3 or k?
k
Let n be (-10)/(0/(-1) - 2). Let f = 0.082 + -0.182. Which is bigger: n or f?
n
Suppose 8*x - 35 = 3*x. Which is greater: x or 0?
x
Let k be ((-3)/5)/(2/(-10)). Suppose k*h = 4*h. Which is greater: -1/4 or h?
h
Let m be 4/18 + (-2)/9. Let i be 4 + 1 + -4 + -3. Do m and i have the same value?
False
Let a = -53 + 46. Do a and -9 have the same valu