+ -3 + 2 + -2. Which is smaller: p or -3?
p
Let m be 12*(16/(-6) - -3). Let x = -3 + m. Are x and 3/7 unequal?
True
Let m be 1/(-4) + (-2)/(-8). Let b be (-4 - -3)*1 + 2. Suppose 0 = 3*k + 2*k - 4*g - 6, 3*k = 5*g + b. Is m greater than k?
False
Let j be (-4 + 30)*2/24*4. Which is smaller: 10 or j?
j
Suppose -j + 3*j = 0. Is -4/23 bigger than j?
False
Let w(d) = -d**2 - 2*d - 1. Let v be w(-3). Let s be (-16)/(-7) - (-8)/(-28). Let o = s - 6. Is o not equal to v?
False
Suppose 5*q - 130 = 50. Let t be q/70 + (-2)/(-7). Is t less than 2?
True
Let r be -2*(1 - 2 - 5). Let w be 16/(-10) - r/30. Let h = -6 - -4. Do h and w have different values?
False
Let d be (1/3)/(26/24). Which is greater: 1 or d?
1
Let z(f) = -24*f - 8. Let s be z(-1). Which is smaller: 15 or s?
15
Suppose -2*k = 4*k - 12. Suppose k*m - 3*i = 8, -5*i - 28 + 0 = 4*m. Let h = 1 + -1. Is m bigger than h?
False
Let q be (-2 + 244/124)/1. Let g = q + -51/341. Which is greater: 0 or g?
0
Suppose 4*x = -4*l + 5 + 7, 0 = -5*x - 4*l + 13. Let c = 65.7 + -65. Which is greater: c or x?
x
Let s be (0 + -1)/(2/(-4)). Suppose -o = 4, -2*j + o - 4*o = 24. Let a = -6 - j. Is s less than or equal to a?
False
Let t = 0 + -14. Let q = t + 15. Is 2 <= q?
False
Let a = 0.27 + -0.17. Is a equal to 0.7?
False
Let n = -2.4 - -0.6. Let h = 1.9 + n. Which is smaller: 9 or h?
h
Suppose y - 2 = -0*y. Let k be (-2)/((-1)/2*4). Is y at most as big as k?
False
Let f = 219/2 + -107. Do f and 2 have different values?
True
Let o = -4 - -12. Let j be 1*(o/(-14))/(-2). Let x = -0.25 - -0.45. Is j < x?
False
Let n = -0.05 + -24.95. Let g = n + 23.9. Let o = g - -1. Which is smaller: -2/3 or o?
-2/3
Let m = -6.01 - -6. Let l = m + -0.99. Is l != -1?
False
Let t be (-2)/(-1) - (1 + 1). Suppose 0 = 3*a + 3*k + 30, -5*a - 3*k = -23 + 69. Let s = -9 - a. Which is smaller: s or t?
s
Let d = 28.082 + -0.082. Which is greater: d or 2/3?
d
Suppose -2*a - 1 + 13 = 0. Suppose -2*v + 2*y + a = 0, -4*v - 5*y = -y - 4. Suppose 3*z + 10 = 4*l + 2*z, 6 = 3*z. Do v and l have the same value?
False
Suppose -4*x + t = -3*t + 96, -5*x - 3*t - 88 = 0. Which is greater: -18 or x?
-18
Let q = -1.74 - 0.26. Are 3 and q equal?
False
Suppose 0 = 5*g - 13 + 33. Suppose -b = 1 + 4. Which is bigger: b or g?
g
Suppose 6*g = g. Let u be (-3)/(-6) - 5/(-2). Suppose -15 = c - 4*b, -u*b + 3 = -2*c - 7. Which is bigger: g or c?
c
Let g be ((-1)/(-9))/((-14)/21). Let w = g - -1/2. Let s = -0.3 + 0.2. Are w and s unequal?
True
Let z be -3*(-3)/((-27)/(-12)). Suppose -32 = 2*w - 4*y, -z*w + 6*w = -4*y. Is w at most -8?
True
Let a be (-17)/(-5) + 4/(-10). Let s be a/8 + 3/(-12). Which is bigger: 0 or s?
s
Let l = -291566/117 - -2492. Is l greater than or equal to 0?
False
Let p = 902/9 + -100. Is p <= -2/97?
False
Let c = -2 + -15. Let p = c + 17. Let d be (-22)/24 - 1/(-4). Which is smaller: p or d?
d
Suppose 0 = -5*g - 46 - 54. Which is smaller: -21 or g?
-21
Suppose 6*p - 99 = 99. Is p less than 34?
True
Let q be ((-30)/(-4))/(-3)*24/(-20). Is q >= 15/8?
True
Suppose -2*g - 9 = -3*q - 6*g, 3*q - 4*g + 15 = 0. Let l be 2/(-3) - (-4)/(-21). Is l greater than or equal to q?
True
Let t = 1 - -2. Let w be ((-9)/(-3))/((-6)/(-8)). Do t and w have the same value?
False
Let l = -6 - -7. Are l and -2/55 nonequal?
True
Suppose -2*x - 2*h = 3*x - 20, 4*h = 20. Suppose x*z + z = 15. Suppose -4 = f - z. Which is smaller: f or 3/4?
3/4
Suppose 5*b - 2*b - 15 = 0. Suppose 10*i - 5*i - 25 = 0, -b*x + 25 = 4*i. Let c be x - (9/7 - 0). Is -1 at least c?
False
Let w(s) = s - 2. Let b(h) = -h + 8. Let u be b(6). Suppose 14 = 4*o + 4*i - 22, -3*i = u*o - 22. Let r be w(o). Is r less than or equal to 2?
False
Let y be ((-30)/25)/((-1)/(-10)). Let t be (-3)/y - 30/56. Suppose -5*l - 1 = -4*l. Is l less than t?
True
Let o be -1 - 9/18*(4 - 2). Is o equal to -4/3?
False
Let b(v) be the third derivative of -v**6/120 - v**5/20 - v**3/6 + 2*v**2. Let h be b(-3). Which is bigger: h or 2/5?
2/5
Let r = 42 + -22. Is r < 21?
True
Let b be (2 + 1)*(12 - 5)/42. Do 3 and b have different values?
True
Suppose 3*v - 1 = -13. Let t = -427/12 + 121/4. Is v greater than t?
True
Let q be (2/(-94))/((-1)/2). Which is smaller: q or 1?
q
Let u(z) = -z - 6. Let l be u(-6). Suppose l = -5*p + 5*v - 20, 5*p - 2*v = -4*v + 15. Let h be -1 - (-1 - 0)/p. Is h > 2/7?
False
Let s = -263 - -274.3. Is 1 >= s?
False
Let b = -34 + 34.23. Let p = b + -0.03. Is 2/9 not equal to p?
True
Let m = 17/5 - 107/30. Which is smaller: m or 1?
m
Let j = -0.8 - 7.2. Let i = -7.8 - j. Which is greater: -0.2 or i?
i
Let h(x) = 2*x - 16. Let b be h(-5). Is b equal to -25?
False
Let l(d) = -d**3 + 7*d**2 - 2*d - 26. Let u be l(6). Which is bigger: 2/9 or u?
2/9
Let l be (0 - 0)/(2 - 0). Let v be (-4)/14 + (-130)/(-63). Let x = -158/99 + v. Is l < x?
True
Let s be -5 + ((-95)/(-20))/1. Is -3 greater than s?
False
Let d = 24.2 - 19.2. Are 6 and d equal?
False
Let m = 0.16 + -1.46. Which is bigger: 0.1 or m?
0.1
Let m be 20/(-24)*9/(-10) + 1. Let p = 0 - -1. Let q = 0 + p. Are q and m unequal?
True
Let p = -1/266 - -545/3458. Suppose 4*k = 3*n + 6*k - 13, -19 = n - 4*k. Let f = 2 - n. Is f smaller than p?
False
Let v be (-1)/(-4) - (2 - 1578/984). Which is smaller: v or 1?
v
Suppose -t + 7 = -5*d, -4*t = 3*d - 5*d + 62. Is t smaller than -16?
True
Let m = -1 + -8. Let l = m + 4. Let o be (-2*(-4)/(-14))/(6/(-7)). Which is bigger: o or l?
o
Let n = 29 + -29. Let g = -0.036 - -3.336. Let b = 3 - g. Which is bigger: n or b?
n
Let y be 5 + 9/6*2. Suppose 4*t = 2*d - y, 5*t + d = -9 - 1. Let c = -1 - -1. Which is smaller: t or c?
t
Let v(z) = -z**3 - 2*z**2 - 4. Let u be v(-4). Let g be 1 + (3 - u/6). Is 0.3 smaller than g?
False
Let i = 111 - 80.9. Let k = -29 + i. Which is bigger: 0 or k?
k
Let h = 2.5 - 3. Let l = 0.6 + h. Which is greater: 3 or l?
3
Let k = -27 + 241/9. Let o(y) be the first derivative of y**4/4 - y**3 + y**2/2 + y - 2. Let m be o(2). Which is greater: k or m?
k
Let i = 1 + 0. Let n(w) = 3*w**2 - 5*w - 4. Let z(b) = -b**2 + 1. Let g(h) = i*n(h) + 4*z(h). Let a be g(-5). Do a and -1/3 have different values?
True
Let f(q) = q**2 - 2*q + 2. Let z be f(2). Suppose -4*c = -0*c - 4. Is z less than c?
False
Let y(b) = -b**2 + 5. Let m be y(4). Let z(a) = a**2 + 11*a + 1. Let t be z(m). Is 8/5 != t?
True
Let p be (4/(-56))/(2/8). Let h(c) = c**3 - 4*c**2 - c + 5. Let v(u) = u - 1. Let f be v(5). Let a be h(f). Which is smaller: p or a?
p
Let n = 4 - 2. Let u be (-9)/(-6) + (-3)/n. Let g be 0/(-2) + -2 - -3. Which is greater: g or u?
g
Suppose 4*p - 5*b = 9, -5*p + b = -2*p - 4. Which is smaller: p or -1?
-1
Let c = -77 - -76.75. Is 2 at most as big as c?
False
Suppose 2*v - 2 = 4*v. Is v greater than 4/9?
False
Let t be (-20)/28 - (-8)/(-28). Which is bigger: t or 4/13?
4/13
Let c = -0.134 - 0.086. Which is smaller: -2/5 or c?
-2/5
Let z be (-8 + 6)*-1*-2*2. Let v be (-1 - 0)*2*4. Let c be ((-12)/z)/(6/v). Is -3 > c?
False
Suppose -10*k + 6*k = -128. Which is bigger: 30 or k?
k
Let f be 2 - (-7 + -1)*7. Suppose 2 = 4*v - f. Let y be 6/70 + 3/v. Which is smaller: -3 or y?
-3
Suppose -5*q + 4 + 1 = -5*f, -4*q = -12. Suppose 9 = k + 3*u - f*u, 2*u = 3*k - 7. Let h = k + -5. Is h greater than -1/2?
True
Suppose g + 8 + 0 = 0. Let l be (-2)/g - (-9)/(-4). Let m be (l/16)/(4/8). Which is bigger: 2/7 or m?
2/7
Let v be (-1 + 1)/((-4)/16*-4). Which is greater: v or -2/13?
v
Let a = -173/1225 - -3/49. Let t(i) = i - 3. Let r be t(3). Which is bigger: r or a?
r
Let z be (-1)/(1/(-20)) - 2. Let f = -13 + z. Suppose -2*q - f*a - 1 = 6, 2*a = -2*q - 4. Which is smaller: q or -3/8?
q
Let p = -1 + 2. Let d be 3 - 3 - 2/p. Is d < -3/2?
True
Let r = -909/95 - -51/5. Let y = 2/57 + r. Is y at least -2/5?
True
Let w be (-114)/423 + 2/6. Let j = -121/423 + w. Let b be ((-2)/(-4))/((-5)/10). Which is smaller: b or j?
b
Suppose -8*u + 112 = -12*u. Is -1 <= u?
False
Let p = 4.2 + -3.2. Which is smaller: p or -0.1?
-0.1
Let v = 22 - 30. Is v < -9?
False
Let j = 8 + -11. Let m be (9/(-2) - j)/(-1). Which is bigger: 1 or m?
m
Let t(o) = o**3 + 4*o**2 - 7*o - 7. Let n be t(-5). Let p be ((-6)/15)/(2/(-10)). Which is smaller: p or n?
p
Let n = 7948/29 - 274. Which is smaller: 0.2 or n?
n
Let v be 1*(4 - (-40)/(-12)). Let f = -5 + 3. Let 