p + 4. Let o be c(-3). Suppose l + o = 10. Suppose 2*h - 3*h + 10 = -2*n, -3*h + l = 0. Is n at least as big as -4?
True
Let r(z) = -z**3 + 2*z**2 - 1. Let s be r(2). Let c be -2 - (1 + (-2 - s)). Let g be (2/(-3))/(c/3). Which is smaller: g or 1/4?
1/4
Let g = 229/5 + -46. Let o = 14 - 12. Which is smaller: o or g?
g
Let m = 0.04 + -0.14. Let z = m + 0. Is 0.4 >= z?
True
Let p be (-2)/(-2)*1*-7. Which is smaller: -5 or p?
p
Let a be (2*(-3)/(-4))/(9/(-36)). Which is bigger: a or -3?
-3
Let c(r) = r + 1. Let o be c(1). Suppose w = o*w + 4, -3*w = -5*u + 12. Let i be -3*(-3 + (-266)/(-90)). Which is greater: i or u?
i
Suppose 3*o = -0*o. Suppose -4 = -v - o*v. Suppose -v*a = 2*l - 3*l, a = 5*l. Is a bigger than -1?
True
Let p(x) = 2*x - 1. Let c be (-1)/2*2 + 2. Let y be p(c). Let d = y - 3. Which is smaller: d or -1/2?
d
Suppose -2*f - 107 = -5*x - 15, 23 = x - 5*f. Suppose s + 5*s - x = 0. Is s >= 1/4?
True
Let u(a) = -a**2 + 9*a + 1. Suppose 0 = -5*t + 27 + 18. Let c be u(t). Let b be ((-2)/7)/(6/(-14)). Is c >= b?
True
Let a be (5 - 1)*(-12882)/180. Let z = -458/3 - a. Let w = 134 - z. Which is smaller: w or 1?
w
Let o be 166/12 + 3/(-6). Let d = o - 38/3. Is d bigger than 0.1?
True
Let y(k) = -5*k**2 - 7*k. Let w(d) = 9*d**2 + 14*d. Let i(j) = -4*w(j) - 7*y(j). Let s be i(-6). Let x be 0 + 2/s*3. Does x = -1/5?
False
Suppose 5*y - m + 0*m - 16 = 0, -4*m - 19 = -5*y. Suppose 4*g + 2*s = -12, y*g - s - 2*s = 0. Let d = -27/46 - -2/23. Does g = d?
False
Let j = -99 - -98.8. Do j and -16 have different values?
True
Let s = 3 - 0. Let j be -2 + 1*(-2 + 4). Suppose j = 3*q + c - 9, 4*c - 5 = 5*q - c. Is q >= s?
False
Let q = 1.7 + -0.9. Let x = -12.2 - -12. Is x > q?
False
Let m = -54 + 6. Let l be m/(-15) + 8/(-4). Which is smaller: l or 2?
l
Let k = -1309 + 263107/201. Are 0 and k non-equal?
True
Suppose 3*y - 3*g - 33 = 0, 0*y = 4*y + 4*g - 84. Is y greater than or equal to 17?
False
Let v be (6/21)/((-2)/(-14)). Let a = -3 + v. Which is bigger: a or -2?
a
Suppose 10 - 2 = 2*o. Suppose 2*w - 3*w = o. Let t be (-1)/w - 9/(-12). Is 1 greater than or equal to t?
True
Suppose 8 = 2*n, -6 - 26 = -u - 4*n. Suppose 0 = i + 3*a + 2*a + 16, 0 = -4*a - u. Suppose 0*r - i*r = 0. Which is smaller: -1 or r?
-1
Let f(y) = -3*y**3 + 5*y**2 - 4*y. Let a(s) = s**3 - 3*s**2 - 4*s + 3. Let p be a(4). Let u be f(p). Let m = u + 143/3. Is 0.1 at least m?
True
Let f be (3 + 1 + -6)/2 + 1. Let d be (8/10)/((-4)/(-10)). Suppose w + w = d. Which is smaller: w or f?
f
Let j = 149 - 192. Which is bigger: j or -42?
-42
Suppose 2*x + o - 3 = 0, -3*x + 3 = 2*o - 0. Suppose 0 = i + 5*y + 16, x*i + i + 4*y + 16 = 0. Let w be (-28)/10 - (-3 - i). Is -1 less than w?
True
Let m be ((-4)/4)/(-1*(0 - 1)). Which is smaller: m or 2/347?
m
Let h be (-9)/5 + (0 - (-2)/(-10)). Is -4/3 smaller than h?
False
Let x(c) = c - 5. Let k be x(7). Suppose -k*m + 0 = -3*v - 2, 0 = -v - m + 1. Let o = v + 3. Is o equal to 4?
False
Let s = -91.14 + 91. Which is smaller: s or 0?
s
Let m be ((-2)/6)/((-42)/(-72)). Which is bigger: -1 or m?
m
Suppose 0 = -2*m + 43 - 15. Suppose 3*w - 2*s - m = -0*w, -2*s = 2. Let d be (1/w)/(9/12). Is d equal to -1/4?
False
Let k be 160/(-420)*6/2. Which is greater: k or -1?
-1
Suppose -j + 7 = -5*j - s, 0 = -j + 4*s - 6. Let z be j*(5/2)/(-5). Let r = 1 - z. Which is smaller: 1/2 or r?
r
Suppose -1 = -w - 13. Let r be (-3)/(-4) - (-3)/w. Let n be (3/(-24))/(2/(-12)). Is n bigger than r?
True
Suppose -2*a + 0*a + 2 = 0. Suppose 0 = 5*r - 10, -3*r = 2*l + 2*l - 46. Let c be (15/l)/(2/(-4)). Which is smaller: c or a?
c
Let n be 3 - (-1 + (1 - -1)). Suppose n*q - 4*y + 6 = 4, 2 = -2*y. Let r be 3/9*q/(-9). Which is smaller: 1 or r?
r
Let o(i) = 3*i**3 + 2*i**2 - i. Let r = -24 + 42. Let s be r/45 + 3/5. Let n be o(s). Are -0.1 and n unequal?
True
Let m be (6/(-26))/(-20 + 15). Which is smaller: 1 or m?
m
Suppose -25 = 6*h - 73. Which is smaller: h or -1?
-1
Let o be 4/6 + 5/(-3). Suppose 0 = 3*p - 2*p - a, -3*a - 2 = -4*p. Let k be p/7 + 2/(-7). Is o != k?
True
Let t = -14 - -18. Suppose -t*g - 1 = -5. Does 1 = g?
True
Let j = 20 + -19.7. Which is smaller: j or 1?
j
Let z be (0 - 3) + (3 - 1)/(-2). Is -7/2 not equal to z?
True
Let p(u) be the first derivative of u**2/2 + 6*u - 4. Let z be p(-7). Let j = z - -2. Which is smaller: 2/15 or j?
2/15
Suppose r + 0*r + 12 = -3*i, 5*r = 0. Do i and 0.04 have different values?
True
Let b = -23.7 - -20. Let p = b - -3. Let h = -0.6 - p. Which is smaller: h or -1/2?
-1/2
Let q be 12/(-10)*20/(-18). Is 2 less than or equal to q?
False
Let a(w) = w**2 - w - 1. Let p be a(-2). Suppose p*j = 8*j. Let z be (-4 + 2)*(j - -1). Which is bigger: z or -2/7?
-2/7
Suppose -2*l - 7*h - 20 = -3*h, 7 = -l - 3*h. Let x = -16 - l. Which is greater: -1/2 or x?
x
Let k = -84 + 118. Is 32 at least k?
False
Let h = 3/11 + -5/99. Let l be ((-2)/(-1))/2*0. Which is bigger: h or l?
h
Let b = 178 - 179. Is -3/82 != b?
True
Let n = 1 - -2. Let p be 2/n*3 + -2. Is 0 at most p?
True
Let b be 132/24*(-1)/1. Which is greater: -6 or b?
b
Let q(x) = -x**2 + 2*x + 10. Let b be q(5). Which is bigger: b or -4?
-4
Let n(q) = q**3 - 19*q**2 - 2*q + 39. Let w be n(19). Is -1/195 at least as big as w?
False
Suppose 73 = 2*v - r, -3*v - 4*r - 107 = -6*v. Let q = v + -22. Let m be (-1)/(q/(-18)*-3). Which is smaller: -1 or m?
-1
Suppose 0*z - z + 3 = 0. Suppose -z*r + 11 = 2, -2*r = v - 10. Which is smaller: v or 6?
v
Suppose 3*r - 36 = 4*o - 12, 14 = 2*r - 2*o. Let b be (-4)/6*9/21. Which is bigger: b or r?
r
Let b = -7 - -10. Let f be (0 - 0)*4/(-8) - -4. Which is smaller: f or b?
b
Suppose -75 = x + 4*x - 3*q, -4*x = -5*q + 60. Let i be 3/(-6)*(3 + x). Let y be -6 + 0 + i + -6. Is y < -5?
True
Let b = -6 + 28. Which is bigger: 23 or b?
23
Suppose 0 = 2*c - 4, 5*f - 3*f + 4 = -c. Which is smaller: f or -1/2?
f
Let c be ((-1)/(-4))/((-5)/(-20)). Is c bigger than 5/9?
True
Let h = 119 - 221. Is h less than or equal to 2/7?
True
Let q(y) = y**2 + 4*y - 8. Let c be q(-7). Let j(b) = b**2 - 13*b - 2. Let s be j(c). Suppose -4*v = -v + 3. Do s and v have the same value?
False
Let q = 8 + -5. Let t = q - 2. Let h be -6 + t + 2 + -2. Which is smaller: h or -3?
h
Let k(i) = -i**3 - i + 2. Let b be k(0). Suppose 2*p + b*p + 59 = -5*v, 0 = -3*v - 4*p - 37. Which is bigger: v or -10?
-10
Let k be 1 - (0 + (-4695)/(-24)). Let q = -195 - k. Which is bigger: 1 or q?
1
Suppose -5*n + 3*w = -0*n - 27, 4*n - 20 = 2*w. Suppose n*q - 2*a - 24 = 0, -2*q + q - a + 3 = 0. Which is greater: 7 or q?
7
Let n = -335 + 3689/11. Let c = 10/33 + n. Is c less than or equal to 0?
False
Let f = -76/3 - -25. Let v = -5.8 + 6. Which is smaller: f or v?
f
Let o(f) = f - 10. Let u be o(9). Let q be (-4)/(0 - -1) - -2. Which is bigger: q or u?
u
Suppose 5*f = -4*m - 17, 5*f - f - 8 = 4*m. Let g = 4 - -1. Suppose 0*b = g*b - 5. Which is bigger: f or b?
b
Let y be (-10)/(-21) + (-2)/6. Suppose p + 3*p = 0. Let x = 1 - p. Is x less than or equal to y?
False
Let f(h) = -h**2 + 3*h + 4. Let v(m) = -m - 4. Let k be v(-7). Let j be f(k). Suppose 7 = 4*w - 5*w - 4*r, -j*r = -3*w + 11. Is 2 != w?
True
Let l(q) = q. Let a be l(4). Which is greater: a or 15/4?
a
Let o = -0.06 + 0.66. Let k = o - 0.5. Which is smaller: k or 0.06?
0.06
Let d(m) = -m**3 + 2*m**2 - m + 2. Let c be d(2). Let l = 6 - c. Let n be (-2)/(-3)*l/4. Is n > 1?
False
Let h = -0.05 - -0.05. Is -0.11 not equal to h?
True
Let s = -269 + 7531/28. Which is greater: s or 0?
0
Let b = -17 - -10. Which is smaller: 0 or b?
b
Let x be -3 - (1 - 176/23). Let p = x + -909/230. Which is smaller: p or 0?
p
Let f be ((-25)/10)/(2/8). Let t = 1 + f. Let x = 7 + t. Which is smaller: -1 or x?
x
Suppose -3*p + 31 = -5*g, 2*p - p + 2*g = -8. Let f be p/(-10) - (-2)/5. Is f at most -1?
False
Let r(i) = -i + 1. Let o be r(2). Let z = 4 - 6. Which is smaller: o or z?
z
Let w be (-6 - (-6 + 1))/155. Do w and 1 have the same value?
False
Suppose -f - 15 = 5*m, 4*m - 3*f + 7*f + 28 = 0. Let z = 6 + m. Suppose q + z*q + 5 = 0. Is q not equal to -4?
True
Let u be 71/3 + (-6)/(-18). Let p be (4/u)/(0 - 1). Is p less than 0?
True
Let m be 1*(3 + 1560/9). Let c = m + -179. Is -4 less than or equal to c?
True
Let n be 4/(-14)*(3 - (-7)/(-2)). Which is greater: 9 or n?
9
L