1.6. Let j = 0.14 + u. Do -7 and j have the same value?
False
Suppose 20 = 4*s + 5*n, 3*n = -2*s + 4*n - 4. Let a(h) = -h**2 + 9*h - 2. Let t be a(9). Let i be 1/2 + t/(-4). Which is bigger: i or s?
i
Let n be 11/9 - (-2)/(-9). Let r be 6533/(-55) + 2/(-5). Let i = 119 + r. Is n != i?
True
Let v = 47 - 233/5. Suppose -4*l - n + 7 = 0, -5*l + 0*n - n + 8 = 0. Let f be ((-2 - -1)*l)/7. Is v >= f?
True
Suppose 4*l = -5*h - 117, 4*l + 4 = h + 13. Let v = -41/2 - h. Is 1 greater than v?
True
Suppose 5*d = -3*q + 18, -3*q - 4 = -3*d + 2*q. Let m = -5 + d. Is m bigger than -2?
False
Let d be (-3)/(-12) + (-95)/60. Let t = -18 + 16. Are d and t unequal?
True
Let n be (-94)/20*(3 - -9). Let b = 56 + n. Which is bigger: b or 1/4?
1/4
Let t = -4 - 11. Let d = 12 + t. Which is smaller: d or 1?
d
Let a = 9309/26 - 358. Let v = a + -46/13. Let c = 3 + -2.9. Does c = v?
False
Let z = -5 - -4. Let l = 6 - 3. Let r = l + -3. Is z <= r?
True
Suppose 4 = 2*i - 2. Suppose 0 = i*m - 7*m. Suppose 5*q + 1 + 4 = m. Is q not equal to 2/5?
True
Let g be -2 - (0 - -4 - 11). Let d(p) = -p**3 + 5*p**2 + p - 6. Let t be d(g). Is t < 2?
True
Let x = -829/264 + 23/24. Which is greater: x or -3?
x
Let t(k) = -k**3 + k**2 + 2*k - 2. Let l be t(2). Let q be -2 + l/((-8)/7). Let r = 0.6 + -0.5. Is q > r?
False
Suppose -5*y + q - 1 = -0*q, -y + 3*q + 11 = 0. Which is bigger: -1/5 or y?
-1/5
Let z = 5 + -3. Let c = z + -3. Let n = -8 + 8.1. Is n > c?
True
Suppose -2 = -2*l + 5*a, -5*l = 2*a - 2 - 3. Is 1/32 less than or equal to l?
True
Let x = 6.3 + -6.1. Is -12 smaller than x?
True
Let m = 0.15 - 0.35. Suppose -q = q. Which is bigger: m or q?
q
Let k be -5*(0 - 1)*-1. Suppose 0 = 4*a + 2*p + 8, -2*a + 4*p = 6 + 8. Which is greater: k or a?
a
Suppose 4*u - 73 = 19. Suppose 0 = 3*f + 55 - 121. Is f less than u?
True
Let j = -16 - -17. Is j greater than or equal to 9/7?
False
Let p = -5 - -17. Let h = p + -12.1. Is h not equal to -1/2?
True
Let m = -11 - -6. Let d(a) = a**3 + 8*a**2 + 8*a + 9. Let z be d(-7). Let n = m + z. Is n greater than -1?
False
Let t(l) = 2*l**2 + 4*l - 3. Let i be t(-4). Let a = 25 - i. Let n be 4/12 + 5/a. Which is bigger: 2 or n?
2
Let d = -8 + 0. Let l be (d/(-12))/((-1)/3). Which is bigger: l or -1?
-1
Let l(t) = 2*t + 26. Let o be l(-13). Which is smaller: o or 0.8?
o
Let i = -22 - -19. Let m be (2/i)/(2/72). Is -23 < m?
False
Let f(m) = -6*m**2 + m. Let c be f(1). Suppose -28 - 5 = -3*q - 2*z, 4*z + 6 = 2*q. Let t(g) = g**3 - 8*g**2 - 10*g + 4. Let w be t(q). Is c at most w?
True
Suppose -b + 0*b - 4*q - 18 = 0, -q - 3 = 0. Do -6 and b have the same value?
True
Let i be 2 - -19 - (1 + -1). Let r be (-1)/(-4) - i/(-12). Is r smaller than 3?
True
Let y(o) = 2*o**3 + 1. Let q be y(1). Let w = -13 - -7. Let t be w/q - 0 - -1. Which is bigger: t or -2?
t
Let f = 182 - 180. Is -27 greater than f?
False
Let k = -7 - -6. Is k at least 1/3?
False
Let c = -12.6 - -13. Let l = 2.6 + c. Is l < -1?
False
Let l = 1358807/7563 - -4/2521. Let x = -177 + l. Is x at most 4?
True
Let f = -299 - -1489/5. Let p be 1/2*(-15)/(-30). Do p and f have the same value?
False
Let d = 23 - 29. Let x = 0.007 + -5.207. Let q = d - x. Are q and 2/7 unequal?
True
Let t be 9/(-6)*(-4)/(-6). Let v = 12 - 11. Let w(l) = 3*l**3 - 2*l + 1. Let n be w(v). Which is bigger: n or t?
n
Let k = -1304/475 + 66/25. Let t = -32/57 + k. Which is smaller: t or 1?
t
Suppose 0 = 2*h + 5 + 1. Let d be (-1)/h - (-6)/(-18). Which is smaller: d or -1?
-1
Suppose 35 = -4*y - y. Let i be 2/y - 18/(-14). Let h be 4/(-8)*2 + 3. Which is greater: h or i?
h
Let n(k) = k**3 + 17*k**2 + 44*k - 14. Let m be n(-14). Which is greater: -3 or m?
-3
Let s = -38 + 40.1. Let o = s - 2. Which is greater: o or -1?
o
Suppose -5*u + 20 = -5*i, 0 = -2*i + 4*u - 0*u - 6. Let h(v) = v**3 + 6*v**2 + 5*v. Let z be h(i). Let t be 30/(-24) + z + 1. Which is bigger: t or 0?
0
Let y = -96.006 - -0.006. Is -0.1 <= y?
False
Let j = -16 - -17.3. Is j > 0.1?
True
Let a be ((-32)/44 - -1)/(5/(-20)). Which is greater: a or -2?
a
Let v = 8 + -5. Suppose 2*y + 2 = v*z - 5, -z + y + 3 = 0. Which is greater: 2 or z?
2
Suppose 0 = 3*s - 2*m - 23, 0*m - 16 = 4*m. Which is smaller: s or 6?
s
Suppose -2*o - 14 = -o. Is o at least -14?
True
Let g = 15.9 - 17. Let u = -2.9 + g. Is -1 at least as big as u?
True
Let q(p) = -3*p + 65. Let m be q(24). Which is smaller: -9 or m?
-9
Let z(g) = -g + 3. Let v be z(0). Let p(h) = h**3 - 3*h**2 - h + 3. Let n be p(v). Suppose 3*u + n*u - 20 = -4*x, -3*x + 4*u = 10. Which is smaller: 1 or x?
1
Suppose -4*w - 2*r - 2*r = -8, w - r = -4. Let c be ((-7)/(-6))/(6/(-84)). Let m = 16 + c. Is w <= m?
True
Let c = -6 + 14. Let o = c + -7.92. Which is smaller: 0 or o?
0
Let b(l) = 5*l + 3. Let f be b(2). Suppose 2*i + 4*w = -16, -i - f = 3*w - 1. Which is greater: i or 3/14?
3/14
Suppose b = -3*i + 12 - 4, -4*i = -3*b + 24. Suppose -2*t - b = 3*y, -3*y = 3*t + 7 + 5. Is 2/17 at most as big as y?
False
Let a be (-210)/(-111) + (-12)/6. Is a > -1?
True
Let y = -5.6 + -1.4. Let l = 13 + y. Let k = -3 + l. Is 0.1 bigger than k?
False
Let d = 18 - 44. Which is bigger: -27 or d?
d
Let r = -6 - -19/2. Let y = 5 + -2. Which is bigger: r or y?
r
Let z = 4557/16 + -285. Which is smaller: 0 or z?
z
Let t = -0.19 - 1.81. Are 6 and t equal?
False
Suppose 5*g - 6*g = -3. Let o = 21 - 17. Which is bigger: g or o?
o
Let z(v) be the first derivative of v**2/2 + 5*v + 3. Let m be z(-6). Let j = 1 - m. Is 3 at most as big as j?
False
Suppose -i = 2 - 8. Which is greater: i or 8?
8
Suppose 3*w - 2*w + 1 = 0. Let x = -119/55 - -26/11. Is w at least as big as x?
False
Let l = 0.16 + -4.16. Let t = 6 + -6. Does l = t?
False
Let p = -221 - -3755/17. Let g(m) = m**3 - 6*m**2 - 7*m - 1. Let v be g(7). Do v and p have different values?
True
Let l = 2 - 0. Which is smaller: -2 or l?
-2
Let r = 57/4 - 67/4. Let i = 51 + -49. Which is smaller: i or r?
r
Suppose -5*r + 6 = -2*r, 3*r - 30 = -4*s. Is s equal to -1?
False
Let p = -0.12 + -1.88. Which is bigger: -2/9 or p?
-2/9
Let c = -88 - -86. Is -2/5 less than c?
False
Let p(y) = -3*y**2 + 4*y - 7. Let x be p(5). Let u be x/(-7) + (-4)/2. Let q = u + -47/7. Which is smaller: -1 or q?
-1
Let m be 27/30 - (0 + 1). Let y = -19 + 19.2. Are y and m equal?
False
Let t = 0.8 - 1.8. Let a = t - 0. Is 2/9 at most as big as a?
False
Let l = -24 + 12. Let b be -4 + 1 + -23 + 13. Is l not equal to b?
True
Let o = 16 + -16.7. Let s = o - -0.6. Do 3/2 and s have the same value?
False
Let o = -2 - -2. Suppose o = -2*p - 17 + 3. Let q(s) = s**3 - 5*s**2 + 4*s. Let m be q(3). Is m bigger than p?
True
Let i = -16 - -13.5. Let w = 3.5 - i. Is w < -0.1?
False
Suppose -2*t + 7 = 4*j - 59, 0 = -2*j - 2*t + 34. Which is bigger: 17 or j?
17
Let m(i) = i**3 - 5*i**2 + i - 3. Let s be m(5). Let w(v) = v**2 + 14*v + 4. Let u be w(-14). Which is greater: s or u?
u
Suppose 0 = -22*b + 20*b + 110. Is 54 at least as big as b?
False
Let h be -2*(0 + 4) + 1. Let w be -1*(28/(-16))/h. Which is smaller: -0.1 or w?
w
Suppose 3*m - 3*g = -18, 2*m + g - 4 = -22. Let b be (4/(-20))/(m/(-10)). Suppose 2*q = -3*q - 20. Is q greater than b?
False
Let j = -0.88 + -0.12. Are j and -1/4 nonequal?
True
Let w = 0 - -2. Let d be -3*(-3)/9 + w. Suppose 5*u = d*u. Which is smaller: u or -2/5?
-2/5
Let i(b) = -b**2 + 2. Let g be i(-2). Let x(n) = -n**3 + 7*n**2 - 2*n + 10. Let j be x(7). Is j greater than or equal to g?
False
Let t be (-622)/206 - (-15)/5. Is 1 <= t?
False
Let u = -1.35 - -1.382. Which is greater: u or -2?
u
Suppose -2*m = 8*m. Do m and 2/71 have the same value?
False
Let b(r) = r**2 - 8*r + 7. Suppose -3*k - 40 = -8*k. Let a be b(k). Which is smaller: 5 or a?
5
Let u = 0.05 - -0.65. Let n = u + -1. Let v = n + 0.2. Which is bigger: -2 or v?
v
Let p(o) = -o**3 + o**2 + 2. Let i be p(2). Which is smaller: -8 or i?
-8
Let q = -53.9 + 50. Let s = q - -4. Which is greater: s or 0.01?
s
Let m = 3 - 4. Let v = m + 1. Let a = 116 - 118. Which is smaller: a or v?
a
Let u(y) = -y**2 + y. Let a be u(0). Let n be -3 - 9/(-3)*24/9. Suppose a = 3*h - n*h. Which is smaller: h or -1/5?
-1/5
Let b = -25 + 40. Suppose z + 2 = -b. Is z equal to -18?
False
Let o = -12 - -28. Let d be (30/o)/(21/14). Is d at least 0?
True
Let f(y) = -7*y**2 + 4*y -