hich is smaller: -1 or n?
-1
Suppose -3*s - 6 = -5*s. Let t = -7.01 + 7. Let h = 0.01 + t. Which is smaller: h or s?
h
Let h be (-2 + 1)*10 - -3. Let f be (-32)/63 + (-2)/h. Is f < 1?
True
Let m = -2308/95 - -122/5. Is 1 less than or equal to m?
False
Let x(h) = h**2 - 9*h - 5. Let i be x(9). Let g be i/(-12)*(13 - 11). Which is greater: g or 0?
g
Let k = -1 + 4. Which is smaller: 1 or k?
1
Let y be (140/(-21))/(2/6). Is -18 at most as big as y?
False
Let d = -20 - -9. Is d < 2?
True
Let b be 4/(-6) - (-20)/12. Let m(c) = -c + 4. Let o be m(8). Let z be (-6)/o*1/(-9). Which is smaller: z or b?
z
Let m = 0.04 - 0. Let v = m - 0.44. Do v and 1 have different values?
True
Suppose 144 = -2*b + 2*s + 2*s, 5*b = -s - 360. Let r be 2/(-2) - 76/b. Is r >= 0?
True
Let q = -10 + 11. Let n = -7.7 - -8. Let p = n + 4.7. Which is bigger: q or p?
p
Suppose 0 = -17*g - 5*g + 154. Suppose 4*i - 4 = 12, 8 = 4*j - 5*i. Are j and g non-equal?
False
Let m = -4/25 - 13/75. Let q(d) = d**3 - 11*d**2 - 3*d + 12. Let u be q(11). Let o be ((-6)/u)/(6/14). Is o greater than m?
True
Let v = -22/3 - -23/3. Let b(s) = 2*s - 13. Let a be b(9). Suppose a*h = n + 5, 2*h - 3*n - 15 = -2*h. Which is smaller: v or h?
h
Let y = -30 + 31. Is y at most -6/23?
False
Let z be (4 + 4)*(-5)/(-20). Is -2 at least z?
False
Let u(a) = -a**2 - 4*a + 7. Let m be u(-5). Let z be (8/(-2))/(0 - -1). Let w be (-10)/z - 4/m. Is w != -1?
True
Suppose -2*a = 3*f, 0 = -4*a + 7*f - 2*f - 44. Let x be ((-1)/(-2))/((-4)/56). Are x and a equal?
False
Suppose -3*x + 7 = -2*r - 4*x, -16 = 5*r + 2*x. Which is bigger: r or -1/15?
-1/15
Let o(p) = -p - 6 + 2 + 0. Let q be o(-6). Are 2 and q equal?
True
Let k = -0.062 - -5.162. Let g = -6 - -11. Let r = g - k. Which is smaller: 0 or r?
r
Let b(u) = 2*u**2 + 7*u - 6. Let g be b(-6). Suppose 4*n + g = 8*n. Let p be (-11)/9 + n/27. Is 1/8 greater than p?
True
Let m be (-1 - 2)/(-2 - -1). Let p be (m/(-9))/(2/(-6)). Let c = -53 - -213/4. Is c less than p?
True
Let s be ((-2)/(-3))/((-4)/(-192)). Let k be (-28)/s - (-3)/6. Is k at least 1?
False
Suppose -25 = 5*w, 334 = -4*b - 4*w - 66. Let z = b + 387/4. Is 0.1 > z?
False
Let j = 4 + 7. Is j > 13?
False
Let h = -155 + 156. Which is bigger: 50 or h?
50
Let g = -2.5 - -7. Let t = g + -5. Is t less than or equal to -1/2?
True
Let i = -66 - -66.2. Is 41 at most i?
False
Suppose 0 = -6*k + 2*k. Suppose -5*q + 18 = -4*w, k = q - 1 + 3. Are -2/7 and w unequal?
True
Let j = -34.7 - -33. Let o = 19.7 + -19. Let t = j + o. Which is greater: -1/2 or t?
-1/2
Let f(g) = -4*g + 1. Suppose -12 = -5*m + m. Let l be f(m). Are l and -11 nonequal?
False
Let z = 17 - 17. Which is bigger: -4/5 or z?
z
Suppose -6*v - 60 = -v. Let u(y) = -14*y**2 + 2*y. Let a be u(1). Is a >= v?
True
Let n = -0.25 + 0.09. Let m = 0.26 + n. Let c be (2 - (-1 - -4))/1. Is c <= m?
True
Let w be (-43)/(-3) - 3/9. Let q = 41/3 - w. Suppose -3 + 6 = -3*l. Is q at least as big as l?
True
Suppose -u - 1 - 1 = -2*w, 4*w - 4*u = -4. Do w and 1 have the same value?
False
Let b be (2/(-5))/((-2)/(-10)). Let g(h) be the first derivative of -h**2/2 + 6*h + 1. Let o be g(7). Which is smaller: o or b?
b
Let y(l) = -l**2 + 7*l - 5. Let a be y(6). Let g(i) = i + 1 - a. Let s be g(1). Which is greater: 0 or s?
s
Let r be 1/2*10/(-5). Let l = 3 - r. Suppose 0*d = -4*d - l. Is d at most -1?
True
Suppose -5*l + l = 0. Suppose 5*s = -2*o + 15, l*o = -4*s + 2*o + 12. Suppose -s*z = 5*y + 2, 3*y - 5*z + 7 = -1. Which is bigger: y or 3?
3
Let p(o) = 26*o - 3. Let l be p(-4). Let v = l + 11. Let m be v/(-165) + 2/(-5). Do m and 0 have the same value?
False
Suppose -8*k + 3*k - 50 = 0. Which is bigger: -3 or k?
-3
Suppose -4*z - 8 - 11 = k, z = 5*k - 10. Let t = 6 + -4. Are t and k equal?
False
Let m = 49 + -50. Is m equal to -5?
False
Let i = 617816/239 - 2585. Which is smaller: 1 or i?
i
Let a = -179/366 + -2/183. Let n = -4 - -6. Suppose -2*l + 0 - 5 = 5*w, n*w = 2*l - 2. Which is smaller: l or a?
a
Let r(o) = -o**3 - 4*o**2 + 6*o + 4. Let q be r(-5). Which is bigger: -11 or q?
q
Let g = 6953/11039 - -1/581. Which is bigger: g or 1?
1
Let d = 135/28 - 32/7. Which is smaller: 1 or d?
d
Let n be (-1)/3 + 16/(-6). Let l be (9/15)/n + 1. Is 1 bigger than l?
True
Let r = -50 + 48. Which is smaller: r or 4?
r
Suppose -3*d - 3*b = -23 + 5, d = -3*b + 6. Suppose 3*l - l = d. Suppose 4*z - 16 = 4*y, -3*y = -4*z + 7 + 8. Is l greater than or equal to z?
True
Let x(i) = -i - 10. Let p be x(-9). Let j = 593/5 - 119. Is j < p?
False
Suppose s = 6*s + 50. Which is smaller: -9 or s?
s
Suppose -44*k + 4 = -46*k. Suppose -3*a - 4 = w - a, -3*w = -2*a - 20. Suppose 8 = -4*x - w. Which is smaller: x or k?
x
Let q be (10 - 1)/(-3) - -8. Which is smaller: 6 or q?
q
Let t(b) = b + 6. Let i be t(0). Suppose 5*a - 1 = -i. Is 2/5 greater than a?
True
Let t be -8 + 1 + 12/4. Is t smaller than 0.4?
True
Suppose 4*g - 32 = -0. Suppose -5*h = -h - g. Which is smaller: h or 1?
1
Suppose 0 = -3*h - 9 + 3. Let i(g) = g - 7. Let t be i(5). Does t = h?
True
Let k be 3*(-2 - -1) - 1. Let x(z) = -z - 5. Let h(j) = j + 4. Let t(g) = 6*h(g) + 7*x(g). Let r be t(-8). Is k < r?
True
Let y = 623/99 + -79/11. Let h = -21 + 19. Which is smaller: y or h?
h
Let s = 1/5 + -19/45. Which is greater: s or -1/3?
s
Suppose 2*t = 5*b + 10, 4*b + 4*t - 23 = -3. Which is bigger: b or -5?
b
Let z be -18*(4/(-2))/4. Is z > 9?
False
Let r = 10 + -43. Is r bigger than -3?
False
Suppose -2*a = 2*a - 140. Is 36 greater than or equal to a?
True
Let y be (-6)/2 + 28/4. Suppose -5*t - 4*o - 23 = 0, 0*t + y*t + 10 = o. Which is smaller: t or -2?
t
Suppose -5*g + 7 - 2 = 0. Suppose 101 - 305 = 2*z. Let y = z - -716/7. Is g greater than y?
True
Suppose 6 = 2*b - q - 4, 4 = -4*b - 4*q. Let w(a) = -a + 3. Let p be w(b). Is p > -2?
True
Let z = 6 - 5.9. Which is bigger: -0.07 or z?
z
Let x = -0.1 + 0. Let b = 2.3 + -1.9. Are b and x equal?
False
Let q be ((-2)/(-4))/((-1)/(-2)). Let s be 3 + q + 1 + 1. Suppose -21*y + 8*y + 65 = 0. Which is smaller: y or s?
y
Let z = -10 - 15. Let d = -21 - z. Which is smaller: -2/5 or d?
-2/5
Let z be (-56)/(-180)*(-10)/(-5 + 3). Suppose 0 = -3*r - 4*g + 25, 2*g + 2*g = -5*r + 31. Which is greater: z or r?
r
Let n = -12 - -15. Is 3 <= n?
True
Let n(j) = -j**3 + 5*j**2 - 5*j + 4. Let h be n(4). Let w = 0 + h. Suppose -4*s + 0*s = w. Is s < 1/2?
True
Let r = -13623/17 + 801. Which is bigger: 0 or r?
0
Let s(i) = i + 4. Let g be s(-2). Let c = -8.03 - -8. Let k = c - -0.13. Is g at most as big as k?
False
Let k be (14/6 + -3)/(0 + -2). Is k smaller than 0.09?
False
Let k(v) be the first derivative of v**4/4 - v**3/3 - 3*v**2/2 + 2*v + 8. Let g be k(2). Which is greater: g or -3?
g
Let b = -5 - -6. Let j = 0 - b. Is j less than 1/3?
True
Let n = -18 + 24. Let a = 4 - n. Is a less than 9?
True
Let t = 3.9 - -0.1. Let h = 5 - t. Which is smaller: -0.5 or h?
-0.5
Let v = 4 + -5. Let f be (v/2)/(1/2). Which is greater: f or -2/3?
-2/3
Let d(z) = -z**3 - z - 1. Suppose 5*r = -f - 1, 2*f - 5*f + 10 = 2*r. Let b be d(r). Let a be (b + -3)/(4 - 0). Which is smaller: a or -2?
-2
Let x(d) = d**3 + 13*d**2 + 5*d - 3. Let k be x(-12). Let a be 3/(3 + k/(-12)). Let q = a + 21/20. Which is smaller: q or 0.2?
0.2
Let c be (-3)/(-2) - 9/18. Which is smaller: -0.06 or c?
-0.06
Let h(n) = n - 8. Let w be h(2). Is -4 greater than or equal to w?
True
Let c be 7/(-2)*(-20)/35. Let a be c/(14/3) + 0. Is -1 greater than or equal to a?
False
Let r be (-2)/(-8) - 51/(-68). Which is smaller: 1/2 or r?
1/2
Let n be (-1 - -7)/((-2)/5). Let s be (2/(-6))/((-5)/n). Let u be -1 - (-6)/(-51) - s. Is u bigger than 1?
False
Let m be ((-6)/9)/((-2)/(-12)). Which is greater: -42/11 or m?
-42/11
Let q = -1 - -29. Suppose 2*i + 0*i = 4*o - 34, 0 = -3*o - i + q. Suppose -2*j - 8 = 3*p, 4*p - p + o = -3*j. Is p at most -2?
True
Let t = 33 + -33.08. Does 2 = t?
False
Let h = 3.05 - 3. Let g = h - 0.25. Which is greater: 1 or g?
1
Let d be 2 + ((-1488)/9)/(-4). Let l = 43 - d. Let o = -0.8 + -0.2. Which is smaller: o or l?
o
Let d(a) = 4*a + 7. Let s(q) = 5*q + 8. Let m(f) = 6*d(f) - 5*s(f). Let c be m(2). Let w be (4/6)/((-2)/3). Are w and c equal?
False
Let h be 10 + -2 + -4 - 3. Which is greater: 4 or h?
4
Let g = 115 - 117.95. Let h = 4.05 + -4