han 0.3?
False
Suppose 9*n - 7*n - 38 = 0. Which is smaller: 17 or n?
17
Let q(a) = -6*a + 38. Let p be q(4). Are p and 1 nonequal?
True
Let j be (3/6)/((-3)/(-4))*-51. Is j less than -34?
False
Let c = -0.92 - -2.92. Which is greater: c or 14/11?
c
Suppose -5*n = 3*z - 35, 5*z - 74 = -5*n - 19. Suppose -z = 5*s + 10. Suppose -2*h = -h + 5. Which is smaller: s or h?
h
Suppose 0 = 2*c - 0*c - 4. Suppose c*y - 3 + 35 = 0. Let b = y + 7. Is -8 less than b?
False
Suppose 4*u - 6 + 2 = 0. Which is greater: 11 or u?
11
Suppose a - 169 = 3*y, -y + a = y + 114. Which is smaller: y or -56?
-56
Let b(c) = -2*c**2 - c. Let n be b(-1). Let g = 2.18 - -0.82. Is g less than n?
False
Let v = -10.4 - -4.4. Is -3 > v?
True
Let f be 4/(-14) + 204/28. Suppose -2*r = -f + 17. Let i(k) = -2*k - 6. Let v be i(r). Which is smaller: v or 3?
3
Let v = 19 + -26. Is -0.2 greater than v?
True
Suppose -2*f = -3*o + 3*f + 24, 6 = o - f. Suppose 4*n = 2*q + o*q + 2, 6 = -3*n. Is q less than -1?
True
Suppose 3*r + 1 = 2*l, -9 = -5*l + 2*l + 2*r. Suppose -2 - 18 = l*g. Which is smaller: g or 0?
g
Let h = 3.5 + -3.4. Which is greater: h or -2.7?
h
Let a be (-13)/65 - 23/(-40). Let v be (0 - 1)*-1*4. Suppose v*n = -n. Is n at least as big as a?
False
Let n(c) = -7*c**2 - 7*c + 6. Let y(m) = 11*m**2 + 11*m - 9. Let p(w) = 8*n(w) + 5*y(w). Let i be p(0). Suppose i*t + 6 = -0. Is -1 less than t?
False
Let w = 13 - 11.1. Let k = 0.025 - -6.075. Let j = k + w. Which is smaller: j or -0.1?
-0.1
Let t be 10/4*(156/90 - 2). Let o be 0 - 21/9 - -2. Which is greater: t or o?
o
Suppose c - 4 - 6 = 0. Let n be 4/c + (-4)/10. Let y be 4/10 + 0/(-2). Which is bigger: y or n?
y
Let d(m) = -m + 4. Let g be d(5). Is 2/25 < g?
False
Let d = -118 - -116. Is -8/7 at most d?
False
Let m be (-6)/3 - 18/(-8). Let u(v) = 4*v. Let l be u(-2). Let x = -7 - l. Is m less than or equal to x?
True
Let u = 2 + -4. Let q(t) = -t**2 + 0*t + t - 2*t. Let s be q(u). Which is smaller: s or -1?
s
Let o be 3/(-2) + (-3)/(-6). Is -1/20 < o?
False
Let f(k) = -6*k - 32. Let l be f(-8). Which is smaller: -2/7 or l?
-2/7
Let q = -16 + 10. Which is bigger: q or -3?
-3
Let q(o) = o**2 + 5*o + 5. Let v be q(-4). Which is smaller: v or -1/14?
-1/14
Let a be 6/15 - 365597/(-45). Let p = -8165 + a. Let d = 40 + p. Which is greater: d or -2?
d
Let s(j) = -j - 2. Let x be s(-3). Let k be -5 - -5 - -1*x. Is k != -1/10?
True
Let r = 1 + -1. Let s = -78/11 + 590/77. Which is smaller: r or s?
r
Let z = -67 + 1004/15. Which is smaller: 1 or z?
z
Let d = -6 - 2. Let q be (-17)/51 - 23/3. Is d at most as big as q?
True
Let z = -4 + 1. Which is smaller: -5 or z?
-5
Let r = -238.1 + 238. Let t(u) = -2*u - 5. Let d be t(-5). Which is bigger: d or r?
d
Let x = 181 - 1081/6. Which is bigger: x or 1?
1
Let z = -2/57 + -41/456. Let i(w) = -w - 6. Let b be i(-7). Which is bigger: z or b?
b
Let i(h) = h**3 + 3*h**2 - h + 2. Let l be i(-3). Suppose -2*s - l*o + 31 = 0, 21 + 28 = 3*s + 5*o. Let j be (4/s)/((-8)/(-30)). Are 2 and j equal?
False
Let n = 5.5 - 5.54. Is 0.3 at least n?
True
Suppose 0 = -3*g - 5 + 8. Which is bigger: g or 3/23?
g
Let t(i) = -8 - 4 - 4*i + 3. Let r be t(-6). Let a be r/(-12) + 2 + -1. Is a smaller than 1?
True
Let b(q) = q**3 + 4*q**2 + 5. Let z be b(-4). Suppose -z*l = 0, 2*o - 3*l = -2*o + 8. Does 0 = o?
False
Suppose 4*g - g = 27. Let p be 2/g - 7/126. Which is bigger: p or 1?
1
Let g = -4.6 + 1.6. Is g greater than -22?
True
Suppose -4*p - 10 = 6. Let m = p + 6. Suppose 2*f - 1 = 3. Is m at least f?
True
Let v(n) = n**3 - 2*n**2 - 4*n + 4. Let q be v(3). Suppose 2*m + q = 3*m. Suppose 2*c - 2 = 2. Is m at least c?
False
Let d = -32 + 28. Which is greater: d or 4?
4
Let p = 17 - 18. Suppose 10 = -y + 3*m - 1, 0 = -y + 5*m - 17. Is y not equal to p?
True
Let i(q) = -q - 5. Let j = -2 + 0. Let v(r) = r. Let l(y) = j*v(y) - i(y). Let s be l(3). Which is bigger: 4 or s?
4
Let y = 0.02 + -0.42. Let f = y + 0.2. Is 1 >= f?
True
Let z = 14 + -13.9. Is z >= -2?
True
Let f be (-15)/120*(-30)/1. Is 0.1 greater than or equal to f?
False
Let h = -1479/7 - -212. Let l(o) = -o - 5. Let a be l(-6). Which is greater: h or a?
a
Suppose -5*c - 29 = 5*s - 9, 5*c + 3*s + 18 = 0. Is 1 equal to c?
False
Let m(s) = 7*s + 0*s - 4*s + 9. Let d be m(-6). Is -8 less than or equal to d?
False
Let t(r) = 0*r + 3*r - 3*r + r. Let f be t(-1). Is -1/10 at most f?
False
Let g = 23 + -13. Suppose 0*c = -v + 4*c + 19, 0 = 5*v + c + g. Is -4 greater than v?
False
Let n(m) = m - 10. Let o be n(9). Which is smaller: 1/3 or o?
o
Let r = -33 - -32.9. Which is bigger: -2 or r?
r
Let a = 0.91 + -0.9. Let i = 447 - 448.99. Let n = i - a. Which is greater: -0.2 or n?
-0.2
Let u be -1 + (-1)/1 + 4. Suppose 2*i - u + 0 = 0. Let b = 0.5 - 0.5. Is i greater than or equal to b?
True
Let x = 7.96 - -0.04. Let y = x + -6.8. Let o = 0.2 - y. Is o greater than or equal to -1?
True
Let s = 0 + -1. Let v be (-8)/12 - (s + -1). Which is greater: v or 0?
v
Suppose -5*l + 35 = 5*b, 4*l + b = 3*b + 46. Let y be (-6)/(-27) - l/(-36). Which is smaller: y or -3?
-3
Let o(k) = -2*k**2 + 16*k + 19. Let t be o(9). Is t less than 3?
True
Suppose -9*z + 10*z - 1 = 0. Is -2/23 greater than or equal to z?
False
Let r = 4 - 6. Let p = r + 1. Which is bigger: -0.1 or p?
-0.1
Suppose -l = 4 + 6. Let r be (-4)/(-10)*l/(-18). Suppose 0 = -5*t - 5*v - 3 - 12, 0 = -t - 4*v - 12. Which is greater: r or t?
r
Let s(w) = w**2 - 6*w + 5. Let d be s(6). Suppose d*n = i - 4, i + n = -0*i - 2. Suppose 16 = x + 4*f, x + 3*f - 12 = -3*x. Is i < x?
True
Let s = -8893/78 - -691/6. Is s > 0?
True
Let t = -12 + 17. Let q = 76 - 71.7. Let r = t - q. Which is smaller: r or 0?
0
Let u be 1*(1 - (0 - 3)). Let x(o) be the first derivative of -o**2/2 + 14*o - 3. Let b be x(10). Is u less than or equal to b?
True
Suppose 2*x - 136 = 7*b - 2*b, -5*b - 199 = -3*x. Let k be ((-12)/(-18))/(3/x). Is 14 greater than or equal to k?
True
Suppose 7 - 2 = 5*m, 4*m = 2*y + 16. Which is smaller: 2/7 or y?
y
Let r be (-2)/(-8) + 5/(-4). Let l be (-4 + 0/1)/(-1). Let f be (-65)/26*l/5. Which is smaller: f or r?
f
Let w = -1 + -1. Let k be 2*2/(-24)*w. Which is smaller: k or -0.07?
-0.07
Suppose 5 = 5*d - a, -5*a = 4*d + 17 + 8. Suppose v = -d*v. Is v equal to 0?
True
Let m = -1454 + 7244/5. Which is smaller: -4 or m?
m
Let f be (3/(-32))/((-3)/(-12)). Suppose 4*q + 3*d - 15 = 0, -d = 3*d - 20. Is q equal to f?
False
Let c(r) = -7*r**2 + 2*r + 2. Let m(g) = 6*g**2 - g - 2. Let z(a) = 5*c(a) + 6*m(a). Let o be z(-5). Let l be o/(-10)*(-2)/3. Which is smaller: 1 or l?
l
Suppose -5*w - 3 = -2*f - 0, -5*f - 3*w = -23. Suppose -f*p + 1 = 5. Is p greater than -1?
False
Let w be 4/(-6)*27/10*-5. Which is smaller: 0.3 or w?
0.3
Let l = -8 + 15/2. Which is smaller: l or -1?
-1
Let h = 2 + -1. Let c = -6 + 5. Let i = 1 - c. Is h greater than or equal to i?
False
Let h be -1 + 3 + 156/(-15). Which is smaller: -7 or h?
h
Suppose -3*m + 60 = -l - 26, 5*l = m - 52. Let d = m + -17. Suppose -b = -6*b - d. Which is bigger: b or -4/7?
-4/7
Let j be ((-60)/(-560))/(-2 + 6/8). Is j equal to -1?
False
Let u be 10/12 - 1*(-7)/42. Which is greater: -1 or u?
u
Suppose 6*o - 2 = 4*o. Let g = 3 + -5. Which is smaller: o or g?
g
Suppose -4*n = 2 + 2. Let w = 0 - -1. Suppose -k = -r + 1, r - 4 + w = 3*k. Which is bigger: r or n?
r
Suppose -s = 2*u - 6*u - 9, 4*s - 24 = 4*u. Suppose s*y = y. Suppose 4*k = -y + 8. Which is smaller: k or 4?
k
Let y be 7/4*(-1)/(-7). Is -2 at most y?
True
Let l = -7 + 5. Which is bigger: l or -2/3?
-2/3
Let b be (-48)/(-30)*(-1 + 11). Is 16 smaller than b?
False
Let x = -0.2 - -0.2. Suppose -r = -3*r + 10. Suppose 4*l - 15 = r. Which is greater: x or l?
l
Let y = 2/751463 + 240467218/353939073. Let h = y + -2/157. Are h and 0 nonequal?
True
Let t = 1.5 + -13.5. Is 1 less than or equal to t?
False
Let m be (-1)/(-2 - 0)*20. Let k = -9 + m. Are 1/9 and k equal?
False
Let m = 57 + -58. Is -2/71 at least m?
True
Let q = -0.4 - -0.5. Let y = -0.3 + 0.3. Let z = 0.2 - y. Are z and q equal?
False
Let b = -43 + 46. Let i(g) = g**2 - g + 2. Let z be i(0). Suppose -4*t = b*n + 13, -t - z*n = n + 10. Which is greater: 1/3 or t?
1/3
Suppose 0 = -21*t + 15*t + 144. Do t and 24 have the same value?
True
Suppose -3*m + 60 = 2*m. Su