ose 12 = -6*m + 2*m. Let t be b + -2 - 6/m. Are -0.1 and t equal?
False
Suppose l - 3 = -2*b, -3*l + 4*b = -3 + 4. Suppose 2*p - p - l = 0. Let s be (3 - (1 + 3))/p. Is s < -2?
False
Let f = 0 + 0.1. Let g = -0.08 - -3.08. Are f and g nonequal?
True
Suppose -3*y + 12 = -0*y, 0 = -5*q + 4*y - 11. Let r = 130/3 - 43. Which is bigger: q or r?
q
Suppose 20 + 0 = 4*k. Suppose 0 = d - 2*f + 2, k*f = 3*d - 0*f + 6. Let j = d - 0. Is -2 != j?
False
Let f = -7241116/105 - -68962. Let y = 800 + -16796/21. Let g = f - y. Which is smaller: g or -2?
-2
Let f = 0 + 4. Suppose 5*c = v + 5, c + 5*v - 35 = -f*c. Suppose 2*s + 0*y - 2*y + 8 = 0, 5*y = 25. Is s at most as big as c?
True
Let x(d) = d**3 + 4*d**2 - 4*d + 7. Let l be x(-5). Which is bigger: l or 3?
3
Suppose 4*o + 3*x - 39 = 0, 3*o + 2*o - 2*x - 66 = 0. Let s(d) = d - 5. Let g be s(o). Is g <= 0?
False
Suppose -3*r - 5*x + 12 = -16, -r + 5*x - 24 = 0. Let q = 169/5 - 34. Is r < q?
False
Let f be 1 + -3 + 122/(-4). Let h = f - -33. Which is bigger: h or 0?
h
Let g = 4/33 - 26/33. Which is bigger: g or -2?
g
Let d = -68 - -70. Which is smaller: -21 or d?
-21
Let q(r) = 3*r + 20. Let k be q(-6). Which is bigger: 0 or k?
k
Let t = 29 + -33. Is -4 less than or equal to t?
True
Let h = -14 - -16. Let x = 3 - 7. Let v = x - 0. Which is bigger: h or v?
h
Let r = -57/5 - -183/20. Is -3 at most as big as r?
True
Suppose 0 = -z + 3*s + 3, -z - 5*s - 8 = -3. Suppose 4*v + v = z. Is v at most 1/10?
True
Let x = 151 - 144.1. Let p = 7 - x. Is 1/4 > p?
True
Let w = 5413 - 26791/5. Suppose 3*p + 5 = 2, 0 = 3*z - 4*p - 169. Let b = w - z. Is 0 < b?
False
Let g be (-3 + 2)*(-1 + 1). Suppose -2*x - 2 + g = 0. Let l be (0 - 1)/(-1)*x. Which is smaller: 2/19 or l?
l
Let l(b) = -b**3 - 2*b**2 - 2*b + 1. Let p be l(-2). Suppose 3*q = -n - p, 2*q = -4*n - 0*q. Let f be n - (1 + (0 - 0)). Is f at most as big as 1?
True
Suppose 3*v = -2*v + 40. Is 8 > v?
False
Let a = 26 + -105/4. Which is greater: 0 or a?
0
Let c = 4/191 + -581/382. Let z = 3 + -4. Which is greater: z or c?
z
Let b(z) = -z**3 - z**2 + 3*z - 3. Let o be b(-3). Let a(l) = -56*l**2 + 28*l**2 + 1 + 6*l + 27*l**2. Let d be a(o). Is d > 2/19?
True
Suppose 0 = 4*b - 0 - 4. Is b >= -1/18?
True
Let b = 4 + -1. Let t be 3 - 4*(-3)/(-12). Is t > b?
False
Suppose -4*p + 17 = 3*k, -5*k + 20 = 3*p - 1. Suppose r - k*r = 0. Suppose 5*d - 4*s - 4 = 0, d + d = -5*s - 5. Is r not equal to d?
False
Let y = 495 - 52966/107. Let a = y + -98/963. Is -1 > a?
False
Let p be (4/110)/(316/100 + -3). Which is smaller: p or -1?
-1
Suppose -l + 4*l = 0. Which is smaller: 6/17 or l?
l
Suppose -u = 4*p - 2, -6*p + p - 5*u + 10 = 0. Let r be 1/(-3) - (-75)/99. Let m = -12/11 + r. Is p < m?
False
Let c(r) be the second derivative of -r**3/6 - 15*r**2/2 - 7*r. Let j be c(-6). Is j equal to -9?
True
Let u be ((-1 - 0) + -1)/2. Does u = -1/4?
False
Let g = -105.9 + -5.1. Which is greater: -1 or g?
-1
Let h(t) = -7*t - 2 - t**2 + 6 + 5. Let l = 24 + -32. Let y be h(l). Is 2/23 bigger than y?
False
Suppose -3*k - 29 = -8. Is -2 at most k?
False
Let v = -1.12 + 1.1. Let y(l) = -l + 5. Let p be y(5). Which is smaller: p or v?
v
Suppose -a + 0*a - 19 = -3*g, -2*a = -3*g + 38. Let t = 19 + a. Let n = -121 + 967/8. Which is smaller: n or t?
n
Let d(w) = -2*w - 6. Let h be d(-4). Suppose 3*g = h*v - 18, v + 5*g + 14 = -3. Suppose v = -n + 2. Which is greater: n or -2?
n
Let q = -11653/84 - -543/28. Let j = -118 - q. Which is smaller: 1 or j?
1
Let y be ((-1)/(-8))/1 + 230/4048. Is y equal to 3/8?
False
Suppose -6 = -2*w - 4*w. Is w less than or equal to 1/25?
False
Let h be 0 + (-5)/6 - -1. Let q = -152 - -159.1. Let j = 7 - q. Is h greater than j?
True
Let r be 36/(-63)*2/4. Which is greater: 1 or r?
1
Let i be 0 + -2 + 3 - 2. Let s be ((-10)/2)/i - 2. Suppose 0 = -l + s*l. Is l greater than or equal to -1?
True
Let b = -2159/13 - -166. Which is bigger: 0 or b?
0
Suppose -3*u - 15 = 2*u. Let f(q) = -q**3 - 4*q**2 - 3*q - 1. Let t be f(u). Which is greater: t or -3/5?
-3/5
Let x = -203/6 - -503/15. Which is smaller: -1 or x?
-1
Let h = 10 - 8. Is h bigger than -0.4?
True
Suppose -11 + 119 = -3*r. Which is bigger: -33 or r?
-33
Let a = -0.03 - 6.97. Which is smaller: a or 1?
a
Suppose 25 - 23 = -2*c. Let i = -2/87 - 338/435. Which is smaller: i or c?
c
Let k(t) = t - 6. Let q be k(3). Let m be (-2)/q - (-3)/9. Let c = -703/5 - -141. Is c greater than or equal to m?
False
Suppose 4 = -0*n - 2*n. Let a be n/3*(-12)/(-8). Let y be (1/6)/(a/(-3)). Is y at most as big as -1?
False
Let g = 53 - 96. Let f = 57625/1348 + 1/674. Let p = g + f. Is -1/5 greater than or equal to p?
True
Let c = -8 - -8.3. Let r = c + -0.7. Let k = 0.3 + r. Is k < 1?
True
Let j(m) = 1. Let y(o) = -o - 6. Let h be 8 + -1*(-2)/(-1). Let n(l) = h*j(l) + y(l). Let r be n(1). Which is smaller: 0 or r?
r
Suppose -5*i - 4 = 6. Is i less than -2?
False
Let x(y) = y**3 - 2*y**2 - 3*y - 2. Let s be x(3). Which is smaller: s or -3/2?
s
Let s = -4.6 + 1.6. Which is greater: 5 or s?
5
Let d = 0.25 + -2.65. Let q = d + 0.4. Which is smaller: 3 or q?
q
Let y be 0/1 - (1 + -1). Let f be y/((-2)/(3 - 1)). Let u = -2 - -3. Which is smaller: f or u?
f
Let i = -97/473 - -1/43. Let j = -30.1 - -26. Let a = j - -4. Which is smaller: i or a?
i
Suppose 3*n + 1 - 4 = 0. Let a = 2/101 + -109/404. Is n at most a?
False
Suppose 2*v - 6 = -2*r, 3 = -3*r + 5*v + 4. Is 7/3 at least r?
True
Let l = -69 - -58. Is l less than -11?
False
Let p be 0 - (0 + (0 - -6)). Let a = -10 - p. Let g be (-6)/(-4)*a/(-6). Is g < 1/3?
False
Suppose -6*s = -2*s - 12. Suppose 0 = -7*g + s*g + 8, -4*h - 2*g + 28 = 0. Let j be h/9 + 1/3. Which is smaller: j or 2?
j
Let q = 235 + -1641/7. Do 2/5 and q have different values?
True
Suppose 2*t - 2*p - 10 = 0, -2*t + 3*p + 1 = 4*p. Suppose 0 = -4*u - 3*m + 5, -3 = -t*u - 4*m + 7. Which is greater: u or -2/19?
-2/19
Suppose 10*d - 4*d = -282. Is d > -46?
False
Let w be (24 - 24) + 1/((-9)/2). Do -3/7 and w have the same value?
False
Let v(d) = 3*d**2 - 5*d + 1. Let b(h) = 2*h**2 - 2*h. Let g(s) = -5*b(s) + 3*v(s). Let p be g(-5). Is p greater than or equal to 3?
True
Let m = 0.11 + -0.05. Let j = m + -5.06. Let w = j + 6. Do w and 2/7 have the same value?
False
Let m(b) = 2*b**2 + 7*b - 10. Let f be m(-6). Which is smaller: 1/3 or f?
1/3
Let g = 5 - -5. Suppose -g = -2*y + 7*y. Let o be y/5 - (-144)/260. Which is smaller: o or -1?
-1
Let d = 0.159 - 0.059. Let u = 0.3 + -0.2. Are d and u unequal?
False
Suppose 5*f + 130 = t - 3*t, -t + 2*f - 56 = 0. Let p = -239/4 - t. Which is smaller: p or -4?
-4
Let w = 0.17 - -0.03. Which is greater: 0.9 or w?
0.9
Let r be (-1)/(88/(-28) + 3). Are 5 and r non-equal?
True
Let h = -44 - -45. Which is smaller: 5/6 or h?
5/6
Suppose -2*k = -6, 14*k - 13*k = 3*s - 6. Which is bigger: s or 15/8?
s
Let b = -2329/4921 - 2/4921. Is b at most as big as 1?
True
Suppose 8*p - 2 = 6*p. Is -1 smaller than p?
True
Let i = -62 + 63. Which is bigger: -15/4 or i?
i
Let i = 559/4 + -139. Let f = -0.17 - -0.37. Which is smaller: i or f?
f
Let g(b) = 2*b - 17. Let d be g(9). Which is smaller: -1/34 or d?
-1/34
Let i be 3/(-12) + 3502/(-104). Let w = 18 + 16. Let x = i + w. Is -1 <= x?
True
Suppose 3*n + 5*y = -0*n + 4, 0 = -n - y. Let c(m) = -m**3 - 5*m**2 + 8*m + 8. Let d be c(-6). Are n and d nonequal?
True
Let z = 1 - 3. Let b be 16/(-10)*z/24. Suppose 5*d - 4*d = -4*d. Which is bigger: d or b?
b
Let g be -1*(0 - (0 + -1)). Let x = -0.08 + 4.08. Is g greater than or equal to x?
False
Let z = 63 - 62. Which is greater: -2/201 or z?
z
Suppose -9*c + 30 + 33 = 0. Does c = 4?
False
Let t = -83/35 + 18/7. Which is bigger: 0 or t?
t
Let s(z) = -2*z + 3. Let n be s(4). Which is bigger: n or -4?
-4
Let u = 8 - 7. Is u at least -2?
True
Suppose 0 = 2*d - 5*d - 36. Let l be (6/(-1))/(9/d). Suppose 2*y + l = -3*k, 4*k + 5*y + 8 = 3*y. Which is greater: -0.2 or k?
k
Let n be ((-48)/(-32))/((-525)/4). Is n >= 1?
False
Let g = -15 + -9. Let d = -14 - g. Which is smaller: 0 or d?
0
Let s = 19 + -19. Which is smaller: 1 or s?
s
Let y = -2 + 4. Let s(g) be the second derivative of -2*g**3/3 - g**2/2 - g. Let a be s(-1). Which is bigger: y or a?
a
Let r = -0.68 - -0.6. Let b(q) be the third derivative of q**4/12 - 3*q**3/2 + 2*q**