 12 + -14. Which is bigger: -4/7 or n?
-4/7
Let a(c) = 2*c - 5. Let r be a(5). Suppose -8 = 3*z - r. Is -1 >= z?
True
Suppose -5*u - 5*g - 20 = -2*g, 4 = u - g. Let q be 21/(-36) + 2/8. Which is smaller: u or q?
u
Let h = 31.44 + -32. Let w = h - 0.04. Let p = w - -0.9. Which is smaller: -1/2 or p?
-1/2
Let s = -8124738 - -446847938/55. Let l = s + 230. Is 0 at least l?
True
Let g(z) = -z + z**3 + 2 - 4*z**2 + 3 + 0*z**2. Let i be g(4). Suppose 2*u - i = 1. Which is greater: u or 2/3?
u
Suppose 1 = 5*g - 9. Let o = -4 - g. Let y be 8/(-14)*o/(-8). Which is smaller: 1 or y?
y
Let v be ((1 - 1) + 1)/(-1). Let m be (-28)/(-8) + -4 + -1. Which is bigger: v or m?
v
Suppose -7*y + 2*y - 2 = -3*t, 4*t - 5*y = -4. Let k(u) = -u - 10. Let o be k(t). Let l = o + 7. Which is smaller: l or 2?
2
Let w = -5 + 6. Suppose 12 = -4*n - 8. Let f be n/(-2)*(-1)/(-10). Which is greater: w or f?
w
Suppose 0 = 2*b - 2 + 8. Suppose -4*v - 3 = n - 4, 0 = -5*n - 5*v + 5. Is n != b?
True
Let a(x) = x**2 + x + 2. Let g be a(0). Let z be 3/15*g/(-2). Let r(h) = -h**3 + 6*h**2 + 1. Let k be r(6). Is z >= k?
False
Let t = -3 - -5. Let b(i) be the second derivative of -i**3/6 - 3*i. Let y be b(t). Is -2 greater than or equal to y?
True
Let v(t) = t**2 + 10*t + 7. Let b be v(-7). Let u be (-2)/6 + b/(-24). Let m = 0.14 + 0.86. Is m not equal to u?
True
Let g = 38 + -37. Is 2/21 at least as big as g?
False
Let h(d) = -d**2 + 10*d + 8. Let m be h(10). Which is smaller: 10 or m?
m
Suppose 3*n - 5*f = -36 + 10, -5*n = -3*f + 22. Let q be (3/n)/(9/(-6)). Let c = 3 + -3.2. Is q greater than or equal to c?
True
Suppose -12 - 4 = -4*p, 0 = w - 5*p + 11. Does w = 44/5?
False
Suppose -3*m - 2*m = 0. Suppose m = -2*y - 4, -x - 4*y - 10 = 2. Does -1 = x?
False
Suppose 6*u - 3*u + 975 = 0. Let m = 4871/15 + u. Let t = m - -31/60. Which is greater: t or -0.1?
t
Let p be ((-1)/3*3)/8. Is 1 at most as big as p?
False
Let w = 4 - 0. Let c = -19/18 - -143/90. Let i = c - 1/5. Is w at most i?
False
Let g = -62 + 63. Is -7 at most as big as g?
True
Let d be ((-4)/5)/((-2)/(-5)). Let j be (1 + -1)*(3 + d). Which is bigger: j or -2/11?
j
Suppose 0 = -3*u - 37 + 13. Let w = u + 7. Which is smaller: 0 or w?
w
Let q be (-252)/1911 + ((-9)/(-7) - 1). Which is bigger: -1 or q?
q
Let a be 70/42 + (-2)/3. Which is bigger: -2 or a?
a
Suppose 3*x = 7*x - 60. Does 14 = x?
False
Let i be 9/6*4/3. Is i smaller than 3/5?
False
Suppose -4 = -0*b - b. Let j be (-5)/(-10) - (-10)/b. Let y = j - 3. Is y greater than or equal to 1?
False
Let j(o) = -o**3 + 4*o**2 + 11*o - 6. Let v be j(6). Do v and -12 have different values?
False
Let o = 47 - 60.8. Let c = 14 + o. Is c > -4?
True
Let s = 7.6 - 7.4. Let w = -1 - -1. Which is smaller: w or s?
w
Suppose -3*p = -0*p - 495. Let a be (-4)/10 + 36/p. Which is smaller: a or 0?
a
Let i(a) = -a**3 + 6*a**2 + 18*a - 6. Let v be i(8). Do v and 19/2 have the same value?
False
Let s = -5.5 - -5. Let u = 0.9 + s. Let a = 0.4 - u. Which is bigger: a or -0.1?
a
Let z = -1267/282 + -1/141. Is z > -6?
True
Suppose 10*c + 9 = -41. Is 2 <= c?
False
Let u = 1.1 + -0.9. Which is smaller: 0.1 or u?
0.1
Let y(t) = t**2 - 4*t - 4. Let m be y(5). Let r = -230 + 1618/7. Which is smaller: r or m?
m
Let w be (1 - -1 - 1) + -21. Which is smaller: -19 or w?
w
Let n be (2/(-4))/((-4)/(-8)). Let c be (3/n - -6) + 33. Let f be (-1)/c + 4/(-18). Is 1/3 >= f?
True
Let f = -1.25 - 0.15. Let l = f - -1. Let c = l - -0.3. Is c >= -1/4?
True
Suppose -6*m = -2*m + 12. Let q be ((-14)/3)/((-2)/m). Is q >= -7?
True
Let b = 13 - 9. Let l = 0 - b. Let n = l + 5. Is 4 less than or equal to n?
False
Let f = 61 - 613/10. Which is greater: -1 or f?
f
Let a = -1266/7 + 49443/280. Let l = 22/5 + a. Let c = -3 - -4. Is c <= l?
False
Let u be (-52)/39 - 1/(-1). Is u >= 1?
False
Let n = 0.2 + -0.3. Let c = 3.9 - 4. Are n and c equal?
True
Let h = 1 - 0. Let f be 3 + -5 + 1802/10. Let i = 179 - f. Is h < i?
False
Let g = 284/37023 + 414417725/703437. Let p = g - 589. Let b = p - -10/19. Which is greater: 1 or b?
1
Let k be (-7)/((-28)/16)*-1. Is k > -13/3?
True
Let o(i) = i**2 + 6*i - 2. Let m be (-45)/10*(-12)/(-9). Let b be o(m). Do b and 1 have the same value?
False
Let x(j) = -j**2 - 30*j - 19. Let n be x(-28). Do n and -0.1 have different values?
True
Let a be (-10)/(-3) + (-4)/(-6). Let g = 8 - a. Let j(s) = s**3 - 4*s**2 - s + 5. Let r be j(g). Are -2/7 and r unequal?
True
Let n = -1808/3 + 597. Is -1 >= n?
True
Suppose -3*w - 2*o = -43, o - 15 - 34 = -4*w. Suppose -5*i - 2 + 1 = 4*u, -3*i - w = 5*u. Suppose -n - 4*n - i*r = 8, 5 = -5*r. Is 0 <= n?
False
Let u = 0.009 + 0.991. Is 1 bigger than u?
False
Suppose -3 = 5*h - 2*h. Let v be (-7)/(-14) - h/2. Do v and -2/9 have the same value?
False
Suppose 2*t = 2 + 4. Suppose -2 = s - t. Let l be (-36)/(-207)*s/2. Which is bigger: l or -1?
l
Let q be 2*(3 + 15/(-6)). Let g = 1.1 + 3.9. Let a = 3 - g. Is a equal to q?
False
Suppose 0 = -2*w - 3*w + 5. Suppose 3 = 4*s - 5*o - 1, -s + w = 4*o. Which is greater: -1/3 or s?
s
Let c(q) = -q**3 + 2*q**2 + q - 4. Let j be c(2). Is -3 equal to j?
False
Let u be 3/((-423)/(-281)) - (-2 - -4). Is 1 at least u?
True
Let y = 7/8 - 13/24. Suppose a = -3 + 6. Is a not equal to y?
True
Let d be 30/25*5/7. Which is smaller: d or 0?
0
Let q = 62 - 69. Are -8 and q non-equal?
True
Let f = -126.9 + 137. Let k = -10 + f. Which is smaller: 2 or k?
k
Let r = 55 - 661/12. Let p = -7/12 + r. Let j = -0.1 - 0. Which is bigger: j or p?
j
Let y = -8 - -33/4. Do y and -3/2 have the same value?
False
Let m be (-34)/(-5)*(-3)/24. Let x = m - -5/4. Let h be -2 - 2*(-1)/2. Is x at least h?
True
Let i be (-1)/4 - 52/(-16). Suppose -d + b = -i*b - 30, d = b + 15. Let a be 2/d + (-16)/(-20). Which is bigger: 2 or a?
2
Suppose -4*m + x - 4 = -x, -2*m + 3*x - 6 = 0. Let v be (-240)/(-836) - 10/55. Is m at most v?
True
Suppose -2*v + 47 = -9. Let m be 12/(-49)*v/(-8). Which is smaller: 2 or m?
m
Let y = 1 + 3. Suppose -y*l + 7*l + 3 = 0. Let n = 975/8 - 122. Which is smaller: n or l?
l
Let f be 25/72 - (-2)/(-9). Which is bigger: f or 3/5?
3/5
Let q = -2.1 + 2. Let v = -0.06 - -0.76. Let y = 0.7 - v. Which is bigger: y or q?
y
Let i = -85 - -59. Is i < -0.1?
True
Let r(w) = 2*w + 3. Let o be r(-2). Is o less than 0.2?
True
Suppose 5*g - 3 = 4*k - 4, -4*g = 20. Suppose -2*j + 8 = -r, 3*r + j = -4*j - 2. Let o be r/4 - k/14. Is o at least 2/3?
False
Let i(s) = -s**2 + 3*s + 2. Let d be i(4). Let z be -2 - (d - -1) - -2. Suppose 4*o = a + 11, -5 = 3*o + 4*a + 1. Is z >= o?
False
Let b(d) = -d + 3. Let w be b(3). Suppose 4*g = 7*g - 3. Let i be (g/(-5))/(20/(-25)). Is w at most as big as i?
True
Let s = -2 + 1. Let f be s + 1/4*3. Are f and -1 non-equal?
True
Let z = 5.3 + -0.3. Let l = 4.94 - z. Let q = -1.94 + l. Which is smaller: 0 or q?
q
Let l = 9.13 - 0.13. Let b = 24 + -35. Let m = l + b. Which is greater: m or 3?
3
Let b = -649291/58437 - 1/6493. Is -11 <= b?
False
Let q(s) = -25*s + 1. Let z be q(-2). Suppose 5*y + p - z = 179, 3*p - 195 = -4*y. Let h be 12/y - (-4)/(-6). Is 0.2 not equal to h?
True
Let d = 2/8881 + 1296612/62167. Let j = -6515/329 - 63/47. Let b = d + j. Which is greater: b or 0?
0
Suppose 5*l - 11 - 4 = 0. Suppose 0*c = 3*c - l. Is c less than or equal to 1?
True
Let g = -23 - -17. Let n be (-1)/3 + g/9. Is n equal to -1?
True
Let m(s) = -s**3 - 8*s**2 + s + 11. Let q be m(-8). Suppose t + 9 = 2*t + q*l, 2*l = t + 6. Which is smaller: 1/28 or t?
t
Suppose -2*l = -3*o - l + 7, -13 = -2*o - l. Let x be (16/12)/(o/6). Let u(p) = p**3 + 5*p**2 - p - 6. Let y be u(-5). Is x not equal to y?
True
Let s = -10513/72 + 1097/8. Which is smaller: -10 or s?
-10
Let p = -2.35 + 0.15. Let s = p - -0.2. Let a = 1 + s. Which is smaller: a or 6?
a
Let x = 9.4 - 7.7. Is 1/2 equal to x?
False
Suppose 5*x = -v + 9, 3*v - 5*x + 15 = 142. Let c be (-1)/(-1)*4/v. Which is smaller: c or 2?
c
Let w = 4 + -2. Let s = 22 + -6. Let x = s - 17. Which is greater: x or w?
w
Suppose -3 = -6*v + 63. Which is smaller: 1/3 or v?
1/3
Let a be 1/(-4)*308/55. Are a and 1/2 non-equal?
True
Suppose -3*q - 4*j = -1, -2*j - 2 - 8 = 0. Is 3 less than q?
True
Let x(w) = w**3 + 3*w**2 + w + 4. Let d(f) = f**2 - 6*f + 2. Let b be d(5). Let t be x(b). Suppose -3*r + 7*r - 2