 t = -10 - v. Which is bigger: t or -1/2?
-1/2
Suppose 172 = 2*l - 2*m, 2*l = -3*m + 137 + 25. Let i be l/(-110) - (-4)/10. Which is smaller: -1 or i?
-1
Let u be 1/(-26)*(-1 + 5). Is -0.16 greater than u?
False
Let g = 781/147 - -1/49. Is 6 bigger than g?
True
Let g(n) = -n**3 + n**2 + 2*n + 2. Let x be g(-2). Suppose -3*h - 51 = -4*u, -h = 4*u - 2*u - 13. Which is smaller: u or x?
u
Let f(s) be the third derivative of -s**4/24 - 5*s**3/3 - s**2. Let j be f(-8). Let o be ((-4)/(-8))/(j/(-20)). Is o at most as big as 5?
True
Let b = 14 - 4. Is 0 at least b?
False
Let t = -18 + 13. Suppose 4*b + 19*g + 28 = 17*g, 10 = -2*b + g. Are b and t unequal?
True
Let v = -4 + 46/11. Let h = -0.1 - -0.2. Which is smaller: v or h?
h
Let h be 2/(-5) - (-306)/15. Let c = h + -81/4. Let d = c + 3/4. Is d <= 2?
True
Suppose -10*q + 15 = 5. Which is bigger: 1/49 or q?
q
Let t(b) = b**2 + b + 2. Let a be t(0). Suppose 0 = -y - a*y. Is -2/23 smaller than y?
True
Suppose -2*r + 5 + 1 = 0. Let h be -2 + -4 + r - -3. Are h and 1 equal?
False
Let r = -8.7 + 8. Let n = -0.05 + -0.25. Let a = r + n. Which is smaller: a or 1?
a
Let s be (-8)/(-108)*(-3)/(-1). Let m = -12 + 7. Let g = 5 + m. Do g and s have different values?
True
Let v = -241/4 - -60. Suppose 0 = -2*z - 0*z. Suppose z*l - 11 = -l - 2*s, 0 = -5*l + 3*s - 10. Is l smaller than v?
False
Let a = -15 - -21. Let c(i) = i**2 - 5*i - 7. Let f be c(a). Let x = -6 + 9/2. Which is smaller: x or f?
x
Suppose -33*i = -29*i - 16, 2*f = -3*i + 4. Suppose -2*q - 4 = -2*w, w + 5 = 3*w - 3*q. Let t be w + 0 + (-1 - 2). Which is smaller: f or t?
f
Let c(d) = -2*d**2 - 40*d - 36. Let f be c(-19). Suppose w + 2*l = 8, 28 = 7*w - 3*w + 4*l. Let g be ((-1)/4)/(w/8). Are g and f nonequal?
True
Suppose -a = -2*a. Which is bigger: -2 or a?
a
Let l(f) = -f + 5. Let w be l(8). Let d(y) = -y**3 - 5*y**2 + 6*y - 1. Let v be d(-6). Is v equal to w?
False
Suppose -5*x + 5 = g, x - 2*x - 15 = -3*g. Let s be (16/g)/2 + -2. Are 0.1 and s non-equal?
True
Suppose -8 = 2*w + 2*w. Let m be (w/(-4)*-9)/3. Let b = -10 + 7. Is b > m?
False
Let w = 107/10 + -11. Is w at most 1?
True
Let v = -6 + 5. Is v < 2/19?
True
Let t be (-16)/(-42) - (-6)/21. Let k = 0.06 + -0.07. Let q = k - 0.99. Are q and t non-equal?
True
Let b = -0.4 + -0.2. Let o = -10 - -10.6. Let s = b + o. Does -0.3 = s?
False
Let a(d) be the first derivative of -d**4/12 + d**3/2 - d**2/2 - d + 2. Let x(n) be the first derivative of a(n). Let y be x(2). Is 3 at least as big as y?
True
Let m be 0 - (1/(-2) + 1). Let z = 324.8 + -325. Is m >= z?
False
Let f be ((-10)/1)/(-2 - 15). Does 1 = f?
False
Let f be 13*1/(-2)*2. Is 0 < f?
False
Let p(a) = -a + 3. Let j be p(3). Let v be (3/6*j)/(-1). Let k = 5.1 + -5. Is k bigger than v?
True
Let j be ((-8)/(-10))/(4/(-50)). Is -4 != j?
True
Let f = 17/29 + -341/87. Is -2 greater than f?
True
Let d = 69 - 97. Does d = -28?
True
Let p = -3221/6 + 538. Let s = p + -5/3. Which is smaller: s or -1?
-1
Let z(y) = y**3 - 6*y**2 - 7*y + 3. Let m be z(9). Let g be 1286/7 + (-1)/7. Let s = m - g. Is s bigger than -1?
True
Let r be 8/40 + (-1)/(-70). Is r != 0?
True
Let d = -4 + 6. Suppose x - 5 = 5*u, 3*x + 0*x - 2*u = d. Suppose 0 = 4*v + v - 10. Is v less than x?
False
Suppose 4 = 3*w - v, 2*w - 4*v - 7 - 9 = 0. Suppose p - 99 = -5*z - 23, -3*p + 18 = z. Let o be ((-48)/z - -1) + 2. Which is bigger: o or w?
w
Let u = -6 - -4. Let p be 3/u + 7/14. Let v = 9/65 - -1/65. Does v = p?
False
Let x be (-16)/2*(-18)/24. Let o = 8 + 0. Suppose 2*m - o = x*m. Which is smaller: -1 or m?
m
Let t(l) = -l - 3. Let n be t(-6). Suppose 1 = -n*i + 4. Which is smaller: 0 or i?
0
Let m = 5 - 6. Which is smaller: -1/116 or m?
m
Let j = 0.39 + -0.29. Which is greater: -1 or j?
j
Let d = -142 - -137. Let h be (-6 - 0)/2 - 1. Are h and d unequal?
True
Let k = 17/65 - 6/13. Let x = 0 - 0. Is k less than or equal to x?
True
Suppose 5*h + 4 = -o + 2*h, 0 = 4*h + 4. Let f be (-2)/7 - 0/(-1). Which is smaller: o or f?
o
Let g be (-4)/((-4)/304*-4). Let i be ((-12)/9)/(g/6). Do 0 and i have different values?
True
Suppose -w + 8 = 5*t, -2*w + 4*w + t + 29 = 0. Are -18 and w equal?
False
Let x = 40 - 321/8. Let o(g) = g + 7. Let i be o(-6). Is x less than or equal to i?
True
Let r(q) = -q**3 - 3*q**2 - 2*q - 1. Let m be r(-3). Suppose -15 = m*f - 5*b, -b + 5 + 1 = -4*f. Which is greater: 0 or f?
0
Let l be ((-34)/8*-1)/((-14)/8). Which is smaller: -2 or l?
l
Let t be (2/(-3))/(6/10). Let n = -43 + 41. Is n smaller than t?
True
Let q(g) = -2*g - 28. Let i be q(-13). Which is bigger: i or -22/7?
i
Let p = -0.2 + 0.2. Suppose -2*q + 3*q = -3. Let x(z) = z + 2. Let o be x(q). Which is greater: o or p?
p
Let b(z) = -z**2 - 19*z - 5. Let g be b(-19). Which is smaller: g or -4?
g
Suppose 0*g + g = 2*g. Suppose 4*i + i = 10. Let f be 2/(-24) + i/6. Which is greater: f or g?
f
Suppose -m + 22 = 5*z, 4*z - 22 = 5*m + 13. Let o be -1*z - (-2 - -1). Which is smaller: -5 or o?
-5
Let w(i) = -2*i**2 - 2. Let p be w(-2). Let q be (-3)/p + 1/5. Are -1/2 and q equal?
False
Suppose -2*v - 2*b = 3*b - 68, -b = 0. Let j be v/(-51) + (-1)/3. Is j at least as big as 1/8?
False
Let k = 0.8 - -4.2. Let q = 4.9 - k. Is q bigger than -0.3?
True
Let g(d) = -d**2 + 2*d + 1. Let f be g(3). Let m = f - -5. Is 0 not equal to m?
True
Let l(m) = -m**2 + 5*m - 2. Let s be l(3). Is 13/3 >= s?
True
Let f(m) = 2*m**2 + 2*m - 2. Let z be (-1)/(-3) + 14/(-6). Let h be f(z). Let j = -1.41 + 0.41. Is j at most h?
True
Let w = 29 - 33. Is 2/9 at least w?
True
Let j(k) = -2*k - 17. Let y be j(-5). Are 2/5 and y non-equal?
True
Let a be -2*(-12 + 13 - 26/24). Which is smaller: a or 5?
a
Let u = -156937/131 + 1198. Which is greater: u or -1?
u
Let j(q) = 2*q - 3. Let r be j(3). Let s(b) = -b**3 + 13*b**2 - 12*b + 2. Let x be s(12). Is x equal to r?
False
Suppose 0 = -3*p - 12. Let h(a) = a + 3. Let u be h(p). Is u less than -2/7?
True
Suppose 3*t + 2 = -2*i - 10, 4*i = -t - 14. Let z(w) be the first derivative of w**2/2 + 4*w + 1. Let x be z(i). Which is bigger: x or -2/7?
x
Let r(g) = 3 - g**3 + 3*g**2 - 4*g**2 - g**2 + 2*g. Let k be r(-2). Is k smaller than 0?
True
Let x = 1/32 + 123/160. Let l be 2*1 - 0/4. Suppose l*r + 0*r - 9 = -z, 0 = 3*z - 2*r + 5. Is z at least x?
True
Let t = 2.2 + 5.8. Which is smaller: t or -0.1?
-0.1
Let d(h) = 3*h**2 - 5*h + 1. Let n be d(1). Suppose -4 = 2*u + 4. Which is smaller: u or n?
u
Let m = -1.2 - -1. Let s = -1.2 - m. Let y = 19/100 - -3/50. Is s less than or equal to y?
True
Let p = 6 + -13/2. Which is smaller: p or 3.2?
p
Let d be (-1)/4 + (-175)/(-540). Is d >= -0.2?
True
Let m = 4 - 4. Let f(n) = n**3 + 6*n**2 + 3. Let s be f(-6). Let p be 1/8*(3 + s). Which is smaller: m or p?
m
Let a = 7 + -7.1. Let k = -2 + 1. Let w = k + 0. Is a at least as big as w?
True
Let t(m) = -3*m - 12. Let l be t(-5). Which is greater: -2 or l?
l
Suppose 4*r - 1 = 7. Let v = -482/5 + 97. Is r greater than or equal to v?
True
Let l = 313.13 + -313. Suppose -11 = -5*c - n - 3, 5*n = -c + 16. Is l > c?
False
Let v = -3.9 - 0.1. Let q = 1 + v. Which is greater: -1/2 or q?
-1/2
Let a = 393 - 272. Is 121 not equal to a?
False
Let f be ((-6)/12)/((-2)/(-4)). Let v be (-3)/2 + 25/15. Which is bigger: v or f?
v
Let f = 14 + -6. Suppose 4*v = -0*v + f. Is v smaller than 3?
True
Let r be 7/(1/(-3)*1). Let g be r/(-6) + 1/(-2). Suppose 6*h - h = 15. Does g = h?
True
Let f be 35/(-21) + 3/(-9). Let j(k) = 2 - k**3 - k + 5*k**2 + 2*k - 6*k**2. Let q be j(0). Is q at most f?
False
Let l be 11/33 - (-142)/(-408). Is 0 at most as big as l?
False
Let g(t) = t**3 + t + 322. Let y be g(0). Let n = 4184/13 - y. Which is greater: n or 0.1?
0.1
Let f(m) = m + 10. Let y be f(-7). Suppose -y*i + 7*i = 0, -5*i = -o + 3. Let c(d) = -d**3 - 2*d**2 + 2*d - 2. Let u be c(-3). Is u greater than or equal to o?
False
Let i(l) = l**3 + 4*l**2. Let w be i(-4). Suppose 2*v = 4*y - 40, 3*y + 4*v = -w*v + 8. Let f be (-3)/4 - 50/y. Which is smaller: -8 or f?
-8
Let q(r) = -r**3 - 8*r**2 + 10*r + 12. Let y be (-18)/8*(8 + -4). Let p be q(y). Are 5/2 and p equal?
False
Let i = 5/14 + -29/42. Is -15 at most as big as i?
True
Let w(y) = y**2 + 9*y + 8. Let n be w(-7). Let a be (-2)/n*(-18)/12. Which is bigger: -3 or a?
a
Let q be ((-1)/3)