(-12) + 2). Which is greater: d or 7?
7
Let f = -21 - -6. Suppose d + 1 = -2, 2*d + 22 = 4*a. Let l be a/10 - (-6)/f. Is l < -1?
False
Let s(t) = t + 12. Let f be s(-10). Suppose -32 = -f*l - 2*l. Suppose -4*d - 4*q + l = 0, -d - q = 4*d + 2. Are d and 0 nonequal?
True
Let f = 29540837 + -148738113651/5035. Let u = f + -6/265. Which is bigger: 0 or u?
u
Suppose -71 + 75 = -2*v. Let d = 63/5 + -267/20. Is v at most d?
True
Suppose 3*z + 0*z = -30. Let x be (-288)/(-645) - (-4)/z. Are 1 and x unequal?
True
Let p = -0.2 - 1.2. Let l = 7 - 6.4. Let x = p - l. Which is smaller: -0.2 or x?
x
Let t be 5/(-1) - -2 - 8. Is t at least as big as -11?
True
Let u be -7 - -4 - (-45)/13. Is u <= 0?
False
Suppose 3*s = -2*s + 25. Suppose 2*c = 6, 2 = s*o + 5*c + 32. Let h be (-2)/(-2) + (-9 - 2). Is h bigger than o?
False
Let r = -308 + 2777/9. Let m = 2/9 - r. Is -0.1 <= m?
False
Let k(j) = -4*j + 3. Let w be k(3). Let n be 6/(-12) - w/2. Let d be ((-5)/(-3))/((-2)/(-6)). Which is smaller: d or n?
n
Suppose -5*z + 11 + 34 = 0. Is 7 != z?
True
Let s be (2/(-360))/((-2)/(-2)). Which is bigger: 1 or s?
1
Let l be (-12)/(-10)*5/2. Suppose -6*g + l*g = 9. Let q = g - -4. Which is smaller: q or 3?
q
Let k = 0.7 + -0.57. Let t = 0.03 - k. Let c = -0.05 - 2.95. Is t <= c?
False
Let p be (-33)/(-12)*8/(-6). Let g = p - -10/3. Is g < 6?
True
Let l = 4 + -2. Let k = l - 4. Let w be -6*6/8 - -2. Is k less than w?
False
Let m = -370 - -7034/19. Is m > 0?
True
Let h be -1 - (-1 + (-1 - -2)). Let s = h + 2. Which is greater: 1/3 or s?
s
Let x = 179/3 + -59. Suppose 3*q - 2 = -2*c + 4*q, q + 2 = -2*c. Which is smaller: c or x?
c
Let q be ((-1)/(-8))/(2/(-4)). Let h = 5.8 + -7. Let j = h - -1.3. Is q smaller than j?
True
Let o be 2*1 - 180/75. Which is bigger: o or -0.1?
-0.1
Let g be -26 - 4*(-4)/(-8). Suppose 0 = -5*n + 6 - 41. Let p be (-8)/g + (-5)/n. Is 1 at most as big as p?
True
Let s(x) be the first derivative of -x**2/2 + 16*x + 3. Let i(n) = 2*n - 17. Let d(q) = 2*i(q) + 3*s(q). Let c be d(-10). Which is smaller: c or 5?
c
Let l(o) = 3 + 3*o + 6*o**2 + 0*o**3 + o**3 + 2*o + 0. Let u be l(-5). Do u and 3 have different values?
False
Let b = -0.3 - -0.5. Let k be (-2 - (-20)/12)*2. Which is bigger: b or k?
b
Let o be ((-4)/(-5))/((-1)/(-5)) - -90. Is o bigger than 95?
False
Let i = 265/1886 - -1526015/45264. Let g = i + -101/3. Which is bigger: g or 1?
1
Let x be (1215/(-180))/(1*-2 + -10). Which is smaller: 1 or x?
x
Let q be 4 + 2 + -21 + 2. Is q < -12?
True
Suppose -8*s = 2*p - 5*s - 5, -3*p + 8 = 5*s. Which is smaller: -9 or p?
-9
Let v(t) be the first derivative of t**4/2 - 2. Let j be v(1). Do j and 2 have the same value?
True
Let d = 0.9 + -1. Let x be 3 - ((-3)/9 - (-104)/33). Do d and x have the same value?
False
Let f be 4 - ((-20)/6 - -3)*-3. Which is bigger: 5 or f?
5
Let r = -43502/87 - -500. Which is bigger: 1 or r?
1
Suppose -3 - 1 = 4*w. Is w <= -4/3?
False
Let k be (340/(-50))/(-2) + 2/(-5). Let a(t) = t**3 - 3*t + 3. Let x be a(2). Which is smaller: k or x?
k
Suppose -4*i + 1743 = -i. Let c be (-6)/21 + 180/i. Which is smaller: 1 or c?
c
Let h = 65 - 323/5. Let x = 2.9 - 4. Let l = 0.8 + x. Which is smaller: h or l?
l
Suppose -4*q - 2*h = -7*h + 49, -2*q = -2*h + 24. Is -11 at most as big as q?
True
Let t be 26/(-14) - (-2 - -1). Suppose 4*s - 2*s = 0. Which is greater: s or t?
s
Let p(d) = -d**3 + d**2 + d. Let s = -5 + 5. Let y be p(s). Suppose y = -k + 1 - 2. Is k at least as big as -2?
True
Suppose -3*b - 15 = 5*a + b, -a + 2*b + 11 = 0. Which is greater: -1/66 or a?
a
Let c(u) = u**2 + 3*u - 5. Let p be c(-5). Suppose -4*q - 4*x + 10 = 26, -p*x = -q + 20. Is q less than 2/19?
True
Let n be (-20)/(-25)*-1*(-6)/(-8). Let b = 3 + -5. Is n >= b?
True
Let g = -10 - -1. Let d = -5 - g. Is -2 < d?
True
Let v(k) = -k**3 + 5*k**2 + 3*k + 19. Let f be v(6). Let i be 1/246*(0 - 2). Let q = -118/615 + i. Which is smaller: q or f?
q
Let r(j) = -j**2 + 15*j + 15. Let m be r(16). Let v = m - 8. Which is greater: -10 or v?
v
Let f = 85/7 - 12. Suppose -3*s = 2*s. Let x be (s + 2)*-1 - -3. Which is smaller: f or x?
f
Suppose 6*w - w + 25 = 0. Which is bigger: w or -4?
-4
Let r = 0.435 - -2.635. Let u = -3 + r. Which is smaller: 2 or u?
u
Let r = 3 - 2.82. Let j = 0.02 + r. Do -1/4 and j have the same value?
False
Let c = 119 - 136. Which is bigger: -18 or c?
c
Let c = -0.31 - 8.69. Let w = 12 + c. Let b = 5 + -3. Is w greater than b?
True
Let p be 1/(2/(-17))*-2. Which is greater: 16 or p?
p
Suppose -5*u = -15 + 5. Suppose 4*q + 2*h + 18 = 0, -q - 4*q = -u*h + 27. Is -3 less than q?
False
Let i = 0.79 + -0.09. Let y = -0.3 + -0.5. Let z = i + y. Is 0.6 > z?
True
Let p = 74.3 + -69. Let o = 5 - p. Are o and -0.2 unequal?
True
Let d(q) = -4*q**2 - 16*q - 25. Let r(a) = -a**2 - 5*a - 8. Let o(i) = -2*d(i) + 7*r(i). Let g be o(6). Let z be 0/((g/3)/(-2)). Which is smaller: 1 or z?
z
Let d = -3/2 + 11/6. Let w = -67.1 + 68. Which is smaller: w or d?
d
Let f = 40 - 18. Suppose 4*p + 1 = -n - f, 29 = -3*n - 4*p. Is n smaller than -5?
False
Let h(r) = -r**3 - 2*r**2 + 3*r - 2. Suppose -6 = -0*p + 2*p. Let m be h(p). Suppose -o - 3*o - 4 = 0. Is m >= o?
False
Let n(d) = -d**3 + 12*d**2 - 4*d + 22. Let f be n(12). Let r = f + 21. Let c(s) = -s**3 + 5*s**2 + 4*s + 7. Let p be c(6). Is p > r?
False
Suppose -12 = 4*b + d, 3*b + b + 12 = -4*d. Suppose -3*c + 6*c + 69 = -3*n, -3*n - c - 65 = 0. Let y be (4/n)/(12/18). Is y bigger than b?
True
Let m = -1.06 + 0.06. Let t(g) = g**3 + 3*g**2 - g + 1. Let l be t(-3). Let n be (-4)/35 + l/10. Which is smaller: n or m?
m
Suppose 0*d = 4*d + 4. Let y be ((-1)/10)/((-852)/(-790)). Let i = 2/213 + y. Which is smaller: i or d?
d
Suppose -3*h = -4*l + 16, 5*l - 2*l - 12 = 2*h. Suppose 5*d + 25 = -h. Let q be (-4)/(-6) - d/15. Is q equal to 1/9?
False
Let x = 5 - 3. Suppose 9 = 3*l + 3. Does x = l?
True
Suppose 0 = 3*f - 3 + 6. Let v be 1/(f/(-5) - 0). Suppose v + 0 = 5*w. Which is smaller: 2 or w?
w
Let v = -12 - -32. Let k = v + -30. Let z = k + 6. Is z <= 1?
True
Let o(q) be the third derivative of -q**6/120 - q**5/12 + 7*q**4/24 + 2*q**2. Let u be o(-5). Let n = -109/3 - u. Which is bigger: -2 or n?
n
Let d = -5 - -10. Suppose 4*c + 4*h = 8, -d*c + 0*h + 6 = h. Let j be (c - 1) + 2 + -1. Are j and -1/4 unequal?
True
Let v be (-4)/6 + 6/18. Let r = 4 - 5. Which is smaller: r or v?
r
Let v = 4 + -4. Let r be (-4 - -7) + (-1 - 1). Is r at least v?
True
Let y be 802/492 + (-2)/6. Let l = -39885/902 + 486/11. Let m = l - y. Which is smaller: m or -2?
-2
Let m = 2.9 - 3. Which is bigger: m or 8?
8
Let x(q) = -q**2 + 4*q. Let j be x(2). Let i(y) = -y - 2. Let n be i(j). Let o(a) = -a**3 - 6*a**2 - a - 6. Let f be o(n). Which is smaller: f or -1?
-1
Let y = 1.4 + -1.6. Is 3 smaller than y?
False
Let d = 86 - 88. Are d and -0.72 nonequal?
True
Let m(o) be the first derivative of o**3/3 + 3*o**2/2 + 3*o + 2. Let h be m(-2). Let s be (8/12)/((-1)/(-3)). Which is greater: h or s?
s
Let a = -7 - -9. Which is smaller: 0 or a?
0
Suppose -8 - 7 = 5*f. Let y be (-48)/18*f/(-5). Which is smaller: -3 or y?
-3
Let v = 0.55 - 0.69. Which is smaller: v or -1?
-1
Let c = 2272/9 + -252. Let l = -155/4 - -39. Is c <= l?
False
Suppose 0*v - 5*v = 45. Let u = -5 + -2. Which is greater: v or u?
u
Let n = 33 - 33. Let b = -3703/11 - -337. Are n and b equal?
False
Let o(v) = -v**3 - 3*v**2 + 5*v. Suppose -2*n - 13 = -3*r + 4, 4*n - r + 19 = 0. Let s be o(n). Let q = -6 - s. Is -2 at least as big as q?
True
Let t = 26/3 + -451/51. Does 1 = t?
False
Let i = 0.07 - -0.93. Is i < -12?
False
Let h = 221/84 + 5/42. Let t = 5 + -3. Is t at most h?
True
Suppose -3 = 2*z - 13. Suppose -9 = -z*n - 3*v + 1, n - 5*v = 2. Let f be (2/6)/(n/(-4)). Which is greater: 0.2 or f?
0.2
Let f(b) = 2 + 3*b + b**2 - 6 + 0*b**2. Let v be f(-4). Let c = 0 - 0. Is v >= c?
True
Let b be 33*(-2)/(-12)*10. Is -2/5 less than b?
True
Let o = -183/2 + 95. Are o and 3 non-equal?
True
Let w(u) = -10*u**3 + 28*u**2 - 25*u + 28. Let t(d) = 3*d**3 - 9*d**2 + 8*d - 9. Let i(m) = -7*t(m) - 2*w(m). Let z be i(6). Is 4 < z?
True
Let k be (-10)/35 - 9/(-7). Are 2.6 and k non-equal?
True
Let t = 1 - 1.2. Let a be 10/15 + (-14)/(-6). Suppose a*y - 8*y = 0. Which is smaller: y or t?
t
Let i = -4 - -4. L