 -t**2 + 8*t - 1. Let a be p(9). Let z = a + 11. Is z less than or equal to 2/7?
False
Suppose -h + 4*f + 8 = 0, 5*h - 5*f = h - 1. Let p = -2 + 0. Let z be ((-3)/2)/((-1)/p). Is h != z?
True
Let d = -172 + 73. Let b be -3*((-303)/d + -3). Is -2 greater than b?
False
Let d be (-8)/11 - (-5 + 4). Suppose 4 = 4*j - 4*m, j - 4 - 1 = 5*m. Is j at most d?
True
Let o = 17 + -26. Let a(d) = d**3 + 8*d**2 - 9*d + 7. Let m be a(o). Which is greater: -0.2 or m?
m
Let t(g) = -4*g - 2. Let a be t(-3). Let j be 3/a*(-8)/(-6). Suppose -5*i + 10*i = 0. Is j <= i?
False
Let x = -1315 + 22342/17. Let r = x + 139/204. Which is bigger: 0 or r?
0
Let y = 1346/5 - 270. Which is greater: -1 or y?
y
Let k = 4002/41 - -2613/287. Let x = 107 - k. Is x >= -0.2?
True
Let x be (-520)/852 - 8/(-12). Does 1 = x?
False
Let z be (5/(-15))/(3/(-108)). Is z greater than 9?
True
Let c(i) = -i - 2. Let h be c(-3). Is 1/43 smaller than h?
True
Let k = 27710/31 - 894. Which is smaller: -1 or k?
-1
Suppose -8*x + 13*x - 55 = 0. Let o = -7 - -18. Is o at most as big as x?
True
Suppose v + 8 = 2*o, -5*v + v = -2*o + 26. Let a be 4 + v + (-7)/(-3). Which is smaller: 1 or a?
a
Let y be (-8)/52 + 1810/(-65). Which is smaller: -29 or y?
-29
Let q be 38/8 + 5/20. Suppose -q*k = -5 - 0. Is k < -1/7?
False
Let q = 0.007 + -0.847. Let z = q - 0.16. Is -3 smaller than z?
True
Let l be (1 + 1)*(6 - 2). Does l = 10?
False
Let c be 3/(-3 + 0) + 5. Let w be 6/c + 31/(-18). Which is smaller: -1/3 or w?
-1/3
Suppose 2*r + 3*s + s = 12, -r + 2*s = -2. Suppose 0 = -8*l + r*l. Suppose 0 = -11*c + 21*c + 10. Is l <= c?
False
Let l = 1/5 + 2/15. Is l at most -0.3?
False
Let w be 470*(-2 - 5/(-2)). Suppose 285 = -5*t - 5*o, -5*t = -8*o + 3*o + w. Let g be (-4)/14 - t/(-14). Is -4 >= g?
True
Let r = -1 + 4. Let y(b) be the first derivative of -b**3/3 + 2*b**2 + 7*b - 3. Let m be y(5). Is m greater than or equal to r?
False
Let h be 18/(-14) - (0 + -1). Let u = -2 - -13. Suppose -4*s - 12 = 4*p + 4, -5*p - 2*s = u. Is p greater than or equal to h?
False
Let f = -2.2 + 0.2. Let v = f - 0. Let l = -0.4 - -0.3. Which is greater: l or v?
l
Suppose -5*l = -3*l - 8. Suppose l*x = s, -x - 4*x = -2*s. Is -2/9 less than or equal to x?
True
Let f = 230 + -221. Let s(m) = m**2 + 3*m - 1. Let o be s(-5). Is o smaller than f?
False
Let j(l) = 5*l**3 - 2*l + 6. Let s(c) = 9*c**3 - c**2 - 4*c + 12. Let q(t) = -7*j(t) + 4*s(t). Let h be q(4). Is -3 >= h?
False
Let c be ((-3)/(-2))/(1/2). Let y be 3/5 - 91/(-65). Which is smaller: y or c?
y
Let j = 4952/25 - 198. Is j at most 1?
True
Let t be 2*(1/26)/(-1). Is t smaller than 0?
True
Let g = -1/9 + 4/9. Let j = -0.01 - 2.99. Which is bigger: j or g?
g
Suppose 3*r = -2*d + 4, 5*r + 4 = -d + 3*d. Are -1/2 and r equal?
False
Let s = 0.63 - 1. Let p = -0.13 + s. Which is greater: -3/4 or p?
p
Let t = 0 + 1. Which is smaller: 2.5 or t?
t
Let p = -96 + 114. Which is smaller: p or 19?
p
Let p be 42/(-4)*(-10)/15. Let h = p - 4. Which is smaller: 4 or h?
h
Let c = 15 + -9. Suppose -2 = -4*r - c. Suppose 5 = -i - 3*s - 3, 0 = -3*i + 3*s. Is r > i?
True
Let g be 10/(-4)*2/1. Let v = 2545/4 - 631. Let h = v + g. Is -2/7 less than or equal to h?
True
Let y = 25 + -27. Is y > -12/13?
False
Let a = 7 - 8. Which is smaller: a or -3/28?
a
Let c be 77/(-21) - 2/6. Let r = -6 - c. Is -8/9 bigger than r?
True
Let j = -104/5 - -21. Suppose 0 = 2*n + 15 - 13. Which is bigger: n or j?
j
Let x(d) = -d**3 - 2*d**2 + 2*d - 2. Let s be x(-4). Suppose 4*j - 13 - s = 3*q, 20 = -j - 5*q. Which is smaller: 0 or j?
0
Let x be -5 - (-106)/22*1. Is -1 bigger than x?
False
Suppose 4*l - l + 9 = 0. Let u be (1/l)/((-2)/(-4)). Let z be (-4)/(-15)*(-3)/2. Which is smaller: u or z?
u
Let n(w) = -w**3 + 6*w**2 - w - 1. Let m be n(6). Let y = m + 10. Is 3 at least y?
True
Suppose 14 = -m + 5*t - 3, 0 = 5*m + 5*t + 25. Is m smaller than -4?
True
Suppose -3*w = -4*w + r + 3, -3*w - 3*r - 21 = 0. Is -4 at most w?
True
Let i be 2/(-2 + 0 - 0). Let s be i/2*(4 - 8). Suppose -3*g = -3*z, -s*z = -3*g - 0*z - 4. Which is smaller: -3 or g?
g
Let f = -4.365 - 0.035. Let p = 0.4 + f. Which is smaller: -2 or p?
p
Let z = -496/19 + 26. Let x(k) = k**2 + 7*k + 7. Let l be 16/(-2) + (-2)/(-1). Let r be x(l). Which is smaller: z or r?
z
Suppose -3*d = 2*b + 210, -264 = 5*b + 2*d + 239. Which is smaller: b or -0.1?
b
Let y = 0.07 - -0.33. Is 1 != y?
True
Let y be (-3 - -9)*(-36)/16. Let j(k) = 3*k + 2. Let d be j(-5). Let b = y - d. Is b smaller than 0.1?
True
Let k(x) = -x**2 + 6*x - 5. Let t be k(4). Let h = 9 - -6. Let m be t*h/18 - 3. Which is smaller: 0 or m?
m
Suppose -65 = 5*x + 4*w, 11 = -5*x + w - 29. Let b(f) = -8*f. Let u be b(1). Is x equal to u?
False
Let i = 631/78 + 15/26. Which is greater: i or 8?
i
Suppose 4*g + 6*t - 12 = 2*t, -4*g + 4*t = -4. Let h be (-21)/(-72) + g/(-3). Which is smaller: 1 or h?
h
Let c(v) be the second derivative of -v**3/6 + 3*v**2/2 + 2*v. Let y be c(2). Let p be 2*1*y/2. Do 1 and p have the same value?
True
Let q = -1151/42 + 161/6. Suppose k + 2 = 1. Are q and k non-equal?
True
Let j be 1/1*(-2 - -3). Are j and 2/55 nonequal?
True
Let v = 21.5 - 22. Which is greater: v or -2/9?
-2/9
Let j be 122/(-3) + 4/(-36)*3. Which is bigger: -42 or j?
j
Let w = 36 + -34. Is 2 >= w?
True
Let g(o) = o - 5. Let p be g(5). Let j(l) = l**3 + 2*l**2 + l + 1. Let k be j(-2). Which is smaller: k or p?
k
Let t = -34 + 34.2. Is 4 >= t?
True
Let u = -28.2 + 29. Let n = 0.1 - 0.1. Which is greater: u or n?
u
Let j be 9/(-20) - 2/(-8). Let r(z) = z**2 + 6*z + 4. Let l be r(-6). Suppose -l*s = -o - 6, -o - 4*s - 2 = 2*o. Is j > o?
True
Let j = -908/3 + 306. Let b = j - 11/6. Let o be 6/4*(-2)/(-1). Is b > o?
False
Let x be (6/(-4))/((-42)/12). Let o be (-2)/(-10) + (-8)/(-10). Is o at most as big as x?
False
Suppose -5*n - 329 = 446. Let p = -623/4 - n. Is 0 at least p?
True
Let a(h) = 2*h**2 - 2*h + 4. Let c be a(-3). Suppose 0 = 4*p + 20, 4*p - c = -5*j + j. Suppose -3*s - j = s. Which is bigger: s or -3/2?
-3/2
Let u be -22*(-4)/32 - 3. Which is smaller: 1 or u?
u
Let s = 0.0273 - 0.1273. Let c = 4 + -3. Which is smaller: s or c?
s
Let b = -1.2 - 3.8. Let x = 17 + -14. Let l = x + b. Is -1/2 < l?
False
Let g(b) = -2*b**2 - 3 - b**2 - 10*b + 2*b**2. Let u be g(-4). Let s be 2 + (u/12)/(-1). Is s greater than or equal to 1?
False
Suppose -5*o + 38 = -2*u - 25, -4*o = 4*u - 28. Let m = -7 + o. Suppose 5*i = i + m. Which is smaller: i or 1/4?
1/4
Let i(y) = -y**2 - 4*y - 2. Let l be i(-4). Let w be (-2 - -1) + (-38)/l. Suppose o - 4*o = w. Is -5 greater than o?
True
Let b(r) = -5*r + 4. Suppose -3*l + z + 2*z = -21, 3*l + 3*z = -9. Let v be b(l). Is v at least -7?
True
Suppose -36 = -2*i - 0*i. Which is bigger: i or -4?
i
Let m be (2/16)/((-2)/6). Let r be 2/1 - 15/12. Let q = r + m. Which is smaller: q or -1?
-1
Suppose u = 1 - 6. Suppose -b - n - 2*n = -11, -n = b - 1. Is b bigger than u?
True
Let f(j) = -4*j + 1. Let r be f(-1). Suppose 0*k - 5*k + r*s = 5, -3*k + s = -7. Let h be 2/k*(-1 - 3). Which is smaller: -3 or h?
-3
Let c = -2.84 + 3. Let g = 0.06 - c. Let z = 0.1 - -1.9. Is z <= g?
False
Let l = -4 + 6.8. Let g = l - 3. Is -0.1 != g?
True
Suppose -10*s + 244 = -516. Which is bigger: 77 or s?
77
Suppose 2*y + y - 6 = 0. Let z = y - -1. Suppose u - 1 = -z. Which is smaller: -1 or u?
u
Let v(s) = -s - 4. Suppose -4*a + 75 = a. Suppose -4*c + 3 - a = 0. Let p be v(c). Which is greater: p or 2/7?
2/7
Let m = -160/9 + 18. Let i(c) = 11*c**2 + 13*c - 7. Let g(j) = -5*j**2 - 6*j + 3. Let t(u) = 9*g(u) + 4*i(u). Let o be t(-1). Is m greater than or equal to o?
True
Let t = 0.42 + 0.68. Is t less than -3?
False
Suppose -z - 2*g = -5, z = -7*g + 2*g + 17. Let a be (-2 - -3)*(-4)/z. Which is bigger: 1 or a?
a
Let k = -2 + 3. Let g = -19/39 - -2/13. Which is greater: k or g?
k
Let d = 31 + -32. Let o(a) = -122*a - 1. Let q be o(-1). Let f = -1575/13 + q. Which is smaller: f or d?
d
Suppose -3*n - n + 4 = 0. Let x be n + 1/((-14)/15). Which is greater: -1 or x?
x
Suppose -2*f - 2 = -2*a, -17 = -4*f - 0*f - 3*a. Suppose f*w + 0 + 2 = 0. Do w and -3/10 have different values?
True
Let i = 12.5 + -2.5. Let q = 9.8 - i. Which is bigger: 0.1 or q?
0.1
Let l = 16 + -15. Suppose d = -t - l, -4*d = t + 2*t + 8. Does 14