. Suppose d + 7 = -4*d + p*n, 2*n - 7 = d. Which is smaller: 1/2 or d?
1/2
Let o = 0.17 - 0.23. Which is greater: -0.1 or o?
o
Let p = 10 + -14. Which is greater: -16/3 or p?
p
Let f be 1/(10/368) - 1. Suppose 197 = -4*g + 53. Let d = g + f. Are d and -1 unequal?
True
Let b be (3 + -4)/((-1)/7). Is b at least as big as 5?
True
Let z(s) = 3*s + 15. Let q be z(-7). Let j be 3/4*q/(-9). Let y = 0.2 + -1.2. Which is bigger: j or y?
j
Suppose v - 5 = -3*q, v = 4*q - 2*q. Let m = -11/5 + 43/15. Which is bigger: v or m?
v
Let r = 2.9 + -3. Let l = 5 - 3. Let w = -1.7 + l. Which is bigger: w or r?
w
Let w = 122 + -82. Let f = 27 + -5. Let u be (-8)/44 - w/f. Which is smaller: u or 0?
u
Let l be (-30)/(-9) + (-2)/(-3). Suppose -4*b - b = -3*z - 7, b = l*z + 15. Let h = 10 - 12. Is h >= b?
False
Let p(o) be the third derivative of -o**4/12 - o**3/6 - 6*o**2. Let b be p(-1). Is -2 at most b?
True
Let a(t) = -t**2 - 19*t - 5. Let i be a(-20). Which is smaller: 0 or i?
i
Let m(b) = -b**3 + 10*b**2 + b - 9. Let v be m(10). Do v and -1/29 have different values?
True
Suppose -24 = 2*k + 2*k. Let q = 1 - 4. Let f = q - k. Is 2 smaller than f?
True
Let v = 12 - 9. Suppose -40 = -a - v*a. Let d = a + -9. Which is greater: -0.09 or d?
d
Suppose 0 = 3*l - 3, 4*c - 20 = 5*l + 27. Is 1 bigger than c?
False
Let v be 127/30 + 22/(-55). Which is greater: 3 or v?
v
Let a = -13 + 119/9. Let z be (2 - (-2 + 2))/2. Which is smaller: a or z?
a
Suppose -4*x = -l + 235, -5*l + 32 = -x - 3. Is -62 less than x?
True
Suppose 2*c = 5*c - 27. Let o be (-6)/c*(0 - -3). Let u = 5 + o. Are u and 5 equal?
False
Let u = -2384/3 + 749. Let h = u - -941/21. Are h and 0 equal?
False
Let j = -7 + 13. Let s(h) = -h**3 + 5*h**2 + 6*h. Let m be s(j). Let r = 29/20 + -6/5. Which is smaller: m or r?
m
Let u = 220/17 + -38974/3009. Which is smaller: u or 0?
u
Let n = 28 + -29. Are n and 2/33 non-equal?
True
Let q = 6839/108 - 253/4. Does q = -1?
False
Let r(l) = -4*l + l**2 - 19 + 22 - l. Let f be r(4). Is 2/23 >= f?
True
Suppose -6*x - 352 = 5*x. Is x at most as big as -33?
False
Let r be (-3)/(-9) + (-8)/6. Is r less than 2/9?
True
Let l = 23.1 + -24. Let y = 1 + l. Which is smaller: 0.01 or y?
0.01
Let o be 16/(-40) - 164/(-10). Are o and 15 equal?
False
Let w be (-1)/((2 - 1)*-1). Let u be -13 + (3 - (2 - w)). Is u at most -11?
True
Let r(h) = -h**3 + 4*h**2 - 3*h - 2. Let v be r(3). Is v < -3?
False
Let h = -18.16 + 18. Let r = h - -5.16. Which is smaller: 0 or r?
0
Let s be 14/(-44) - (-10)/(-55). Let t = 1.6 - 2. Are s and t non-equal?
True
Suppose 2*r - 4*r + 12 = 0. Let v be (5/(-15))/((-2)/r). Which is greater: -4 or v?
v
Let v = -57 + 57.23. Is v at least as big as -1?
True
Let r = 4.2 - 23.2. Let j = r - -20. Which is bigger: j or -0.24?
j
Let n be 18/(-3) - (13 + -10). Let b be (-1)/(-3)*(-3)/(-2). Is b less than n?
False
Let c(q) = 4*q - 3. Let d be c(-2). Let j = d - -20. Which is bigger: 1 or j?
j
Let r be (-7)/6 + (-2)/(-4). Let z be ((-1)/28)/(60/16 - 4). Does r = z?
False
Let y be -1 - ((-1 - -4) + -3). Suppose 2*t - 3 = -5*f + 3, 5*f = -t + 3. Let b be (t + -3)/(-3 + 1). Are y and b non-equal?
True
Suppose 0 = -y + b - 3 + 2, 8 = 2*y + 3*b. Let l be y/6 - 69/(-18). Is l > 4?
False
Let j = -7 - -8. Is j smaller than 7?
True
Let h be 4/(-18) + (-38)/(-9). Suppose -15 = -3*r, -h*j + j - 3*r + 27 = 0. Let z be (0 + j)*1/14. Is 1/4 greater than or equal to z?
False
Let o = 27.05 - 27. Let b = -0.05 - o. Are 6/7 and b nonequal?
True
Let t(m) = -m**3 + 8*m**2 - 11*m - 9. Let v be t(6). Is v greater than or equal to -23/6?
True
Let w(v) be the second derivative of v**3/6 + 7*v**2/2 + 2*v. Let j be w(-5). Suppose -o + 6 = j*k - 3*o, -k + 4*o = -12. Do k and -1/5 have different values?
True
Let n be (1 + -1 - -2) + -4. Suppose 0 = s - 2 - 14. Suppose -r + 10 = -3*j, j + s = -j + 3*r. Is n less than or equal to j?
True
Let o(g) = -g**3 + 2*g**2 + 3*g + 1. Let a be o(3). Let w = a + -2. Which is smaller: w or -3/5?
w
Let u be ((-7)/14)/(3/(-36)). Is u < 7?
True
Let a = 26 + -28. Which is greater: -0.7 or a?
-0.7
Let o = 1 + -1. Let k be (-6)/4*12/342. Is o less than k?
False
Let f be (54/45)/(1/5). Let h be 2/6 + 1/f. Is h at most 2?
True
Suppose -2*d - 2*h - 2 = 0, 4*d - d - 5*h - 13 = 0. Suppose -4*p + z + 170 = -3*p, 2 = -z. Let v be 2/3 - p/198. Which is greater: v or d?
d
Let q be -3 + (-1 - 0) - 32. Is q <= -36?
True
Let s be 146/(-4) - 3/(-6) - 1. Which is greater: s or -39?
s
Let b be (3 - 2) + (-30)/12. Suppose 0 = -3*d - 12 + 3. Do b and d have the same value?
False
Let j(h) = -3 - 5*h + 1 + 4*h. Let l be j(5). Is l bigger than 1?
False
Let q = 48 + -34. Which is smaller: q or 13?
13
Let a be 0 + 2 - (-1185)/(-40). Let w = a - -28. Which is smaller: w or 0?
0
Let u = 13 - 22. Let m = -1 + u. Which is smaller: m or -1?
m
Let i(n) = n**2 - 14*n + 14. Let r be i(13). Which is smaller: r or -2/55?
-2/55
Suppose -2*i - 2 = -4*f, 5*f = 4*f - i - 4. Let t be (f - -1) + (-1)/2. Which is bigger: -6 or t?
t
Let u(l) = -l**3 - 8*l**2 - 7*l. Let o be u(-7). Suppose o*z = -z + 3. Suppose -5*j = 4*r - 35, 4*j + 4*r = 3*r + 17. Are j and z equal?
True
Suppose 2*s - 13 = 4*g + s, 0 = -4*g - 2*s + 2. Let k be 33/(-7) - 4/14. Let x be g*(k/2)/5. Is x != 1?
False
Let x = -0.2 - 0. Let d = 0.11 + x. Is 0 > d?
True
Let y(v) = 4*v + 10. Let h be y(-3). Which is greater: -10/19 or h?
-10/19
Let n = 12 + -11.5. Let j = 0.2 + -0.2. Which is bigger: n or j?
n
Let a = 171/115 + -7/5. Let q be 4 + -2 + -4 + 3. Are a and q nonequal?
True
Suppose 3*h - 5*c = -c + 13, 5*h + 4*c = 11. Suppose 0*m = 5*y - 3*m - 5, -4*m + h = 3*y. Do 2/23 and y have the same value?
False
Suppose 3*i + y + 3*y = 8, -5*i + 10 = 5*y. Suppose 0*l + 4*l + 28 = i. Let k(d) = d**2 + 6*d - 8. Let w be k(l). Is 1 greater than w?
True
Let f = -22 + 22. Let a(v) = -4*v + 1. Let t(h) = -5*h + 1. Let w(j) = 6*a(j) - 5*t(j). Let z be w(f). Is z bigger than 1?
False
Suppose 4*c - 9*c = 0. Let k = 331/3 + -110. Which is smaller: c or k?
c
Let c = 6 + -2. Suppose -c*a + 3*a = 9. Which is greater: a or -10?
a
Let g = -1761/5 + 354. Is 1/4 greater than g?
False
Let t be (-9)/(-6) - 42/20. Which is smaller: -2 or t?
-2
Let n = -19 - -11. Let d = -13 - n. Is -2/3 > d?
True
Let g be (4/(-3))/(1/3). Suppose 2*a - a = 8. Suppose -a = -0*z + 4*z. Is g equal to z?
False
Suppose 29 = 2*o - g, 4*o - 6*o + 31 = -3*g. Do o and 13 have different values?
True
Let t be 2*-3 - (-13 - -9). Which is bigger: t or -29?
t
Let h be (45/(-6))/(6/8). Which is smaller: -9 or h?
h
Let f be ((-3)/(-1))/(3/(-4)). Let l(t) = t**3 + t - 7. Let q be l(0). Let p = f - q. Is p smaller than 3?
False
Let h = -0.2 + 0.1. Let c = -8.06 + 0.06. Let v = c + 7. Is h bigger than v?
True
Let p be -33 + 0 + 0/(-3) + 1. Which is greater: p or -31?
-31
Let j = -15 - -40. Is j at most 26?
True
Let o = -0.4 + 0.5. Which is bigger: 0 or o?
o
Suppose v - 2*v = 4*g - 38, g - 17 = -4*v. Suppose -3*y + 3 - g = 0. Let t be 4/y - (-8)/2. Which is bigger: t or 0?
t
Suppose 3*q = -2*q - 4*y - 1, 4*q + 5 = y. Let i be (-1 - 0)*(4 + -1). Let k be -2 - (4/i + q). Is k at most as big as -2/3?
False
Let x = -23 + 24. Is 7 at least as big as x?
True
Suppose -3*d - 5*j - 5 = -7, 5*d - 16 = -2*j. Is 3 greater than d?
False
Suppose -5*x - 8 = -3*x + 2*t, -3*x = -t - 4. Let s = x + 1. Are 1 and s equal?
True
Let g(o) = -o**3 + o**2 + o - 15. Let t be g(0). Let c = t + 4. Which is smaller: -1 or c?
c
Suppose 0 = -2*f + 5*v + 8, 3*f = -2*f + 3*v + 1. Let u = -3531/4 + 29371/36. Let h = u + 67. Does h = f?
False
Suppose -2*w + 0 = -4. Suppose u + 2 + w = 0. Let d = 2 + u. Is d at least as big as -2?
True
Let n = -0.077 - 0.903. Let i = -3.02 - -3. Let a = i + n. Is 2 less than or equal to a?
False
Let d be (19/(-4522))/((-2)/8). Which is smaller: 0 or d?
0
Suppose 0 = -5*n + 53 + 32. Let v = n - 17. Is v less than or equal to 5/4?
True
Let f be (-3)/(-2)*12/(-99). Is f bigger than 1?
False
Let y = 0.82 - 0.8. Let s = y + 1.98. Which is greater: s or -1?
s
Let z be (1 - (5 - 2)) + -1. Suppose 0*w - 6 = 2*w. Let o be w/2*(-10)/(-15). Which is bigger: z or o?
o
Let a(m) = m + 8. Let o be a(-4). Suppose 6 = -2*b + o*b. Which is smaller: 0 or b?
0
Let b(a) = -a**3 + 2*a**2 + 2*a + 1. Let v be b(-1). Suppose -2*n 