j
Let v(s) be the second derivative of -3*s**5/20 + s**4/4 + s**3/2 + s**2/2 - 8*s. Let k be v(-1). Suppose -k*n + 5 = n. Which is smaller: 7/4 or n?
n
Suppose 1 = -w + 4, 4*k + 1 = -w. Let n = 17593/4 - 4398. Is n at least k?
True
Let u be 0*(-13 - (0 + -14)). Let g = 2125703/3237 + -842/249. Let c = g - 653. Which is greater: u or c?
c
Let q(o) = -o**2 - 2*o + 2. Let d be q(0). Suppose a + 0*a = 1. Let g = a - d. Which is smaller: g or 1/13?
g
Let p be (282/(-216) - -1) + (-2)/(-8). Let g be -1*(-2 + 1)*-1. Which is bigger: g or p?
p
Let b = 28.1 - 27.67. Is -3 smaller than b?
True
Suppose -2*y - 3*q = -y - 13, 4*y = -2*q + 42. Let u be -3*((-22)/6 - -5). Is y smaller than u?
False
Let d = -1/50 - 19/50. Which is greater: 3.2 or d?
3.2
Let c = -47127/2 - -1035063/44. Let m = -161/4 - c. Suppose 65*d = 68*d. Which is greater: d or m?
d
Let t = 0.1 + 0. Let y = 3032 + -3031.95. Is y less than t?
True
Suppose 4*p - 346 = 14. Suppose -4*d - 5*v + 371 = 0, d - 23*v = -19*v + 77. Which is greater: p or d?
p
Let n = 961.036 + 0.964. Is -1/4 at most n?
True
Suppose 3*o + o - 52 = 0. Suppose 0 = -8*p + o*p + 15. Let a(c) = c**3 + 2*c**2 - 4*c - 2. Let d be a(p). Does -2 = d?
False
Suppose 5*d + r - 33 = 43, -4 = -4*r. Suppose -27 = -d*c + 18. Which is smaller: -1 or c?
-1
Let b(a) = a**3 - 31*a**2 - 31*a - 28. Let t be b(32). Suppose -4*n + 21 - 1 = 0. Which is greater: t or n?
n
Let r be 1/(-3) - (-64)/(-6). Let q = r + 17. Suppose 0 = -q*x + 5*x + 10. Which is greater: 11 or x?
11
Let v(j) = -j**3 + 3*j**2 + j - 3. Let n be v(3). Let b be n*((-5)/2)/(-5). Let t = -693 - -692. Which is bigger: t or b?
b
Let t be ((-44)/(8/(-2)))/6. Let b = -1/3 + t. Let m be (-1 + 2)*(4 + -2). Which is smaller: b or m?
b
Let a be (-18)/(-7)*56/12. Let u be 7/(-49)*1/(a/9). Which is smaller: 0 or u?
u
Let u = 50 + -54.1. Let n = -4 - u. Which is greater: 3/7 or n?
3/7
Suppose -3*z - 9 = -5*w + 45, -3*w + 3*z + 36 = 0. Suppose 4*p = 3*a + 17, -2*a - 4*p = -0*a + 18. Let j = 2 - a. Is j smaller than w?
False
Let c(w) = 2*w**3 - 7*w**2 + 3*w - 17. Let u(d) = d**3 - 5*d**2 + 2*d - 11. Let v(h) = 5*c(h) - 8*u(h). Let y be v(-4). Let t = y - -37. Is t != -3?
True
Let q be (30/9)/(1/(-3)). Let s be (620/(-35)*(-1)/(-2))/(-91 - -92). Are q and s nonequal?
True
Let y = -52 + 48. Which is smaller: 50 or y?
y
Let z = 560 - 560. Is z != -2/2047?
True
Let y be (-34)/(-4) + 1 + (-384)/96. Which is smaller: y or 5?
5
Let t = 6 + -3. Let s be 36 - 37 - 2/(-8). Which is greater: t or s?
t
Let g = 499 + -505. Which is smaller: g or -7?
-7
Let u be -56*5*(-2)/(-20). Let h be 14/(-22)*24/u. Which is bigger: h or 0?
h
Let j be -4 + 4 + -3 + 6. Let f be j + (-4)/(8/(-6)). Let u(s) = -s**3 + 7*s**2 - 7*s + 6. Let n be u(f). Which is bigger: -3/5 or n?
n
Let a = 0.103 + -13.063. Let w = 0.04 - a. Let t be 4/(-24)*(-2 - -4). Is w greater than or equal to t?
True
Suppose 0 = h + 35*h. Do -9/10 and h have different values?
True
Let n be (-792)/330*10/3. Which is smaller: n or 0.3?
n
Let w = -69 - -65. Suppose -p + 2*d + 4 = -5*p, 15 = -p + 3*d. Is p >= w?
True
Let s be (0 - -1)/((-40)/31880). Which is smaller: -796 or s?
s
Let l(t) = t**3 + 9*t**2 + 13*t - 11. Let n be l(-5). Suppose 5*x - i - 20 = 4*x, 5*x = -i + 112. Which is smaller: n or x?
x
Let f be 15/(-6)*20/25. Let a be (f - 25 - 1)/(-2). Let x = 19 - a. Is x smaller than 8?
True
Let w(t) = -3*t**3 + t**2 + 2*t + 4. Let q be w(2). Let d be 12/(-21) - q/21. Which is smaller: 1/22 or d?
d
Let f(d) = -d + 1. Let l(g) = -g**2 - g + 3. Let b(p) = -f(p) - l(p). Let w be b(-3). Let r be 352/58 - (14/(-2) + 13). Which is smaller: w or r?
w
Suppose z - t = 4*t + 13, 3*z + 5*t = 19. Let l(d) = -d**3 + 5*d**2 + 7*d - 5. Let w be l(6). Let b be w/(-4) + 518/56. Is z >= b?
False
Suppose 4*j = 3*z + 11 + 11, -14 = -z - 4*j. Let o be (-4 - -1 - -3)/z. Which is smaller: -1/11 or o?
-1/11
Let r = -15 + 15. Let s = -0.86 - 0.14. Let q = s - r. Which is greater: 0.02 or q?
0.02
Let k(g) = g**3 - 6*g**2 + 4*g - 1. Let h be k(5). Suppose -9 = -393*o + 394*o. Which is smaller: h or o?
o
Suppose -3*m - 6 = 3. Let o be m + 3/((-30)/(-25)). Is o > 0?
False
Let x = 0.76 + -0.02. Let l = x + -1.24. Is -0.2 at most as big as l?
False
Let d = -16 - -18. Let j be (d + (-2 - -1))*(-23)/(-69). Which is bigger: 17 or j?
17
Let w(z) = -3*z + 43. Let v be w(14). Let n be v + 1 + -2*(-33)/6. Is n greater than 10?
True
Let i(b) = -7*b**2 - 2*b + 1. Let k be i(1). Let l = -2 - -4.6. Let v = l - 2.7. Is v <= k?
False
Let q = -4027/7 + 575. Which is smaller: -39 or q?
-39
Let x be 3/2 + 6/(-12). Let u be ((-8)/(-20))/(9/30). Which is smaller: x or u?
x
Suppose 100 = 4*j - 0. Let m be (-8)/(-130)*j/10. Let x be (-30)/(-12) + 6/(-4). Which is greater: m or x?
x
Let o(t) = t**3 - t**2 + t - 4. Let l be o(0). Let n(q) = q**3 - 7*q**2 + 16. Let y be n(7). Let a be (-3 - -9)/((-12)/y). Which is smaller: l or a?
a
Let b be (-7 + 66/12)/((-10)/(-744)). Let c = -112 - b. Suppose 4*p = -5*w - 74, 0 = 5*w + 2*p + 53 + 19. Is w less than or equal to c?
True
Let p = 1072 + -1367. Is 1/4 at least p?
True
Let a(m) be the second derivative of m**3/6 - 5*m**2/2 + 8*m. Let r be a(5). Let h = -1/20 + -1/5. Is h >= r?
False
Let r = -1.7 + 0. Let u = r - 0.1. Let t = u + 1.6. Which is smaller: t or 0.07?
t
Suppose 13*h - 9*h - 16 = 0. Let s be 8/12*21/h. Is s less than or equal to 2/7?
False
Let n = 5 + -3. Suppose 2*k + 0 = -n. Suppose -35*h + 30*h - 6*x - 12 = 0, 3*x + 6 = -3*h. Which is bigger: k or h?
h
Suppose -10*v + 11*v - 3*c = -711, 3*c = -5*v - 3609. Which is bigger: v or -719?
-719
Let n be (-430 - -2)/(495/(-75) + 7). Which is greater: n or -1071?
n
Let g = 8 + -14. Let r = 6 + g. Is r != -2?
True
Suppose -12*m - 8*m = 11340. Is m at most -567?
True
Suppose -4*x = -10 + 2. Let l be (2 - 0)/(-2*x/12). Is -4 not equal to l?
True
Let n = -55/39 + 14/13. Suppose -d = d - 10. Suppose 2*x = -d*x - 7. Which is greater: x or n?
n
Let i be 2/(-7) + (-1704)/(-966). Let n = 514/161 - i. Suppose v - 4*v + 3 = 0. Which is smaller: v or n?
v
Let f = -72 + 76. Suppose 3*g + 4*t = 7, -f*g + t = -t - 2. Let a = -20/29 + 689/957. Is g > a?
True
Let l = 471 - 470.97. Do -2/13 and l have the same value?
False
Suppose 4*s = -5*g - 7 - 13, 0 = -4*s + 4*g - 56. Let a be (-4)/s - (10 + -6 - 3). Is a at least as big as 0?
False
Let p be ((-120)/14)/(30/(-140)). Which is bigger: 27 or p?
p
Let v = 996/54257 - 2/337. Which is smaller: v or -1?
-1
Suppose 0 = 5*x + 3*d - 30, -5*x + 19 = -3*d - 11. Suppose -4*q + 4*r = -24, -3*r + x*r - 6 = -5*q. Let c be (-4)/(-32)*4*q. Which is greater: c or 5?
5
Suppose -488 = 5*x - 2*o, -110*o + 113*o + 3 = 0. Is -98 > x?
False
Let m be 2/(-20) - (-456)/(-1520). Let t be (2 + 4/2)/(-1). Let r be (t/(-18))/(2/(-6)). Is m < r?
False
Suppose -15 = -41*d + 36*d. Which is smaller: d or 4?
d
Let v = 879223 - 457196107/520. Let n = -423/15320 - -1/383. Let b = n + v. Is b bigger than 0?
False
Let x be (-1)/(-86)*(-20)/(0 - 5). Which is bigger: -1 or x?
x
Let l = -475.079 - -475. Are l and 1 equal?
False
Let l be (-8)/170*(-130)/2236. Let q = l + 1320/51901. Which is greater: q or -1?
q
Let r = -1752 - -1752. Is -6/61 > r?
False
Let q be (-14)/((3/108)/((-18)/(-48))). Is -189 less than q?
False
Let r be (-507)/15 + 2/(-10). Let m be (-16)/24 - r/(-3). Let u be (-108)/(-70) - m/(-30). Is u bigger than 1?
True
Let x(n) = -n + 9. Let i be x(11). Let c = 0 + i. Let m be -6 + (-2)/c + -2. Are m and -7 non-equal?
False
Let q = -19.043 - -0.043. Let s = -21.51 - 0.49. Let r = q - s. Which is smaller: -1/4 or r?
-1/4
Suppose 4*b - 5 - 7 = 0. Suppose b*t = -m - 0 - 2, 3*m + 3*t = -6. Let q be (-1 - -4 - 9) + (5 - 4). Are m and q unequal?
True
Let r = 702 - 705. Is r greater than or equal to -39/20?
False
Let x = 0 - -1. Let z be x - (-268)/(-64)*-182. Let m = 765 - z. Which is bigger: -1 or m?
m
Let v(c) = -7*c - 24. Let u be v(-6). Suppose -u*k - 40 = -13*k. Is -15 at least as big as k?
False
Let b = -316 - -402. Is b greater than 86?
False
Let b = 21 - 16. Suppose -28 = b*p + 4*r, -r - 3*r - 20 = 4*p. Is p > -25/3?
True
Let q = -4 + 13. Suppose u = -7 + q. Suppose 0*y + 2*y = 5*s + 7, 0 = -u*y + 2*s + 4. Are -2/111 and y equal?
False
Let m(q) = -q + 1. Let k be m(-3). Suppose 0*n + 2