Let y(o) = 2*o. Let g be y(1). Suppose -g = 2*h + 2. Is h bigger than k?
False
Let v = -4 + 4. Suppose v*b - 2*b - 2 = 0. Which is bigger: -10/9 or b?
b
Let p(j) = j**3 + 5*j**2 - 7*j - 7. Let g be p(-6). Let i be (7 + -6)/(g/2). Is i less than or equal to -2/3?
True
Let d(h) = 4*h**3 + 3*h + 2. Let b(i) = -7*i**3 - 5*i - 3. Let q(v) = 3*b(v) + 5*d(v). Let t be q(1). Is 0 != t?
False
Let p(v) = 3*v**3 - 3*v + 3. Let f be p(2). Which is smaller: 20 or f?
20
Suppose 2*s = -5 + 13. Let r be (2/(-1))/(s/6). Let o(a) = -a**2 + 4*a + 3. Let m be o(5). Which is smaller: r or m?
r
Let h = -40 + 67. Let l be (-2)/4 + h/34. Let x = -9/85 - l. Which is bigger: x or -1?
x
Let n(r) = -r**3 + 5*r**2 - r + 3. Let t be n(5). Let u = 0 - 0.1. Which is bigger: u or t?
u
Let v = 0.17 + -6.17. Are -2 and v equal?
False
Let q(w) = -w - 2*w**3 + 2*w**3 - 1 + w**3. Let m be q(0). Which is smaller: 0 or m?
m
Suppose 5*g = 4*g - 20. Let f = 2547/124 - 5/124. Let s = f + g. Is 3 bigger than s?
True
Suppose 0 = 2*b + 5 + 21. Let d = -12 - b. Which is smaller: d or -2/11?
-2/11
Let q = 6.5 - 0.5. Let u = -8.5 - -2.5. Let n = q + u. Which is greater: n or -0.1?
n
Let h = -5 - -5. Suppose h = -v + 6*v + 25. Let a be (1/2)/(v/10). Is -2 bigger than a?
False
Let t be (-2)/(-7) - 4/14. Let f = -121 + 483/4. Does f = t?
False
Let p(o) = -40*o - 4. Let y be p(-1). Which is greater: 35 or y?
y
Let w = -15 - -14. Is w >= -9?
True
Suppose -5*u = 3*i - 13, -3*i - 2*u + u = -29. Suppose -9 - i = -4*y. Suppose y*h + 11 = 1. Is -3/5 != h?
True
Suppose 15 = -4*a - a. Suppose 2*u - 7*u = -4*t + 17, 5*u = 3*t - 19. Which is bigger: t or a?
t
Let t(s) = s**2 + 3*s - 5. Let h be t(-4). Is h greater than or equal to 5?
False
Suppose -b - g = -6, -16 = 3*b + 4*g - 39. Which is bigger: b or 5/14?
b
Let q(g) = -g + 2. Let b be q(2). Let z be -2*(-3)/(-6)*b. Let j be (-4)/(-22) - (0 + z). Which is smaller: 0 or j?
0
Suppose 4*j + 20 = -2*r, -4*r + 20 = -r - 4*j. Which is smaller: 9/14 or r?
r
Let c be (-2 - 1) + (4 - 1). Suppose c = 2*t - t. Is -4/13 equal to t?
False
Let h(j) = -j**3 + 6*j**2 + 3*j + 4. Let z be h(6). Suppose -2*t + y = 3, 2*t + 7*y = 3*y + z. Is 1/8 at least as big as t?
False
Let v = -16 + 21. Let q be (-58)/(-30) - v/15. Which is smaller: 1 or q?
1
Let q(b) = -b**3 - 5*b**2 + 5*b - 7. Let r be q(-6). Which is greater: r or -3?
r
Let s be 546/15 - 4/10. Let g = s + -110/3. Which is smaller: -1 or g?
-1
Let m be 5/7 + (-22)/(-77). Let z be (0 - 2/48)*-2. Is z at least m?
False
Let k(g) = -g**3 + 4*g**2 + 4. Let t be 1*3/(-3) - -5. Let r be k(t). Is 2 equal to r?
False
Suppose -3*a - l = -73, -5*a - 2*l = -0*l - 122. Do 23 and a have the same value?
False
Suppose 0*i - 3*i = 0. Suppose m - 2*m - 1 = i. Let d(j) = 3*j**3 - j. Let w be d(-1). Is m equal to w?
False
Let j = -22 - -12. Let o be (4/80)/((-8)/j). Which is greater: 0 or o?
o
Let i = -815521673/565 - -1443402. Let l = -4235/6667 - -38/59. Let b = l - i. Which is greater: 0 or b?
0
Let m = -17/12 + 13/12. Let i = 5 - 7. Let w = i - -1.9. Is w at least m?
True
Suppose 0 = -5*s - 3*d + 3, s = 2*s + 2*d - 2. Suppose 2 = -g + 4*n, -2*n + n = 0. Let m be 0/(g/((-1)/(-1))). Is m bigger than s?
False
Let o = 0.15 - -0.03. Is -1/4 at least o?
False
Suppose 5 = -3*s + 26. Let o = s - 10. Are -11/4 and o equal?
False
Suppose -4*v + 2*g = -g + 19, -3*g + 16 = -v. Let m(b) = -b + 1. Let p be m(v). Suppose p*q + 2*q - 4 = 0. Which is greater: q or 1/6?
q
Let y = -0.131 + 0.031. Let t = -15 - -25. Let p = 16 - t. Is y > p?
False
Let q = 7 + -4.5. Let o = q - 1. Let u = 0.5 + o. Is -2 at most as big as u?
True
Let q be 2/2*0/4. Suppose q = -5*o + 2*h + 21, h = -o + 3*o - 8. Which is smaller: 1 or o?
1
Suppose -102 = -x - 4*m - 25, -m = -5*x + 280. Let s = x - 343/6. Which is smaller: -1 or s?
-1
Let k be ((-6)/(-3) - (0 - -2))/1. Are k and -1 equal?
False
Suppose 4*h = 5*x - 11, -4*h - x = -3*x + 14. Let q be h/(-2) + (3 - 1). Suppose -6*s - 4*a - 1 = -s, -3*s + q*a - 7 = 0. Is -1 >= s?
True
Suppose -4*d + 4 = -4. Is 2 less than or equal to d?
True
Let y(w) = w**2 - 2. Let b be y(2). Suppose m + 4 + 7 = 5*v, v + 2*m = 0. Let g be (b/4)/(1/v). Which is greater: g or 2?
2
Let x be (3/(-2))/(-63 + 15). Which is smaller: 0 or x?
0
Let d = 32 + -23. Is 8 equal to d?
False
Let l = -19 + 20. Let v(o) = -3*o**3 + o**2 + o + 1. Let t be v(-1). Which is smaller: t or l?
l
Suppose -5*c - 20 = 0, -5*s = 4*c - 2*c - 2. Is 1 equal to s?
False
Let v = 58 - 41. Which is greater: v or 16?
v
Let w = 467 + -12139/26. Is w less than or equal to 0?
False
Let c(o) be the first derivative of -o**2/2 - o + 1. Let l = 7 - 7. Let j be c(l). Which is smaller: 1/6 or j?
j
Suppose -4*a + 20 = -9*a. Which is smaller: a or -3?
a
Let k be (1/(-2))/((-1)/10). Suppose -12 = -0*s - 2*s. Is k smaller than s?
True
Suppose p + 0*r - 4 = 5*r, -4*p = 4*r + 8. Which is smaller: p or -3?
-3
Let k = -15223 - -3653839/240. Let j = k + 13/48. Is 3 < j?
False
Suppose 3*j + 2 + 4 = 0. Let a be 25/15 + j/(-6). Is 2 greater than or equal to a?
True
Let h(w) = w - 3. Let t be h(-7). Let i be -2 - 17/t - 0. Let l = i - -11/20. Is 2 greater than l?
True
Let t = 66 - 659/10. Suppose -4*i + 7*i = 6. Suppose -r = i*k + 7, 3*k - 2 = -0*k + r. Which is greater: t or k?
t
Let b be 844198/7416 + 1/(-3). Let p = -115/412 + b. Let h = 113 - p. Which is bigger: h or 0?
0
Let k = -25 - -10. Let c be (-4)/10*k/3. Let p be 3 - (-4)/(-12)*(-3)/(-2). Is p at most c?
False
Let n = -2 + 5. Which is greater: n or 1?
n
Let m = 29/2 + -15. Let r = -0.1 - -0.2. Let l = 0 + r. Does l = m?
False
Let h(a) = -2*a**2 - 19*a - 36. Let x be h(-7). Is x at least 74?
False
Suppose -2 = w - 0*w. Suppose 0 = 5*l - 4 - 1. Suppose 2*p + 6 = 2*x, l = -4*p - 19. Are x and w equal?
True
Suppose 3*j + 3 = 6*j. Let l(x) = x + 1. Let i be l(j). Suppose -i*v = -5*q - 4*v - 10, -5*q = -v - 5. Which is smaller: q or 3/4?
q
Suppose 34 = 5*x - 86. Let k be -4 + 2 - (-68)/x. Which is smaller: 2 or k?
k
Suppose 0 = 5*n - 2*n + 3. Let s be n/(0 + -1) + 0. Let d(t) = 22*t + 97. Let i be d(-4). Is i at most s?
False
Let w = 6.9 - -0.1. Let z = w - 18. Which is smaller: z or 0.2?
z
Suppose 4*y + 4*k + 24 = 0, 3*y + 2*k = 1 - 14. Which is smaller: -2/9 or y?
y
Let k be (-4)/((-48)/(-127)) - 1. Let q = -34/3 - k. Which is greater: 1 or q?
1
Let t = -31/3 + 59/6. Which is smaller: 35 or t?
t
Let a = -8 - -6. Which is greater: a or -2/3?
-2/3
Let n(i) = -i - 6. Let d be n(-11). Suppose -d*j = -v - 3*v + 2, -3*j - 3*v - 12 = 0. Let h = 3 + -2. Which is smaller: h or j?
j
Suppose j = -0*c - 2*c + 7, 15 = 5*j. Which is smaller: c or 13/8?
13/8
Suppose -85 = -10*a - 25. Is a greater than 5?
True
Let j = -165 + 164. Let v = 1/9 - 0. Is v less than or equal to j?
False
Let m be (-5)/((-10)/(-4)) + 2. Let x be -1 + m - (0 + -2). Is 2/9 >= x?
False
Let f = 2/177 - -121/4956. Let s = 15/28 - f. Let p = 3 - 3.2. Is p less than or equal to s?
True
Let v be 8/(-12)*9/2. Let s be (0 + v + -1)/(-10). Do s and -6 have different values?
True
Let j(m) = -m**3 - 2*m + 20. Let t be j(0). Is 21 < t?
False
Let d be (-4)/(-6) + (-13)/(-3). Suppose -5 = -0*x - d*x. Is x <= 2/39?
False
Let f(g) = 4*g - 16. Let v be f(5). Let y(a) = -a**3 - 5*a**2 - 3*a + 2. Let r be y(-4). Let n be r*(-2)/3*3. Is v less than n?
False
Suppose -12 + 7 = 5*y. Which is bigger: 0 or y?
0
Let x(b) = 7*b**2 + 2*b + 1. Let a be x(-1). Let r = 11 + -6. Is a bigger than r?
True
Let z = -0.02 + -0.04. Which is bigger: z or -2/3?
z
Let w be (-75)/(-216) + (-2)/9. Is -3 greater than w?
False
Let q(b) = b**2 + 4*b + 7. Let s be q(-5). Let t = s + -7. Suppose 0 = -z + t - 7. Is -1 less than z?
False
Suppose -4*r = r. Which is greater: r or 10/9?
10/9
Let w be (-32)/(-30) - (-4)/(-6). Let l(h) = 2*h + 1. Let n be l(1). Let t = -1 + n. Which is greater: t or w?
t
Suppose -4*n + 236 = -4*z, -4*n = -3*z + 8*z + 304. Is -59 at least as big as z?
True
Suppose -4*g = -5*g - 13. Let i be (-14)/7 + 1*-11. Is g not equal to i?
False
Let y(h) = -h + 4. Let s be y(4). Let k be 2/(-3) - 30/(-18). Let a be (k + s)/(-3 - -2). Do a and -2 have different values?
True
Let a be 90/(-11) + (-14)/(-77). Let x = a + 8. Which is smaller: x or 1/2?
x
Let w = -1 + 1. Let p be ((-3)/(-3))/(w + 1). Let k = -2 - -2.