*a = i. Which is smaller: 1 or d?
d
Suppose 0 = p - 5 - 2. Suppose 0*u + 2*u + p = -3*l, 4 = -l - u. Is 4 equal to l?
False
Let r be (-2)/1*(-1 - (-12)/8). Suppose -25 = -w + 6*w. Let i be (1/5)/(2/w). Is i <= r?
False
Let v = -3 - -3. Suppose y - 4*y + 4*p + 11 = 0, -5*y + 3*p = v. Does y = -2?
False
Suppose 0 = 3*g - 5*g + 2. Suppose -9 = -2*c - g. Is c > 4?
False
Let q(t) = -2*t + 1. Let w(h) = h**2 + h. Let f(x) = q(x) + w(x). Let b be f(0). Are b and 3 nonequal?
True
Let s = 10 - 8. Suppose -3*d + s = 5. Is 0 at least d?
True
Let m be 2/(-6) + (-95)/(-15). Suppose -2*n = h + 3 + m, 0 = -n - 2*h - 12. Which is smaller: n or -4?
-4
Suppose 462 = 2*w - 178. Let x = w + -914/3. Let f = 316/21 - x. Which is bigger: f or -1?
f
Let w = -4.04 + 4. Let i = w - -0.04. Is -4 at least as big as i?
False
Let q = 3.5 - 0.5. Let p = -2 + -9. Let r(k) = -k - 10. Let a be r(p). Is a less than or equal to q?
True
Let t = -15 - -26. Suppose 4 = 3*g - t. Is 6 greater than g?
True
Let s = -83 + 148. Let l be 2/10 - 8/s. Is l at least as big as 1?
False
Let a be 20/6 + (-4)/(-10). Let k = 69/10 + -7/2. Let v = a - k. Which is greater: v or -0.2?
v
Let n = -46706 - -418943/9. Let d = -157 - n. Let b = -0.2 - 0. Which is smaller: d or b?
d
Let k(u) = 5*u**3 + 3 - 6*u**3 - 2 - u. Suppose -2*w = 3*w. Let y be k(w). Is y greater than 1/4?
True
Let f(a) = a + 4. Let r be f(-10). Let y = r - -9. Suppose 0 = -0*v + y*v. Do v and -0.4 have the same value?
False
Let n be 1/(-3) - (6 - 6). Let s be ((-6)/(-36) + (-14)/12)*-1. Is n at most s?
True
Let m be (0 - -1) + (1 - 7). Let z = 6 + m. Is z >= -2/3?
True
Let k be 26/13 - (-70)/(-38). Which is bigger: k or -1?
k
Let v be ((-2)/(-3) - 1)*-9. Let x(i) = -i**3 + i**2 - i + 2. Let p be x(0). Suppose 0 = v*z + p*z - 15. Is z at least 4?
False
Suppose 0 = -z - 0*c + 3*c - 21, 2 = 3*z + 4*c. Are z and -14/3 equal?
False
Let j be -2*5/((-5)/(-4)). Let i be (j/(-6))/(10/(-15)). Are i and -2 equal?
True
Let z be -5 + (-9)/(9/(-4)). Which is greater: z or -11/6?
z
Let v be 1/16*(-2 + 4 - -4). Which is smaller: v or 1?
v
Let k be (5/20)/(1/(-2)). Let o = 16 + -14. Which is greater: k or o?
o
Let s = 20331057/212 + -95901. Let z = s + 2/53. Is z smaller than -2/7?
False
Let y be 1/(-2 + (-7)/(-4)). Let o(l) = -5*l**2 - 1. Let n be o(1). Let m = n - y. Which is greater: m or -3?
m
Let w be -5 + 2*1/1. Let l(v) = 4*v + 4. Let n be l(w). Is -8 > n?
False
Let d = 22 + -15. Let g = -7 - -12. Which is smaller: g or d?
g
Let z = 430/9 + -4640/99. Let n = z + 13/22. Is 2 at least n?
True
Let b be (-8)/2*-2 + -4. Let z(n) = n**2 - n + 1. Let r be z(1). Let m be (r/(-2))/((-10)/b). Is 0 greater than m?
False
Let q be (2 + (0 - 0))*-3. Let o be -7 + 11 + -3 + 0 + -5. Is q less than o?
True
Let c = 0 - 0. Let i = -5/11 + 7/11. Which is smaller: i or c?
c
Suppose 5*q = s - 9, -3*s = -2*q - 0*q - 1. Which is bigger: s or 2/7?
2/7
Let k = 5 - 8. Let h(j) be the first derivative of -j**3/3 - 3*j**2/2 + j + 8. Let s be h(k). Are -1/18 and s non-equal?
True
Let o = 11/8 - 125/56. Is -2 less than or equal to o?
True
Let n = 0.2 + -0.4. Let f(u) be the first derivative of -u**2/2 + 7*u + 1. Let s be f(5). Are n and s equal?
False
Let u be (-4)/26 + (-1496)/(-1105). Which is greater: 0 or u?
u
Let m = 48 + -48. Which is smaller: -17 or m?
-17
Let u be 652/(-57)*(-2)/32. Let b be (-696)/342 - (0 + -2). Let g = b - u. Which is greater: g or -2?
g
Let x(h) = h**3 - 7*h**2 - 8*h - 3. Let o be x(8). Let j be o/(-1) + (-3 - -1). Let f(s) = s**2 - 2*s + 2. Let l be f(2). Which is bigger: l or j?
l
Let x = -18 - -18. Do -1/9 and x have the same value?
False
Let p = -3052/27 + 113. Suppose -2 = -4*b - 6. Is b at least p?
False
Suppose -4*q = -3*q. Let l(o) be the third derivative of -o**4/24 - o**3/3 - 3*o**2. Let n be l(-4). Which is greater: n or q?
n
Suppose 6*k - 16 = 2*k. Let w = -4 + k. Is -3/4 != w?
True
Let i = -37/12 + 2059/660. Which is smaller: -1 or i?
-1
Let c be 5*(2 - 112/55). Which is smaller: c or 1?
c
Let m = -0.1 - 0.9. Let u = m - 0.1. Let s = u + 0.1. Is -0.1 at most s?
False
Suppose -2*w = -3*w. Suppose w = -3*u + 17 - 2. Is 5 less than or equal to u?
True
Suppose -55 = 3*r - w, -4*r = 3*w - 23 + 105. Let b = r + 56/3. Suppose 5*i + 9 = 4. Which is bigger: b or i?
b
Let t = -4.2 + 0.2. Let u = 4.1 + t. Let w be 3/(-30) - 2/5. Which is smaller: w or u?
w
Suppose -12 = 3*g - 4*g. Let h be 11 - (-3 + 2 + 0). Suppose 3*l - g = -5*u, -l = -4*l - 4*u + h. Is 4 smaller than l?
False
Suppose 16*h - 17*h = -40. Are h and 40 unequal?
False
Let v = 13 - 22. Let z be v/12 - (-2)/(-8). Let b = 0 - -1. Is z at most b?
True
Let i = 1291/21462 - 5/98. Let x = -199/2190 - i. Which is smaller: x or 0?
x
Let k = -7.4 + 7.81. Let g = k - -0.09. Let z = g + -4.5. Do z and -2/5 have the same value?
False
Suppose -p + 5*r = -18, -2*p + 18 = -4*r - 0*r. Let o(s) = p*s + 4 - s + 2 - s. Let b be o(-5). Are b and 1 equal?
True
Let z = -33 - -32.968. Which is bigger: z or 1/5?
1/5
Let o(z) = 2*z - 6. Let q be o(3). Which is smaller: q or -1/2?
-1/2
Let r = 0.11 - 0.1. Let a = -1.99 - r. Let l = 169 + -168. Which is smaller: l or a?
a
Let m = 12 + -3. Let x = 9 - m. Is x greater than 0?
False
Suppose -3*i - 21 = 3*o, 5*o + 19 = 3*i - 4*i. Let k(j) = 2*j + 4. Let w be k(i). Which is smaller: 0.1 or w?
w
Suppose -6*x - 23 = -4*k - x, -5*x = -5. Let f be -1*1 + k + -3. Suppose -2*c + f + 1 = 0. Is c smaller than 2?
False
Let m = -3 - -3.25. Let q = 4.05 - m. Let j = 4 - q. Is j less than -3/2?
False
Suppose 0 = -j + n, 0 = j + 5*n + 3 - 27. Let p be (-1)/2*j/13. Is 1 > p?
True
Suppose 0 = 4*r - 2*r + 4*s - 68, 0 = -5*r + 3*s + 118. Let k = 36 - 12. Let f be 3/12*k/r. Which is smaller: f or -1?
-1
Let h(r) = -r**2 + 6*r - 1. Let t(z) = z**2 + 2*z - 2. Let n be t(-4). Let l be h(n). Let q = 35 + -457/13. Is q bigger than l?
True
Let v = -19 + 12. Let o(s) = s**3 + 8*s**2 + 7*s + 3. Let g be o(v). Are 3 and g nonequal?
False
Let h be 74/(-9) - (-2)/9. Which is smaller: 0.3 or h?
h
Let z = 14.08 + -14. Let a = z - -0.92. Which is smaller: a or 4?
a
Let s be ((-13)/26)/(2/32). Let t = 4 + s. Are -9/2 and t non-equal?
True
Let v(h) = h**2 - 7*h + 9. Let x be v(6). Suppose x*p - 6 = -5*i, 0*i - 4*p + 8 = i. Does i = 3/11?
False
Let a = -10 + 40. Suppose -a = h - 2*h. Let l be 6/9 + (-8)/h. Is l >= 0?
True
Let h = 8/125 - -114/2125. Suppose 3*s + 2*r + 6 = 0, 3 = s - 3*r - 6. Which is smaller: s or h?
s
Suppose -18 = -7*b + 4*b. Suppose 0 = 4*w - b*w + 2. Let s = -2357/8 + 295. Which is smaller: w or s?
s
Let i = -149/2 + 78. Is i smaller than -1?
False
Let j = -1.7 + 2.65. Let y = j + 0.05. Is y not equal to 3?
True
Let u = 14 + -7. Let a = -89/160 - -5/32. Which is bigger: u or a?
u
Let j = -0.042 - -2.042. Which is smaller: 0.26 or j?
0.26
Let u(s) = -2*s + 6. Suppose 2*z - 5 = 3. Let q = 8 - z. Let o be u(q). Are o and -2 nonequal?
False
Let m = 0 - 3. Let x = m - -3.1. Let b = x + -0.2. Are b and 0.2 equal?
False
Let q(c) = -c - 4. Let y be q(-4). Suppose y = -3*w - w + 8. Suppose -w*h = h. Is h <= 0.2?
True
Let m(z) = -z + 4. Let n be m(4). Suppose k + 1 = -n. Which is smaller: 2/5 or k?
k
Let o(c) be the second derivative of c**3/6 - c**2/2 - c. Let f be o(4). Are f and 3 nonequal?
False
Suppose x = -5*f - 270, 4*f = -0*x + x + 288. Let p = 1965/7 + x. Which is greater: 1 or p?
1
Let d be (-3)/(-6) - 6/28. Which is smaller: d or 2/3?
d
Let u = -74 - -76.9. Let w = 3 - u. Is w at least as big as 3?
False
Suppose 5*y = -59 + 4. Let g = y - -17. Let c be (6/81)/(2/g). Which is smaller: 0.1 or c?
0.1
Let w = -94 - -94.06. Is 6 smaller than w?
False
Let a = 8 + 15. Which is smaller: 0 or a?
0
Let i = -15 - -14. Which is bigger: 2/9 or i?
2/9
Suppose o = 4*o. Let a be (-4)/14*8 + 2. Do a and o have the same value?
False
Let p(d) = d**2 + 5*d - 9. Let j be p(-7). Suppose 4*r + 35 = j*c - r, 3*r = 5*c - 27. Is c <= 5?
True
Let l = 1.9 - 4.94. Let h = 0.04 + l. Which is smaller: -1 or h?
h
Let r = 7.02 - 7. Let q = -0.08 - r. Which is greater: q or 6/11?
6/11
Let t = -5 - -5. Suppose t = -5*h - 5. Is 1 greater than h?
True
Let c = 4 - 2. Let x = -2.9 - 0.1. Let p = 1 + x. Which is smaller: c or p?
p
Suppose -2*i = -0*i. Suppose -5*n - 165 = t, 2*t - 2*n = -403 + 97. Let z = 