11, 6*x - j + y = 2*x. Which is greater: x or -2?
-2
Let q be ((-12)/30)/((-2)/5). Suppose c = -4*s + 5, -5*c = -c - 3*s - q. Is c equal to 6/7?
False
Suppose 0 = -l - l. Suppose g - 2*g + 2 = l. Let o be (1/3*0)/g. Is 2/3 less than o?
False
Suppose 4 = 3*u + 2*s, 7*u - 4*s - 28 = 4*u. Suppose -h - 2*h = l, -5*h = 5. Suppose 0 = g - l - 2. Which is smaller: g or u?
u
Let h = -1.1 + 2.1. Let x = 3.03 + -3. Let d = -3.03 + x. Which is smaller: h or d?
d
Let v be (1 - -2)*(-2)/3. Let g = -6 - -10. Suppose 0 = 3*m + 3*d + 1 + 5, -2*m = g*d + 4. Is m greater than or equal to v?
True
Let a(z) = -z + 15. Let i be a(4). Is i less than or equal to 11?
True
Let w(a) = -a**3 + 7*a**2 - 6. Let d be w(7). Let x = d - -16/3. Is -2 greater than x?
False
Let h be 0/(2/4*-2). Suppose -2*g + q + 6 = h, 3*g - 2*q + 3 = 14. Are 1/5 and g equal?
False
Let l be (-28)/70 - 64/(-85). Is -1 smaller than l?
True
Suppose d + 10 - 25 = 4*s, 0 = -2*d + 6. Let t = -35 + 37. Suppose 2*y + 2 = -t. Which is smaller: y or s?
s
Let b = 86 + -256/3. Let v be 1/3 + 4/(-12). Let m be ((-2)/2)/(-1 - v). Is b not equal to m?
True
Suppose 53 + 45 = 7*m. Which is bigger: m or 12?
m
Suppose 0 = -7*b + 242 + 87. Is b smaller than 47?
False
Let b(n) = n**3 + 6*n**2 + 8*n + 5. Let s be b(-5). Let a be (18/s)/((-6)/20). Suppose 4*i + 2*u + 4 = a*i, 12 = -4*u. Are -2 and i nonequal?
True
Let p(q) = -q**2 + 11*q - 22. Let b be ((-15)/2)/(12/(-16)). Let i be p(b). Is -2/3 at most as big as i?
False
Suppose h - 5 = -k, 0 = -8*k + 3*k + 10. Let o = h - 5. Let i be 2/4*0/o. Which is smaller: 1 or i?
i
Let x = 170215/2494 - -1/4988. Let m = 69 - x. Let f be 0 + 0 + (-17)/17. Is f greater than or equal to m?
False
Let n be (-6)/10 + 19/40. Which is greater: 1 or n?
1
Let r = -457 + 9595/21. Suppose -4*w = -0*w + 4. Is w > r?
False
Suppose 2*n + 5*w + 15 = 7*n, -3*n + w + 9 = 0. Is n not equal to 2?
True
Let y = -2161/1482 - -37/26. Which is bigger: y or 0?
0
Suppose 5*n + 5 = 200. Let x = -157/4 + n. Let g = 1/4 - x. Which is greater: g or 0?
g
Suppose -2*m - 3*m = 0. Which is smaller: m or 2/9?
m
Let o be ((-1801)/(-2))/(11/4). Let c = 328 - o. Is c greater than 0?
True
Let r be -3 + 19/6 - (-595)/30. Is 18 equal to r?
False
Suppose 4*j - 2*j - 2 = 0. Suppose -4*k + 17 = j. Which is smaller: k or 3?
3
Let b = -722/3 + 221. Which is smaller: -19 or b?
b
Let c(o) = 3*o + 1 - 3 + 2*o**3 - 2*o**2 - 1 - 3*o**3. Let u be c(-3). Let r = -1 - -1. Is r greater than u?
True
Let a be (-2)/6 + 256/(-24). Which is smaller: -10 or a?
a
Let p = 26/7 - 83/28. Suppose -c = -0*c. Is c less than p?
True
Let l(v) = -2*v**2 - 22*v + 7. Let w be l(-11). Is 9 equal to w?
False
Let p = 44 - 23. Let n be p/(-28)*(-16)/(-18). Are 3 and n unequal?
True
Let m be -1 - (1 + 0 - 1). Suppose 0 = -13*y - 14 - 12. Is m <= y?
False
Let j(x) = x**3 + 18*x**2 + 16*x - 17. Let c be j(-17). Is 2/9 less than c?
False
Suppose 5*b - c - 12 = -0*c, -b = c. Suppose 0 = -2*d - 26 - 0. Let l = 17 + d. Is l at least b?
True
Let w be (-2 - 2)*(-3 - -1). Let l be (w/(-144))/(1/(-4)). Is l <= 1?
True
Let c = 8 - 11. Let r be (-15)/9 - 2/c. Let q be r/(-2) - 2/4. Are -2 and q unequal?
True
Let k = -0.03 - 0.03. Let t = -2.06 - k. Are t and 3 nonequal?
True
Let k(b) = b**3 + 6*b**2 + 2*b + 7. Let t be k(-6). Let a be 4*(t/6)/5. Which is greater: a or -2?
a
Let o = 29 + -32. Let q(h) = h**3 + h**2 + h. Let d be q(0). Do o and d have the same value?
False
Let a = -11 - -7. Let b = a - -5. Which is greater: b or -0.1?
b
Let g(s) = s**3 - 2*s**2 - 4*s + 3. Let y be g(3). Let u = -1.1 - -6.1. Which is smaller: u or y?
y
Let u = 1.5 - -0.5. Let g = -18 + 14. Let w be 1/(-1) + (-6)/g. Which is smaller: u or w?
w
Let b be 2/(0 - 1) + 1. Is -1/9 smaller than b?
False
Let o = 3 - 6. Let d = 4 - o. Is 6 <= d?
True
Suppose -2*t + 6*t = -168. Let x = t - -79/2. Which is bigger: 0.1 or x?
0.1
Let r be (-8)/60*(-12)/4. Is -1 bigger than r?
False
Let s(k) = 2*k**2 + 4*k - 4. Suppose -3*x + 2 = 2*c + 16, -2 = x - 2*c. Let j be s(x). Let p be 0/2 - j/(-9). Which is smaller: p or 0?
0
Let d = -7.9 + 8. Let s = 0 - d. Which is smaller: s or 0?
s
Let o(w) = -2*w + 6. Let m be 2/7 + (-182)/(-49). Let y(u) = -u**2 + 6*u - 4. Let q be y(m). Let t be o(q). Which is smaller: -4/7 or t?
t
Let l be (-1*3)/(-3)*-1. Let n(p) = -p**2 + 7*p. Let d be n(7). Is d equal to l?
False
Suppose -2*r - 2 = 4*f - 12, 4*f = 5*r + 31. Suppose 0 = f*y - 2*g, -2 + 4 = -4*y + 3*g. Which is bigger: y or -1/2?
y
Let s be 5/120*9/(-6). Is s not equal to -1?
True
Let y be (-1)/5 + (-20)/150. Let g = -2/35 - 64/105. Does g = y?
False
Let y(x) = x - 9. Let j be y(5). Which is bigger: j or -2?
-2
Let l = -8 + 7.9. Let a = l + 0.1. Which is smaller: -3 or a?
-3
Let r(j) = j**2. Let g be r(0). Let w be 4 + -1 + -1 + 0. Let d = g + w. Which is smaller: d or 4/3?
4/3
Let h = 11 - 18. Let t be ((-3)/(-9))/((-8)/6). Is t < h?
False
Let a be 3 + -5 - -1 - 4. Which is smaller: a or -3?
a
Suppose 0 = -5*p - 37 + 2. Which is smaller: p or 0.2?
p
Let l be 4/(-18) + 17/117. Let r = -8/65 + l. Let c = 8/15 + r. Is 1 not equal to c?
True
Suppose 0*o = 3*o - 5*h + 16, 5*o + 4*h = -39. Which is greater: o or -8?
o
Suppose -c = -6*c + 15. Suppose -q = -3*q - 3*a, -q + c*a = 0. Which is smaller: -1 or q?
-1
Suppose 7*m + 8 = 3*m. Let b be (-65)/20 - m/8. Let s be (6/9)/((-2)/b). Is 1 >= s?
True
Suppose 0 = -5*x + x. Suppose -q = -2*q - 5*u - 30, 4*q + 5*u = -45. Let z be ((-2)/q)/((-9)/15). Is x at most as big as z?
False
Let j = 0.116 - 0.416. Which is smaller: j or -3/4?
-3/4
Suppose 2*s + 6 = -0*h - h, 2*h = 4*s - 12. Is h smaller than -3?
True
Suppose -t + 3 = 36. Let a be (-136)/(-22) - (-6)/t. Suppose 8*x - a*x = -2. Are x and -2 unequal?
True
Let v = 91 - 92. Let q = 40 + -121/3. Is v greater than or equal to q?
False
Suppose -4*r = -5*r + 2. Suppose -2*m + l = -r*l, -3*m - 2*l = 13. Which is greater: m or 1?
1
Let b = 39 + -39. Which is bigger: -2/17 or b?
b
Suppose 0 = -3*h + 12 + 3. Suppose 0*c = 3*c - 15, 0 = -h*u + 4*c - 30. Are -1 and u equal?
False
Let n = 35 - 12. Let j = -25 + n. Suppose q - 2*o + 8 = -3*q, -4*q - 14 = -5*o. Which is smaller: q or j?
j
Let d = -9 - -8.7. Let g = -0.1 - d. Which is smaller: -0.2 or g?
-0.2
Let m = 38 - 55.8. Let z = m - -18. Is 2 smaller than z?
False
Let g = -0.2 + 0.2. Let m = -11 - -10. Let f = g + m. Are -0.1 and f nonequal?
True
Let v = 94 - -39. Let t = v - 933/7. Which is smaller: 3/7 or t?
t
Let k(d) = d + 3. Let x(z) = 3*z + 10. Let r(c) = 11*k(c) - 4*x(c). Let o be 4*(0 - (1 - -1)). Let m be r(o). Which is bigger: -1/3 or m?
m
Let n(k) = -2*k**3 - 22*k**2. Let t be n(-11). Which is bigger: t or 17?
17
Suppose 2*j - 10 = -5*t, 0 = -4*j + 13 + 7. Let g = -3 - -4. Let o = g + -2. Are o and t equal?
False
Let h = -579562181/560 - -1034932. Let a be (-33)/(-66)*(-6)/(-80). Let x = a + h. Is -1 greater than x?
False
Let w be -2 + (-1)/4 + 1. Let g be 3*-33*(-3)/27. Suppose g*u = 7*u. Which is greater: u or w?
u
Let d = 37.6 - 20.9. Let t = d - 16. Let b = -1 - -1. Is b != t?
True
Let a = -10 + 10.7. Let x = -0.1 + a. Which is greater: -2/11 or x?
x
Let j be 6/42 - (-30)/(-14). Let l be -3 + j - (-3 - 0). Is l <= 2?
True
Suppose 0*b = 3*b - 6. Let u be ((-16)/(1/(-1)))/b. Is 8 greater than u?
False
Let h = 12/31205 - -118516434/405665. Let q(x) = -102*x - 14. Let m be q(-3). Let a = m - h. Which is smaller: -1 or a?
-1
Suppose 3*r - 5 = 4*a + 7, 2*r = -5*a - 15. Let p = 4 + a. Let y be p/(-3) - -1 - 1. Is y < -1?
False
Let j(r) = -r**2 + 7*r + 3. Let n be j(7). Suppose 4*q - 6*q = -2*h - 6, n*q = -4*h + 9. Which is bigger: q or 2?
q
Let w = -20.91 - -21. Let v = 536 - 540.09. Let i = v + w. Is 1 >= i?
True
Suppose p = 4*p - 21. Let h be p/12 - 1/3. Which is greater: 2/5 or h?
2/5
Suppose -2*x - 6 = 0, 5*x + 5 = -2*p - 8. Let v be 2 + p + -1 + 1. Suppose 2*i = i + 4. Which is smaller: v or i?
v
Let t(u) = u**2 + 4*u - 17. Let p be t(-6). Let o(v) be the third derivative of v**6/120 + v**5/10 + v**4/4 + 2*v**3/3 + v**2. Let a be o(p). Is -3/5 != a?
True
Suppose 14*i - 15*i + 33 = 0. Which is greater: i or 31?
i
Let d be (2 + 48/(-9))*-3. Let p be 1 - 2*9/d. Is -2 greater than p?
False
Let h be ((-4)/(-3))/((-6)/(-27)). Let g be 21/12*h/(-21). Which is smaller: g o