t w = 2 - -7. Suppose -w = -i + 7. Let p = 5/28 + -3/7. Which is greater: i or p?
i
Suppose -4*m = 16, -2*k = 2*m - 0 + 4. Which is greater: k or 8/11?
k
Suppose 0 = 4*t + 5*t - 81. Suppose 0*i + t = i. Which is smaller: 7 or i?
7
Let d = 3.9 - 2.6. Let i = d - 3.3. Is i less than or equal to -2/7?
True
Let t(q) = -9*q + 36. Let y be t(5). Let o be 14/(-4) + (-5 - y). Is -8/11 at least as big as o?
False
Suppose 50 + 37 = 3*w. Let o = w + -20. Which is smaller: o or 8?
8
Let g = 82 - 34. Let o be 0 + g/(-21) + 2. Suppose n + 3*n = -4. Which is greater: o or n?
o
Let l(w) = 2*w**2 + 6*w + 4. Let u be l(-4). Suppose 0 = 4*y - 4 + u. Let k be (7/2 + -1)*132/(-275). Which is smaller: y or k?
y
Suppose -26 - 23 = -7*i. Let a(d) = -8*d**2 + 14*d + 8. Let w(v) = 3*v**2 - 5*v - 3. Let p(z) = 5*a(z) + 14*w(z). Let o be p(2). Which is bigger: i or o?
i
Suppose 5*m + 4 = m. Let b = -15724/36271 - 2/1577. Which is bigger: b or m?
b
Let f = 1/215 + -1513/1720. Which is smaller: 0.04 or f?
f
Let o(i) = -i**3 + 6*i**2 - 6*i + 2. Let v be o(4). Let r be 2/(-5) + 374/v. Suppose 4*u + y - 4 = -r, -2*u + y = 21. Are u and -7 non-equal?
True
Let z = -89 - -89. Let k = -0.86 - -0.8. Let p = 2.06 + k. Which is greater: z or p?
p
Let u = 0.0494 + -141.0494. Is 1 greater than u?
True
Let x(h) = -2*h - 98 + 114 + h**2 + 2*h. Let o be x(5). Are o and 41 nonequal?
False
Let v(x) = x**3 - 13*x**2 + 10*x + 29. Let w be v(12). Which is smaller: -1 or w?
-1
Suppose -33*x = -50*x - 391. Which is greater: x or -165/7?
x
Let c = 89.678 - 90.6. Let j = 0.078 - c. Is 7/11 != j?
True
Let u be (-12)/4*(916/102 - 9). Is u less than or equal to 2/117?
False
Suppose 0 = 6*d + 137 - 137. Let x be 6/14 + (-3 - -5) + -1. Do x and d have the same value?
False
Suppose 16 + 159 = -25*j. Which is bigger: -4 or j?
-4
Let l = -0.7 - -0.8. Let w = -50.82 - -49. Let n = 0.28 - w. Does l = n?
False
Suppose -5*f + 5*d = -4*f - 46, 8 = -2*d. Let o = f - 31. Is o less than -9/2?
True
Let n be -1*(30 - 2)/(-2). Suppose -n = 2*p + 14. Which is bigger: 2 or p?
2
Let s(x) = -4*x - 2 - 1 + 2*x**2 - 7*x**2 + 4*x**2. Let h be s(-1). Does 8/9 = h?
False
Let b = 144/55 + -14/5. Let q be (-1)/(-7)*-12 - -2. Is q at most b?
False
Let t(k) = k**3 + 6*k**2 - 2*k + 6. Let s be t(-6). Suppose 3*z = -s + 21. Let m be (-4 - (-2 - z))/(-1). Is -2/7 < m?
True
Let l(s) = s**3 - 4*s**2 - 13*s + 6. Let w be l(6). Suppose 3*u - 6*u = w. Let i = 47/77 - 15/22. Which is bigger: i or u?
u
Suppose -2*p = 3*p - 25. Suppose p*r - 25 = 10. Suppose v - 1 + r = 0. Is -7 less than or equal to v?
True
Let t be -10 + (-707)/(-70) + (-156)/(-40). Which is smaller: t or -2/87?
-2/87
Let a(t) = -2*t**2 - 74*t + 89. Let z be a(-38). Let u = -24 - -35. Is u greater than z?
False
Let o = 1239 - 12379/10. Which is greater: o or -4?
o
Let t = 1.56 - 0.56. Let f = 1 + -3. Let y = -2.5 - f. Is t smaller than y?
False
Let m = 48 - -90. Are 140 and m non-equal?
True
Let g = -18 - -20.3. Let k = 2.32 - g. Let i = -0.6 + 0.6. Which is smaller: i or k?
i
Let p be (20/6)/((-6)/16). Let u(g) = -2*g**2 + 13*g - 6. Let q be u(5). Let l = p + q. Is l at least 0?
True
Suppose -4 = -24*v + 22*v. Let d(m) = 2*m**2 - 5*m + 1. Let y be d(v). Which is bigger: -8/11 or y?
-8/11
Let q = 253 + -161. Is 91 not equal to q?
True
Let m be (1/2)/((-82)/(-86)). Let p = 315 + -12914/41. Let l = p - m. Is -2 > l?
False
Let b(f) = f**2 + 7*f - 7. Let g be b(-7). Let w(y) = y**3 + 6 - 4*y + 0*y - 3*y**2 + 0*y**3. Let z be w(3). Does z = g?
False
Let n = -20881/11 - -1907. Is 8 bigger than n?
False
Let h(d) = d. Let g(a) = 4*a + 5. Let t(w) = -g(w) + 6*h(w). Let b be t(5). Suppose 4*j = b*v + 5*j, -2*v + 3*j = 0. Which is bigger: -1 or v?
v
Let s(w) = w**2 - 14*w - 9. Let l(j) = -2*j**2 + 15*j + 10. Let m(c) = -2*l(c) - 3*s(c). Let q be m(-11). Is 0.3 greater than q?
True
Let h be (-64)/12*6/4. Let p be 10/2 - (-1 + 1). Suppose -4*s = -p*s + 3*y - 19, -s - 2*y + 1 = 0. Is s bigger than h?
True
Suppose -3*j + 7*j = 12. Let o = -24 + 34. Suppose -q + o = q. Which is bigger: j or q?
q
Suppose l = -4*w - 117, -2*w + 7*w - 4*l = -120. Let m be 16*2/w*(-5)/(-2). Is m less than or equal to -4?
False
Suppose -6*g + 11*g + 355 = -5*q, 4*g - 2*q + 260 = 0. Is g less than or equal to -65?
True
Let q = 54 + -54. Which is greater: q or 32?
32
Let l = 21/1381 - 170220/23477. Is l less than or equal to -6?
True
Suppose -3*h - r = -h - 2, 0 = 5*h + 5*r - 10. Let t be (-38)/10 - (-1 - 3). Are h and t equal?
False
Let z = -9.28 + 10.1. Is z not equal to 2/17?
True
Let r = -29 + 29. Suppose -2*j + 3 - 7 = r. Is -1 <= j?
False
Suppose 3*y - 21 = t, 17*t - 11 = 18*t - y. Suppose -6 = 2*o - o. Is o greater than t?
False
Suppose 0 = 2*f - 2*g + 200, -2*f + 5*f + 275 = -2*g. Is f at least as big as -92?
False
Let w = -578.9 + 612. Let h = 36 - w. Let b = 2.1 + h. Do 1 and b have different values?
True
Suppose -15 - 20 = -7*n. Suppose n*v - 8 = v. Suppose -3*i - 4*s = -90, -i + v*s - 28 = -2*i. Is 35 smaller than i?
False
Let h(o) = 2*o + 30. Let t be h(-15). Suppose 1 + 16 = 4*u - m, 4*u - 4*m - 20 = t. Suppose f + u = z + 8, -3*z + 4*f = 16. Is z at least -1/53?
True
Let u(y) = y**3 - 10*y**2 - 8*y - 15. Let q be u(9). Let t = q - -1849/11. Is 1 less than t?
False
Let q(g) = g**3 - 2*g**2 - 5*g - 2. Let d be q(4). Let n = 5 - d. Which is smaller: n or -6?
-6
Let v be -2 - -4 - (2 + -2). Let o be v*1/(2/(-7)). Suppose 26 = -4*f + y, -3*f = -8*f - y - 28. Is o less than or equal to f?
True
Let o be (-172)/8*(-48)/10. Let z = o + -6668/65. Which is greater: z or 0?
z
Suppose -3*o = -2*o - 0*o. Are o and -7/29 unequal?
True
Suppose 0 = 6*j - 74 + 392. Which is smaller: j or -51?
j
Let p be (-20)/(-16)*(-2)/10. Let b = -0.238 + -19.662. Let h = -20 - b. Which is greater: h or p?
h
Let z = -11 - -12. Let x be (z - 2) + -2 + 3. Let d be (x + -1)/((-4)/(-32)). Is -8 at most d?
True
Let x = -369 + 350. Let r = -1.6 + 1.6. Which is smaller: x or r?
x
Let r(p) = 4*p**2 - p + 10. Let n be r(0). Let a be -1*(16 + (6 - 3)). Let m = a + 27. Which is smaller: m or n?
m
Let i(d) = d**3 - 12*d**2. Let z be i(12). Let l = 5.9 - -2.1. Let b = l - 8.5. Which is smaller: b or z?
b
Suppose -2*u + 3*d = -16, -2 = 3*u + 3*d - 11. Let k be (-7)/u - 6/(-15). Let j = -0.01 + 0. Which is smaller: j or k?
k
Let k(p) = 2*p - 24. Let i be k(11). Let n(w) = w**2 + w + 1. Let d(r) = -2*r**2 + 2*r + 3. Let b(f) = d(f) + n(f). Let j be b(i). Which is smaller: j or -8?
-8
Suppose -4*s - s + 0*s = 0. Suppose -h + 0*h + 4*v + 5 = s, -4*h + 60 = 4*v. Is 15 less than h?
False
Let x(v) = 27*v**2 + 24*v + 4. Let y be x(-3). Is 175 at most y?
True
Suppose 6*n = 4*n - 4. Let l be (-1 - (-2 - n)) + 1. Which is bigger: -6 or l?
l
Let g(t) = t**3 - 3*t**2 - 7*t + 9. Let v be g(4). Let y be (-2)/2 + v*(-16)/(-6). Is y smaller than -5?
True
Let n = 89 - 229. Let u = 140 + n. Are u and -30 equal?
False
Let f(l) = -l**2 - 12*l - 9. Let p be f(-11). Suppose 0 = p*h - 78 + 22. Let m be 8/h + 5/7. Which is bigger: 1/15 or m?
m
Let d = -7.3 + 7.339. Let z = 1.961 + d. Suppose 2*l - l = 3. Is l != z?
True
Let k be ((-1)/21*-7)/((-14)/186). Which is bigger: -4 or k?
-4
Suppose -2*z = 139 - 119. Which is smaller: z or -80/9?
z
Let c = 0.1075 - 0.1175. Is c > -0.017?
True
Let t = 79 + -80. Let k = -1.4 - t. Is k greater than 9?
False
Let q be (-118)/(-12) - 5/1. Are 6 and q nonequal?
True
Let b(s) = 8*s + 22. Let f be b(11). Which is greater: 111 or f?
111
Let d be 24/(-4) - 7/((-21)/(-12)). Let j be 30/4*(-2 + 0). Let i = j - d. Is -3 not equal to i?
True
Suppose -4*b = 34 - 30. Is b not equal to 2/41?
True
Suppose -4*p - 4 = -5*p. Suppose p*z = -z - 20. Let j = -6 - -2. Are z and j non-equal?
False
Let j = 0 - 0.6. Let v = 1.6 + j. Do v and 6/5 have different values?
True
Let t = -196 + 1375/7. Are -26 and t nonequal?
True
Let o be (-3 - -4) + 3 + -1. Suppose 2*s + 5 = -o. Let d = -4 - 0. Is s >= d?
True
Suppose 0 = -5*i + 2*p - 31 - 47, 0 = 5*i + 3*p + 58. Is i > -5?
False
Let h = 272 + -2995/11. Is h <= 1?
True
Let p = 18 + -4. Let h(g) = -g**3 - 2*g**2 - 3*g - 2. Let d be h(-2). Suppose -2*v - 2*n - d = 0, -5*v = -n - 2*n - p. Which is smaller: v or 7/4?
v
Let f = -0.025 - -0.084. Let g = f - -1.941. Which is bigger: 3/5 or g?
g
Suppose 60 = 3