t x = 1370/9 + -152. Which is greater: x or m?
x
Let g = -2 - 6. Let m = g - -7.7. Which is greater: m or 4?
4
Let j(n) be the second derivative of n**3/6 - 5*n**2/2 + n. Let c be j(6). Is 2/11 at least c?
False
Let a(s) = 2*s + 2. Let h be a(-14). Let p = h - -9. Is -16 smaller than p?
False
Let h = -935/6 + 459/2. Let s = 73 - h. Which is smaller: 1 or s?
s
Suppose 2*t - 8 = -2*l, -3*l - 4*t = -0*l - 13. Suppose -l*i = -3 + 15. Let d be 18/i*(-8)/12. Which is smaller: d or 2?
2
Suppose 4*d + 10 = -2*r, -r + 27 = -3*d + 4*r. Let u = d + 1. Is -3/2 less than or equal to u?
False
Let g = -1.52 + 1.5. Is g less than 2?
True
Let c(j) be the second derivative of j**5/20 - j**4/6 - j**3/2 + 3*j**2/2 + 2*j. Let b be c(3). Let d be ((-10)/15)/(1/b). Is d > -3?
True
Let r(n) = -n**2 - 10*n - 9. Let q be r(-8). Which is bigger: 8 or q?
8
Let j(h) = -3*h - 2. Let o(m) = m**3 - 3*m**2 - 5*m + 2. Let x be o(4). Let y be j(x). Is 3 > y?
False
Let u be 16*(-6 + 66/12). Is -11 greater than or equal to u?
False
Let z(u) = 2*u. Let h be z(2). Let x be (4/(-15))/(h/(-6)). Let i = 6 - 7. Which is bigger: i or x?
x
Let n be 27/(-2)*32/(-24). Is n at most as big as 18?
True
Let c = 3 - 1. Suppose 4*x - 2*f = -c, -f = 2*x + f - 8. Let o be -1 - -5 - (2 + x). Which is smaller: -1 or o?
-1
Suppose 0 = -2*o + 1 + 1. Suppose 6*f = 3*f. Is f not equal to o?
True
Let u = -14 + 14.2. Let z = 2.2 - u. Which is smaller: z or 0.3?
0.3
Let u(q) = q**2 + 4*q + 4. Let a be u(-3). Suppose 3*f - 2*f = 0. Which is greater: f or a?
a
Let a(s) = -s**2 + 5*s + 15. Let y be a(7). Is 2 equal to y?
False
Let o = -7 - -9. Suppose 3*u = -0*u + 9. Does o = u?
False
Let u = 47 + -24. Is -1 less than u?
True
Let q = -1 - 0. Let f be (-7)/2 + (q - -2). Let s = 27/10 + f. Is s > -1?
True
Suppose -4*t = 3*t - 154. Does 23 = t?
False
Let w = 384 + -39. Let k be ((-1)/3)/((-5)/w). Suppose -2*s = 4*c - 28, -2*s - c = 2*c - k. Which is smaller: s or 2?
2
Suppose 0 = 3*a + 2*a + 10. Are a and -18/11 non-equal?
True
Let s be 3/(-2) + 5/2. Is s at most -2/7?
False
Let k(j) = -2*j - 10. Let r be k(-7). Let o be r/(-10)*15/(-18). Are o and -0.3 equal?
False
Let d be (0 + -5 - 0)/(-1). Let r be (-3)/d + 2/10. Which is smaller: 0 or r?
r
Let t be (12/(-12))/(1/(-6)). Suppose 0 = -4*u + 2*v + 14, -2*u + 3*v + 2*v - 5 = 0. Which is bigger: u or t?
t
Let j be (4/(-14))/(16/(-112)). Which is bigger: j or 0?
j
Let u be (5 + -1 - 77/21)*-1. Is u at most as big as 0?
True
Let m = 46/15 + -2489/810. Let i = m + 2999/324. Let c = -9 + i. Is c bigger than -2?
True
Let r(i) = i**3 - 9*i**2 - 10*i + 3. Let q be r(10). Is q at most as big as 3?
True
Let w = -1.35 + 0.35. Is -0.17 at most as big as w?
False
Let f = 0.4 - 0.2. Let c = 0.1 - f. Let t = -33 - -100/3. Which is bigger: t or c?
t
Let v be 4 + -5 - 0 - 0. Are 4/25 and v equal?
False
Let h(g) = -g + 4. Let y be h(6). Let d = 266 + -268. Is y >= d?
True
Let j(s) = -7*s**2 + 12*s. Let g(a) = 3*a**2 - 6*a. Let d(q) = 5*g(q) + 2*j(q). Let c be 2 + (0 - -1) + 3. Let t be d(c). Which is bigger: t or 1/2?
1/2
Let k = 28 + -16. Is 12 > k?
False
Let d be (-10)/(-3)*(-12)/(-8). Suppose -5 - d = 5*t. Let a be (-3)/((-14)/t + 0). Which is bigger: a or -1?
a
Let k = 87 - 65. Is 22 less than k?
False
Suppose -2*l - 217 = -3*w - 0*w, 222 = 3*w + 3*l. Let u = w + -45. Suppose 5*d = d - u. Which is smaller: d or -6?
d
Let z be (-3)/(-9) - (-11)/(-15). Are -1 and z nonequal?
True
Let s = 5 + -11. Let w = -5 - s. Which is bigger: w or -1/2?
w
Suppose 5*w - 5 = 0, d + 8 + 0 = -2*w. Let u(b) = -b**2 - 10*b - 8. Let l be u(d). Let j be (-1)/(4/(l/3)). Which is smaller: 2 or j?
j
Let h = 0.08 + -6.08. Let z = 6.1 + h. Let g = -3 + 3.5. Which is smaller: g or z?
z
Let r = 253/2 + -123. Suppose -2*k + 3 = -k. Is r greater than k?
True
Let r(d) = -4*d**3 - 2*d**2 + 2*d - 1. Let g be r(1). Let c = 4 - 7. Is c greater than g?
True
Let y = 5 + -5.05. Let v = y - 0.95. Which is greater: v or 1?
1
Let s(k) = -k - 1. Let y be s(-3). Let a be ((-8)/(-5))/(1*y). Which is greater: 1 or a?
1
Let m be -2 + (-2 - 116/(-30)). Let o be (12 - 13)*(-1)/1. Do m and o have the same value?
False
Let o be 306/(-72) - (-3 - 1). Which is smaller: 27 or o?
o
Let j = 84 + -92. Let p = -27/2 + 6. Which is smaller: p or j?
j
Let r = 163877 - 33266963/203. Let c = r + -18/29. Suppose d = -2*q + 9, -24 = 2*d + 2*d - 4*q. Are c and d unequal?
True
Suppose -3*m = 2*p - 7, 3*p - 3*m - 1 = 2. Let h(a) = -3*a + 1. Let j be h(-1). Suppose -4*k = -4*v - 16, -j*k + p*k + 8 = -4*v. Is k > 3?
True
Let p be (-2 + 2)/(1/(-1)). Which is smaller: p or -1?
-1
Suppose 2*y = 3*g + 23, 1 - 16 = -5*y - g. Suppose -y*i + o = -3*o - 4, -5*i = 5*o - 15. Which is greater: 4 or i?
4
Suppose -5*o - 5 = 3*r, r - 3 = -o - 2. Let c = o - -3. Is -3 greater than c?
False
Let a be 4/(-10) + 156/440. Let o = -282/41 - -29421/4510. Let w = o + a. Is w >= -2/7?
False
Let l = 0.5 + -0.3. Suppose -4*h = 5*j - 64, 2*j = 2 + 6. Let q = 23/2 - h. Is l > q?
False
Let s = 3 - -9. Is s at most as big as -1?
False
Suppose -4*z - 3 = -k, -7*z = -3*z + 4*k + 28. Let l be (-5 - -3)*(-3)/(-6). Which is smaller: z or l?
z
Suppose 4*u - 4*k - k = -194, 3*k = -3*u - 132. Which is bigger: -45 or u?
-45
Suppose t = 6*t + 10. Let f be t*(-10)/8 - -2. Which is smaller: 6 or f?
f
Suppose 2*w = -3*w - 30. Let t be 2*(-11)/w*-3. Is t less than or equal to -11?
True
Let b be 1/(0 + (-3)/(-6)). Suppose -b*x + 4 = -0. Is 2 at least x?
True
Suppose -4 = 2*c + s, -c - s + 10 = -6*c. Let o = c + 2. Is -1 smaller than o?
True
Let g = -15 + 11. Is g at most as big as -3?
True
Suppose -6 = m - 0. Which is smaller: m or -2?
m
Let w(h) = -h**2 - 3*h - 3. Let k be w(-4). Is k less than or equal to -6?
True
Let p be 4385/(-357)*(-6)/26. Let x = -5/221 - p. Let z = x + 3. Which is smaller: -1 or z?
-1
Let p = -4 + 2. Let u(o) = o**2 + 17*o - 41. Let q be u(-19). Which is bigger: p or q?
p
Let t(i) = -2*i - 31. Let n be t(-14). Is n at most as big as 2?
True
Let w(b) = -b**3 + 2*b**2 + b - 2. Let g be w(3). Let j = g - -5. Is -3 != j?
False
Let p = -3.7 + -5.3. Which is smaller: p or -0.1?
p
Let i(p) = 2*p + 1. Let y(r) = 2*r. Let x(b) = 5*i(b) - 6*y(b). Let d be x(3). Are -1 and d equal?
True
Let x(q) = q**3 - 3*q**2 + 4*q - 3. Let o be x(3). Let s be 27/o*2/(-26). Which is greater: -1 or s?
s
Let i = -3 - -2.85. Let q = i + 0.2. Is 1/2 not equal to q?
True
Suppose 4*y - y = 9. Let u be (-278)/1617 + (-2)/11. Let p = u - -1/49. Which is smaller: p or y?
p
Let g(u) = -2*u**3 - 44*u**2 - u - 22. Let i be g(-22). Let s = 6245 + -44032/7. Let c = 45 + s. Is c greater than or equal to i?
False
Let d be 58/(-147) - (-4)/12. Which is smaller: d or 1?
d
Suppose 5*n + 3 = -27. Let w be n/(-27) - (-56)/(-36). Which is bigger: 0 or w?
0
Let x = -20 + 1. Which is bigger: -18 or x?
-18
Let l = -31 + 25. Which is bigger: -1 or l?
-1
Let h be 6/(-4) + (0 - 705/70). Are -12 and h unequal?
True
Suppose -u - 5*s + 3 = 0, -4*u + 15 = u - 3*s. Let r = 1 - 1. Let w(g) = g**2 - g + 3. Let d be w(r). Are u and d non-equal?
False
Let t be -2 + (-7)/42 + 8/3. Suppose -4*g + 18 + 15 = -5*a, -3*g + 16 = -2*a. Is t at least as big as g?
False
Let q be (-5)/(-10)*-1*3. Let r be (-1)/(-3) + 1/(-3). Suppose -3*j - 2 - 1 = r. Is j at least q?
True
Let s(j) be the second derivative of -j**3/6 - 9*j**2/2 + 4*j. Let a be s(-7). Is a at most -3/5?
True
Let f = -9.8 + 4.9. Let j = -5 - f. Which is bigger: -1/3 or j?
j
Let v = 2 + 0. Let s(t) = 0 - 6 - t + v. Let h be s(-3). Which is smaller: h or 1/6?
h
Let l(n) = n**3 - 2*n**2 + n + 2. Let z be l(2). Suppose -5*s - 3*o + 36 = 0, z*s - 4*o = -5*o + 33. Which is smaller: 0 or s?
0
Let g = 32 + -19. Let s = 12 - g. Is 2 < s?
False
Let w = -2103/7 - -303. Let g(z) = -z. Let u be g(-4). Which is greater: w or u?
u
Let f = 5 + -3. Let s be (-3)/2 - 1/f. Which is bigger: s or -3/4?
-3/4
Let d = -23 - -35. Suppose -t - 2*t - d = 0. Which is bigger: t or -3?
-3
Let m(c) = 0*c - c - c - 6. Let h be m(-4). Suppose h*u = n - 5, u + 10 = -4*n - u. Which is bigger: -1/3 or n?
-1/3
Let y = 143 - 52. Let i be (-1)/4 + y/140. Suppose 4*m + 2 = -2*k, 2*m + 4*k = -0*k - 10. Which is bigger: m or i?
m
Let l be 0 + 1 - 78/12. Let r = -23/4 - l. Are -1 and r non-equal?
True
Let c = 1.