 - 12 = -3*w - 0*g. Is w > 3?
False
Let t(l) = -l**2 - 9*l - 6. Let b be t(-8). Is 5 > b?
True
Suppose 33 = 2*t - 5*t. Which is smaller: -1/4 or t?
t
Let p(v) = -4*v + 1. Let o be p(-2). Suppose 4*c = 5*s + 37, c = 3*s + s + 23. Suppose c = 2*y + o. Is -3 > y?
False
Suppose -a = -4*a + 3. Let v be (30/(-8))/(4/16). Let x = -16 - v. Is x equal to a?
False
Let t(b) = -b - 4. Let g be t(-8). Suppose -56*i = -53*i - 12. Is g equal to i?
True
Let l be (-6)/(-4)*(-4)/(-6). Let v = 4 + -2. Let o be (-33)/45 - v/(-6). Which is smaller: o or l?
o
Let k(v) = -v + 20. Let r be k(0). Let b be ((-8)/6)/(12/r). Which is smaller: b or -2?
b
Let h(w) = -2*w - 7. Let g be h(-14). Is 21 >= g?
True
Suppose -4*l = -l + 5*o - 5818, 0 = 2*l - 2*o - 3868. Let c be (l/243)/4 - 2. Let d = -160/243 + c. Is d less than or equal to 0?
True
Let m = -16 - -24. Let f = -5 + m. Is 0 != f?
True
Let o = -0.43 - -0.35. Let z = o + -1.92. Let w = -1.1 + 1. Is w not equal to z?
True
Let h be 1 + 15/(-5) + 5. Let p be (-52)/(-6)*15/40. Do p and h have the same value?
False
Suppose -2*g = 3*g + 5. Let f = 1234 + -5125/4. Let z = f - -47. Which is bigger: z or g?
z
Suppose 5*g - 2*d - d + 61 = 0, g + 2*d + 20 = 0. Let u = 14 + g. Let v(f) = f + 6. Let q be v(-6). Are q and u nonequal?
False
Suppose 2*q - 3*t = -2, 4 = 2*t - 0*t. Let h be (3 - 184/168) + 2/21. Is q != h?
False
Let n = 4 - 2. Is 2/3 less than n?
True
Suppose 2*q = -2*q. Suppose -n + 5*d - 22 = q, d = 2*d - 5. Suppose 0 = -m - n*c - 4, 4 = -4*c - 0. Which is greater: m or 1?
1
Let w(q) = q + 6. Let i be w(-3). Let y(n) = -3*n**2 + n**3 + 4*n - i*n - 6 - 3*n**2. Let m be y(6). Is 0 != m?
False
Let n(l) = -6*l - 2. Let f be n(-2). Let a be (-20)/f*42/4. Is a smaller than -20?
True
Let t = 123 + -5534/45. Are t and 1 non-equal?
True
Let f be (-4)/8*(-8 - 0). Suppose -3*q - f*t + 39 = 0, 3*q - 1 = -t + 29. Is -0.1 > q?
False
Let j = 41 + -38. Let f = 0 - 0. Suppose -3*a + 14 - 5 = f. Is j smaller than a?
False
Let h = 347402512606/8671 - 40064873. Let k = -2/377 - h. Is k >= 1?
False
Suppose -266 = -11*y - 1498. Is -111 < y?
False
Let o = -24 - -24. Suppose 7*y - 4*y - 12 = o. Is y less than or equal to 21/4?
True
Let t = 8 - 5. Suppose 3 = 3*w - t. Is 3 less than or equal to w?
False
Suppose -5*y - 5*l - 6 - 19 = 0, -5*y + 4*l - 7 = 0. Let c be -1*((1 - -3) + -2). Is c bigger than y?
True
Let c = -6 + 5. Is 2 at least as big as c?
True
Let k be 5/(-2) - 1/1. Is k >= -3?
False
Let r = -81 - -889/11. Let f be 2/(-7) + 117/385. Let u = f - r. Which is smaller: u or 1?
u
Let x(v) = 2*v - 34. Let i be x(18). Is i equal to 2?
True
Let j be 107/5 + (-2)/5. Let m be -2 - 3/((-9)/j). Suppose 0 = x, 1 + 4 = m*b - 5*x. Is 1/3 >= b?
False
Suppose 17 = -5*b + 2. Let p be b/9 - 1*-1. Let a = -0.082 + -0.918. Which is smaller: p or a?
a
Let q = -1/317 - -1285/5389. Which is greater: q or 0?
q
Let v(d) = 4*d - 1. Let i be v(1). Suppose 2 + 0 = 2*g. Suppose 3*y = 2*c + 7, c = y - g - 0. Which is greater: c or i?
c
Suppose 2*j - 5*j + 9 = 0. Suppose 4*r = -c + 2, 2*r + r - j*c - 9 = 0. Let a be ((-2)/(-18))/(r/3). Is a greater than or equal to 1/3?
True
Let j = -16/23 - 12/115. Which is bigger: -1 or j?
j
Let c(d) = 7*d - 41. Let k be c(6). Let n(q) = -q**2 + 2*q. Let y be n(2). Is y >= k?
False
Let t be 2/4 + (-210)/260. Let j be 2/((-52)/5) + 1. Let m = j + t. Which is smaller: 2/7 or m?
2/7
Let m = 0.8 - 1. Let c(b) = 6*b**3 + b**2 - b. Let v be c(1). Let z be (-4)/v - (-11)/12. Is m greater than z?
False
Suppose 15 = 5*w - 5*k, 0 = -3*w - 3*k + 3 - 12. Suppose 5*r - 4*a - 40 = 0, 0*r - r + a + 9 = w. Is r less than or equal to 5?
True
Let j = -12.97 + 13. Let c = -0.03 + j. Is c at least 7?
False
Let r = 50 + -50. Which is smaller: r or -1.21?
-1.21
Let o = 3 + -1. Let w be -4 + 3 - 2/o. Let f be 9/1*w/(-6). Is f greater than or equal to 4?
False
Let a = -4 + 3.9. Let n = 1 - 1. Let f = a + n. Is f greater than or equal to -1?
True
Let m = 7.85 - -0.15. Which is bigger: 0 or m?
m
Let i = -0.061 - 1.939. Is i equal to 1/2?
False
Let r = -45/7 + 869/133. Which is bigger: r or -1?
r
Let a(l) = l**3 - 4*l**2 + 4*l - 2. Let v be a(3). Suppose v + 11 = -2*t - 2*j, 2*t = 5*j + 23. Which is smaller: t or -1/5?
t
Let n = -3.54 - -3.7. Is n at most as big as -1/3?
False
Let s = 0.71 - 0.01. Is 0 > s?
False
Let j(d) = -d**3 + 2*d**2 + d + 3. Let u be 6/(-10)*1*-5. Let z be j(u). Let l be ((-6)/(-4))/(z/(-6)). Which is smaller: l or 2?
2
Let p = 2/1189 - 2424/27347. Suppose 5*r = 5, 0 = 5*j - 4*r + 2*r + 52. Let x = j + 9. Is p > x?
True
Let m be 1 - (1 - 1)*(-13)/26. Which is greater: 0 or m?
m
Let g = 43 - 51.4. Let i = 11 + g. Let w = i + -3. Is 1 at most as big as w?
False
Let f(r) = -r**2 - 11*r - 10. Let u be f(-10). Let s be u/1*(-1)/(-2). Which is smaller: 3/7 or s?
s
Let y be (-1)/((-55)/(-10) - 5). Is -7/8 smaller than y?
False
Suppose 0 = -4*d + 2*d - f, 0 = 3*d + 5*f. Which is bigger: d or -2/63?
d
Suppose -4*f + 5*d = -39, 0*d = 5*f - 2*d - 36. Let a(v) = 3*v**2 - v - 2. Let q be a(2). Let j = q - f. Is 0 at least j?
False
Let h be (3/(-3))/((-1)/2). Suppose -c - h*c = 0. Let u(p) = p**2 - 4*p. Let n be u(4). Is n less than c?
False
Let a = 3 + -1. Let l = -18 + 20. Do l and a have the same value?
True
Suppose 5*x - 5*v = -20, 2 + 9 = x + 4*v. Let l be 595/(-2300) + x/(-4). Let r = -106/1035 + l. Which is smaller: 1 or r?
r
Suppose 4*a - a + 22 = -z, 0 = 5*a - 5*z + 30. Let j = -9 - -2. Let u = a - j. Is -2 >= u?
False
Let j(v) = v**2 - 2*v + 2. Let k be j(3). Suppose -5*r - k*y + 35 = 0, 2*y - 5*y + 9 = 0. Let g be 0*2/r - -2. Which is bigger: g or -1?
g
Suppose b = 5*b. Suppose -3*o - 2*i + 4 = b, o = -0*o - 4*i + 18. Is -1 smaller than o?
False
Let b = -10 - -1. Let n = 10 + b. Let w = n + 1. Which is greater: w or -4?
w
Suppose 5*t + 337 = 87. Let h be ((-30)/t)/((-1)/5). Is h != 1?
True
Let a = 89/2 + -45. Is -1 at least a?
False
Suppose 0 = 3*m + m - 4. Let y be 3/6*(m - -3). Let g be y/2*(-4)/4. Is -1/6 not equal to g?
True
Suppose -k + 0*k - 8 = 0. Let u = 14 + k. Is 4 not equal to u?
True
Suppose 2*w - 5*y = 5*w - 28, -2*w + 4 = -4*y. Suppose 0 = s - w*s + 2*z + 16, -z = 3. Suppose o - 2 = s*o. Is o greater than -1?
False
Let c be -22*(-3 + 5) + 4*1. Do -39 and c have the same value?
False
Suppose 2 = -5*y + 6*y. Let m = y - 0. Suppose -m*z + z = 0. Is -1/3 at most as big as z?
True
Let w = -12/5 - -2. Let s = 9 + -15. Let f = s - -9. Which is smaller: f or w?
w
Let a = -7482/17 - -440. Suppose -4*c + 10 = 3*h - 2*c, -5*h + 42 = -3*c. Let t be 1/3 - h/(-9). Which is greater: t or a?
t
Suppose 4 = -s - w, -2*s - 11 + 0 = 5*w. Let g be ((-9)/78)/(s/4). Let f be -1 - -1*1/1. Which is smaller: g or f?
f
Let m(z) = 2*z**2 - 2*z - 2. Let u be m(2). Suppose i + u = 3*i. Do i and 1 have different values?
False
Let m be 64 - ((-9)/3)/3. Let x = 391/6 - m. Is x at most as big as 1/2?
True
Let p = -3/256 - -593/6912. Which is bigger: p or 0?
p
Let b = 1.2 - 1. Let s = -0.8 + 1. Let c = s + -0.2. Which is smaller: b or c?
c
Suppose 11*z + 2*z = -13. Let y be 2 + -2 - (-1 - 1). Let n be 1/y + (0 - 0). Is z at least as big as n?
False
Suppose 2*w + 5*o = 17, o - 10 = -w - 2*o. Let n be 3*(-2)/(-16)*12/27. Is w at least as big as n?
True
Let l be (0 - 0)*3/6. Let d be (-3)/9*(-18)/15. Is d greater than l?
True
Let k = 1 + -1. Let d = -315/4 - -78. Do k and d have the same value?
False
Let f be (-8)/(-15)*(-3 + 51). Let w = f - 26. Is -2/5 at least w?
True
Let m = -199807/89 + 2245. Is 1 greater than m?
True
Let n = 39 + -38.7. Which is greater: n or -6?
n
Let v be 1*-1 - (-1 + 0). Let u be 0/(-1 + 1 - 2). Suppose v*d - 4*d = u. Is d greater than 1/2?
False
Let z(g) = -g + 9. Let b be z(8). Let d be (2 + -2)/(-1) + b. Which is bigger: d or 1/19?
d
Let z = 0.3 - 0.4. Let x be (2/(-10) - -1)*-5. Let r(u) = -u**3 - 3*u**2 + 2*u - 4. Let p be r(x). Which is greater: z or p?
p
Let z = 0.04 + -27.04. Let g = -18 - z. Let p = 7 - g. Do 0 and p have different values?
True
Suppose 2 = -5*d + 37. Suppose 2*j = 1 - d. Are j and -3/2 equal?
False
Let b be (-5)/(-2) + 4/(-2). Which is smaller: b or -2?
-2
Let q(r) = -r**2 - 7*r - 1. Let y be q(-7). Let o(f) = f**3 - 8*f**2 + 1. Let l be o(8). Which is bigger: y or l?
l
Suppose 12 = w - 2*w. Let t = 