e
Let b = 0.7 + -0.9. Let n be ((-30)/9 - -2) + 1. Which is bigger: n or b?
b
Let h = 22.08 - 1.08. Which is smaller: -0.1 or h?
-0.1
Let j = -34 + 33.1. Which is smaller: j or 9?
j
Suppose -2*y + 7 = 43. Is -19 greater than y?
False
Suppose 17*l + 392 = 10*l. Does l = -56?
True
Suppose 2*h - 18 = -d - 4*d, 5*h + 1 = -d. Which is bigger: h or 1/103?
1/103
Let o = 6/55 + -224/1045. Let m = 0 - 1. Is o less than or equal to m?
False
Suppose 3*x = -4*x - 210. Which is greater: x or -29?
-29
Suppose -2*g - 3 = -5*g. Let r = g - 0. Let w = -2/63 - -71/252. Is r smaller than w?
False
Let p(x) = -x**2 + 12*x - 10. Let j be p(4). Is j > 22?
False
Suppose 14*c - 18*c + 20 = 0. Which is smaller: c or 7?
c
Let g = 1/10 - 3/5. Let o = -132.84 + 135. Let k = 0.16 - o. Which is bigger: g or k?
g
Let g = 1.6 - -0.4. Let f = g - 2.04. Is 2/7 > f?
True
Let r = 33578/31 + -1083. Let u = 27/217 + r. Is 2 not equal to u?
True
Let d = 210/4519 - -25463725/18076. Let n = d + -1346. Let a = 63 - n. Is 0 greater than or equal to a?
False
Let h = -56.7 - -59.73. Let i = h - 0.03. Which is smaller: 1/3 or i?
1/3
Suppose 4*u + 0*u = 0. Suppose n + i - 2 = 0, u*n = -4*n - 2*i. Which is bigger: -1 or n?
-1
Let m = -1.1 + -3.9. Is m >= -1?
False
Let n = -149 - -152. Is -14 greater than or equal to n?
False
Let m(a) = a**2 + 11*a - 2. Let u be m(-11). Is 10 not equal to u?
True
Let f be (0 - 16/(-13)) + -1. Is f equal to 1?
False
Suppose -g + 3*g + 12 = 0. Let c be g/(-21) + 6/(-70). Which is bigger: -1 or c?
c
Let d = 8.64 + -114.54. Let v = 111 + d. Let r = 5 - v. Which is smaller: 0.3 or r?
r
Let q be 1/(-3)*(-66)/154. Let h(y) = -y - 3. Let k be h(-4). Which is greater: k or q?
k
Let o = -0.3 + 1.3. Let r = 32 + -31. Is o < r?
False
Let s = -258920/7 + 37204. Let j be ((-215)/3)/(2/(-6)). Let z = j - s. Is 2/5 bigger than z?
True
Let k(n) = -n**2 + 4*n + 3. Let j be k(5). Which is greater: j or -2/13?
-2/13
Suppose -4*f + 3 = -a - f, -4*a + 20 = 4*f. Suppose 2*n - a*n = 0. Which is smaller: -0.1 or n?
-0.1
Let a be -1*(-3 + 5) + -2. Let y = a + 0. Suppose -h - 9 = -4. Is y at least h?
True
Suppose -3*h = -0*h + 3. Is h <= 1?
True
Suppose 2*q = -2*h - 2, -q - 2*q = -2*h + 13. Suppose 2*w - 2 = 3*f, w = h*w - 5*f + 6. Suppose n = -2*n + 5*z + 1, 0 = -2*z - w. Is n at most as big as -3?
True
Let s be (-3)/(-25)*5 + (-74)/(-10). Are 9 and s unequal?
True
Let m be (1 - 0) + (3 - 6). Let a be m/(-10)*1/3. Which is bigger: a or -1?
a
Let p be (-5)/(35/12) + 2. Suppose -2*g = 4*t - 3*t + 2, 4*g + 20 = 2*t. Suppose -h = -t*h. Which is smaller: p or h?
h
Let p = -0.95 - 0.05. Let j = -0.6 + -0.4. Let v = j + 0. Is v greater than p?
False
Let j(v) = 2*v. Let r be j(-2). Let n(t) = -t**3 - 5*t**2 - 4*t - 1. Let u be n(r). Let z be (-4)/(-4) + (u - -1). Is z at least 1/6?
True
Let t be ((-2)/8)/((-33)/(-12)). Let o = -0.1 - 0. Is t greater than or equal to o?
True
Let u be 1 - ((-252)/(-245) + (-2)/10). Is u greater than 0?
True
Suppose 3*p = -5*h - 2, -p = -h + 3*h. Let v be ((h/(-8))/(-1))/1. Which is bigger: v or 1/5?
v
Let i = -3 + 2.95. Let f = -0.22 + 1.22. Which is greater: i or f?
f
Let o(j) = -j**2 + 10*j + 8. Let f be o(11). Which is bigger: f or -2?
-2
Let p be (-51)/(-6)*(6 + 0). Suppose 2*k - 11 + p = 0. Let v = -12 - k. Are v and 9 unequal?
True
Let o be 10/(1 + (-4)/2). Let a be 96/(-9)*(-84)/o. Let q = a + 90. Which is smaller: q or 1?
q
Let i = -1.11 + 0.11. Is -9/2 > i?
False
Let p = 19 - 21.4. Let f = p - -0.4. Let r = -1 - f. Is r at least as big as 2/7?
True
Let l = -15 - -9. Let z = l + 9. Let f = 337/134 - 1/67. Is f >= z?
False
Suppose -q + 4*h + 17 = 0, 9 = -5*h - 11. Is 0 at least q?
False
Suppose y - 15 = -2*y + 5*n, 3*n + 9 = -y. Suppose 5 = -f - y. Let c be 1/(-4) - f/25. Is -1 equal to c?
False
Suppose -5*i + j + 7 = 0, 3*i - 4*j = 4*i - 14. Let x(q) = 0*q + q**2 + i - 4 + 5*q. Let z be x(-5). Are -1 and z unequal?
True
Let s be 6/(-4)*10/35. Is 0 >= s?
True
Let g(y) = y**3 - 4*y**2 - y. Let u be g(4). Suppose 4*j = 11 + 1. Let t = j + u. Which is smaller: -1/3 or t?
t
Let b = -0.1 - -0.1. Let l = 1 + b. Let c(r) = -r - 27. Let x be c(-23). Which is smaller: l or x?
x
Suppose -15 = o + x - 64, -3*x - 196 = -4*o. Let n = 246/5 - o. Which is bigger: n or -0.1?
n
Suppose -2*i - i + 21 = 0. Let k = i + -10. Which is smaller: k or -3/4?
k
Let z be (7 - (-6 - -14)) + 0 + -51. Which is smaller: 0 or z?
z
Let n = -119/3 + 241/6. Which is smaller: n or 0.2?
0.2
Let o = 28 - 51. Which is smaller: 0 or o?
o
Let r be ((12/25)/((-3)/(-20)))/1. Which is smaller: 4 or r?
r
Let q = 0 + -1. Let v be (-4)/(-10)*(4 - q). Which is smaller: 3 or v?
v
Let x = -617/23933 - -1/263. Let u = 81/455 - x. Which is greater: u or 1/2?
1/2
Suppose -12*k + 9*k = 0. Let n = -5 - -7. Suppose 0*m = -4*m - 2*q - 2, k = 2*m + 4*q - n. Are 1/5 and m equal?
False
Suppose -4*n - 12 = -3*q, 0 = -3*q - 4*n + 6*n + 6. Suppose 0 = 3*m - 5*o + 25, q = m + 3*m - 3*o + 15. Let b be (1 + m)*(5 - 2). Which is smaller: b or 1?
1
Let h = 4 - 4. Let b be (h/(-1))/(-1 + 0). Is b at least as big as 1?
False
Suppose -4*h = -6*h - 4. Let j be -1 - (-1)/h*-2. Is j at least -3/10?
True
Let j = 0.1 - -0.9. Let a = -0.106 - -0.046. Which is smaller: a or j?
a
Let m = 6 + -12. Let y = m - -6.1. Which is smaller: -1/6 or y?
-1/6
Let s = 7 + -5. Let o(y) = -33*y - 1. Let n be o(-1). Let j be 0 + -2 + n/14. Are s and j equal?
False
Suppose k = 6*k. Suppose -3*a + 5*r + 20 = k, 3*r = -2*a + 4*a - 12. Let z be ((-6)/(-22))/(6/4). Which is smaller: a or z?
a
Let r be (1 - 2)/((-7)/2). Is r >= 1?
False
Suppose 0 = 2*u + 4*r - 12, -3*u = -4*u - 3*r + 9. Suppose -5*x + 31 + 9 = u. Let p be 1/(6/x - 2). Which is greater: 0 or p?
0
Let i = -4 - -7. Let l = 2.9 - i. Is -0.1 not equal to l?
False
Suppose -33 = -3*b - k, 2*k + 41 = 5*b - k. Let t be ((-4)/10)/(2/b). Suppose -4*c + 3 = 11. Is t smaller than c?
False
Suppose 4*s - 14 = -2*a, -4*a + 5 = a - 5*s. Is 4 bigger than a?
True
Let s(x) = 5*x + 13. Let w be s(-9). Is -31 > w?
True
Let d = -59.92 + 60. Is 1/2 < d?
False
Let m be 3/(-15)*(-10)/(-8). Suppose 0 = 12*o - 8*o + 40. Is m bigger than o?
True
Suppose 0 = -2*q - 5*b + 119, 2*q = -2*q - b + 211. Which is smaller: 51 or q?
51
Suppose -6 = -0*b + 3*b. Is -5 at most b?
True
Let o be 0/(-2*(-2)/(-4)). Suppose 0 = 23*l - 21*l - 4. Are o and l equal?
False
Let h(r) = -2*r**2 - r + 3. Let v be h(-3). Let w be 4/v*(2 + 7). Which is greater: w or -2?
-2
Let j(k) = -k**2 - 16*k + 16. Let m be j(-17). Which is bigger: -1/14 or m?
-1/14
Let k = 4144/19 - 218. Let x(p) = p**3 - 4*p**2 - 4*p - 6. Let r be x(5). Is k <= r?
False
Suppose -5 = 2*b - 33. Suppose -2*d - 5*k - 3 - b = 0, k = d + 5. Is d >= -6?
True
Let g = 31 + -32. Which is greater: -2.8 or g?
g
Let b(y) = 29*y**2 + 3*y + 2. Let j be b(-1). Let s be (-2)/((-80)/j)*-2. Which is bigger: 0 or s?
0
Let n = -60956641/729437709 - 4/242903. Let p = n + -2/273. Is 1 smaller than p?
False
Let j = 16789/16 - 1049. Do j and -1 have different values?
True
Let j(u) = -4*u**3 + 2*u - 2. Let f be j(2). Let l be 250/f - 2/3. Let p = -27 + 19. Is l smaller than p?
True
Let d = -384 - -260. Let z be 2/1 + d/64. Let t be (-30)/(-42) - (-2)/7. Which is smaller: z or t?
z
Let k(z) = -z - 7. Let f be k(-4). Which is smaller: f or -3/2?
f
Let n(z) = -z**2 - z - 1. Let r(h) = -h**3 - 4*h**2 - h - 8. Let q(c) = -5*n(c) + r(c). Let o be q(2). Let i be 0*(-2)/4 - o. Are i and -2 equal?
False
Let o = 37 + -32. Which is smaller: 4 or o?
4
Let j = 0.078 - -0.022. Is j >= 64?
False
Let t = -16 + 16. Which is bigger: t or 9?
9
Suppose -2*m - 31 = -33. Is -2/303 <= m?
True
Let t be 1*(2 + -6 - -1). Let c = 6 + t. Suppose 5*i - 10 = -5*p + 3*p, 5*p - 25 = -c*i. Is i at most as big as 2/11?
True
Let a be (2/(-18))/((-1)/3). Let i(s) = -s**3 - 7*s**2 + s + 8. Let w be i(-7). Is a > w?
False
Let y be (137/(-2))/(45/(-18)). Let d = y + -27. Which is bigger: 1 or d?
1
Let q = 8 + -4. Let o be 4 + 4*(-2)/q. Let y be (-1)/2*(o + -2). Do 0 and y have different values?
False
Suppose -4*z = -6*z. Let q = 36 + -37. Which is bigger: z or q?
z
Let z(m) be the third derivative of -m**4/24 - 2*m**2. Let c be z(10). Let p be (5/c)/((-3)/8). Which is smaller: 2 or p?
p
Let p = -105/68 - -5/17. Which is greater: 