7?
-2/7
Let l = 1 + 0. Let w = 0.9 - l. Let n(x) = -x**2 + 7*x - 4. Let u be n(6). Which is bigger: w or u?
u
Let o = 411 + -1244/3. Is o at most -5?
False
Let h = 107 + -111. Let a(b) = 4*b**3 + 2*b + 1. Let c be a(-1). Which is bigger: c or h?
h
Let x(j) = -2*j - 9. Let i be x(-7). Let m be (8/i - 0) + -2. Is m not equal to -0.1?
True
Let d(h) = h**2 - 6*h - 2. Suppose 3*g = 15, 4*g = -2*i + 4*i + 6. Let k be d(i). Is 6 < k?
False
Suppose 3*p = 3*v + 24, 3*p + 5*v - 2*v + 6 = 0. Which is smaller: -0.6 or p?
-0.6
Let r = 8 + -6. Suppose -u + 5*z - 1 = -20, r*z = 3*u - 5. Let h be (-4)/112 - (-2)/(-8). Which is greater: u or h?
h
Let n be (1*(24 - 3))/1. Let r = -20 + n. Do -0.1 and r have the same value?
False
Let r = 37.9 - 38.9. Let c = -8 - -5. Is r less than or equal to c?
False
Let p be (-4)/(-6) + 1010/24. Let v = -43 + p. Do v and 11 have different values?
True
Let k = -2 + 2. Which is smaller: k or 1/3?
k
Let l be (-30)/(-45)*(-3)/2. Let r be (-5 - (-2 - -1))*-2. Let u be ((-9)/15)/(6/r). Which is bigger: l or u?
u
Let y = -54 - -53. Is -1 smaller than y?
False
Let o(s) = s**2 + 2*s. Let m(j) = -j**2 - 5*j + 3. Let y be m(-6). Let a be o(y). Which is smaller: a or 0?
0
Let x(v) = -v**3 - 6*v**2 - 3. Suppose 0 = g + 4*g + 25. Let j be x(g). Let f be (-6)/j - 2/4. Is f at most as big as 0?
True
Let r = 0.1 + -0.1. Let a = 0.1 + r. Is a less than 1/2?
True
Let i(f) = -f - 2. Let d be i(0). Are -2 and d nonequal?
False
Let a be 1/(-5)*(2 + 0). Let i = 16 - 5. Is i bigger than a?
True
Suppose -4*k + 3*r - 39 = 0, 12 = -4*k + 5*r - 37. Let q = -4 - k. Let u = 11 - 9. Is u <= q?
True
Suppose 3*m + m = 0. Let o = 20 - 10. Let d be ((-36)/(-240))/(2/o). Which is bigger: m or d?
d
Let w = -0.8 - -1. Is -4 > w?
False
Let u be (2 - -1057)*(-1)/7. Let f = u - -151. Let q(r) = -2*r - 1. Let o be q(-1). Is f less than o?
True
Let l be (300/(-18))/(-10) - 2/3. Which is greater: l or -0.5?
l
Let w = 38 + -39. Which is smaller: -3/37 or w?
w
Let c(x) = 4*x**2 - x - 6. Let j(f) = f**2 - f - 1. Let d(p) = c(p) - 5*j(p). Let i be d(3). Suppose -i*n - 24 = 2*n. Are -6 and n non-equal?
False
Let o = 3 + -4. Let j be o/(-12)*6/27. Let l = 13/54 - j. Is 1 greater than or equal to l?
True
Suppose -5*i - 24 = -k, -k = -0*k - 2*i - 12. Suppose 0 = 3*r, 4*r = k*f + 2*r - 20. Suppose -x = -f*x. Does x = 0?
True
Let g be -2*(-3)/(-12)*4. Which is smaller: -6/7 or g?
g
Let u be (-6)/(-12) + (-1)/2. Is 0.075 not equal to u?
True
Let b = 5 + -9. Let n(c) = 2*c**2 + 2*c - 1. Let w be n(-1). Is b > w?
False
Let t(n) = n**3 - 10*n**2 + 9*n - 10. Let g be t(9). Let y = -8 - g. Let x be (-1)/(-3) + 1/3. Which is greater: y or x?
y
Let y be (-9)/132 - 2/11. Let c be ((-2)/(-4))/(5/10). Which is bigger: c or y?
c
Let f = 7 + -28. Let a be 7/f + 14/33. Is 0 at least as big as a?
False
Let o = 0.01 + -0.21. Which is smaller: o or -2/35?
o
Let x(j) = -j. Suppose -2*w - 1 - 7 = 0. Let i be x(w). Let p be 1/((-1)/i) - 0. Which is bigger: -1 or p?
-1
Let y(l) = -l**2 - 4*l + 5. Let c = -3 + 3. Let j = c + -5. Let a be y(j). Which is smaller: 1/6 or a?
a
Let k = 4 + -3. Let s = -0.28 + 2.28. Which is bigger: k or s?
s
Let y = -3.7 - 1.3. Let d = -4.5 - y. Is d >= 0?
True
Let s be ((-17)/(-17))/(1/5). Which is greater: s or 6?
6
Let u(r) = r**3 + 3*r**2 - r - 4. Suppose 5*v = -19 + 4. Let d be u(v). Is d at most as big as 3/7?
True
Suppose 3*h + 25 = 7. Let y be (h - -11) + 1 + -3. Suppose y*p - 8 = 1. Which is smaller: 1 or p?
1
Let y(j) be the first derivative of 2*j + 1/3*j**3 + 1 + 2*j**2. Let q be y(-4). Which is greater: q or 4/7?
q
Let y = -0.7 + -4.3. Let g = -0.42 + 0.02. Let q = g + 0.3. Is q equal to y?
False
Let g be ((-4)/6)/(2/3). Which is greater: g or 3/8?
3/8
Suppose 5*h - 4*n - 12 = 0, -4*h - 2*n - 7 = -1. Let a be h + (-28)/12 + 1. Let k = -1 + 1. Is a != k?
True
Let c(h) = 4*h - 48. Let l be c(12). Suppose 0 = 3*p + u + 9, -3*p = 3*u + 2*u + 21. Which is smaller: p or l?
p
Let d be (-4)/(-5)*(-30)/(-84). Do d and -1 have different values?
True
Let k = 8 + -3. Let y(s) = -3*s**3 + 2*s + 1. Let o be y(-1). Suppose o*b = k*b. Is b <= 1?
True
Let l = -33 - -20.5. Are 0.1 and l nonequal?
True
Suppose p - 4*p - 207 = 0. Let i be p/(-12) - (-1)/4. Is 6 > i?
False
Let t(q) = 4*q - 2. Let d(x) = -4*x + 2. Let p(m) = 3*d(m) + 4*t(m). Let l be p(2). Let n(u) = 5*u**2 + 2*u - 1. Let o be n(1). Are o and l nonequal?
False
Let q be 248/10 + (-11)/(-55). Suppose 0 = z - 6*z + q. Do z and 18/5 have different values?
True
Let u(d) = -d**2 - 7*d - 1. Let f be u(-7). Let b = 5/13 + -17/78. Is f less than or equal to b?
True
Let i = 4 + -4.3. Let x(c) = -c**3 - 2*c**2 + c - 3. Let h be x(-3). Does h = i?
False
Let m = 220747/119 + -1855. Do m and 1 have different values?
True
Let m(r) = -r**3 - 2*r**2 + 3*r + 2. Suppose 0 + 3 = -v. Let f be m(v). Is 3 greater than or equal to f?
True
Let k be (63/(-12))/(-7)*-4. Let y be (20/6)/(2/k). Which is greater: -4 or y?
-4
Let c = -7 + 7. Let a be ((-1)/(-2))/(-1)*c. Which is greater: 1/13 or a?
1/13
Let x = 52 - 53. Is -1/15 < x?
False
Let a(m) = -m + 3. Let x be a(0). Suppose 2*t = -x + 11. Are 5 and t non-equal?
True
Let t = -16 - -17. Let s = 1 + -0.9. Which is smaller: s or t?
s
Let y be (-4)/25*(349/(-118) - -3). Is y less than 1?
True
Suppose 9 = 3*p + f, 3*p + 0*f - 15 = f. Suppose -9 = p*x - 1. Which is smaller: x or -3/5?
x
Let h be (0 - 1)/(0 - -1). Suppose -5*a - 3*p + 34 = 0, 3*a + 0*p + 2*p - 21 = 0. Which is smaller: a or h?
h
Let p = -6.58 + -0.42. Which is smaller: p or 1/3?
p
Let n = -0.2 + 0.3. Which is smaller: -59 or n?
-59
Suppose -2*l = 4*u + 8 - 2, -l - 3*u - 5 = 0. Let p(r) = 2*r**2. Let f be p(l). Are f and -0.4 non-equal?
True
Suppose 3*n + n = -4*a - 40, -6 = -2*n. Let d(l) = -4*l + 12. Let t be d(5). Let q = a - t. Which is greater: -4 or q?
-4
Let i = 857/5 - 172. Let a be 1 - 2/((-78)/(-33)). Is i less than a?
True
Let k(j) = -2*j - 1. Let m(c) = c + 1. Let d(n) = -4*k(n) - 6*m(n). Let r be d(4). Suppose 2*q - r = -14. Is 1 bigger than q?
True
Let n = 17 + -16.98. Let s(a) = -a**2 + 3*a + 3. Let r be s(4). Are n and r unequal?
True
Let o be (-2)/(-3) + 21/9. Suppose 5*v + r = 0, o*v + 0*v = -2*r + 7. Which is smaller: 0 or v?
v
Let i(s) = 5*s + 5 + 0*s + 2*s + s**3 + 6*s**2. Let p be i(-4). Let k be 6*(-4)/(24/(-9)). Does k = p?
True
Let f = 28/75 - 1/25. Suppose 3 = -5*v - 2. Which is smaller: v or f?
v
Let q(h) = h**3 - 5*h**2 + 4*h + 2. Let d be q(4). Let x be d/(-5) - 2/(-5). Which is smaller: x or 2?
x
Suppose 0 = t - 5*g - 9, 3*g = -t - g. Let b = -5 + 7. Are b and t nonequal?
True
Suppose -3*n - 29 = -2*g, 3*n + 16 = -5*g - 48. Suppose 3*z + 2*z + 60 = 0. Is z != n?
True
Let a be (-1 + -2)/(15/10). Let u(w) = -4*w**2 - 3*w - 1. Let n(m) = -11*m**2 - 8*m - 3. Let t(j) = 3*n(j) - 8*u(j). Let y be t(-2). Which is smaller: a or y?
y
Let b = 0 - 0. Suppose -5*c + y + 2 = b, c + 2*c = y. Is c greater than 2/7?
True
Let l = 11.1 + -11. Which is smaller: l or -12/7?
-12/7
Let u = 746/9 - 83. Is u > -8?
True
Let d = -54867/35 - -6426/5. Let i = d - -282. Let u(r) = -r**2 - 4*r - 4. Let z be u(-3). Is z smaller than i?
True
Suppose -4*p + 2*f = 4*f + 22, -f - 3 = 0. Suppose 3*c - 15 = 5*z, 2*c = 4*z - 3*c + 12. Let l be (-3 - (-4 - z))*1. Are l and p non-equal?
True
Let d = -122695 - -13618973/111. Let o = d - -8/37. Which is greater: o or -2?
o
Let o = -49 + 48.89. Which is smaller: -2/7 or o?
-2/7
Let b = -0.1 - 0.1. Let z = b - -0.4. Let c = -39 - -40. Is c >= z?
True
Let v = -24 - -12. Is v <= -11?
True
Suppose 2*d + 4 + 11 = -5*g, -5*d + g = -30. Suppose 4*q + d = 3*q. Which is smaller: -4 or q?
q
Let j(l) = l**2 + 2*l. Let r be -4 - -3 - 2/2. Let t be j(r). Let b be 0 - (-2)/4*-2. Is b at most t?
True
Let o = -0.1 + 0.3. Let p = -16.3 - -17. Let c = 0.5 - p. Which is bigger: c or o?
o
Let s = 121 + -243/2. Which is bigger: s or -1?
s
Let q be (-6)/75*(-3)/(-6). Which is greater: -1 or q?
q
Suppose 3*q + 56 = -4*r + 20, -5*r = -2*q - 24. Is -22 at most q?
True
Let c = 8 - 6. Suppose z = 5, 4*q + 0*z - 2*z + c = 0. Suppose q*u - u = 1. Which is bigger: 0 or u?
u
Let v be (6/(-4))/(9/12). Let p be 0/((-1)/v*2). Is p greater than 1/3?
False
Suppose 17 = -5*f + 2. Let q be (-15)/10 + 2/(-4). Is f at least q?